Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.72 | 1801.21 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb |
MD5SUM | b1249706e628878b014787592bd6d20f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 19.555 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 16651 |
Total number of constraints | 49141 |
Number of constraints which are clauses | 49140 |
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 | 16380 |
Number of terms in the objective function | 91 |
Biggest coefficient in the objective function | 1237940039285380274899124224 |
Number of bits for the biggest coefficient in the objective function | 91 |
Sum of the numbers in the objective function | 2475880078570760549798248447 |
Number of bits of the sum of numbers in the objective function | 91 |
Biggest number in a constraint | 948568795032094272909893509191171341133987714380927500611236528192824358010355712 |
Number of bits of the biggest number in a constraint | 270 |
Biggest sum of numbers in a constraint | 3794275180128377091639574036119569691105961065265835810055117519795943319408340779 |
Number of bits of the biggest sum of numbers | 271 |
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 c Parsing PB file... 2.22 c Converting 49142 PB-constraints to clauses... 2.23 c -- Unit propagations: (none) 12.48 c -- Detecting intervals from adjacent constraints: # 12.49 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 12.59 c ---[ 0]---> Adder-cost: 24382 maxlim: 138569714351359987044509106630965894961520354009560781015 bits: 187/187 41.51 c ==================================[MINISAT+]================================== 41.51 c | Conflicts | Original | Learnt | Progress | 41.51 c | | Clauses Literals | Max Clauses Literals LPC | | 41.51 c ============================================================================== 41.51 c | 0 | 210406 698787 | 70135 0 0 nan | 0.000 % | 41.68 c | 100 | 210176 697965 | 77148 68 213 3.1 | 10.934 % | 41.81 c | 250 | 210016 697405 | 84863 194 604 3.1 | 11.002 % | 41.82 c | 475 | 210016 697405 | 93349 419 1288 3.1 | 11.002 % | 42.07 c | 812 | 209984 697293 | 102684 752 2370 3.2 | 11.014 % | 42.46 c | 1319 | 209984 697293 | 112953 1259 37425 29.7 | 11.014 % | 44.16 c | 2078 | 209984 697293 | 124248 2018 53562 26.5 | 11.014 % | 46.10 c | 3217 | 209984 697293 | 136673 3157 76427 24.2 | 11.014 % | 47.51 c | 4926 | 209984 697293 | 150340 4866 168833 34.7 | 11.014 % | 50.82 c | 7489 | 209984 697293 | 165374 7429 333940 45.0 | 11.014 % | 57.55 c | 11333 | 209922 697073 | 181912 11266 473056 42.0 | 11.041 % | 63.01 c | 17100 | 209906 697021 | 200103 17031 1020121 59.9 | 11.046 % | 67.72 c | 25749 | 209906 697021 | 220113 25680 2017207 78.6 | 11.046 % | 85.56 c | 38725 | 209895 696978 | 242125 38655 3276860 84.8 | 11.051 % | 119.99 c | 58189 | 209800 696645 | 266337 57206 5285516 92.4 | 11.090 % | 157.38 c | 87381 | 209800 696645 | 292971 86398 10263204 118.8 | 11.090 % | 221.18 c | 131170 | 209668 696211 | 322268 130151 14238246 109.4 | 11.143 % | 383.35 c | 196855 | 209668 696211 | 354495 195836 22241691 113.6 | 11.143 % | 528.54 c | 295382 | 209478 695575 | 389944 294330 38409790 130.5 | 11.204 % | 928.28 c | 443171 | 209392 695291 | 428939 48683 6045119 124.2 | 11.238 % | 1380.94 c | 664854 | 209327 695076 | 471833 270346 45640517 168.8 | 11.259 % | 1801.15 c 1801.20 c *** TERMINATED *** 1801.20 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node25/watcher-49866-1154124064 -o ROOT/results/node25/solver-49866-1154124064 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node25/49866-1154124064/instance-49866-1154124064.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/70 928 /proc/meminfo: memFree=1574648/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=1048 CPUtime=0 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 159281361 1073152 94 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531119 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 262 94 74 215 0 44 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 1.00 2/70 978 /proc/meminfo: memFree=1553864/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=21828 CPUtime=9.98 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 5409 0 0 0 996 2 0 0 25 0 1 0 159281361 22351872 5255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 5457 5255 83 215 0 5239 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 21828 [startup+20.0097 s] /proc/loadavg: 1.07 1.02 1.00 2/70 1020 /proc/meminfo: memFree=1501064/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=75096 CPUtime=19.97 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 18969 0 0 0 1985 12 0 0 25 0 1 0 159281361 76898304 18472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 18774 18472 92 215 0 18556 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 75096 [startup+30.0156 s] /proc/loadavg: 1.06 1.02 1.00 2/64 1060 /proc/meminfo: memFree=1502136/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=75096 CPUtime=29.95 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 18969 0 0 0 2983 12 0 0 25 0 1 0 159281361 76898304 18472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 18774 18472 92 215 0 18556 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 75096 [startup+40.0215 s] /proc/loadavg: 1.05 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1500424/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=76712 CPUtime=39.95 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 19537 0 0 0 3982 13 0 0 25 0 1 0 159281361 78553088 18957 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 19178 18957 92 215 0 18960 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 76712 [startup+50.0274 s] /proc/loadavg: 1.04 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1496968/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=49.95 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 4982 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575363 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 80900 [startup+60.0333 s] /proc/loadavg: 1.04 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1496968/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=59.96 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 5983 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 80900 [startup+70.0392 s] /proc/loadavg: 1.03 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=69.96 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 6983 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 80900 [startup+80.0461 s] /proc/loadavg: 1.02 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=79.96 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 7983 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 79.96 Current children cumulated vsize (Kb) 80900 [startup+90.051 s] /proc/loadavg: 1.02 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=89.97 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 8984 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 80900 [startup+100.057 s] /proc/loadavg: 1.02 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497032/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=99.97 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 9984 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 80900 [startup+110.063 s] /proc/loadavg: 1.01 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497096/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=109.97 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 10984 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 80900 [startup+120.069 s] /proc/loadavg: 1.01 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497160/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=119.98 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20424 0 0 0 11985 13 0 0 25 0 1 0 159281361 82841600 19844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19844 123 215 0 20007 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 80900 [startup+130.075 s] /proc/loadavg: 1.01 1.01 1.00 2/64 1060 /proc/meminfo: memFree=1497160/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=129.98 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20429 0 0 0 12985 13 0 0 25 0 1 0 159281361 82841600 19849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19849 123 215 0 20007 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 80900 [startup+140.081 s] /proc/loadavg: 1.01 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1497096/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=139.98 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20429 0 0 0 13985 13 0 0 25 0 1 0 159281361 82841600 19849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19849 123 215 0 20007 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 80900 [startup+150.087 s] /proc/loadavg: 1.01 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1497096/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=80900 CPUtime=149.99 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20429 0 0 0 14986 13 0 0 25 0 1 0 159281361 82841600 19849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20225 19849 123 215 0 20007 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 80900 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1496328/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=81688 CPUtime=159.99 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20624 0 0 0 15986 13 0 0 25 0 1 0 159281361 83648512 20044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20422 20044 123 215 0 20204 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 81688 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1495048/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=83004 CPUtime=170 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 20942 0 0 0 16986 14 0 0 25 0 1 0 159281361 84996096 20362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 20751 20362 123 215 0 20533 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 83004 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1492808/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=85392 CPUtime=180 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 21510 0 0 0 17986 14 0 0 25 0 1 0 159281361 87441408 20930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 21348 20930 123 215 0 21130 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 85392 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1490696/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=87488 CPUtime=190 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 22038 0 0 0 18985 15 0 0 25 0 1 0 159281361 89587712 21458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 21872 21458 123 215 0 21654 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 87488 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1489416/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=88676 CPUtime=200.01 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 22343 0 0 0 19986 15 0 0 25 0 1 0 159281361 90804224 21763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 22169 21763 123 215 0 21951 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 88676 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 ################ # More data... # ################ /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81784 0 0 0 178078 78 0 0 25 0 1 0 159281361 334671872 81204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81707 81204 123 215 0 81489 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 326828 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1250960/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=326960 CPUtime=1782.56 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81827 0 0 0 178178 78 0 0 25 0 1 0 159281361 334807040 81247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574414 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81740 81247 123 215 0 81522 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 326960 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1250768/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=327088 CPUtime=1783.57 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81872 0 0 0 178279 78 0 0 25 0 1 0 159281361 334938112 81292 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81772 81292 123 215 0 81554 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 327088 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1250640/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=327344 CPUtime=1784.57 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81913 0 0 0 178379 78 0 0 25 0 1 0 159281361 335200256 81333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81836 81333 123 215 0 81618 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 327344 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1250448/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=327472 CPUtime=1785.58 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81952 0 0 0 178480 78 0 0 25 0 1 0 159281361 335331328 81372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81868 81372 123 215 0 81650 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 327472 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1250320/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=327600 CPUtime=1786.58 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 81995 0 0 0 178580 78 0 0 25 0 1 0 159281361 335462400 81415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81900 81415 123 215 0 81682 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 327600 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1250064/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=327856 CPUtime=1787.58 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82045 0 0 0 178680 78 0 0 25 0 1 0 159281361 335724544 81465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580305 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 81964 81465 123 215 0 81746 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 327856 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1249872/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=328116 CPUtime=1788.59 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82106 0 0 0 178781 78 0 0 25 0 1 0 159281361 335990784 81526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82029 81526 123 215 0 81811 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 328116 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1249616/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=328244 CPUtime=1789.59 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82155 0 0 0 178881 78 0 0 25 0 1 0 159281361 336121856 81575 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82061 81575 123 215 0 81843 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 328244 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1249488/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=328376 CPUtime=1790.6 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82190 0 0 0 178982 78 0 0 25 0 1 0 159281361 336257024 81610 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82094 81610 123 215 0 81876 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 328376 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1249296/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=328656 CPUtime=1791.61 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82240 0 0 0 179082 79 0 0 25 0 1 0 159281361 336543744 81660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82164 81660 123 215 0 81946 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 328656 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1249104/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=328784 CPUtime=1792.61 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82295 0 0 0 179182 79 0 0 25 0 1 0 159281361 336674816 81715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82196 81715 123 215 0 81978 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 328784 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1248848/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=329048 CPUtime=1793.62 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82349 0 0 0 179283 79 0 0 25 0 1 0 159281361 336945152 81769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82262 81769 123 215 0 82044 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 329048 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1248656/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=329192 CPUtime=1794.62 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82398 0 0 0 179383 79 0 0 25 0 1 0 159281361 337092608 81818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82298 81818 123 215 0 82080 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 329192 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1248464/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=329456 CPUtime=1795.63 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82449 0 0 0 179484 79 0 0 25 0 1 0 159281361 337362944 81869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82364 81869 123 215 0 82146 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 329456 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1248272/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=329584 CPUtime=1796.63 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82497 0 0 0 179584 79 0 0 25 0 1 0 159281361 337494016 81917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82396 81917 123 215 0 82178 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 329584 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1248080/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=329844 CPUtime=1797.64 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82539 0 0 0 179685 79 0 0 25 0 1 0 159281361 337760256 81959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82461 81959 123 215 0 82243 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 329844 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1247952/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=329972 CPUtime=1798.64 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82577 0 0 0 179785 79 0 0 25 0 1 0 159281361 337891328 81997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82493 81997 123 215 0 82275 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 329972 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1247760/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=330104 CPUtime=1799.65 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82619 0 0 0 179886 79 0 0 25 0 1 0 159281361 338026496 82039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82526 82039 123 215 0 82308 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 330104 [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1247632/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=330360 CPUtime=1800.65 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82664 0 0 0 179986 79 0 0 25 0 1 0 159281361 338288640 82084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574442 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82590 82084 123 215 0 82372 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 330360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1060 /proc/meminfo: memFree=1247568/2055920 swapFree=4183116/4192956 [pid=928] ppid=926 vsize=330360 CPUtime=1800.65 /proc/928/stat : 928 (minisat+) R 926 928 839 0 -1 4194304 82664 0 0 0 179986 79 0 0 25 0 1 0 159281361 338288640 82084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/928/statm: 82590 82084 123 215 0 82372 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 330360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.72 CPU user time (s): 1799.87 CPU system time (s): 0.85087 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (Kb): 330360 The end
Begin job on node25 on Fri Jul 28 22:01:04 UTC 2006 FILE ID= 49866-1154124064 PBS_JOBID= 887129 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=180-sizeP=91-sizeQ=180-348768554.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node25/49866-1154124064/instance-49866-1154124064.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-49866-1154124064 -o ROOT/results/node25/solver-49866-1154124064 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node25/49866-1154124064/instance-49866-1154124064.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b1249706e628878b014787592bd6d20f RANDOM SEED= 557193454 TIMEOUT= 1800 seconds /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.209 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.209 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: 1574856 kB Buffers: 32140 kB Cached: 378180 kB SwapCached: 3732 kB Active: 35496 kB Inactive: 384296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1574856 kB SwapTotal: 4192956 kB SwapFree: 4183116 kB Dirty: 236 kB Writeback: 0 kB Mapped: 16024 kB Slab: 46884 kB Committed_AS: 768800 kB PageTables: 1656 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node25 on Fri Jul 28 22:31:06 UTC 2006