Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.11 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb |
MD5SUM | 2a5c3ceba4b0797f84fa61492c45250f |
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 | 4074071952668972172536891376817392001670258842191834970240582444901079515982716395989206874 |
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.79/2.80 c Converting 60602 PB-constraints to clauses... 2.79/2.81 c -- Unit propagations: (none) 19.29/19.32 c -- Detecting intervals from adjacent constraints: # 19.29/19.34 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 19.38/19.45 c ---[ 0]---> Adder-cost: 29694 maxlim: 40332568005958459321930111770966576316445593225583755820824744 bits: 205/205 58.77/58.84 c ==================================[MINISAT+]================================== 58.77/58.84 c | Conflicts | Original | Learnt | Progress | 58.77/58.84 c | | Clauses Literals | Max Clauses Literals LPC | | 58.77/58.84 c ============================================================================== 58.77/58.84 c | 0 | 256117 851044 | 85372 0 0 nan | 0.000 % | 58.87/58.90 c | 100 | 256060 850849 | 93909 92 309 3.4 | 11.258 % | 58.97/59.07 c | 250 | 256040 850775 | 103300 239 2796 11.7 | 11.264 % | 59.47/59.57 c | 477 | 256007 850662 | 113630 460 9583 20.8 | 11.272 % | 59.57/59.64 c | 815 | 256007 850662 | 124993 798 31320 39.2 | 11.272 % | 59.77/59.81 c | 1321 | 256007 850662 | 137492 1304 47690 36.6 | 11.272 % | 59.97/60.03 c | 2080 | 256007 850662 | 151241 2063 72087 34.9 | 11.272 % | 60.47/60.55 c | 3220 | 256007 850662 | 166365 3203 116790 36.5 | 11.272 % | 60.97/61.08 c | 4928 | 256007 850662 | 183002 4911 189093 38.5 | 11.272 % | 61.77/61.87 c | 7490 | 256007 850662 | 201302 7473 293975 39.3 | 11.272 % | 63.07/63.19 c | 11334 | 256007 850662 | 221432 11317 570949 50.5 | 11.272 % | 65.57/65.62 c | 17101 | 255999 850636 | 243576 17083 1013981 59.4 | 11.274 % | 73.47/73.55 c | 25750 | 255999 850636 | 267933 25732 1853831 72.0 | 11.274 % | 92.27/92.38 c | 38725 | 255886 850267 | 294727 38690 3833608 99.1 | 11.302 % | 106.36/106.40 c | 58187 | 255803 849984 | 324200 58133 6019282 103.5 | 11.322 % | 142.75/142.89 c | 87381 | 255787 849932 | 356620 87325 9273762 106.2 | 11.326 % | 204.93/205.07 c | 131171 | 255779 849906 | 392282 131114 16049147 122.4 | 11.328 % | 368.28/368.40 c | 196855 | 255771 849880 | 431510 196797 22671992 115.2 | 11.330 % | 740.56/740.90 c | 295382 | 255771 849880 | 474661 295324 36414558 123.3 | 11.330 % | 1314.29/1314.86 c | 443171 | 255771 849880 | 522127 443113 50782287 114.6 | 11.330 % | 1800.06/1800.70 c 1800.06/1800.75 c *** TERMINATED *** 1800.06/1800.75 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350138-1176796265/instance-350138-1176796265.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-350138-1176796265 -o ROOT/results/node74/solver-350138-1176796265 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350138-1176796265/minisat+ /tmp/evaluation/350138-1176796265/instance-350138-1176796265.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.91 0.97 0.98 3/66 10787 /proc/meminfo: memFree=1712656/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=1048 CPUtime=0 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 127541310 1073152 101 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 262 101 74 215 0 44 0 [startup+0.0482001 s] /proc/loadavg: 0.91 0.97 0.98 3/66 10787 /proc/meminfo: memFree=1712656/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=1468 CPUtime=0.04 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 234 0 0 0 4 0 0 0 18 0 1 0 127541310 1503232 219 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 367 219 74 215 0 149 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1468 [startup+0.101206 s] /proc/loadavg: 0.91 0.97 0.98 3/66 10787 /proc/meminfo: memFree=1712656/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=2076 CPUtime=0.09 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 362 0 0 0 9 0 0 0 18 0 1 0 127541310 2125824 347 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 519 347 74 215 0 301 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2076 [startup+0.301235 s] /proc/loadavg: 0.91 0.97 0.98 3/66 10787 /proc/meminfo: memFree=1712656/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=4036 CPUtime=0.29 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 862 0 0 0 29 0 0 0 19 0 1 0 127541310 4132864 847 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 1009 847 74 215 0 791 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4036 [startup+0.701274 s] /proc/loadavg: 0.91 0.97 0.98 3/66 10787 /proc/meminfo: memFree=1712656/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=7992 CPUtime=0.69 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 1820 0 0 0 68 1 0 0 22 0 1 0 127541310 8183808 1805 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 1998 1805 74 215 0 1780 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7992 [startup+1.50137 s] /proc/loadavg: 0.92 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1702984/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=15488 CPUtime=1.49 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 3671 0 0 0 147 2 0 0 25 0 1 0 127541310 15859712 3656 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 3872 3656 74 215 0 3654 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15488 [startup+3.10155 s] /proc/loadavg: 0.92 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1694344/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=27048 CPUtime=3.09 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 6721 0 0 0 305 4 0 0 25 0 1 0 127541310 27697152 6464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 6762 6464 83 215 0 6544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27048 [startup+6.30292 s] /proc/loadavg: 0.92 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1686664/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=27048 CPUtime=6.29 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 6721 0 0 0 625 4 0 0 25 0 1 0 127541310 27697152 6464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012162 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 6762 6464 83 215 0 6544 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27048 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1686664/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=27048 CPUtime=12.69 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 6721 0 0 0 1265 4 0 0 25 0 1 0 127541310 27697152 6464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 6762 6464 83 215 0 6544 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27048 [startup+25.5011 s] /proc/loadavg: 0.94 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1615624/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=100416 CPUtime=25.48 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 25283 0 0 0 2529 19 0 0 25 0 1 0 127541310 102825984 24520 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 25104 24520 92 215 0 24886 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 100416 [startup+51.1011 s] /proc/loadavg: 0.96 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1614920/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=99988 CPUtime=51.07 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 25294 0 0 0 5088 19 0 0 25 0 1 0 127541310 102387712 24424 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135010106 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 24997 24424 92 215 0 24779 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 99988 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1610056/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=103964 CPUtime=102.26 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 26733 0 0 0 10206 20 0 0 25 0 1 0 127541310 106459136 25690 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 25991 25690 123 215 0 25773 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 103964 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1610056/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=103964 CPUtime=162.24 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 26736 0 0 0 16204 20 0 0 25 0 1 0 127541310 106459136 25693 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 25991 25693 123 215 0 25773 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 103964 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1595912/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=118296 CPUtime=222.22 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 30251 0 0 0 22198 24 0 0 25 0 1 0 127541310 121135104 29208 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 29574 29208 123 215 0 29356 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 118296 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1585672/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=128468 CPUtime=282.2 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 32829 0 0 0 28193 27 0 0 25 0 1 0 127541310 131551232 31786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 32117 31786 123 215 0 31899 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 128468 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1576136/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=137868 CPUtime=342.19 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 35176 0 0 0 34190 29 0 0 25 0 1 0 127541310 141176832 34133 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 34467 34133 123 215 0 34249 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 137868 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1562632/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=151792 CPUtime=402.17 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 38594 0 0 0 40183 34 0 0 25 0 1 0 127541310 155435008 37551 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 37948 37551 123 215 0 37730 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 151792 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1547464/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=166760 CPUtime=462.15 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 42341 0 0 0 46177 38 0 0 25 0 1 0 127541310 170762240 41298 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 41690 41298 123 215 0 41472 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 166760 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1534792/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=179172 CPUtime=522.14 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 45485 0 0 0 52173 41 0 0 25 0 1 0 127541310 183472128 44442 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 44793 44442 123 215 0 44575 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 179172 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/67 10788 /proc/meminfo: memFree=1531016/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=182964 CPUtime=582.11 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 46420 0 0 0 58169 42 0 0 25 0 1 0 127541310 187355136 45377 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 45741 45377 123 215 0 45523 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 182964 [startup+642.301 s] /proc/loadavg: 1.18 1.02 1.00 2/73 10960 /proc/meminfo: memFree=1523600/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=189064 CPUtime=642.01 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 47955 0 0 0 64153 48 0 0 25 0 1 0 127541310 193601536 46912 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574343 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 47266 46912 123 215 0 47048 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 189064 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1494792/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=219268 CPUtime=881.91 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 55413 0 0 0 88135 56 0 0 25 0 1 0 127541310 224530432 54370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 54817 54370 123 215 0 54599 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 219268 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1488840/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=225384 CPUtime=941.9 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 56935 0 0 0 94132 58 0 0 25 0 1 0 127541310 230793216 55892 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 56346 55892 123 215 0 56128 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 225384 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1479432/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=234552 CPUtime=1001.88 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 59262 0 0 0 100127 61 0 0 25 0 1 0 127541310 240181248 58219 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 58638 58219 123 215 0 58420 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 234552 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1473224/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=240816 CPUtime=1061.87 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 60835 0 0 0 106125 62 0 0 25 0 1 0 127541310 246595584 59792 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 60204 59792 123 215 0 59986 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 240816 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1467656/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=246284 CPUtime=1121.85 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 62210 0 0 0 112122 63 0 0 25 0 1 0 127541310 252194816 61167 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 61571 61167 123 215 0 61353 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 246284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1460808/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=253108 CPUtime=1181.82 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 63934 0 0 0 118118 64 0 0 25 0 1 0 127541310 259182592 62891 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 63277 62891 123 215 0 63059 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 253108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1457480/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=256368 CPUtime=1241.81 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 64749 0 0 0 124115 66 0 0 25 0 1 0 127541310 262520832 63706 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 64092 63706 123 215 0 63874 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 256368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1452424/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=261316 CPUtime=1301.8 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 65996 0 0 0 130113 67 0 0 25 0 1 0 127541310 267587584 64953 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 65329 64953 123 215 0 65111 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 261316 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1446472/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=267200 CPUtime=1361.78 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 67486 0 0 0 136109 69 0 0 25 0 1 0 127541310 273612800 66443 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 66800 66443 123 215 0 66582 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 267200 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1442632/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=271000 CPUtime=1421.76 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 68437 0 0 0 142106 70 0 0 25 0 1 0 127541310 277504000 67394 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 67750 67394 123 215 0 67532 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 271000 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1439112/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=275312 CPUtime=1481.74 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 69312 0 0 0 148103 71 0 0 25 0 1 0 127541310 281919488 68269 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 68828 68269 123 215 0 68610 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 275312 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1433096/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=281276 CPUtime=1541.72 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 70811 0 0 0 154099 73 0 0 25 0 1 0 127541310 288026624 69768 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 70319 69768 123 215 0 70101 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 281276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1427976/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=286476 CPUtime=1601.7 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 72100 0 0 0 160096 74 0 0 25 0 1 0 127541310 293351424 71057 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 71619 71057 123 215 0 71401 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 286476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1422664/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=291732 CPUtime=1661.68 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 73423 0 0 0 166092 76 0 0 25 0 1 0 127541310 298733568 72380 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 72933 72380 123 215 0 72715 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 291732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1417416/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=297068 CPUtime=1721.67 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 74781 0 0 0 172089 78 0 0 25 0 1 0 127541310 304197632 73738 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 74267 73738 123 215 0 74049 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 297068 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1411528/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=302752 CPUtime=1781.65 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 76206 0 0 0 178086 79 0 0 25 0 1 0 127541310 310018048 75163 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 75688 75163 123 215 0 75470 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 302752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1410056/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=304308 CPUtime=1800.06 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 76576 0 0 0 179926 80 0 0 25 0 1 0 127541310 311611392 75533 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 76077 75533 123 215 0 75859 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 304308 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: 1.00 1.00 1.00 2/67 10986 /proc/meminfo: memFree=1410056/2055920 swapFree=4183056/4192956 [pid=10787] ppid=10785 vsize=304308 CPUtime=1800.06 /proc/10787/stat : 10787 (minisat+) R 10785 10787 9992 0 -1 4194304 76576 0 0 0 179926 80 0 0 25 0 1 0 127541310 311611392 75533 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10787/statm: 76077 75533 123 215 0 75859 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 304308 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.11 CPU user time (s): 1799.26 CPU system time (s): 0.847871 CPU usage (%): 99.9642 Max. virtual memory (cumulated for all children) (KiB): 304308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 0.847871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76577 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= 390 involuntary context switches= 2547 runsolver used 1.64475 second user time and 3.9674 second system time The end
Begin job on node74 on Tue Apr 17 07:51:05 UTC 2007 IDJOB= 350138 IDBENCH= 2995 IDSOLVER= 156 FILE ID= node74/350138-1176796265 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-864124249-max.opb COMMAND LINE= /tmp/evaluation/350138-1176796265/minisat+ /tmp/evaluation/350138-1176796265/instance-350138-1176796265.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-350138-1176796265 -o ROOT/results/node74/conversion-350138-1176796265 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350138-1176796265/instance-350138-1176796265.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-350138-1176796265 -o ROOT/results/node74/solver-350138-1176796265 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350138-1176796265/minisat+ /tmp/evaluation/350138-1176796265/instance-350138-1176796265.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 2a5c3ceba4b0797f84fa61492c45250f RANDOM SEED= 354035088 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: 1713192 kB Buffers: 30464 kB Cached: 260420 kB SwapCached: 3760 kB Active: 186668 kB Inactive: 115340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1713192 kB SwapTotal: 4192956 kB SwapFree: 4183056 kB Dirty: 4972 kB Writeback: 0 kB Mapped: 16428 kB Slab: 26508 kB Committed_AS: 1945124 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 08:21:08 UTC 2007