Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.11 | 1801.36 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb |
MD5SUM | 8dbba4128860c0dcf60d2ae6d42e2446 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 20501 |
Total number of constraints | 60601 |
Number of constraints which are clauses | 60600 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20200 |
Number of terms in the objective function | 101 |
Biggest coefficient in the objective function | 1267650600228229401496703205376 |
Number of bits for the biggest coefficient in the objective function | 101 |
Sum of the numbers in the objective function | 2535301200456458802993406410751 |
Number of bits of the sum of numbers in the objective function | 101 |
Biggest number in a constraint | 1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688 |
Number of bits of the biggest number in a constraint | 300 |
Biggest sum of numbers in a constraint | 4074071952668972172536891376818271167362115627974489459407595858486846194981300150535267275 |
Number of bits of the biggest sum of numbers | 301 |
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.60 c Converting 60602 PB-constraints to clauses... 2.59/2.62 c -- Unit propagations: (none) 17.67/17.78 c -- Detecting intervals from adjacent constraints: # 17.67/17.79 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 17.77/17.90 c ---[ 0]---> Adder-cost: 30094 maxlim: 161178959166720186911579251098796229871735791006046558548843575 bits: 207/207 55.45/55.51 c ==================================[MINISAT+]================================== 55.45/55.51 c | Conflicts | Original | Learnt | Progress | 55.45/55.51 c | | Clauses Literals | Max Clauses Literals LPC | | 55.45/55.51 c ============================================================================== 55.45/55.51 c | 0 | 259813 863023 | 86604 0 0 nan | 0.000 % | 55.45/55.58 c | 100 | 259756 862828 | 95264 92 304 3.3 | 10.771 % | 55.65/55.71 c | 250 | 259687 862587 | 104790 235 12405 52.8 | 10.797 % | 55.85/55.98 c | 475 | 259606 862286 | 115269 449 20807 46.3 | 10.823 % | 56.05/56.14 c | 812 | 259606 862286 | 126796 786 59845 76.1 | 10.823 % | 56.25/56.35 c | 1318 | 259606 862286 | 139476 1292 78799 61.0 | 10.823 % | 56.55/56.64 c | 2077 | 259606 862286 | 153424 2051 111957 54.6 | 10.823 % | 56.95/57.03 c | 3216 | 259606 862286 | 168766 3190 155202 48.7 | 10.823 % | 57.75/57.88 c | 4924 | 259606 862286 | 185643 4898 249746 51.0 | 10.823 % | 60.25/60.38 c | 7486 | 259606 862286 | 204207 7460 450141 60.3 | 10.823 % | 62.25/62.35 c | 11330 | 259598 862260 | 224628 11303 643810 57.0 | 10.825 % | 65.74/65.80 c | 17097 | 259590 862234 | 247091 17069 1182025 69.2 | 10.827 % | 73.24/73.30 c | 25747 | 259582 862208 | 271800 25718 2417260 94.0 | 10.829 % | 80.03/80.14 c | 38721 | 259550 862104 | 298980 38688 3711513 95.9 | 10.836 % | 96.12/96.24 c | 58184 | 259550 862104 | 328878 58151 6861229 118.0 | 10.836 % | 114.01/114.13 c | 87376 | 259542 862078 | 361766 87342 9099487 104.2 | 10.838 % | 167.09/167.23 c | 131167 | 259502 861948 | 397943 131128 14750246 112.5 | 10.848 % | 255.72/255.98 c | 196852 | 259486 861896 | 437737 196811 22458202 114.1 | 10.852 % | 446.79/447.13 c | 295380 | 259398 861610 | 481511 295328 33360403 113.0 | 10.874 % | 908.69/909.38 c | 443171 | 259374 861532 | 529662 443116 50672931 114.4 | 10.880 % | 1649.34/1650.58 c | 664855 | 259342 861428 | 582628 136329 17001926 124.7 | 10.888 % | 1800.05/1801.30 c 1800.05/1801.30 c *** TERMINATED *** 1800.05/1801.30 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350118-1176794459/instance-350118-1176794459.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-350118-1176794459 -o ROOT/results/node74/solver-350118-1176794459 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350118-1176794459/minisat+ /tmp/evaluation/350118-1176794459/instance-350118-1176794459.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.92 0.98 0.99 3/66 10736 /proc/meminfo: memFree=1715856/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=1048 CPUtime=0 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 118 0 0 0 0 0 0 0 18 0 1 0 127360684 1073152 103 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134649906 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 262 103 74 215 0 44 0 [startup+0.0882199 s] /proc/loadavg: 0.92 0.98 0.99 3/66 10736 /proc/meminfo: memFree=1715856/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=1944 CPUtime=0.08 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 348 0 0 0 8 0 0 0 18 0 1 0 127360684 1990656 333 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838424 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 486 333 74 215 0 268 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1944 [startup+0.101221 s] /proc/loadavg: 0.92 0.98 0.99 3/66 10736 /proc/meminfo: memFree=1715856/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=2076 CPUtime=0.1 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 382 0 0 0 10 0 0 0 18 0 1 0 127360684 2125824 367 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 519 367 74 215 0 301 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2076 [startup+0.301243 s] /proc/loadavg: 0.92 0.98 0.99 3/66 10736 /proc/meminfo: memFree=1715856/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=4476 CPUtime=0.29 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 939 0 0 0 29 0 0 0 19 0 1 0 127360684 4583424 924 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 1119 924 74 215 0 901 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4476 [startup+0.70129 s] /proc/loadavg: 0.92 0.98 0.99 3/66 10736 /proc/meminfo: memFree=1715856/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=8428 CPUtime=0.69 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 1944 0 0 0 69 0 0 0 23 0 1 0 127360684 8630272 1929 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134805974 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 2107 1929 74 215 0 1889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8428 [startup+1.50138 s] /proc/loadavg: 0.92 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1705160/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=16864 CPUtime=1.49 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 3976 0 0 0 147 2 0 0 25 0 1 0 127360684 17268736 3961 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 4216 3961 74 215 0 3998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16864 [startup+3.10157 s] /proc/loadavg: 0.93 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1691400/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=27048 CPUtime=3.09 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 6721 0 0 0 306 3 0 0 25 0 1 0 127360684 27697152 6464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 6762 6464 83 215 0 6544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27048 [startup+6.30194 s] /proc/loadavg: 0.93 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1689800/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=27048 CPUtime=6.28 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 6721 0 0 0 625 3 0 0 25 0 1 0 127360684 27697152 6464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134805869 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10736/statm: 6762 6464 83 215 0 6544 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27048 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1689928/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=27048 CPUtime=12.68 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 6721 0 0 0 1265 3 0 0 25 0 1 0 127360684 27697152 6464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621806 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 6762 6464 83 215 0 6544 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27048 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1616328/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=101756 CPUtime=25.47 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 25731 0 0 0 2532 15 0 0 25 0 1 0 127360684 104198144 24860 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 25439 24860 92 215 0 25221 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 101756 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1616328/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=101756 CPUtime=51.05 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 25739 0 0 0 5090 15 0 0 25 0 1 0 127360684 104198144 24868 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 25439 24868 92 215 0 25221 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 101756 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1611464/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=105632 CPUtime=102.23 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 27170 0 0 0 10207 16 0 0 25 0 1 0 127360684 108167168 26126 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 26408 26126 123 215 0 26190 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 105632 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1611400/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=105760 CPUtime=162.18 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 27187 0 0 0 16202 16 0 0 25 0 1 0 127360684 108298240 26143 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573715 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 26440 26143 123 215 0 26222 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 105760 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1591240/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=125988 CPUtime=222.14 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 32235 0 0 0 22192 22 0 0 25 0 1 0 127360684 129011712 31191 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572690 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 31497 31191 123 215 0 31279 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 125988 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1569544/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=148084 CPUtime=282.1 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 37694 0 0 0 28181 29 0 0 25 0 1 0 127360684 151638016 36650 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 37021 36650 123 215 0 36803 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 148084 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1548104/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=169168 CPUtime=342.06 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 42983 0 0 0 34172 34 0 0 25 0 1 0 127360684 173228032 41939 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 42292 41939 123 215 0 42074 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 169168 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1539336/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=177868 CPUtime=402.02 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 45187 0 0 0 40165 37 0 0 25 0 1 0 127360684 182136832 44143 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 44467 44143 123 215 0 44249 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 177868 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1526728/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=190328 CPUtime=461.98 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 48319 0 0 0 46158 40 0 0 25 0 1 0 127360684 194895872 47275 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 47582 47275 123 215 0 47364 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 190328 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1516936/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=200736 CPUtime=521.95 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 50804 0 0 0 52151 44 0 0 25 0 1 0 127360684 205553664 49760 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10736/statm: 50184 49760 123 215 0 49966 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 200736 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1508232/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=209196 CPUtime=581.9 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 52942 0 0 0 58144 46 0 0 25 0 1 0 127360684 214216704 51898 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 52299 51898 123 215 0 52081 0 Current children cumulated CPU time (s) 581.9 Current children cumulated vsize (KiB) 209196 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1500232/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=217080 CPUtime=641.86 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 54922 0 0 0 64138 48 0 0 25 0 1 0 127360684 222289920 53878 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 54270 53878 123 215 0 54052 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 217080 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1459528/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=257592 CPUtime=881.72 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 65092 0 0 0 88113 59 0 0 25 0 1 0 127360684 263774208 64048 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 64398 64048 123 215 0 64180 0 Current children cumulated CPU time (s) 881.72 Current children cumulated vsize (KiB) 257592 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1447048/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=270220 CPUtime=941.67 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 68286 0 0 0 94105 62 0 0 25 0 1 0 127360684 276705280 67242 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574414 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 67555 67242 123 215 0 67337 0 Current children cumulated CPU time (s) 941.67 Current children cumulated vsize (KiB) 270220 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10737 /proc/meminfo: memFree=1430024/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=287836 CPUtime=1001.61 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 72454 0 0 0 100095 66 0 0 25 0 1 0 127360684 294744064 71410 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574256 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 71959 71410 123 215 0 71741 0 Current children cumulated CPU time (s) 1001.61 Current children cumulated vsize (KiB) 287836 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1415048/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=302828 CPUtime=1061.57 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 76216 0 0 0 106087 70 0 0 25 0 1 0 127360684 310095872 75172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 75707 75172 123 215 0 75489 0 Current children cumulated CPU time (s) 1061.57 Current children cumulated vsize (KiB) 302828 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1400200/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=317420 CPUtime=1121.53 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 79896 0 0 0 112079 74 0 0 25 0 1 0 127360684 325038080 78852 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 79355 78852 123 215 0 79137 0 Current children cumulated CPU time (s) 1121.53 Current children cumulated vsize (KiB) 317420 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1387592/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=330048 CPUtime=1181.49 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 83061 0 0 0 118073 76 0 0 25 0 1 0 127360684 337969152 82017 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 82512 82017 123 215 0 82294 0 Current children cumulated CPU time (s) 1181.49 Current children cumulated vsize (KiB) 330048 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1375880/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=341688 CPUtime=1241.45 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 85960 0 0 0 124067 78 0 0 25 0 1 0 127360684 349888512 84916 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 85422 84916 123 215 0 85204 0 Current children cumulated CPU time (s) 1241.45 Current children cumulated vsize (KiB) 341688 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1364552/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=352868 CPUtime=1301.42 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 88755 0 0 0 130062 80 0 0 25 0 1 0 127360684 361336832 87711 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 88217 87711 123 215 0 87999 0 Current children cumulated CPU time (s) 1301.42 Current children cumulated vsize (KiB) 352868 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1353736/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=363804 CPUtime=1361.36 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 91502 0 0 0 136053 83 0 0 25 0 1 0 127360684 372535296 90458 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 90951 90458 123 215 0 90733 0 Current children cumulated CPU time (s) 1361.36 Current children cumulated vsize (KiB) 363804 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1343816/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=373404 CPUtime=1421.33 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 93937 0 0 0 142047 86 0 0 25 0 1 0 127360684 382365696 92893 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93351 92893 123 215 0 93133 0 Current children cumulated CPU time (s) 1421.33 Current children cumulated vsize (KiB) 373404 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342664/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1481.27 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 148041 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1481.27 Current children cumulated vsize (KiB) 374464 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342664/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1541.22 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 154036 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573936 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1541.22 Current children cumulated vsize (KiB) 374464 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342600/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1601.19 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 160033 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1601.19 Current children cumulated vsize (KiB) 374464 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342536/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1661.14 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 166028 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1661.14 Current children cumulated vsize (KiB) 374464 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342536/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1721.09 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 172023 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1721.09 Current children cumulated vsize (KiB) 374464 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342536/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1781.05 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 178019 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574486 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1781.05 Current children cumulated vsize (KiB) 374464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342472/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1800.05 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 179919 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 374464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 10739 /proc/meminfo: memFree=1342472/2055920 swapFree=4183056/4192956 [pid=10736] ppid=10734 vsize=374464 CPUtime=1800.05 /proc/10736/stat : 10736 (minisat+) R 10734 10736 9992 0 -1 4194304 94203 0 0 0 179919 86 0 0 25 0 1 0 127360684 383451136 93159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0 /proc/10736/statm: 93616 93159 123 215 0 93398 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 374464 Child status: 0 Real time (s): 1801.36 CPU time (s): 1800.11 CPU user time (s): 1799.19 CPU system time (s): 0.921859 CPU usage (%): 99.9307 Max. virtual memory (cumulated for all children) (KiB): 374464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.19 system time used= 0.921859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94204 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= 159 involuntary context switches= 7815 runsolver used 1.9587 second user time and 4.70628 second system time The end
Begin job on node74 on Tue Apr 17 07:20:59 UTC 2007 IDJOB= 350118 IDBENCH= 2987 IDSOLVER= 156 FILE ID= node74/350118-1176794459 PBS_JOBID= 4580855 Free space on /tmp= 103223 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb COMMAND LINE= /tmp/evaluation/350118-1176794459/minisat+ /tmp/evaluation/350118-1176794459/instance-350118-1176794459.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-350118-1176794459 -o ROOT/results/node74/conversion-350118-1176794459 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350118-1176794459/instance-350118-1176794459.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-350118-1176794459 -o ROOT/results/node74/solver-350118-1176794459 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350118-1176794459/minisat+ /tmp/evaluation/350118-1176794459/instance-350118-1176794459.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8dbba4128860c0dcf60d2ae6d42e2446 RANDOM SEED= 33123592 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1716328 kB Buffers: 30264 kB Cached: 257696 kB SwapCached: 3760 kB Active: 186148 kB Inactive: 112764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1716328 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 4972 kB Writeback: 0 kB Mapped: 16216 kB Slab: 26524 kB Committed_AS: 1940196 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103223 MiB End job on node74 on Tue Apr 17 07:51:03 UTC 2007