Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.6 | 1801.25 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb |
MD5SUM | cd6eda995a0e5ee23d36c7390fd4ce06 |
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 | 29.1036 |
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 | 20501 |
Total number of constraints | 60601 |
Number of constraints which are clauses | 60600 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20200 |
Number of terms in the objective function | 101 |
Biggest coefficient in the objective function | 1267650600228229401496703205376 |
Number of bits for the biggest coefficient in the objective function | 101 |
Sum of the numbers in the objective function | 2535301200456458802993406410751 |
Number of bits of the sum of numbers in the objective function | 101 |
Biggest number in a constraint | 1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688 |
Number of bits of the biggest number in a constraint | 300 |
Biggest sum of numbers in a constraint | 4074071952668972172536891376817392001670258842191834970240582444901079515982716395989206874 |
Number of bits of the biggest sum of numbers | 301 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 2.72 c Converting 60602 PB-constraints to clauses... 2.73 c -- Unit propagations: (none) 19.65 c -- Detecting intervals from adjacent constraints: # 19.66 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 19.78 c ---[ 0]---> Adder-cost: 29694 maxlim: 40332568005958459321930111770966576316445593225583755820824744 bits: 205/205 59.20 c ==================================[MINISAT+]================================== 59.20 c | Conflicts | Original | Learnt | Progress | 59.20 c | | Clauses Literals | Max Clauses Literals LPC | | 59.20 c ============================================================================== 59.20 c | 0 | 256117 851044 | 85372 0 0 nan | 0.000 % | 59.26 c | 100 | 256060 850849 | 93909 92 308 3.3 | 11.258 % | 59.45 c | 250 | 256049 850806 | 103300 241 887 3.7 | 11.262 % | 59.70 c | 475 | 256049 850806 | 113630 466 14856 31.9 | 11.262 % | 60.53 c | 812 | 256049 850806 | 124993 803 23309 29.0 | 11.262 % | 62.08 c | 1320 | 255934 850407 | 137492 1297 55187 42.5 | 11.302 % | 64.03 c | 2079 | 255934 850407 | 151241 2056 117294 57.0 | 11.302 % | 66.93 c | 3220 | 255934 850407 | 166365 3197 168291 52.6 | 11.302 % | 71.96 c | 4928 | 255934 850407 | 183002 4905 297222 60.6 | 11.302 % | 76.63 c | 7492 | 255878 850195 | 201302 7460 451724 60.6 | 11.320 % | 86.98 c | 11336 | 255867 850152 | 221432 11303 774119 68.5 | 11.324 % | 102.50 c | 17107 | 255718 849633 | 243576 17045 1178268 69.1 | 11.371 % | 109.31 c | 25757 | 255647 849398 | 267933 25587 1889829 73.9 | 11.393 % | 143.20 c | 38732 | 255407 848564 | 294727 38401 3634498 94.6 | 11.476 % | 203.47 c | 58193 | 255337 848316 | 324200 50114 4597942 91.7 | 11.498 % | 249.24 c | 87390 | 255253 848024 | 356620 79129 8148002 103.0 | 11.522 % | 374.97 c | 131180 | 254984 847119 | 392282 122765 13225675 107.7 | 11.615 % | 498.97 c | 196864 | 254984 847119 | 431510 188449 23410791 124.2 | 11.615 % | 723.12 c | 295390 | 254885 846796 | 474661 286930 50756573 176.9 | 11.645 % | 1175.61 c | 443180 | 254771 846418 | 522127 434706 73379655 168.8 | 11.675 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 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/node12/watcher-49841-1154122253 -o ROOT/results/node12/solver-49841-1154122253 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/49841-1154122253/instance-49841-1154122253.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=867536/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=1048 CPUtime=0 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 100 0 0 0 0 0 0 0 19 0 1 0 159086819 1073152 84 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 262 86 68 215 0 44 0 [startup+10.0029 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=841616/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=27084 CPUtime=9.99 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 6733 0 0 0 997 2 0 0 25 0 1 0 159086819 27734016 6475 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 6771 6475 83 215 0 6553 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 27084 [startup+20.0097 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=841808/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=27084 CPUtime=19.99 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 6762 0 0 0 1992 7 0 0 18 0 1 0 159086819 27734016 6504 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134813178 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 6771 6504 88 215 0 6553 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 27084 [startup+30.0166 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=769936/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=100020 CPUtime=29.99 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 25311 0 0 0 2985 14 0 0 25 0 1 0 159086819 102420480 24439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 25005 24439 92 215 0 24787 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 100020 [startup+40.0224 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=769936/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=100020 CPUtime=39.99 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 25313 0 0 0 3985 14 0 0 25 0 1 0 159086819 102420480 24441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 25005 24441 92 215 0 24787 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 100020 [startup+50.0292 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=769936/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=100020 CPUtime=50 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 25313 0 0 0 4986 14 0 0 25 0 1 0 159086819 102420480 24441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003881 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 25005 24441 92 215 0 24787 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 100020 [startup+60.035 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765264/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=60.01 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26725 0 0 0 5986 15 0 0 25 0 1 0 159086819 106496000 25680 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25680 123 215 0 25782 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 104000 [startup+70.0418 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765264/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=70.01 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26725 0 0 0 6986 15 0 0 25 0 1 0 159086819 106496000 25680 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25680 123 215 0 25782 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 104000 [startup+80.0486 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765264/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=80.01 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26729 0 0 0 7986 15 0 0 25 0 1 0 159086819 106496000 25684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25684 123 215 0 25782 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 104000 [startup+90.0544 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=90.01 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26737 0 0 0 8986 15 0 0 25 0 1 0 159086819 106496000 25692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25692 123 215 0 25782 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 104000 [startup+100.06 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=100.02 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26737 0 0 0 9987 15 0 0 25 0 1 0 159086819 106496000 25692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25692 123 215 0 25782 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 104000 [startup+110.066 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=110.02 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 10987 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 104000 [startup+120.072 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=120.02 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 11987 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 104000 [startup+130.078 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=130.02 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 12987 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 104000 [startup+140.083 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=140.02 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 13987 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 104000 [startup+150.089 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=150.03 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 14988 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576169 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 104000 [startup+160.095 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=160.03 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 15988 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 104000 [startup+170.101 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765200/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=170.03 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 16988 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 104000 [startup+180.107 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765136/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=180.03 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 17988 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 104000 [startup+190.113 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765136/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=190.03 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 18988 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 104000 [startup+200.118 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 /proc/meminfo: memFree=765136/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=104000 CPUtime=200.04 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 26740 0 0 0 19989 15 0 0 25 0 1 0 159086819 106496000 25695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 26000 25695 123 215 0 25782 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 104000 [startup+210.124 s] /proc/loadavg: 0.99 1.00 1.00 2/64 28559 ################ # More data... # ################ /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178043 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 446020 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1782.43 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178143 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 446020 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1783.44 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178244 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 446020 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1784.44 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178344 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 446020 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1785.45 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178445 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 446020 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1786.45 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178545 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 446020 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1787.46 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178646 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575423 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 446020 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1788.46 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178746 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 446020 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1789.47 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178847 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 446020 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1790.47 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 178947 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 446020 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1791.48 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179048 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 446020 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1792.48 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179148 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 446020 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1793.49 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179249 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 446020 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1794.49 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179349 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 446020 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1795.5 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179450 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 446020 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1796.5 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179550 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 446020 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1797.5 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179650 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 446020 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1798.51 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179751 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 446020 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1799.51 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179851 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 446020 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1800.52 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179952 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 446020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28561 /proc/meminfo: memFree=423184/2055920 swapFree=4183008/4192956 [pid=28559] ppid=28557 vsize=446020 CPUtime=1800.52 /proc/28559/stat : 28559 (minisat+) R 28557 28559 28510 0 -1 4194304 112029 0 0 0 179952 100 0 0 25 0 1 0 159086819 456724480 110984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28559/statm: 111505 110984 123 215 0 111287 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 446020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.25 CPU time (s): 1800.6 CPU user time (s): 1799.53 CPU system time (s): 1.07584 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (Kb): 446020 The end
Begin job on node12 on Fri Jul 28 21:30:53 UTC 2006 FILE ID= 49841-1154122253 PBS_JOBID= 887029 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/49841-1154122253/instance-49841-1154122253.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-49841-1154122253 -o ROOT/results/node12/solver-49841-1154122253 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node12/49841-1154122253/instance-49841-1154122253.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= cd6eda995a0e5ee23d36c7390fd4ce06 RANDOM SEED= 666345540 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.286 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.286 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: 867744 kB Buffers: 36316 kB Cached: 1069460 kB SwapCached: 4052 kB Active: 43760 kB Inactive: 1070964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 867744 kB SwapTotal: 4192956 kB SwapFree: 4183008 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14464 kB Slab: 59548 kB Committed_AS: 708924 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Fri Jul 28 22:00:55 UTC 2006