Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.7 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3706.opb |
MD5SUM | 0c13059622221c4a56a3a4fdb32d92c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.5204 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 653950 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 653950 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01 c Pueblo version 1.4 (September 2005) 0.01 c Developed @ University of Michigan, Ann Arbor, MI 0.01 c by Hossein Sheini 6.58 c starting to Solve 6.58 c #variables read: 155000 - #constraints read: 5301
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node31/watcher-37490-1149247768 -o ROOT/results/node31/solver-37490-1149247768 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.04 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1586296/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=172 CPUtime=0 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 190440477 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1171755 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 43 23 18 16 0 2 0 [startup+10.0019 s] /proc/loadavg: 1.04 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511112/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87096 CPUtime=9.98 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825268 0 0 0 782 216 0 0 25 0 1 0 190440477 89186304 18931 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21774 18931 206 16 0 21215 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 87096 [startup+20.0087 s] /proc/loadavg: 1.03 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511312/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87096 CPUtime=19.98 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 1782 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21774 18938 206 16 0 21215 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 87096 [startup+30.0146 s] /proc/loadavg: 1.03 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511376/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87096 CPUtime=29.98 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 2782 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21774 18938 206 16 0 21215 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 87096 [startup+40.0204 s] /proc/loadavg: 1.02 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511440/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87096 CPUtime=39.99 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 3783 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21774 18938 206 16 0 21215 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 87096 [startup+50.0262 s] /proc/loadavg: 1.02 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511440/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87096 CPUtime=49.99 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 4783 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21774 18938 206 16 0 21215 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 87096 [startup+60.032 s] /proc/loadavg: 1.01 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511504/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87096 CPUtime=59.99 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825275 0 0 0 5783 216 0 0 25 0 1 0 190440477 89186304 18938 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21774 18938 206 16 0 21215 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 87096 [startup+70.0379 s] /proc/loadavg: 1.01 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1511056/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=87564 CPUtime=70 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825399 0 0 0 6784 216 0 0 25 0 1 0 190440477 89665536 19062 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 21891 19062 206 16 0 21332 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 87564 [startup+80.0447 s] /proc/loadavg: 1.01 1.01 0.97 2/64 25181 /proc/meminfo: memFree=1510480/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=88164 CPUtime=80 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825542 0 0 0 7784 216 0 0 25 0 1 0 190440477 90279936 19205 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22041 19205 206 16 0 21482 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 88164 [startup+90.0495 s] /proc/loadavg: 1.01 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1510096/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=88516 CPUtime=90 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825642 0 0 0 8784 216 0 0 25 0 1 0 190440477 90640384 19305 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22129 19305 206 16 0 21570 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 88516 [startup+100.055 s] /proc/loadavg: 1.01 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1509584/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=88976 CPUtime=100.01 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825761 0 0 0 9785 216 0 0 25 0 1 0 190440477 91111424 19424 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22244 19424 206 16 0 21685 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 88976 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1509200/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=89448 CPUtime=110.02 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825861 0 0 0 10785 217 0 0 25 0 1 0 190440477 91594752 19524 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22362 19524 206 16 0 21803 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 89448 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1508752/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=89796 CPUtime=120.02 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 825960 0 0 0 11785 217 0 0 25 0 1 0 190440477 91951104 19623 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22449 19623 206 16 0 21890 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 89796 [startup+130.074 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1508304/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=90260 CPUtime=130.02 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826075 0 0 0 12785 217 0 0 25 0 1 0 190440477 92426240 19738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22565 19738 206 16 0 22006 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 90260 [startup+140.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1507536/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=91080 CPUtime=140.02 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826269 0 0 0 13785 217 0 0 25 0 1 0 190440477 93265920 19932 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22770 19932 206 16 0 22211 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 91080 [startup+150.085 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1507152/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=91428 CPUtime=150.02 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826358 0 0 0 14785 217 0 0 25 0 1 0 190440477 93622272 20021 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 22857 20021 206 16 0 22298 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 91428 [startup+160.091 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1506512/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=92020 CPUtime=160.03 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826518 0 0 0 15786 217 0 0 25 0 1 0 190440477 94228480 20181 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 23005 20181 206 16 0 22446 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 92020 [startup+170.097 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1506192/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=92368 CPUtime=170.03 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826617 0 0 0 16786 217 0 0 25 0 1 0 190440477 94584832 20280 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 23092 20280 206 16 0 22533 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 92368 [startup+180.103 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1505680/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=92956 CPUtime=180.03 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 826746 0 0 0 17786 217 0 0 25 0 1 0 190440477 95186944 20409 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 23239 20409 206 16 0 22680 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 92956 [startup+190.109 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1502032/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=96596 CPUtime=190.04 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 827650 0 0 0 18786 218 0 0 25 0 1 0 190440477 98914304 21313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 24149 21313 206 16 0 23590 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 96596 [startup+200.115 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1501584/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=96944 CPUtime=200.04 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 827755 0 0 0 19786 218 0 0 25 0 1 0 190440477 99270656 21418 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 24236 21418 206 16 0 23677 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 96944 [startup+210.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25181 /proc/meminfo: memFree=1501136/2055920 swapFree=4181480/4192956 ################ # More data... # ################ /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 874662 0 0 0 177905 250 0 0 25 0 1 0 190440477 294793216 68325 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 71971 68325 206 16 0 71412 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 287884 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1312528/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=288480 CPUtime=1782.55 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 874806 0 0 0 178005 250 0 0 25 0 1 0 190440477 295403520 68469 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72120 68469 206 16 0 71561 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 288480 [startup+1784.04 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1311952/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=289072 CPUtime=1783.56 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 874947 0 0 0 178106 250 0 0 25 0 1 0 190440477 296009728 68610 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72268 68610 206 16 0 71709 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 289072 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1311696/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=289304 CPUtime=1784.56 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875016 0 0 0 178206 250 0 0 25 0 1 0 190440477 296247296 68679 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72326 68679 206 16 0 71767 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 289304 [startup+1786.05 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1311440/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=289552 CPUtime=1785.56 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875076 0 0 0 178306 250 0 0 25 0 1 0 190440477 296501248 68739 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72388 68739 206 16 0 71829 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 289552 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1311184/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=289912 CPUtime=1786.57 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875143 0 0 0 178407 250 0 0 25 0 1 0 190440477 296869888 68806 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72478 68806 206 16 0 71919 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 289912 [startup+1788.06 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1311120/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=289912 CPUtime=1787.57 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875159 0 0 0 178507 250 0 0 25 0 1 0 190440477 296869888 68822 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72478 68822 206 16 0 71919 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 289912 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310992/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290032 CPUtime=1788.58 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875192 0 0 0 178608 250 0 0 25 0 1 0 190440477 296992768 68855 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72508 68855 206 16 0 71949 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 290032 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310992/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290156 CPUtime=1789.58 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875202 0 0 0 178708 250 0 0 25 0 1 0 190440477 297119744 68865 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72539 68865 206 16 0 71980 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 290156 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310736/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290392 CPUtime=1790.59 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875266 0 0 0 178809 250 0 0 25 0 1 0 190440477 297361408 68929 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72598 68929 206 16 0 72039 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 290392 [startup+1792.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310736/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290392 CPUtime=1791.59 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875274 0 0 0 178909 250 0 0 25 0 1 0 190440477 297361408 68937 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72598 68937 206 16 0 72039 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 290392 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310608/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290512 CPUtime=1792.6 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875294 0 0 0 179010 250 0 0 25 0 1 0 190440477 297484288 68957 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1603074 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72628 68957 206 16 0 72069 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 290512 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310544/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290512 CPUtime=1793.6 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875313 0 0 0 179110 250 0 0 25 0 1 0 190440477 297484288 68976 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72628 68976 206 16 0 72069 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 290512 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310480/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290628 CPUtime=1794.61 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875333 0 0 0 179211 250 0 0 25 0 1 0 190440477 297603072 68996 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72657 68996 206 16 0 72098 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 290628 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310416/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290756 CPUtime=1795.61 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875352 0 0 0 179311 250 0 0 25 0 1 0 190440477 297734144 69015 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72689 69015 206 16 0 72130 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 290756 [startup+1797.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310352/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290756 CPUtime=1796.62 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875369 0 0 0 179412 250 0 0 25 0 1 0 190440477 297734144 69032 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559204 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72689 69032 206 16 0 72130 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 290756 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310288/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290872 CPUtime=1797.62 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875388 0 0 0 179512 250 0 0 25 0 1 0 190440477 297852928 69051 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72718 69051 206 16 0 72159 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 290872 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310160/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290872 CPUtime=1798.63 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875409 0 0 0 179612 251 0 0 25 0 1 0 190440477 297852928 69072 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72718 69072 206 16 0 72159 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 290872 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1310160/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=290992 CPUtime=1799.64 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875415 0 0 0 179713 251 0 0 25 0 1 0 190440477 297975808 69078 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72748 69078 206 16 0 72189 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 290992 [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1309904/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=291220 CPUtime=1800.64 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875479 0 0 0 179813 251 0 0 25 0 1 0 190440477 298209280 69142 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72805 69142 206 16 0 72246 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 291220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25183 /proc/meminfo: memFree=1309904/2055920 swapFree=4181480/4192956 [pid=25181] ppid=25179 vsize=291220 CPUtime=1800.65 /proc/25181/stat : 25181 (Pueblo13) R 25179 25181 25135 0 -1 4194304 875479 0 0 0 179814 251 0 0 25 0 1 0 190440477 298209280 69142 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25181/statm: 72805 69142 206 16 0 72246 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 291220 Sending SIGTERM to -25181 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.7 CPU user time (s): 1798.14 CPU system time (s): 2.55661 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (Kb): 291220 The end
Begin job on node31 on Fri Jun 2 11:29:28 UTC 2006 FILE ID= 37490-1149247768 PBS_JOBID= 297887 BENCH NAME= ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node31/watcher-37490-1149247768 -o ROOT/results/node31/solver-37490-1149247768 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37490-1149247768/instance-37490-1149247768.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 0c13059622221c4a56a3a4fdb32d92c9 RANDOM SEED= 283065541 /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.234 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.234 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: 1586504 kB Buffers: 20480 kB Cached: 377120 kB SwapCached: 3396 kB Active: 43336 kB Inactive: 363212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1586504 kB SwapTotal: 4192956 kB SwapFree: 4181480 kB Dirty: 320 kB Writeback: 0 kB Mapped: 14964 kB Slab: 48832 kB Committed_AS: 274608 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node31 on Fri Jun 2 11:59:29 UTC 2006