Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.7 | 1801.3 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb |
MD5SUM | fc1ab74e36340948f29ab602078975e1 |
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 | 5.55016 |
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 | 7501 |
Total number of constraints | 21961 |
Number of constraints which are clauses | 21960 |
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 | 7320 |
Number of terms in the objective function | 61 |
Biggest coefficient in the objective function | 1152921504606846976 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 2305843009213693951 |
Number of bits of the sum of numbers in the objective function | 61 |
Biggest number in a constraint | 766247770432944429179173513575154591809369561091801088 |
Number of bits of the biggest number in a constraint | 180 |
Biggest sum of numbers in a constraint | 3064991081731777715595715329186976003635521247756299664 |
Number of bits of the biggest sum of numbers | 181 |
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... 0.93 c Converting 21962 PB-constraints to clauses... 0.93 c -- Unit propagations: (none) 3.21 c -- Detecting intervals from adjacent constraints: # 3.21 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 3.26 c ---[ 0]---> Adder-cost: 10612 maxlim: 20062477665048693547869521587178426994 bits: 124/124 11.25 c ==================================[MINISAT+]================================== 11.25 c | Conflicts | Original | Learnt | Progress | 11.25 c | | Clauses Literals | Max Clauses Literals LPC | | 11.25 c ============================================================================== 11.25 c | 0 | 91237 302912 | 30412 0 0 nan | 0.000 % | 11.30 c | 100 | 91078 302355 | 33453 81 255 3.1 | 12.223 % | 11.36 c | 252 | 91078 302355 | 36798 233 4910 21.1 | 12.223 % | 11.53 c | 478 | 91078 302355 | 40478 459 8328 18.1 | 12.223 % | 11.72 c | 816 | 91078 302355 | 44526 797 51221 64.3 | 12.223 % | 12.00 c | 1326 | 91078 302355 | 48978 1307 68567 52.5 | 12.223 % | 12.18 c | 2087 | 91078 302355 | 53876 2068 104248 50.4 | 12.223 % | 12.91 c | 3226 | 90966 301959 | 59264 3190 165527 51.9 | 12.333 % | 14.08 c | 4934 | 90966 301959 | 65190 4898 368920 75.3 | 12.333 % | 14.85 c | 7497 | 90966 301959 | 71709 7461 541959 72.6 | 12.333 % | 16.58 c | 11341 | 90958 301929 | 78880 11302 794899 70.3 | 12.338 % | 19.69 c | 17109 | 90941 301874 | 86768 17068 1205124 70.6 | 12.355 % | 26.16 c | 25758 | 90857 301592 | 95445 25523 1894003 74.2 | 12.421 % | 33.40 c | 38732 | 90788 301349 | 104990 38471 2830596 73.6 | 12.486 % | 45.96 c | 58193 | 90749 301222 | 115489 57927 5005182 86.4 | 12.514 % | 74.02 c | 87387 | 90666 300945 | 127038 87108 8519938 97.8 | 12.580 % | 127.98 c | 131178 | 90485 300330 | 139742 126477 13144332 103.9 | 12.733 % | 258.22 c | 196862 | 90443 300186 | 153716 65996 16610494 251.7 | 12.761 % | 483.87 c | 295388 | 90368 299939 | 169088 30027 3570997 118.9 | 12.821 % | 785.47 c | 443177 | 90272 299605 | 185997 177404 38670700 218.0 | 12.898 % | 1595.35 c | 664860 | 90272 299605 | 204596 52311 20116034 384.5 | 12.898 % | 1801.22 c 1801.22 c *** TERMINATED *** 1801.22 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node40/watcher-49847-1154122468 -o ROOT/results/node40/solver-49847-1154122468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49847-1154122468/instance-49847-1154122468.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1432192/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=1048 CPUtime=0 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 159117926 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 262 82 67 215 0 44 0 [startup+10.0029 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1408064/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=24852 CPUtime=9.99 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 6234 0 0 0 995 4 0 0 25 0 1 0 159117926 25448448 6056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 6213 6056 92 215 0 5995 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 24852 [startup+20.0092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1404416/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=29268 CPUtime=19.99 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 7314 0 0 0 1995 4 0 0 25 0 1 0 159117926 29970432 7094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 7317 7094 123 215 0 7099 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 29268 [startup+30.0155 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1404416/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=29268 CPUtime=29.99 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 7314 0 0 0 2995 4 0 0 25 0 1 0 159117926 29970432 7094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 7317 7094 123 215 0 7099 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 29268 [startup+40.0218 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1398336/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=35400 CPUtime=40 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 8832 0 0 0 3994 6 0 0 25 0 1 0 159117926 36249600 8612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 8850 8612 123 215 0 8632 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 35400 [startup+50.0281 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1392448/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=41396 CPUtime=50 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 10320 0 0 0 4993 7 0 0 25 0 1 0 159117926 42389504 10100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 10349 10100 123 215 0 10131 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 41396 [startup+60.0344 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1388288/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=45468 CPUtime=60 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 11349 0 0 0 5992 8 0 0 25 0 1 0 159117926 46559232 11129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 11367 11129 123 215 0 11149 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 45468 [startup+70.0407 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1382016/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=51664 CPUtime=70.01 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 12921 0 0 0 6991 10 0 0 25 0 1 0 159117926 52903936 12701 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 12916 12701 123 215 0 12698 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 51664 [startup+80.047 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1378176/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=55476 CPUtime=80.02 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 13877 0 0 0 7991 11 0 0 25 0 1 0 159117926 56807424 13657 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 13869 13657 123 215 0 13651 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 55476 [startup+90.0533 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1375424/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=58408 CPUtime=90.02 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 14557 0 0 0 8991 11 0 0 25 0 1 0 159117926 59809792 14337 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 14602 14337 123 215 0 14384 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 58408 [startup+100.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1372928/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=60892 CPUtime=100.02 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 15187 0 0 0 9990 12 0 0 25 0 1 0 159117926 62353408 14967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 15223 14967 123 215 0 15005 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 60892 [startup+110.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1366784/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=67088 CPUtime=110.02 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 16734 0 0 0 10989 13 0 0 25 0 1 0 159117926 68698112 16514 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 16772 16514 123 215 0 16554 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 67088 [startup+120.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1361344/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=72364 CPUtime=120.03 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 18085 0 0 0 11988 15 0 0 25 0 1 0 159117926 74100736 17865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 18091 17865 123 215 0 17873 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 72364 [startup+130.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1358720/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=74988 CPUtime=130.03 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 18728 0 0 0 12988 15 0 0 25 0 1 0 159117926 76787712 18508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 18747 18508 123 215 0 18529 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 74988 [startup+140.084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1355200/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=78512 CPUtime=140.03 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 19611 0 0 0 13987 16 0 0 25 0 1 0 159117926 80396288 19391 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 19628 19391 123 215 0 19410 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 78512 [startup+150.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1350208/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=83636 CPUtime=150.03 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 20854 0 0 0 14986 17 0 0 25 0 1 0 159117926 85643264 20634 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577281 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 20909 20634 123 215 0 20691 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 83636 [startup+160.095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1344768/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=89124 CPUtime=160.04 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 22213 0 0 0 15986 18 0 0 25 0 1 0 159117926 91262976 21993 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 22281 21993 123 215 0 22063 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 89124 [startup+170.102 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1340224/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=93568 CPUtime=170.04 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23339 0 0 0 16986 18 0 0 25 0 1 0 159117926 95813632 23119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 23392 23119 123 215 0 23174 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 93568 [startup+180.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1340224/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=93568 CPUtime=180.04 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23341 0 0 0 17986 18 0 0 25 0 1 0 159117926 95813632 23121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580417 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 23392 23121 123 215 0 23174 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 93568 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1340224/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=93568 CPUtime=190.05 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23342 0 0 0 18987 18 0 0 25 0 1 0 159117926 95813632 23122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 23392 23122 123 215 0 23174 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 93568 [startup+200.121 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 /proc/meminfo: memFree=1340288/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=93568 CPUtime=200.05 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 23342 0 0 0 19987 18 0 0 25 0 1 0 159117926 95813632 23122 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 23392 23122 123 215 0 23174 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 93568 [startup+210.128 s] /proc/loadavg: 1.00 1.00 1.00 2/64 19036 ################ # More data... # ################ /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178053 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 425300 [startup+1783.12 s] /proc/loadavg: 1.02 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1782.53 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178154 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 425300 [startup+1784.13 s] /proc/loadavg: 1.02 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1783.53 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178254 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 425300 [startup+1785.13 s] /proc/loadavg: 1.02 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1784.54 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178355 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 425300 [startup+1786.14 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1785.54 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178455 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 425300 [startup+1787.14 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1786.55 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178556 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 425300 [startup+1788.15 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1787.55 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178656 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 425300 [startup+1789.15 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1788.56 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178757 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 425300 [startup+1790.16 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1789.56 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178857 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 425300 [startup+1791.16 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1790.56 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 178957 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 425300 [startup+1792.17 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1791.57 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179058 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 425300 [startup+1793.17 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1792.57 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179158 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 425300 [startup+1794.18 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1793.58 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179259 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 425300 [startup+1795.18 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1794.58 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179359 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 425300 [startup+1796.19 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1795.59 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179460 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 425300 [startup+1797.19 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1796.59 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179560 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 425300 [startup+1798.2 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1797.6 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179661 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 425300 [startup+1799.2 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1798.6 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179761 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 425300 [startup+1800.21 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1799.61 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179862 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 425300 [startup+1801.21 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1800.61 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179962 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 425300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.01 1.01 1.00 2/64 19236 /proc/meminfo: memFree=1007168/2055920 swapFree=4183148/4192956 [pid=19036] ppid=19034 vsize=425300 CPUtime=1800.62 /proc/19036/stat : 19036 (minisat+) R 19034 19036 18987 0 -1 4194304 106299 0 0 0 179963 99 0 0 25 0 1 0 159117926 435507200 106079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19036/statm: 106325 106079 123 215 0 106107 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 425300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.7 CPU user time (s): 1799.63 CPU system time (s): 1.07184 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 425300 The end
Begin job on node40 on Fri Jul 28 21:34:28 UTC 2006 FILE ID= 49847-1154122468 PBS_JOBID= 887053 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49847-1154122468/instance-49847-1154122468.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-49847-1154122468 -o ROOT/results/node40/solver-49847-1154122468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49847-1154122468/instance-49847-1154122468.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= fc1ab74e36340948f29ab602078975e1 RANDOM SEED= 910503008 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1432400 kB Buffers: 28724 kB Cached: 525816 kB SwapCached: 3672 kB Active: 46524 kB Inactive: 516640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1432400 kB SwapTotal: 4192956 kB SwapFree: 4183148 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14748 kB Slab: 46368 kB Committed_AS: 608892 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node40 on Fri Jul 28 22:04:30 UTC 2006