Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.7 | 1801.29 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb |
MD5SUM | e373f8acbb3a8da6f3b336b030bf2de6 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
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.68 c Converting 38882 PB-constraints to clauses... 1.69 c -- Unit propagations: (none) 8.22 c -- Detecting intervals from adjacent constraints: # 8.23 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 8.31 c ---[ 0]---> Adder-cost: 19276 maxlim: 117143310857975919761233325426248982958702983469531 bits: 167/167 28.44 c ==================================[MINISAT+]================================== 28.44 c | Conflicts | Original | Learnt | Progress | 28.44 c | | Clauses Literals | Max Clauses Literals LPC | | 28.44 c ============================================================================== 28.44 c | 0 | 166234 551960 | 55411 0 0 nan | 0.000 % | 28.51 c | 100 | 166219 551911 | 60952 97 315 3.2 | 10.958 % | 28.54 c | 250 | 166129 551589 | 67047 238 4836 20.3 | 11.007 % | 28.92 c | 475 | 166129 551589 | 73752 463 6644 14.3 | 11.007 % | 28.98 c | 812 | 166129 551589 | 81127 800 24977 31.2 | 11.007 % | 29.11 c | 1320 | 166120 551560 | 89239 1307 47664 36.5 | 11.013 % | 29.32 c | 2079 | 166103 551501 | 98163 2064 74864 36.3 | 11.022 % | 29.76 c | 3219 | 166095 551475 | 107980 3203 136710 42.7 | 11.025 % | 30.11 c | 4927 | 166095 551475 | 118778 4911 206785 42.1 | 11.025 % | 31.10 c | 7489 | 166095 551475 | 130656 7473 329994 44.2 | 11.025 % | 32.01 c | 11333 | 166095 551475 | 143721 11317 514059 45.4 | 11.025 % | 33.70 c | 17100 | 166087 551449 | 158094 17083 837332 49.0 | 11.028 % | 37.54 c | 25750 | 166079 551423 | 173903 25732 1309222 50.9 | 11.032 % | 44.87 c | 38725 | 166047 551319 | 191293 38703 2335802 60.4 | 11.044 % | 55.13 c | 58186 | 166015 551215 | 210423 58160 3951791 67.9 | 11.056 % | 75.28 c | 87379 | 165991 551137 | 231465 87350 7485161 85.7 | 11.065 % | 127.54 c | 131168 | 165975 551085 | 254612 131137 10375875 79.1 | 11.071 % | 210.56 c | 196852 | 165943 550981 | 280073 196817 16442434 83.5 | 11.084 % | 359.51 c | 295378 | 165919 550903 | 308080 25743 1863042 72.4 | 11.093 % | 503.87 c | 443168 | 165848 550668 | 338888 173524 18900244 108.9 | 11.120 % | 946.97 c | 664852 | 165785 550463 | 372777 72034 9288471 128.9 | 11.145 % | 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/node20/watcher-49864-1154124042 -o ROOT/results/node20/solver-49864-1154124042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node20/49864-1154124042/instance-49864-1154124042.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 28802 /proc/meminfo: memFree=1484608/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=1048 CPUtime=0 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 159264716 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 262 81 67 215 0 44 0 [startup+10.0021 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28802 /proc/meminfo: memFree=1454720/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=31188 CPUtime=9.98 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 7864 0 0 0 992 6 0 0 25 0 1 0 159264716 31936512 7563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 7797 7564 92 215 0 7579 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 31188 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 1.00 2/70 28828 /proc/meminfo: memFree=1429960/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=55100 CPUtime=19.99 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 13861 0 0 0 1990 9 0 0 25 0 1 0 159264716 56422400 13467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003230 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 13775 13467 92 215 0 13557 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 55100 [startup+30.0156 s] /proc/loadavg: 1.00 1.00 1.00 2/70 28910 /proc/meminfo: memFree=1423984/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=60900 CPUtime=29.95 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15506 0 0 0 2985 10 0 0 25 0 1 0 159264716 62361600 14968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 15225 14968 123 215 0 15007 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 60900 [startup+40.0228 s] /proc/loadavg: 1.00 1.00 1.00 2/70 28940 /proc/meminfo: memFree=1423800/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=60900 CPUtime=39.94 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 3983 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 60900 [startup+50.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1425000/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=60900 CPUtime=49.92 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 4981 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 60900 [startup+60.0363 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1425152/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=60900 CPUtime=59.92 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 5981 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 59.92 Current children cumulated vsize (Kb) 60900 [startup+70.0425 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1425216/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=60900 CPUtime=69.93 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 15511 0 0 0 6982 11 0 0 25 0 1 0 159264716 62361600 14973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 15225 14973 123 215 0 15007 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 60900 [startup+80.0487 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1420992/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=65236 CPUtime=79.93 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 16563 0 0 0 7981 12 0 0 25 0 1 0 159264716 66801664 16025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 16309 16025 123 215 0 16091 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 65236 [startup+90.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1417408/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=68756 CPUtime=89.93 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 17459 0 0 0 8980 13 0 0 25 0 1 0 159264716 70406144 16921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 17189 16921 123 215 0 16971 0 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 68756 [startup+100.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1415488/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=70580 CPUtime=99.94 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 17925 0 0 0 9980 14 0 0 25 0 1 0 159264716 72273920 17387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574425 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 17645 17387 123 215 0 17427 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 70580 [startup+110.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1412416/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=73744 CPUtime=109.94 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 18695 0 0 0 10979 15 0 0 25 0 1 0 159264716 75513856 18157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581002 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 18436 18157 123 215 0 18218 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 73744 [startup+120.074 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1410688/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=75432 CPUtime=119.94 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 19149 0 0 0 11979 15 0 0 25 0 1 0 159264716 77242368 18611 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581030 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 18858 18611 123 215 0 18640 0 Current children cumulated CPU time (s) 119.94 Current children cumulated vsize (Kb) 75432 [startup+130.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1408768/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=77256 CPUtime=129.95 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 19613 0 0 0 12979 16 0 0 25 0 1 0 159264716 79110144 19075 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574262 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 19314 19075 123 215 0 19096 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 77256 [startup+140.086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1404864/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=81464 CPUtime=139.94 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 20596 0 0 0 13978 16 0 0 25 0 1 0 159264716 83419136 20058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 20366 20058 123 215 0 20148 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 81464 [startup+150.092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1400960/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=85280 CPUtime=149.95 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 21573 0 0 0 14978 17 0 0 25 0 1 0 159264716 87326720 21035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 21320 21035 123 215 0 21102 0 Current children cumulated CPU time (s) 149.95 Current children cumulated vsize (Kb) 85280 [startup+160.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1397632/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=88560 CPUtime=159.96 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 22392 0 0 0 15977 19 0 0 25 0 1 0 159264716 90685440 21854 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 22140 21854 123 215 0 21922 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 88560 [startup+170.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1395584/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=90640 CPUtime=169.96 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 22909 0 0 0 16977 19 0 0 25 0 1 0 159264716 92815360 22371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 22660 22371 123 215 0 22442 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 90640 [startup+180.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1392064/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=94056 CPUtime=179.96 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 23778 0 0 0 17976 20 0 0 25 0 1 0 159264716 96313344 23240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 23514 23240 123 215 0 23296 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 94056 [startup+190.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1387520/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=98652 CPUtime=189.97 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 24916 0 0 0 18975 22 0 0 25 0 1 0 159264716 101019648 24378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 24663 24378 123 215 0 24445 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 98652 [startup+200.124 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1385088/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=101004 CPUtime=199.96 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 25523 0 0 0 19974 22 0 0 25 0 1 0 159264716 103428096 24985 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 25251 24985 123 215 0 25033 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 101004 [startup+210.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 ################ # More data... # ################ /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94021 0 0 0 178066 88 0 0 25 0 1 0 159264716 384667648 93483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 93913 93483 123 215 0 93695 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 375652 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1110144/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=376056 CPUtime=1782.54 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94124 0 0 0 178166 88 0 0 25 0 1 0 159264716 385081344 93586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94014 93586 123 215 0 93796 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 376056 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1109824/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=376320 CPUtime=1783.55 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94210 0 0 0 178267 88 0 0 25 0 1 0 159264716 385351680 93672 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94080 93672 123 215 0 93862 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 376320 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1109504/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=376716 CPUtime=1784.55 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94293 0 0 0 178367 88 0 0 25 0 1 0 159264716 385757184 93755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94179 93755 123 215 0 93961 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 376716 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1109120/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=377120 CPUtime=1785.56 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94387 0 0 0 178468 88 0 0 25 0 1 0 159264716 386170880 93849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574417 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94280 93849 123 215 0 94062 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 377120 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1108928/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=377256 CPUtime=1786.56 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94439 0 0 0 178568 88 0 0 25 0 1 0 159264716 386310144 93901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94314 93901 123 215 0 94096 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 377256 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1108608/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=377652 CPUtime=1787.57 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94517 0 0 0 178669 88 0 0 25 0 1 0 159264716 386715648 93979 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94413 93979 123 215 0 94195 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 377652 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1108480/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=377652 CPUtime=1788.57 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94547 0 0 0 178769 88 0 0 25 0 1 0 159264716 386715648 94009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94413 94009 123 215 0 94195 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 377652 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1108160/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=378052 CPUtime=1789.57 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94617 0 0 0 178869 88 0 0 25 0 1 0 159264716 387125248 94079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94513 94079 123 215 0 94295 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 378052 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1108032/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=378184 CPUtime=1790.58 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94663 0 0 0 178970 88 0 0 25 0 1 0 159264716 387260416 94125 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94546 94125 123 215 0 94328 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 378184 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1107776/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=378448 CPUtime=1791.58 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94717 0 0 0 179070 88 0 0 25 0 1 0 159264716 387530752 94179 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94612 94179 123 215 0 94394 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 378448 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1107520/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=378720 CPUtime=1792.59 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94785 0 0 0 179171 88 0 0 25 0 1 0 159264716 387809280 94247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94680 94247 123 215 0 94462 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 378720 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1107264/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=378980 CPUtime=1793.59 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94853 0 0 0 179271 88 0 0 25 0 1 0 159264716 388075520 94315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94745 94315 123 215 0 94527 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 378980 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1107072/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379112 CPUtime=1794.6 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94894 0 0 0 179372 88 0 0 25 0 1 0 159264716 388210688 94356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94778 94356 123 215 0 94560 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 379112 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1107008/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379112 CPUtime=1795.6 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94911 0 0 0 179472 88 0 0 25 0 1 0 159264716 388210688 94373 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94778 94373 123 215 0 94560 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 379112 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1106880/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379244 CPUtime=1796.61 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94943 0 0 0 179573 88 0 0 25 0 1 0 159264716 388345856 94405 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94811 94405 123 215 0 94593 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 379244 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1106688/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379512 CPUtime=1797.61 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 94984 0 0 0 179673 88 0 0 25 0 1 0 159264716 388620288 94446 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94878 94446 123 215 0 94660 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 379512 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1106624/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379512 CPUtime=1798.62 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95010 0 0 0 179774 88 0 0 25 0 1 0 159264716 388620288 94472 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94878 94472 123 215 0 94660 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 379512 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1106560/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379644 CPUtime=1799.62 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95031 0 0 0 179874 88 0 0 25 0 1 0 159264716 388755456 94493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94911 94493 123 215 0 94693 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 379644 [startup+1801.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1106368/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379780 CPUtime=1800.62 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95070 0 0 0 179974 88 0 0 25 0 1 0 159264716 388894720 94532 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94945 94532 123 215 0 94727 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 379780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29000 /proc/meminfo: memFree=1106368/2055920 swapFree=4183448/4192956 [pid=28802] ppid=28800 vsize=379780 CPUtime=1800.63 /proc/28802/stat : 28802 (minisat+) R 28800 28802 28753 0 -1 4194304 95070 0 0 0 179975 88 0 0 25 0 1 0 159264716 388894720 94532 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28802/statm: 94945 94532 123 215 0 94727 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 379780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.29 CPU time (s): 1800.7 CPU user time (s): 1799.75 CPU system time (s): 0.950855 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (Kb): 379780 The end
Begin job on node20 on Fri Jul 28 22:00:42 UTC 2006 FILE ID= 49864-1154124042 PBS_JOBID= 887121 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node20/49864-1154124042/instance-49864-1154124042.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-49864-1154124042 -o ROOT/results/node20/solver-49864-1154124042 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node20/49864-1154124042/instance-49864-1154124042.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= e373f8acbb3a8da6f3b336b030bf2de6 RANDOM SEED= 212921412 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.239 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.239 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: 1484816 kB Buffers: 30316 kB Cached: 475932 kB SwapCached: 3412 kB Active: 53080 kB Inactive: 461872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1484816 kB SwapTotal: 4192956 kB SwapFree: 4183448 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14740 kB Slab: 42152 kB Committed_AS: 651340 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node20 on Fri Jul 28 22:30:44 UTC 2006