Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.67 | 1801.31 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb |
MD5SUM | 7cd4640a7754cffece48a57d4d3f4a4f |
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 | 9.8485 |
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 | 10151 |
Total number of constraints | 29821 |
Number of constraints which are clauses | 29820 |
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 | 9940 |
Number of terms in the objective function | 71 |
Biggest coefficient in the objective function | 1180591620717411303424 |
Number of bits for the biggest coefficient in the objective function | 71 |
Sum of the numbers in the objective function | 2361183241434822606847 |
Number of bits of the sum of numbers in the objective function | 71 |
Biggest number in a constraint | 822752278660603021077484591278675252491367932816789931674304512 |
Number of bits of the biggest number in a constraint | 210 |
Biggest sum of numbers in a constraint | 3291009114642412084309088316738947240174611804419280895599096947 |
Number of bits of the biggest sum of numbers | 211 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 1.27 c Converting 29822 PB-constraints to clauses... 1.28 c -- Unit propagations: (none) 5.18 c -- Detecting intervals from adjacent constraints: # 5.19 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 5.25 c ---[ 0]---> Adder-cost: 14624 maxlim: 48936030210085425939791597006793990950177679 bits: 146/146 18.31 c ==================================[MINISAT+]================================== 18.31 c | Conflicts | Original | Learnt | Progress | 18.31 c | | Clauses Literals | Max Clauses Literals LPC | | 18.31 c ============================================================================== 18.31 c | 0 | 126098 418442 | 42032 0 0 nan | 0.000 % | 18.31 c | 100 | 126098 418442 | 46235 100 319 3.2 | 11.449 % | 18.39 c | 250 | 125749 417183 | 50858 199 618 3.1 | 11.681 % | 18.45 c | 481 | 125650 416860 | 55944 412 1310 3.2 | 11.750 % | 18.60 c | 818 | 125650 416860 | 61539 749 17576 23.5 | 11.750 % | 19.10 c | 1324 | 125650 416860 | 67692 1255 25995 20.7 | 11.750 % | 19.44 c | 2084 | 125650 416860 | 74462 2015 83301 41.3 | 11.750 % | 19.99 c | 3223 | 125650 416860 | 81908 3154 175096 55.5 | 11.750 % | 20.86 c | 4931 | 125539 416485 | 90099 4845 361924 74.7 | 11.834 % | 24.02 c | 7493 | 125512 416390 | 99109 7404 702097 94.8 | 11.854 % | 28.23 c | 11339 | 125505 416367 | 109020 11249 1048395 93.2 | 11.858 % | 34.02 c | 17106 | 125505 416367 | 119922 17016 1625902 95.6 | 11.858 % | 40.29 c | 25758 | 125480 416286 | 131914 25664 2441200 95.1 | 11.874 % | 50.07 c | 38732 | 125456 416208 | 145105 38635 3880942 100.5 | 11.886 % | 73.76 c | 58193 | 125456 416208 | 159616 58096 5953725 102.5 | 11.886 % | 99.18 c | 87385 | 125426 416096 | 175578 87285 9610015 110.1 | 11.906 % | 155.73 c | 131174 | 125359 415875 | 193135 131012 19704555 150.4 | 11.946 % | 263.82 c | 196860 | 125327 415771 | 212449 196694 30525806 155.2 | 11.962 % | 486.68 c | 295387 | 125319 415745 | 233694 84788 27910469 329.2 | 11.966 % | 1005.96 c | 443178 | 125280 415618 | 257063 232574 107244143 461.1 | 11.986 % | 1390.50 c | 664861 | 125239 415485 | 282770 214654 51940374 242.0 | 12.014 % | 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-49798-1154118870 -o ROOT/results/node40/solver-49798-1154118870 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49798-1154118870/instance-49798-1154118870.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1433464/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=1048 CPUtime=0 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 108 0 0 0 0 0 0 0 19 0 1 0 158758114 1073152 92 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 262 92 74 215 0 44 0 [startup+10.0033 s] /proc/loadavg: 0.93 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1396536/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=37916 CPUtime=9.99 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 9640 0 0 0 992 7 0 0 25 0 1 0 158758114 38825984 9262 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 9479 9262 92 215 0 9261 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 37916 [startup+20.0096 s] /proc/loadavg: 0.94 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1392696/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=42608 CPUtime=19.99 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 10756 0 0 0 1991 8 0 0 25 0 1 0 158758114 43630592 10295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 10652 10295 123 215 0 10434 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 42608 [startup+30.0159 s] /proc/loadavg: 0.95 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1392632/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=42608 CPUtime=30 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 10757 0 0 0 2992 8 0 0 25 0 1 0 158758114 43630592 10296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 10652 10296 123 215 0 10434 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 42608 [startup+40.0222 s] /proc/loadavg: 0.95 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1392632/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=42608 CPUtime=40 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 10757 0 0 0 3992 8 0 0 25 0 1 0 158758114 43630592 10296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 10652 10296 123 215 0 10434 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 42608 [startup+50.0285 s] /proc/loadavg: 0.96 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1392696/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=42608 CPUtime=50 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 10757 0 0 0 4992 8 0 0 25 0 1 0 158758114 43630592 10296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 10652 10296 123 215 0 10434 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 42608 [startup+60.0348 s] /proc/loadavg: 0.97 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1392248/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=43004 CPUtime=60 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 10879 0 0 0 5992 8 0 0 25 0 1 0 158758114 44036096 10418 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 10751 10418 123 215 0 10533 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 43004 [startup+70.0421 s] /proc/loadavg: 0.97 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1388344/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=46944 CPUtime=70.01 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 11844 0 0 0 6992 9 0 0 25 0 1 0 158758114 48070656 11383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 11736 11383 123 215 0 11518 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 46944 [startup+80.0484 s] /proc/loadavg: 0.98 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1383032/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=52300 CPUtime=80.01 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 13175 0 0 0 7991 10 0 0 25 0 1 0 158758114 53555200 12714 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 13075 12714 123 215 0 12857 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 52300 [startup+90.0547 s] /proc/loadavg: 0.98 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1379832/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=55460 CPUtime=90.02 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 13975 0 0 0 8990 12 0 0 25 0 1 0 158758114 56791040 13514 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 13865 13514 123 215 0 13647 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 55460 [startup+100.061 s] /proc/loadavg: 0.98 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1370872/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=64396 CPUtime=100.02 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 16201 0 0 0 9988 14 0 0 25 0 1 0 158758114 65941504 15740 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 16099 15740 123 215 0 15881 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 64396 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1368312/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=67080 CPUtime=110.02 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 16833 0 0 0 10988 14 0 0 25 0 1 0 158758114 68689920 16372 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 16770 16372 123 215 0 16552 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 67080 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1356984/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=78364 CPUtime=120.03 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 19675 0 0 0 11986 17 0 0 25 0 1 0 158758114 80244736 19214 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 19591 19214 123 215 0 19373 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 78364 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1347000/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=88332 CPUtime=130.02 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 22159 0 0 0 12984 18 0 0 25 0 1 0 158758114 90451968 21698 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574343 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 22083 21698 123 215 0 21865 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 88332 [startup+140.085 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1339704/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=95448 CPUtime=140.03 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 23969 0 0 0 13984 19 0 0 25 0 1 0 158758114 97738752 23508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 23862 23508 123 215 0 23644 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 95448 [startup+150.091 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1333176/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=102124 CPUtime=150.04 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 25626 0 0 0 14983 21 0 0 25 0 1 0 158758114 104574976 25165 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 25531 25165 123 215 0 25313 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 102124 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1327736/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=107492 CPUtime=160.04 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 26973 0 0 0 15982 22 0 0 25 0 1 0 158758114 110071808 26512 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 26873 26512 123 215 0 26655 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 107492 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1322680/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=112480 CPUtime=170.04 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 28237 0 0 0 16981 23 0 0 25 0 1 0 158758114 115179520 27776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 28120 27776 123 215 0 27902 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 112480 [startup+180.11 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1316344/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=119084 CPUtime=180.05 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 29817 0 0 0 17981 24 0 0 25 0 1 0 158758114 121942016 29356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 29771 29356 123 215 0 29553 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 119084 [startup+190.116 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1310648/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=124712 CPUtime=190.05 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 31234 0 0 0 18980 25 0 0 25 0 1 0 158758114 127705088 30773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 31178 30773 123 215 0 30960 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 124712 [startup+200.122 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 /proc/meminfo: memFree=1308024/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=127332 CPUtime=200.05 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 31897 0 0 0 19980 25 0 0 25 0 1 0 158758114 130387968 31436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 31833 31436 123 215 0 31615 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 127332 [startup+210.128 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18694 ################ # More data... # ################ /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178054 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 472668 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1782.49 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178154 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1782.49 Current children cumulated vsize (Kb) 472668 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1783.5 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178255 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 472668 [startup+1785.14 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1784.5 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178355 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 472668 [startup+1786.14 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1785.5 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178455 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 472668 [startup+1787.15 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1786.51 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178556 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 472668 [startup+1788.15 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1787.51 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178656 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 472668 [startup+1789.16 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1788.52 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178757 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 472668 [startup+1790.16 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1789.52 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178857 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1789.52 Current children cumulated vsize (Kb) 472668 [startup+1791.17 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1790.53 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 178958 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 472668 [startup+1792.17 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1791.53 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179058 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 472668 [startup+1793.18 s] /proc/loadavg: 1.07 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1792.54 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179159 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 472668 [startup+1794.18 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1793.54 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179259 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 472668 [startup+1795.19 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1794.55 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179360 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 472668 [startup+1796.19 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1795.55 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179460 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 472668 [startup+1797.2 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1796.56 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179561 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581122 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 472668 [startup+1798.2 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1797.56 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179661 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 472668 [startup+1799.21 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1798.57 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179762 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 472668 [startup+1800.21 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1799.57 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179862 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 472668 [startup+1801.22 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1800.58 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179963 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 472668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.06 0.99 0.99 2/64 18894 /proc/meminfo: memFree=961472/2055920 swapFree=4183148/4192956 [pid=18694] ppid=18692 vsize=472668 CPUtime=1800.58 /proc/18694/stat : 18694 (minisat+) R 18692 18694 18645 0 -1 4194304 118252 0 0 0 179963 95 0 0 25 0 1 0 158758114 484012032 117791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18694/statm: 118167 117791 123 215 0 117949 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 472668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.31 CPU time (s): 1800.67 CPU user time (s): 1799.63 CPU system time (s): 1.03684 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (Kb): 472668 The end
Begin job on node40 on Fri Jul 28 20:34:30 UTC 2006 FILE ID= 49798-1154118870 PBS_JOBID= 886857 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49798-1154118870/instance-49798-1154118870.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-49798-1154118870 -o ROOT/results/node40/solver-49798-1154118870 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node40/49798-1154118870/instance-49798-1154118870.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7cd4640a7754cffece48a57d4d3f4a4f RANDOM SEED= 893994011 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: 1433672 kB Buffers: 28288 kB Cached: 525232 kB SwapCached: 3672 kB Active: 46428 kB Inactive: 515680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1433672 kB SwapTotal: 4192956 kB SwapFree: 4183148 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14748 kB Slab: 46184 kB Committed_AS: 604320 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 21:04:32 UTC 2006