Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.78 | 1801.24 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb |
MD5SUM | 0661dfe89322dd53d59d5cf9cb4ab784 |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 3064991081731777716431606447292085661660191751591249102 |
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.00 c -- Detecting intervals from adjacent constraints: # 3.01 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 3.05 c ---[ 0]---> Adder-cost: 10852 maxlim: 80038767354103485075194024091169241908 bits: 126/126 11.36 c ==================================[MINISAT+]================================== 11.36 c | Conflicts | Original | Learnt | Progress | 11.36 c | | Clauses Literals | Max Clauses Literals LPC | | 11.36 c ============================================================================== 11.36 c | 0 | 93273 309730 | 31091 0 0 nan | 0.000 % | 11.47 c | 101 | 93229 309568 | 34200 96 531 5.5 | 11.311 % | 11.54 c | 251 | 93229 309568 | 37620 246 1553 6.3 | 11.311 % | 11.66 c | 476 | 93220 309537 | 41382 459 3781 8.2 | 11.316 % | 11.70 c | 813 | 93220 309537 | 45520 796 16740 21.0 | 11.317 % | 11.81 c | 1319 | 93220 309537 | 50072 1302 30338 23.3 | 11.317 % | 12.01 c | 2079 | 93220 309537 | 55079 2062 61072 29.6 | 11.317 % | 12.24 c | 3219 | 93220 309537 | 60587 3202 112353 35.1 | 11.316 % | 12.72 c | 4927 | 93220 309537 | 66646 4910 188686 38.4 | 11.317 % | 13.45 c | 7489 | 93204 309485 | 73310 7470 324472 43.4 | 11.328 % | 14.42 c | 11333 | 93196 309459 | 80642 11313 448999 39.7 | 11.332 % | 18.65 c | 17100 | 93196 309459 | 88706 17080 954005 55.9 | 11.332 % | 22.86 c | 25749 | 93188 309433 | 97576 25728 1795902 69.8 | 11.338 % | 29.26 c | 38723 | 93124 309225 | 107334 38694 2669666 69.0 | 11.381 % | 43.41 c | 58184 | 93108 309173 | 118068 58153 4897893 84.2 | 11.392 % | 70.23 c | 87377 | 92776 308015 | 129874 85859 6894054 80.3 | 11.673 % | 117.58 c | 131167 | 92720 307833 | 142862 129641 11531220 88.9 | 11.711 % | 193.46 c | 196852 | 92720 307833 | 157148 55607 3560570 64.0 | 11.712 % | 291.18 c | 295378 | 92679 307700 | 172863 154128 14140423 91.7 | 11.744 % | 689.93 c | 443167 | 92679 307700 | 190149 139065 34979575 251.5 | 11.744 % | 1383.18 c | 664850 | 92623 307510 | 209164 183777 42367434 230.5 | 11.782 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node36/watcher-49868-1154124133 -o ROOT/results/node36/solver-49868-1154124133 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/49868-1154124133/instance-49868-1154124133.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1534560/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=1048 CPUtime=0 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 108 0 0 0 0 0 0 0 19 0 1 0 159284706 1073152 92 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 262 92 74 215 0 44 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1509688/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=25636 CPUtime=9.98 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 6427 0 0 0 994 4 0 0 25 0 1 0 159284706 26251264 6248 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 6409 6248 92 215 0 6191 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 25636 [startup+20.0099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1505720/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=30200 CPUtime=19.99 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 7551 0 0 0 1994 5 0 0 25 0 1 0 159284706 30924800 7330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 7550 7330 123 215 0 7332 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 30200 [startup+30.0159 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1505720/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=30200 CPUtime=29.99 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 7574 0 0 0 2994 5 0 0 25 0 1 0 159284706 30924800 7353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 7550 7353 123 215 0 7332 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 30200 [startup+40.0219 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1498680/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=37288 CPUtime=40 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 9329 0 0 0 3993 7 0 0 25 0 1 0 159284706 38182912 9108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 9322 9108 123 215 0 9104 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 37288 [startup+50.0279 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1495160/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=40940 CPUtime=50 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 10218 0 0 0 4993 7 0 0 25 0 1 0 159284706 41922560 9997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 10235 9997 123 215 0 10017 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 40940 [startup+60.0339 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1491320/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=44744 CPUtime=60.01 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 11166 0 0 0 5993 8 0 0 25 0 1 0 159284706 45817856 10945 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 11186 10945 123 215 0 10968 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 44744 [startup+70.0399 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1487800/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=48204 CPUtime=70.01 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 12055 0 0 0 6992 9 0 0 25 0 1 0 159284706 49360896 11834 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581042 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 12051 11834 123 215 0 11833 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 48204 [startup+80.0469 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1482872/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=53240 CPUtime=80.02 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 13284 0 0 0 7992 10 0 0 25 0 1 0 159284706 54517760 13063 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 13310 13063 123 215 0 13092 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 53240 [startup+90.052 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1479288/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=56784 CPUtime=90.01 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 14163 0 0 0 8991 10 0 0 25 0 1 0 159284706 58146816 13942 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 14196 13942 123 215 0 13978 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 56784 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1475704/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=60196 CPUtime=100.04 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 15052 0 0 0 9993 11 0 0 25 0 1 0 159284706 61640704 14831 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 15049 14831 123 215 0 14831 0 Current children cumulated CPU time (s) 100.04 Current children cumulated vsize (Kb) 60196 [startup+110.089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1470584/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=65324 CPUtime=110.05 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 16340 0 0 0 10992 13 0 0 25 0 1 0 159284706 66891776 16119 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 16331 16119 123 215 0 16113 0 Current children cumulated CPU time (s) 110.05 Current children cumulated vsize (Kb) 65324 [startup+120.095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1466360/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=69540 CPUtime=120.05 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 17385 0 0 0 11991 14 0 0 25 0 1 0 159284706 71208960 17164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 17385 17164 123 215 0 17167 0 Current children cumulated CPU time (s) 120.05 Current children cumulated vsize (Kb) 69540 [startup+130.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1462456/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=73604 CPUtime=130.06 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 18364 0 0 0 12991 15 0 0 25 0 1 0 159284706 75370496 18143 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 18401 18143 123 215 0 18183 0 Current children cumulated CPU time (s) 130.06 Current children cumulated vsize (Kb) 73604 [startup+140.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459576/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76516 CPUtime=140.06 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19100 0 0 0 13990 16 0 0 25 0 1 0 159284706 78352384 18879 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19129 18879 123 215 0 18911 0 Current children cumulated CPU time (s) 140.06 Current children cumulated vsize (Kb) 76516 [startup+150.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459256/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76776 CPUtime=150.07 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19164 0 0 0 14991 16 0 0 25 0 1 0 159284706 78618624 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19194 18943 123 215 0 18976 0 Current children cumulated CPU time (s) 150.07 Current children cumulated vsize (Kb) 76776 [startup+160.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459256/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76776 CPUtime=160.07 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19164 0 0 0 15991 16 0 0 25 0 1 0 159284706 78618624 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574425 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19194 18943 123 215 0 18976 0 Current children cumulated CPU time (s) 160.07 Current children cumulated vsize (Kb) 76776 [startup+170.125 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459256/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76776 CPUtime=170.07 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19164 0 0 0 16991 16 0 0 25 0 1 0 159284706 78618624 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19194 18943 123 215 0 18976 0 Current children cumulated CPU time (s) 170.07 Current children cumulated vsize (Kb) 76776 [startup+180.131 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459256/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76776 CPUtime=180.08 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19164 0 0 0 17992 16 0 0 25 0 1 0 159284706 78618624 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19194 18943 123 215 0 18976 0 Current children cumulated CPU time (s) 180.08 Current children cumulated vsize (Kb) 76776 [startup+190.137 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459256/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76776 CPUtime=190.08 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19164 0 0 0 18992 16 0 0 25 0 1 0 159284706 78618624 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19194 18943 123 215 0 18976 0 Current children cumulated CPU time (s) 190.08 Current children cumulated vsize (Kb) 76776 [startup+200.143 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1459256/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=76776 CPUtime=200.08 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 19164 0 0 0 19992 16 0 0 25 0 1 0 159284706 78618624 18943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576810 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 19194 18943 123 215 0 18976 0 Current children cumulated CPU time (s) 200.08 Current children cumulated vsize (Kb) 76776 [startup+210.149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 ################ # More data... # ################ /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178111 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (Kb) 225244 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1782.64 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178212 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1782.64 Current children cumulated vsize (Kb) 225244 [startup+1784.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1783.64 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178312 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1783.64 Current children cumulated vsize (Kb) 225244 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1784.64 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178412 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 225244 [startup+1786.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1785.65 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178513 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1785.65 Current children cumulated vsize (Kb) 225244 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1786.65 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178613 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 225244 [startup+1788.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1787.66 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178714 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1787.66 Current children cumulated vsize (Kb) 225244 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1788.66 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178814 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1788.66 Current children cumulated vsize (Kb) 225244 [startup+1790.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1789.67 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 178915 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1789.67 Current children cumulated vsize (Kb) 225244 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1790.67 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179015 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1790.67 Current children cumulated vsize (Kb) 225244 [startup+1792.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1791.68 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179116 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1791.68 Current children cumulated vsize (Kb) 225244 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1792.68 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179216 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1792.68 Current children cumulated vsize (Kb) 225244 [startup+1794.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1793.69 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179317 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1793.69 Current children cumulated vsize (Kb) 225244 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1794.69 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179417 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 225244 [startup+1796.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1795.7 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179518 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (Kb) 225244 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1796.7 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179618 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 225244 [startup+1798.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1797.71 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179719 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (Kb) 225244 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1798.71 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179819 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 225244 [startup+1800.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310840/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1799.72 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 179920 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (Kb) 225244 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310776/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1800.72 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 180020 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 225244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27416 /proc/meminfo: memFree=1310776/2055920 swapFree=4183160/4192956 [pid=27416] ppid=27414 vsize=225244 CPUtime=1800.72 /proc/27416/stat : 27416 (minisat+) R 27414 27416 27367 0 -1 4194304 56146 0 0 0 180020 52 0 0 25 0 1 0 159284706 230649856 55925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27416/statm: 56311 55925 123 215 0 56093 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 225244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.78 CPU user time (s): 1800.21 CPU system time (s): 0.568913 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (Kb): 225244 The end
Begin job on node36 on Fri Jul 28 22:02:13 UTC 2006 FILE ID= 49868-1154124133 PBS_JOBID= 887137 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-718083277-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/49868-1154124133/instance-49868-1154124133.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-49868-1154124133 -o ROOT/results/node36/solver-49868-1154124133 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node36/49868-1154124133/instance-49868-1154124133.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 0661dfe89322dd53d59d5cf9cb4ab784 RANDOM SEED= 234731925 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.218 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.218 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: 1534768 kB Buffers: 27304 kB Cached: 419828 kB SwapCached: 3640 kB Active: 31200 kB Inactive: 424548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1534768 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14728 kB Slab: 51452 kB Committed_AS: 616048 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 node36 on Fri Jul 28 22:32:15 UTC 2006