Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.78 | 1801.33 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb |
MD5SUM | 0c8a7426d22e304535ce287c1bd24030 |
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 | 15.1437 |
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 | 13201 |
Total number of constraints | 38881 |
Number of constraints which are clauses | 38880 |
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 | 12960 |
Number of terms in the objective function | 81 |
Biggest coefficient in the objective function | 1208925819614629174706176 |
Number of bits for the biggest coefficient in the objective function | 81 |
Sum of the numbers in the objective function | 2417851639229258349412351 |
Number of bits of the sum of numbers in the objective function | 81 |
Biggest number in a constraint | 883423532389192164791648750371459257913741948437809479060803100646309888 |
Number of bits of the biggest number in a constraint | 240 |
Biggest sum of numbers in a constraint | 3533694129556768659166594778305965527968662855207593266623367657506383399 |
Number of bits of the biggest sum of numbers | 241 |
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... 1.69 c Converting 38882 PB-constraints to clauses... 1.70 c -- Unit propagations: (none) 8.28 c -- Detecting intervals from adjacent constraints: # 8.29 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 8.37 c ---[ 0]---> Adder-cost: 19276 maxlim: 117143310857975919761233325426248982958702983469531 bits: 167/167 28.51 c ==================================[MINISAT+]================================== 28.51 c | Conflicts | Original | Learnt | Progress | 28.51 c | | Clauses Literals | Max Clauses Literals LPC | | 28.51 c ============================================================================== 28.51 c | 0 | 166234 551960 | 55411 0 0 nan | 0.000 % | 28.59 c | 100 | 166219 551911 | 60952 97 362 3.7 | 10.958 % | 28.65 c | 250 | 166129 551589 | 67047 238 6579 27.6 | 11.007 % | 28.98 c | 476 | 166129 551589 | 73752 464 12392 26.7 | 11.007 % | 29.29 c | 813 | 166129 551589 | 81127 801 53585 66.9 | 11.007 % | 30.21 c | 1319 | 166129 551589 | 89239 1307 88801 67.9 | 11.007 % | 31.39 c | 2081 | 166121 551563 | 98163 2068 224021 108.3 | 11.010 % | 32.11 c | 3220 | 166121 551563 | 107980 3207 332655 103.7 | 11.010 % | 34.54 c | 4928 | 166095 551475 | 118778 4913 412136 83.9 | 11.025 % | 37.84 c | 7491 | 166079 551423 | 130656 7474 623538 83.4 | 11.031 % | 44.53 c | 11336 | 166039 551293 | 143721 11314 1617834 143.0 | 11.047 % | 51.59 c | 17103 | 166023 551241 | 158094 17079 2079544 121.8 | 11.053 % | 59.39 c | 25754 | 166015 551215 | 173903 25729 3323310 129.2 | 11.056 % | 79.25 c | 38731 | 166007 551189 | 191293 38705 5342322 138.0 | 11.059 % | 108.16 c | 58194 | 165847 550669 | 210423 58148 8298614 142.7 | 11.120 % | 162.00 c | 87387 | 165764 550386 | 231465 87325 16258377 186.2 | 11.157 % | 256.71 c | 131176 | 165747 550331 | 254612 131112 31308357 238.8 | 11.166 % | 373.12 c | 196862 | 165731 550275 | 280073 196794 43774764 222.4 | 11.172 % | 630.11 c | 295388 | 165647 549987 | 308080 295310 71833448 243.2 | 11.215 % | 1237.60 c | 443179 | 165561 549663 | 338888 135209 84828768 627.4 | 11.258 % | 1801.22 c 1801.22 c *** TERMINATED *** 1801.22 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/node40/watcher-49775-1154117066 -o ROOT/results/node40/solver-49775-1154117066 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49775-1154117066/instance-49775-1154117066.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1434112/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=1048 CPUtime=0 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 158577725 1073152 95 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 262 95 74 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1405896/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=29464 CPUtime=9.99 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 7430 0 0 0 993 6 0 0 25 0 1 0 158577725 30171136 7129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 7366 7129 92 215 0 7148 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 29464 [startup+20.0085 s] /proc/loadavg: 0.94 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1380360/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=55100 CPUtime=19.99 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 13865 0 0 0 1990 9 0 0 25 0 1 0 158577725 56422400 13471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005911 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 13775 13471 92 215 0 13557 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 55100 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374728/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=30 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15508 0 0 0 2990 10 0 0 25 0 1 0 158577725 62361600 14970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14970 123 215 0 15007 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 60900 [startup+40.0211 s] /proc/loadavg: 0.96 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374728/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=40 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 3990 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 60900 [startup+50.0284 s] /proc/loadavg: 0.96 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374728/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=50 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 4990 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572734 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 60900 [startup+60.0347 s] /proc/loadavg: 0.97 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374792/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=60.01 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 5991 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 60900 [startup+70.041 s] /proc/loadavg: 0.97 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374792/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=70.01 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 6991 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 60900 [startup+80.0473 s] /proc/loadavg: 0.98 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374728/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=80.01 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 7991 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 60900 [startup+90.0536 s] /proc/loadavg: 0.98 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374728/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=90.02 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 8992 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 60900 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1374728/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=60900 CPUtime=100.02 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 15511 0 0 0 9992 10 0 0 25 0 1 0 158577725 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572734 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 60900 [startup+110.067 s] /proc/loadavg: 0.98 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1369288/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=66324 CPUtime=110.02 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 16869 0 0 0 10991 11 0 0 25 0 1 0 158577725 67915776 16331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 16581 16331 123 215 0 16363 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 66324 [startup+120.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1364872/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=70900 CPUtime=120.03 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 17993 0 0 0 11990 13 0 0 25 0 1 0 158577725 72601600 17455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574221 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 17725 17455 123 215 0 17507 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 70900 [startup+130.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1361672/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=74024 CPUtime=130.03 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 18787 0 0 0 12990 13 0 0 25 0 1 0 158577725 75800576 18249 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 18506 18249 123 215 0 18288 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 74024 [startup+140.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1358408/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=77312 CPUtime=140.03 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 19603 0 0 0 13989 14 0 0 25 0 1 0 158577725 79167488 19065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 19328 19065 123 215 0 19110 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 77312 [startup+150.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1348808/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=86884 CPUtime=150.04 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 21993 0 0 0 14987 17 0 0 25 0 1 0 158577725 88969216 21455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 21721 21455 123 215 0 21503 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 86884 [startup+160.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1339272/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=96256 CPUtime=160.04 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 24367 0 0 0 15985 19 0 0 25 0 1 0 158577725 98566144 23829 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 24064 23829 123 215 0 23846 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 96256 [startup+170.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1333832/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=101812 CPUtime=170.05 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 25720 0 0 0 16985 20 0 0 25 0 1 0 158577725 104255488 25182 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 25453 25182 123 215 0 25235 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 101812 [startup+180.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1327240/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=108524 CPUtime=180.04 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 27376 0 0 0 17983 21 0 0 25 0 1 0 158577725 111128576 26838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 27131 26838 123 215 0 26913 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 108524 [startup+190.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1322568/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=112984 CPUtime=190.05 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 28525 0 0 0 18982 23 0 0 25 0 1 0 158577725 115695616 27987 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 28246 27987 123 215 0 28028 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 112984 [startup+200.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=1320136/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=115496 CPUtime=200.05 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 29140 0 0 0 19982 23 0 0 25 0 1 0 158577725 118267904 28602 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 28874 28602 123 215 0 28656 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 115496 [startup+210.131 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 ################ # More data... # ################ /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 153759 0 0 0 178028 129 0 0 25 0 1 0 158577725 629284864 153221 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 153634 153221 123 215 0 153416 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 614536 [startup+1783.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=820168/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=614924 CPUtime=1782.57 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 153857 0 0 0 178128 129 0 0 25 0 1 0 158577725 629682176 153319 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 153731 153319 123 215 0 153513 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 614924 [startup+1784.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=819720/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=615488 CPUtime=1783.58 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 153972 0 0 0 178228 130 0 0 25 0 1 0 158577725 630259712 153434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 153872 153434 123 215 0 153654 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 615488 [startup+1785.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=819464/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=615752 CPUtime=1784.59 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154043 0 0 0 178329 130 0 0 25 0 1 0 158577725 630530048 153505 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 153938 153505 123 215 0 153720 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 615752 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=819208/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=616020 CPUtime=1785.59 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154107 0 0 0 178429 130 0 0 25 0 1 0 158577725 630804480 153569 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154005 153569 123 215 0 153787 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 616020 [startup+1787.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=818824/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=616300 CPUtime=1786.59 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154202 0 0 0 178529 130 0 0 25 0 1 0 158577725 631091200 153664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154075 153664 123 215 0 153857 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 616300 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=818568/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=616560 CPUtime=1787.6 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154264 0 0 0 178630 130 0 0 25 0 1 0 158577725 631357440 153726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154140 153726 123 215 0 153922 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 616560 [startup+1789.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=818312/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=616828 CPUtime=1788.6 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154337 0 0 0 178730 130 0 0 25 0 1 0 158577725 631631872 153799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154207 153799 123 215 0 153989 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 616828 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=817864/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=617224 CPUtime=1789.61 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154433 0 0 0 178831 130 0 0 25 0 1 0 158577725 632037376 153895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154306 153895 123 215 0 154088 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 617224 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=817608/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=617492 CPUtime=1790.61 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154510 0 0 0 178931 130 0 0 25 0 1 0 158577725 632311808 153972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154373 153972 123 215 0 154155 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 617492 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=817224/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=617896 CPUtime=1791.61 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154604 0 0 0 179031 130 0 0 25 0 1 0 158577725 632725504 154066 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154474 154066 123 215 0 154256 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 617896 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=816840/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=618288 CPUtime=1792.62 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154692 0 0 0 179132 130 0 0 25 0 1 0 158577725 633126912 154154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154572 154154 123 215 0 154354 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 618288 [startup+1794.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=816520/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=618552 CPUtime=1793.62 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154777 0 0 0 179232 130 0 0 25 0 1 0 158577725 633397248 154239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154638 154239 123 215 0 154420 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 618552 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=816136/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=618952 CPUtime=1794.64 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154870 0 0 0 179333 131 0 0 25 0 1 0 158577725 633806848 154332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154738 154332 123 215 0 154520 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 618952 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=815816/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=619348 CPUtime=1795.64 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 154953 0 0 0 179433 131 0 0 25 0 1 0 158577725 634212352 154415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154837 154415 123 215 0 154619 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 619348 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=815368/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=619748 CPUtime=1796.64 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 155051 0 0 0 179533 131 0 0 25 0 1 0 158577725 634621952 154513 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 154937 154513 123 215 0 154719 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 619748 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=814984/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=620144 CPUtime=1797.64 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 155152 0 0 0 179633 131 0 0 25 0 1 0 158577725 635027456 154614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 155036 154614 123 215 0 154818 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 620144 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=814600/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=620540 CPUtime=1798.65 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 155251 0 0 0 179734 131 0 0 25 0 1 0 158577725 635432960 154713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 155135 154713 123 215 0 154917 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 620540 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=814216/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=620924 CPUtime=1799.65 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 155345 0 0 0 179834 131 0 0 25 0 1 0 158577725 635826176 154807 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 155231 154807 123 215 0 155013 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 620924 [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=813896/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=621192 CPUtime=1800.66 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 155421 0 0 0 179935 131 0 0 25 0 1 0 158577725 636100608 154883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 155298 154883 123 215 0 155080 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 621192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18630 /proc/meminfo: memFree=813896/2055920 swapFree=4183148/4192956 [pid=18630] ppid=18628 vsize=621192 CPUtime=1800.66 /proc/18630/stat : 18630 (minisat+) R 18628 18630 18581 0 -1 4194304 155423 0 0 0 179935 131 0 0 25 0 1 0 158577725 636100608 154885 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573863 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18630/statm: 155298 154885 123 215 0 155080 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 621192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.33 CPU time (s): 1800.78 CPU user time (s): 1799.36 CPU system time (s): 1.42178 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (Kb): 621192 The end
Begin job on node40 on Fri Jul 28 20:04:26 UTC 2006 FILE ID= 49775-1154117066 PBS_JOBID= 886765 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49775-1154117066/instance-49775-1154117066.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-49775-1154117066 -o ROOT/results/node40/solver-49775-1154117066 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49775-1154117066/instance-49775-1154117066.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 0c8a7426d22e304535ce287c1bd24030 RANDOM SEED= 424099305 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.245 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.245 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: 1434320 kB Buffers: 28100 kB Cached: 524468 kB SwapCached: 3672 kB Active: 46604 kB Inactive: 514560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1434320 kB SwapTotal: 4192956 kB SwapFree: 4183148 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14748 kB Slab: 46496 kB Committed_AS: 601268 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node40 on Fri Jul 28 20:34:28 UTC 2006