Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.1 | 1800.82 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00150.sat05-1328.reshuffled-07.opb |
MD5SUM | 6dff79b0d7d9f8327e93243a49f1fb66 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 559.929 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 552 |
Total number of constraints | 30977 |
Number of constraints which are clauses | 30977 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 8 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.59/2.68 c Converting 30973 PB-constraints to clauses... 2.59/2.70 c -- Unit propagations: (none) 2.59/2.70 c -- Detecting intervals from adjacent constraints: (none) 2.69/2.70 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.79/2.81 c ==================================[MINISAT+]================================== 2.79/2.81 c | Conflicts | Original | Learnt | Progress | 2.79/2.81 c | | Clauses Literals | Max Clauses Literals LPC | | 2.79/2.81 c ============================================================================== 2.79/2.81 c | 0 | 30973 264438 | 10324 0 0 nan | 0.000 % | 2.79/2.81 c | 100 | 30973 264438 | 11356 100 609 6.1 | 0.725 % | 2.79/2.81 c | 250 | 30973 264438 | 12492 250 1313 5.3 | 0.726 % | 2.79/2.82 c | 476 | 30397 261558 | 13741 150 2373 15.8 | 0.906 % | 2.79/2.84 c | 813 | 30397 261558 | 15115 487 6776 13.9 | 0.906 % | 2.79/2.86 c | 1321 | 30393 261550 | 16626 992 13800 13.9 | 1.087 % | 2.79/2.89 c | 2081 | 30393 261550 | 18289 1752 27458 15.7 | 1.087 % | 2.89/2.92 c | 3220 | 30393 261550 | 20118 2891 38893 13.5 | 1.087 % | 2.89/2.98 c | 4930 | 30393 261550 | 22130 4601 70567 15.3 | 1.087 % | 2.99/3.06 c | 7492 | 30393 261550 | 24343 7163 109863 15.3 | 1.087 % | 3.19/3.21 c | 11336 | 30393 261550 | 26777 11007 168007 15.3 | 1.087 % | 3.39/3.44 c | 17103 | 30393 261550 | 29455 16774 233074 13.9 | 1.088 % | 3.79/3.86 c | 25752 | 28665 251182 | 32401 18004 306861 17.0 | 1.268 % | 4.39/4.47 c | 38728 | 28665 251182 | 35641 30980 671656 21.7 | 1.268 % | 5.38/5.41 c | 58190 | 27665 245182 | 39205 21162 617926 29.2 | 1.450 % | 7.36/7.46 c | 87384 | 27665 245182 | 43125 23712 886027 37.4 | 1.450 % | 10.15/10.25 c | 131175 | 27665 245182 | 47438 37029 1038381 28.0 | 1.450 % | 16.46/16.55 c | 196859 | 27665 245182 | 52182 34182 1696611 49.6 | 1.450 % | 26.93/27.05 c | 295385 | 27665 245182 | 57400 17996 686662 38.2 | 1.450 % | 45.10/45.22 c | 443175 | 27665 245182 | 63140 41919 1331018 31.8 | 1.450 % | 73.58/73.78 c | 664859 | 27665 245182 | 69454 19468 479599 24.6 | 1.450 % | 112.06/112.23 c | 997384 | 27665 245182 | 76400 25023 738887 29.5 | 1.450 % | 176.33/176.51 c | 1496172 | 27665 245182 | 84040 32456 992241 30.6 | 1.450 % | 289.19/289.43 c | 2244355 | 27665 245182 | 92444 17968 657301 36.6 | 1.450 % | 525.82/526.13 c | 3366630 | 27665 245182 | 101688 70270 2661747 37.9 | 1.450 % | 833.01/833.48 c | 5050041 | 27665 245182 | 111857 37652 1183616 31.4 | 1.450 % | 1366.73/1367.32 c | 7575157 | 27665 245182 | 123043 77511 2368653 30.6 | 1.450 % | 1800.08/1800.80 c 1800.08/1800.81 c *** TERMINATED *** 1800.08/1800.81 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/420391-1177423257/instance-420391-1177423257.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-420391-1177423257 -o ROOT/results/node38/solver-420391-1177423257 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420391-1177423257/minisat+ /tmp/evaluation/420391-1177423257/instance-420391-1177423257.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1885976/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=1048 CPUtime=0 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 174492443 1073152 101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 262 101 74 215 0 44 0 [startup+0.101851 s] /proc/loadavg: 0.99 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1885976/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=1764 CPUtime=0.1 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 306 0 0 0 10 0 0 0 18 0 1 0 174492443 1806336 292 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 441 292 74 215 0 223 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1764 [startup+0.20187 s] /proc/loadavg: 0.99 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1885976/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=2524 CPUtime=0.19 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 491 0 0 0 19 0 0 0 18 0 1 0 174492443 2584576 477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 631 478 74 215 0 413 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2524 [startup+0.301888 s] /proc/loadavg: 0.99 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1885976/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=3284 CPUtime=0.29 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 677 0 0 0 29 0 0 0 19 0 1 0 174492443 3362816 663 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 821 663 74 215 0 603 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3284 [startup+0.701964 s] /proc/loadavg: 0.99 0.98 0.99 3/77 13853 /proc/meminfo: memFree=1885976/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=6380 CPUtime=0.69 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 1428 0 0 0 69 0 0 0 23 0 1 0 174492443 6533120 1414 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 1595 1414 75 215 0 1377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6380 [startup+1.50212 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1877584/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=12160 CPUtime=1.49 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 2905 0 0 0 148 1 0 0 25 0 1 0 174492443 12451840 2891 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012143 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 3040 2891 75 215 0 2822 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12160 [startup+3.10143 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13854 /proc/meminfo: memFree=1869328/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=23300 CPUtime=3.09 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 5674 0 0 0 303 6 0 0 19 0 1 0 174492443 23859200 5660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 5825 5660 103 215 0 5607 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23300 [startup+6.30204 s] /proc/loadavg: 0.99 0.98 0.99 2/84 13880 /proc/meminfo: memFree=1862048/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=23448 CPUtime=6.28 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 5713 0 0 0 622 6 0 0 25 0 1 0 174492443 24010752 5699 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 5862 5699 103 215 0 5644 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23448 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/84 13926 /proc/meminfo: memFree=1861664/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=23728 CPUtime=12.65 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 5773 0 0 0 1259 6 0 0 25 0 1 0 174492443 24297472 5750 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006092 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 5932 5750 103 215 0 5714 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 23728 [startup+25.5017 s] /proc/loadavg: 0.99 0.98 0.99 2/84 13976 /proc/meminfo: memFree=1859360/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=26032 CPUtime=25.44 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 6368 0 0 0 2537 7 0 0 25 0 1 0 174492443 26656768 6345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 6508 6345 103 215 0 6290 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 26032 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.99 2/84 14028 /proc/meminfo: memFree=1858264/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=27284 CPUtime=50.99 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 6645 0 0 0 5092 7 0 0 25 0 1 0 174492443 27938816 6622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 6821 6622 103 215 0 6603 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 27284 [startup+102.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1856912/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=30152 CPUtime=102.16 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 7263 0 0 0 10208 8 0 0 25 0 1 0 174492443 30875648 7240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 7538 7240 103 215 0 7320 0 Current children cumulated CPU time (s) 102.16 Current children cumulated vsize (KiB) 30152 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1852816/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=34396 CPUtime=162.14 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 8306 0 0 0 16205 9 0 0 25 0 1 0 174492443 35221504 8283 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 8599 8283 103 215 0 8381 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 34396 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1851728/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=35440 CPUtime=222.12 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 8549 0 0 0 22202 10 0 0 25 0 1 0 174492443 36290560 8507 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 8860 8507 103 215 0 8642 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 35440 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1850512/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=36864 CPUtime=282.09 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 8882 0 0 0 28199 10 0 0 25 0 1 0 174492443 37748736 8840 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 9216 8840 103 215 0 8998 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 36864 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1846736/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=40912 CPUtime=342.07 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 9795 0 0 0 34195 12 0 0 25 0 1 0 174492443 41893888 9753 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 10228 9753 103 215 0 10010 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 40912 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1845712/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=41900 CPUtime=402.06 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 10037 0 0 0 40193 13 0 0 25 0 1 0 174492443 42905600 9995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 10475 9995 103 215 0 10257 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 41900 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1845584/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=42144 CPUtime=462.03 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 10077 0 0 0 46190 13 0 0 25 0 1 0 174492443 43155456 10035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568540 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 10536 10035 103 215 0 10318 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 42144 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1845136/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=42520 CPUtime=522.02 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 10172 0 0 0 52188 14 0 0 25 0 1 0 174492443 43540480 10130 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 10630 10130 103 215 0 10412 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 42520 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1842768/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=44912 CPUtime=581.99 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 10744 0 0 0 58184 15 0 0 25 0 1 0 174492443 45989888 10702 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 11228 10702 103 215 0 11010 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 44912 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1840720/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=47120 CPUtime=641.98 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 11292 0 0 0 64181 17 0 0 25 0 1 0 174492443 48250880 11250 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 11780 11250 103 215 0 11562 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 47120 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1838800/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=48856 CPUtime=881.89 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 11668 0 0 0 88170 19 0 0 25 0 1 0 174492443 50028544 11626 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 12214 11626 103 215 0 11996 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 48856 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1838736/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=48856 CPUtime=941.86 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 11672 0 0 0 94167 19 0 0 25 0 1 0 174492443 50028544 11630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 12214 11630 103 215 0 11996 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 48856 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1838608/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=48856 CPUtime=1001.85 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 11683 0 0 0 100165 20 0 0 25 0 1 0 174492443 50028544 11641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 12214 11641 103 215 0 11996 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 48856 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1837072/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=50452 CPUtime=1061.83 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 12060 0 0 0 106162 21 0 0 25 0 1 0 174492443 51662848 12018 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 12613 12018 103 215 0 12395 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 50452 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1836432/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=50908 CPUtime=1121.81 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 12188 0 0 0 112160 21 0 0 25 0 1 0 174492443 52129792 12146 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 12727 12146 103 215 0 12509 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 50908 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1831440/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=55992 CPUtime=1181.79 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 13418 0 0 0 118156 23 0 0 25 0 1 0 174492443 57335808 13376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 13998 13376 103 215 0 13780 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 55992 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1831056/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=56400 CPUtime=1241.77 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 13483 0 0 0 124154 23 0 0 25 0 1 0 174492443 57753600 13441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14100 13441 103 215 0 13882 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 56400 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1830864/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=56480 CPUtime=1301.75 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 13505 0 0 0 130151 24 0 0 25 0 1 0 174492443 57835520 13463 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14120 13463 103 215 0 13902 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 56480 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14052 /proc/meminfo: memFree=1830736/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=56480 CPUtime=1361.72 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 13522 0 0 0 136148 24 0 0 25 0 1 0 174492443 57835520 13480 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14120 13480 103 215 0 13902 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 56480 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1829904/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=57364 CPUtime=1421.71 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 13703 0 0 0 142146 25 0 0 25 0 1 0 174492443 58740736 13661 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14341 13661 103 215 0 14123 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 57364 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1828560/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=58824 CPUtime=1481.68 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14040 0 0 0 148143 25 0 0 25 0 1 0 174492443 60235776 13998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14706 13998 103 215 0 14488 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 58824 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1828176/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=59200 CPUtime=1541.67 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14137 0 0 0 154141 26 0 0 25 0 1 0 174492443 60620800 14095 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14800 14095 103 215 0 14582 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 59200 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1827984/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=59436 CPUtime=1601.65 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14184 0 0 0 160138 27 0 0 25 0 1 0 174492443 60862464 14142 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14859 14142 103 215 0 14641 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 59436 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1827920/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=59408 CPUtime=1661.62 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14187 0 0 0 166135 27 0 0 25 0 1 0 174492443 60833792 14145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14852 14145 103 215 0 14634 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 59408 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1827664/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=59660 CPUtime=1721.6 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14237 0 0 0 172133 27 0 0 25 0 1 0 174492443 61091840 14195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14915 14195 103 215 0 14697 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 59660 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1827280/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=59904 CPUtime=1781.58 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14285 0 0 0 178130 28 0 0 25 0 1 0 174492443 61341696 14243 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 14976 14243 103 215 0 14758 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 59904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1827152/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=60036 CPUtime=1800.08 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14317 0 0 0 179980 28 0 0 25 0 1 0 174492443 61476864 14275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134592897 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 15009 14275 103 215 0 14791 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 60036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14054 /proc/meminfo: memFree=1827152/2055920 swapFree=4159740/4192956 [pid=13853] ppid=13851 vsize=60036 CPUtime=1800.08 /proc/13853/stat : 13853 (minisat+) R 13851 13853 12609 0 -1 4194304 14317 0 0 0 179980 28 0 0 25 0 1 0 174492443 61476864 14275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134592897 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13853/statm: 15009 14275 103 215 0 14791 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 60036 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.1 CPU user time (s): 1799.81 CPU system time (s): 0.293955 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 60036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.293955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14318 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 337 involuntary context switches= 37383 runsolver used 1.43678 second user time and 3.9764 second system time The end
Begin job on node38 on Tue Apr 24 14:00:58 UTC 2007 IDJOB= 420391 IDBENCH= 47842 IDSOLVER= 156 FILE ID= node38/420391-1177423257 PBS_JOBID= 4675659 Free space on /tmp= 66239 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00150.sat05-1328.reshuffled-07.opb COMMAND LINE= /tmp/evaluation/420391-1177423257/minisat+ /tmp/evaluation/420391-1177423257/instance-420391-1177423257.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-420391-1177423257 -o ROOT/results/node38/conversion-420391-1177423257 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420391-1177423257/instance-420391-1177423257.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-420391-1177423257 -o ROOT/results/node38/solver-420391-1177423257 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420391-1177423257/minisat+ /tmp/evaluation/420391-1177423257/instance-420391-1177423257.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 6dff79b0d7d9f8327e93243a49f1fb66 RANDOM SEED= 503842540 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1886384 kB Buffers: 11664 kB Cached: 60588 kB SwapCached: 2820 kB Active: 88396 kB Inactive: 33268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1886384 kB SwapTotal: 4192956 kB SwapFree: 4159740 kB Dirty: 4624 kB Writeback: 0 kB Mapped: 57788 kB Slab: 32964 kB Committed_AS: 1702832 kB PageTables: 2124 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66239 MiB End job on node38 on Tue Apr 24 14:31:01 UTC 2007