Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.04 | 1800.73 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00250.sat05-1330.reshuffled-07.opb |
MD5SUM | 6c295665c13752ecacf07440fccdb119 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 864 |
Total number of constraints | 32700 |
Number of constraints which are clauses | 32700 |
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.60/2.60 c Converting 32698 PB-constraints to clauses... 2.60/2.61 c -- Unit propagations: (none) 2.60/2.61 c -- Detecting intervals from adjacent constraints: (none) 2.60/2.61 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.69/2.72 c ==================================[MINISAT+]================================== 2.69/2.72 c | Conflicts | Original | Learnt | Progress | 2.69/2.72 c | | Clauses Literals | Max Clauses Literals LPC | | 2.69/2.72 c ============================================================================== 2.69/2.72 c | 0 | 32698 256506 | 10899 0 0 nan | 0.000 % | 2.69/2.73 c | 100 | 32692 256494 | 11988 99 1047 10.6 | 0.347 % | 2.69/2.74 c | 250 | 32692 256494 | 13187 249 3333 13.4 | 0.347 % | 2.69/2.74 c | 475 | 32692 256494 | 14506 474 4983 10.5 | 0.347 % | 2.69/2.75 c | 812 | 32692 256494 | 15957 811 9502 11.7 | 0.347 % | 2.69/2.77 c | 1321 | 32692 256494 | 17552 1320 19746 15.0 | 0.347 % | 2.69/2.79 c | 2081 | 32687 256484 | 19308 2079 28225 13.6 | 0.463 % | 2.79/2.83 c | 3221 | 32687 256484 | 21239 3219 44776 13.9 | 0.463 % | 2.79/2.88 c | 4929 | 32687 256484 | 23362 4927 61385 12.5 | 0.463 % | 2.89/2.97 c | 7493 | 32687 256484 | 25699 7491 152787 20.4 | 0.463 % | 3.09/3.10 c | 11338 | 32687 256484 | 28269 11336 206512 18.2 | 0.463 % | 3.29/3.32 c | 17104 | 32687 256484 | 31096 17102 360510 21.1 | 0.463 % | 3.69/3.74 c | 25754 | 32684 256478 | 34205 25662 639584 24.9 | 0.579 % | 4.29/4.38 c | 38730 | 32684 256478 | 37626 17006 597182 35.1 | 0.579 % | 5.19/5.22 c | 58192 | 32684 256478 | 41388 36468 1074466 29.5 | 0.579 % | 6.79/6.84 c | 87384 | 32684 256478 | 45527 36812 1333495 36.2 | 0.579 % | 12.99/13.07 c | 131173 | 32684 256478 | 50080 16530 1577521 95.4 | 0.579 % | 17.99/18.04 c | 196857 | 32684 256478 | 55088 47304 1005871 21.3 | 0.579 % | 27.58/27.70 c | 295385 | 32684 256478 | 60597 20253 1502395 74.2 | 0.579 % | 43.58/43.60 c | 443175 | 32684 256478 | 66657 28719 628795 21.9 | 0.579 % | 77.46/77.56 c | 664859 | 32684 256478 | 73323 47738 3636962 76.2 | 0.579 % | 131.25/131.34 c | 997384 | 32684 256478 | 80655 29269 613452 21.0 | 0.579 % | 215.31/215.40 c | 1496173 | 32684 256478 | 88720 74352 5641353 75.9 | 0.579 % | 344.96/345.20 c | 2244356 | 32678 256460 | 97592 72246 2150428 29.8 | 0.695 % | 629.05/629.32 c | 3366631 | 32673 256450 | 107352 45984 2297988 50.0 | 0.810 % | 1047.49/1047.99 c | 5050042 | 32673 256450 | 118087 83498 6135430 73.5 | 0.810 % | 1769.82/1770.58 c | 7575159 | 32673 256450 | 129896 64140 4746613 74.0 | 0.810 % | 1800.02/1800.70 c 1800.02/1800.70 c *** TERMINATED *** 1800.02/1800.70 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/420447-1177424714/instance-420447-1177424714.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-420447-1177424714 -o ROOT/results/node20/solver-420447-1177424714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420447-1177424714/minisat+ /tmp/evaluation/420447-1177424714/instance-420447-1177424714.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.97 0.99 3/77 15513 /proc/meminfo: memFree=1876272/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=1048 CPUtime=0 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 190388810 1073152 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 262 105 74 215 0 44 0 [startup+0.0552539 s] /proc/loadavg: 0.99 0.97 0.99 3/77 15513 /proc/meminfo: memFree=1876272/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=1480 CPUtime=0.05 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 228 0 0 0 5 0 0 0 18 0 1 0 190388810 1515520 214 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 370 214 74 215 0 152 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1480 [startup+0.101264 s] /proc/loadavg: 0.99 0.97 0.99 3/77 15513 /proc/meminfo: memFree=1876272/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=1796 CPUtime=0.1 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 314 0 0 0 10 0 0 0 18 0 1 0 190388810 1839104 300 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 449 300 74 215 0 231 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1796 [startup+0.301302 s] /proc/loadavg: 0.99 0.97 0.99 3/77 15513 /proc/meminfo: memFree=1876272/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=3404 CPUtime=0.29 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 694 0 0 0 29 0 0 0 19 0 1 0 190388810 3485696 680 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135002758 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 851 680 74 215 0 633 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3404 [startup+0.701384 s] /proc/loadavg: 0.99 0.97 0.99 3/77 15513 /proc/meminfo: memFree=1876272/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=6356 CPUtime=0.69 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 1443 0 0 0 69 0 0 0 23 0 1 0 190388810 6508544 1429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 1589 1429 74 215 0 1371 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6356 [startup+1.50154 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1868520/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=12416 CPUtime=1.49 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 2943 0 0 0 148 1 0 0 25 0 1 0 190388810 12713984 2929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 3104 2929 75 215 0 2886 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12416 [startup+3.10187 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1860008/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=23112 CPUtime=3.09 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 5622 0 0 0 303 6 0 0 20 0 1 0 190388810 23666688 5608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 5778 5608 103 215 0 5560 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23112 [startup+6.30151 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1853736/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=23312 CPUtime=6.29 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 5692 0 0 0 623 6 0 0 25 0 1 0 190388810 23871488 5670 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 5828 5670 103 215 0 5610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23312 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1846824/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=31616 CPUtime=12.69 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 7742 0 0 0 1261 8 0 0 25 0 1 0 190388810 32374784 7720 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134592867 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 7904 7720 103 215 0 7686 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31616 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1845288/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=31788 CPUtime=25.48 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 7797 0 0 0 2540 8 0 0 25 0 1 0 190388810 32550912 7775 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 7947 7775 103 215 0 7729 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31788 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1845032/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=33100 CPUtime=51.07 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 8103 0 0 0 5099 8 0 0 25 0 1 0 190388810 33894400 8081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 8275 8081 103 215 0 8057 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33100 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1834920/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=42220 CPUtime=102.25 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 10369 0 0 0 10215 10 0 0 25 0 1 0 190388810 43233280 10347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 10555 10347 103 215 0 10337 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 42220 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1823528/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=53664 CPUtime=162.23 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 13211 0 0 0 16210 13 0 0 25 0 1 0 190388810 54951936 13189 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 13416 13189 103 215 0 13198 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 53664 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1823080/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=53928 CPUtime=222.21 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 13297 0 0 0 22207 14 0 0 25 0 1 0 190388810 55222272 13275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 13482 13275 103 215 0 13264 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 53928 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1823080/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=53928 CPUtime=282.19 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 13297 0 0 0 28204 15 0 0 25 0 1 0 190388810 55222272 13275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580738 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 13482 13275 103 215 0 13264 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 53928 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1823016/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=53928 CPUtime=342.16 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 13297 0 0 0 34201 15 0 0 25 0 1 0 190388810 55222272 13275 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 13482 13275 103 215 0 13264 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 53928 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1811368/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=65940 CPUtime=402.14 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 16203 0 0 0 40196 18 0 0 25 0 1 0 190388810 67522560 16181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 16485 16181 103 215 0 16267 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 65940 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1811240/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=65872 CPUtime=462.11 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 16227 0 0 0 46193 18 0 0 25 0 1 0 190388810 67452928 16182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 16468 16182 103 215 0 16250 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 65872 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1811240/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=65816 CPUtime=522.1 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 16227 0 0 0 52191 19 0 0 25 0 1 0 190388810 67395584 16168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 16454 16168 103 215 0 16236 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 65816 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1811240/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=65816 CPUtime=582.07 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 16230 0 0 0 58188 19 0 0 25 0 1 0 190388810 67395584 16171 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 16454 16171 103 215 0 16236 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 65816 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15514 /proc/meminfo: memFree=1811240/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=65756 CPUtime=642.06 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 16239 0 0 0 64186 20 0 0 25 0 1 0 190388810 67334144 16165 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 16439 16165 103 215 0 16221 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 65756 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1805352/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=71632 CPUtime=881.96 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 17709 0 0 0 88173 23 0 0 25 0 1 0 190388810 73351168 17578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 17908 17578 103 215 0 17690 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 71632 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1805224/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=71796 CPUtime=941.94 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 17739 0 0 0 94170 24 0 0 25 0 1 0 190388810 73519104 17608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 17949 17608 103 215 0 17731 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 71796 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1805160/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=71796 CPUtime=1001.91 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 17750 0 0 0 100167 24 0 0 25 0 1 0 190388810 73519104 17619 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 17949 17619 103 215 0 17731 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 71796 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1805096/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=71796 CPUtime=1061.89 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 17761 0 0 0 106164 25 0 0 25 0 1 0 190388810 73519104 17630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 17949 17630 103 215 0 17731 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 71796 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1797544/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=79364 CPUtime=1121.87 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19632 0 0 0 112160 27 0 0 25 0 1 0 190388810 81268736 19501 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 19841 19501 103 215 0 19623 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 79364 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1797032/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=79760 CPUtime=1181.84 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19757 0 0 0 118157 27 0 0 25 0 1 0 190388810 81674240 19626 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 19940 19626 103 215 0 19722 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 79760 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1796968/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=79828 CPUtime=1241.82 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19763 0 0 0 124154 28 0 0 25 0 1 0 190388810 81743872 19632 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 19957 19632 103 215 0 19739 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 79828 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1796264/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=80560 CPUtime=1301.81 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19908 0 0 0 130152 29 0 0 25 0 1 0 190388810 82493440 19777 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20140 19777 103 215 0 19922 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 80560 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1796200/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=80388 CPUtime=1361.78 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19927 0 0 0 136149 29 0 0 25 0 1 0 190388810 82317312 19772 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20097 19772 103 215 0 19879 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 80388 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1796200/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=80324 CPUtime=1421.76 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19927 0 0 0 142146 30 0 0 25 0 1 0 190388810 82251776 19756 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20081 19756 103 215 0 19863 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 80324 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1796136/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=80256 CPUtime=1481.73 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19927 0 0 0 148143 30 0 0 25 0 1 0 190388810 82182144 19739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20064 19739 103 215 0 19846 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 80256 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1796072/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=80552 CPUtime=1541.7 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 19963 0 0 0 154140 30 0 0 25 0 1 0 190388810 82485248 19775 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20138 19775 103 215 0 19920 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 80552 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1793448/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=83096 CPUtime=1601.69 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 20617 0 0 0 160137 32 0 0 25 0 1 0 190388810 85090304 20429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568540 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20774 20429 103 215 0 20556 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 83096 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1793448/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=83096 CPUtime=1661.66 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 20617 0 0 0 166134 32 0 0 25 0 1 0 190388810 85090304 20429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20774 20429 103 215 0 20556 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 83096 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1793384/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=83096 CPUtime=1721.65 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 20617 0 0 0 172132 33 0 0 25 0 1 0 190388810 85090304 20429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20774 20429 103 215 0 20556 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 83096 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1793256/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=83096 CPUtime=1781.62 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 20631 0 0 0 178129 33 0 0 25 0 1 0 190388810 85090304 20443 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20774 20443 103 215 0 20556 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 83096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1793256/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=83096 CPUtime=1800.02 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 20632 0 0 0 179969 33 0 0 25 0 1 0 190388810 85090304 20444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581049 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20774 20444 103 215 0 20556 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 83096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 15516 /proc/meminfo: memFree=1793256/2055920 swapFree=4154104/4192956 [pid=15513] ppid=15511 vsize=83096 CPUtime=1800.02 /proc/15513/stat : 15513 (minisat+) R 15511 15513 14266 0 -1 4194304 20632 0 0 0 179969 33 0 0 25 0 1 0 190388810 85090304 20444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581049 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15513/statm: 20774 20444 103 215 0 20556 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 83096 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1799.69 CPU system time (s): 0.353946 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 83096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.353946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20633 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= 157 involuntary context switches= 37577 runsolver used 1.56876 second user time and 3.62745 second system time The end
Begin job on node20 on Tue Apr 24 14:25:15 UTC 2007 IDJOB= 420447 IDBENCH= 47846 IDSOLVER= 156 FILE ID= node20/420447-1177424714 PBS_JOBID= 4675706 Free space on /tmp= 66452 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00250.sat05-1330.reshuffled-07.opb COMMAND LINE= /tmp/evaluation/420447-1177424714/minisat+ /tmp/evaluation/420447-1177424714/instance-420447-1177424714.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-420447-1177424714 -o ROOT/results/node20/conversion-420447-1177424714 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420447-1177424714/instance-420447-1177424714.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-420447-1177424714 -o ROOT/results/node20/solver-420447-1177424714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420447-1177424714/minisat+ /tmp/evaluation/420447-1177424714/instance-420447-1177424714.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 6c295665c13752ecacf07440fccdb119 RANDOM SEED= 821969043 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1876616 kB Buffers: 21292 kB Cached: 91760 kB SwapCached: 17984 kB Active: 71040 kB Inactive: 69024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1876616 kB SwapTotal: 4192956 kB SwapFree: 4154104 kB Dirty: 4652 kB Writeback: 0 kB Mapped: 32236 kB Slab: 24732 kB Committed_AS: 2043172 kB PageTables: 1752 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= 66452 MiB End job on node20 on Tue Apr 24 14:55:17 UTC 2007