#BEGIN: [Tue Aug 29 19:18:55 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen050x050.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat c /benchmark/2022benchmark/benchmark/queen/queen050x050.col c /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat *** Info : (clingo): INTERRUPTED by signal! s 1470 434 528 2301 1918 2003 1658 2063 186 85 1389 1257 1625 1437 1091 950 655 1196 2217 711 2281 572 2495 1243 1348 1842 233 1579 469 977 2402 1966 1773 764 2159 1044 1515 854 1149 1710 847 2106 132 321 40 2376 374 612 1888 t 2402 321 612 1981 1389 858 847 2159 2215 280 2301 1888 1044 764 1842 2111 954 233 1918 2063 1672 2003 1710 1348 670 85 2376 434 132 1469 528 2256 374 40 1257 1437 1243 727 1091 1625 1196 467 950 1773 2495 186 1516 1579 555 a YES a 40 85 132 186 233 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 555 612 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 555 612 670 716 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 555 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 454 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 c Step: 16 Command being timed: "python3 run_3.py --existent /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat" User time (seconds): 95.55 System time (seconds): 0.45 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:36.05 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 1130144 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 179 Minor (reclaiming a frame) page faults: 490505 Voluntary context switches: 430 Involuntary context switches: 519 Swaps: 0 File system inputs: 33440 File system outputs: 6992 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 19:20:32 2023]