Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? (TO) | 1800.58 | 1801.3 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb |
MD5SUM | 1ef5c8e94b66b7ed63dffc6923ecd901 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -3 |
Best CPU time to get the best result obtained on this benchmark | 1783.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -3 |
Optimality of the best value was proved | NO |
Number of variables | 1041679 |
Total number of constraints | 127860 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 127780 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 275 |
Number of terms in the objective function | 1611 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1611 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24576 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 98256 |
Number of bits of the biggest sum of numbers | 17 |
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 Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 1801.24 c Caught signal: 15 1801.24 s UNKNOWN 1801.24 c Exit Code: 0
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/node36/watcher-40093-1149365845 -o ROOT/results/node36/solver-40093-1149365845 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40093-1149365845/instance-40093-1149365845.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.97 2/64 6656 /proc/meminfo: memFree=1723552/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=2900 CPUtime=0 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 202250757 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1528612 0 0 4096 0 0 0 0 17 1 0 0 /proc/6656/statm: 725 27 19 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 0.87 0.94 0.97 2/64 6656 /proc/meminfo: memFree=1696632/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=31808 CPUtime=9.98 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 1922134 0 0 0 491 507 0 0 25 0 1 0 202250757 32571392 7051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 7952 7060 281 55 0 6844 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 31808 [startup+20.0082 s] /proc/loadavg: 0.89 0.94 0.97 2/64 6656 /proc/meminfo: memFree=1686968/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=42444 CPUtime=19.98 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 3917044 0 0 0 925 1073 0 0 25 0 1 0 202250757 43462656 9554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 10611 9562 280 55 0 9503 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 42444 [startup+30.014 s] /proc/loadavg: 0.90 0.94 0.97 2/64 6656 /proc/meminfo: memFree=1676792/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=52368 CPUtime=29.98 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 5902732 0 0 0 1364 1634 0 0 25 0 1 0 202250757 53624832 12168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 13092 12172 376 55 0 11984 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 52368 [startup+40.0198 s] /proc/loadavg: 0.92 0.94 0.97 2/64 6656 /proc/meminfo: memFree=1670264/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=58704 CPUtime=39.98 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 7867059 0 0 0 1796 2202 0 0 25 0 1 0 202250757 60112896 13811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 14676 13819 281 55 0 13568 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 58704 [startup+50.0256 s] /proc/loadavg: 0.93 0.94 0.97 2/64 6656 /proc/meminfo: memFree=1664440/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=66412 CPUtime=49.98 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 9835585 0 0 0 2232 2766 0 0 25 0 1 0 202250757 68005888 15223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 16603 15230 280 55 0 15495 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 66412 [startup+60.0314 s] /proc/loadavg: 0.94 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1659512/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=71428 CPUtime=59.98 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 11757199 0 0 0 2657 3341 0 0 25 0 1 0 202250757 73142272 16583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 17857 16587 337 55 0 16749 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 71428 [startup+70.0383 s] /proc/loadavg: 0.95 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1654776/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=75912 CPUtime=69.99 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 13657624 0 0 0 3090 3909 0 0 25 0 1 0 202250757 77733888 17664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 18978 17671 280 55 0 17870 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 75912 [startup+80.0451 s] /proc/loadavg: 0.96 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1650360/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=80224 CPUtime=79.99 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 15542562 0 0 0 3529 4470 0 0 25 0 1 0 202250757 82149376 18735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 20056 18743 280 55 0 18948 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 80224 [startup+90.0519 s] /proc/loadavg: 0.96 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1646264/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=84152 CPUtime=90 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 17410620 0 0 0 3962 5038 0 0 25 0 1 0 202250757 86171648 19865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 21038 19872 280 55 0 19930 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 84152 [startup+100.058 s] /proc/loadavg: 0.97 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1642424/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=87948 CPUtime=99.99 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 19278046 0 0 0 4387 5612 0 0 25 0 1 0 202250757 90058752 20844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 21987 20851 280 55 0 20879 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 87948 [startup+110.065 s] /proc/loadavg: 0.97 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1638520/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=91320 CPUtime=110 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 21075848 0 0 0 4810 6190 0 0 25 0 1 0 202250757 93511680 21647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 22830 21655 280 55 0 21722 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 91320 [startup+120.07 s] /proc/loadavg: 0.98 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1635192/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=94688 CPUtime=120 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 22875660 0 0 0 5229 6771 0 0 25 0 1 0 202250757 96960512 22467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 23672 22476 280 55 0 22564 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 94688 [startup+130.076 s] /proc/loadavg: 0.98 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1626744/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=102732 CPUtime=130 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 24655092 0 0 0 5660 7340 0 0 25 0 1 0 202250757 105197568 24643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 25683 24650 280 55 0 24575 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 102732 [startup+140.083 s] /proc/loadavg: 0.98 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1624120/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=105724 CPUtime=140 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 26424106 0 0 0 6093 7907 0 0 25 0 1 0 202250757 108261376 25269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 26431 25278 280 55 0 25323 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 105724 [startup+150.09 s] /proc/loadavg: 0.98 0.95 0.97 2/64 6656 /proc/meminfo: memFree=1620536/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=108704 CPUtime=150.01 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 28168973 0 0 0 6521 8480 0 0 25 0 1 0 202250757 111312896 26117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 27176 26124 280 55 0 26068 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 108704 [startup+160.096 s] /proc/loadavg: 0.99 0.96 0.97 2/64 6656 /proc/meminfo: memFree=1617976/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=111560 CPUtime=160 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 29941961 0 0 0 6935 9065 0 0 25 0 1 0 202250757 114237440 26746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 27890 26755 280 55 0 26782 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 111560 [startup+170.102 s] /proc/loadavg: 0.99 0.96 0.97 2/64 6656 /proc/meminfo: memFree=1614712/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=114136 CPUtime=170 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 31652133 0 0 0 7356 9644 0 0 25 0 1 0 202250757 116875264 27477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 28534 27485 280 55 0 27426 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 114136 [startup+180.109 s] /proc/loadavg: 0.99 0.96 0.97 2/64 6656 /proc/meminfo: memFree=1611896/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=116852 CPUtime=180.01 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 33362026 0 0 0 7776 10225 0 0 25 0 1 0 202250757 119656448 28155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 29213 28163 280 55 0 28105 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 116852 [startup+190.115 s] /proc/loadavg: 0.99 0.96 0.97 2/64 6656 /proc/meminfo: memFree=1609528/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=123296 CPUtime=190.01 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 35046773 0 0 0 8199 10802 0 0 25 0 1 0 202250757 126255104 28993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 30824 28999 280 55 0 29716 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 123296 [startup+200.121 s] /proc/loadavg: 0.99 0.96 0.97 2/64 6656 /proc/meminfo: memFree=1606904/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=125736 CPUtime=200.01 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 36725376 0 0 0 8620 11381 0 0 25 0 1 0 202250757 128753664 29361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 31165 29361 280 55 0 30057 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 125736 [startup+210.127 s] /proc/loadavg: 0.99 0.96 0.97 2/64 6656 /proc/meminfo: memFree=1604472/2055920 swapFree=4181452/4192956 ################ # More data... # ################ [pid=6656] ppid=6654 vsize=328204 CPUtime=1781.43 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 277624816 0 0 0 71907 106236 0 0 25 0 1 0 202250757 336080896 79609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82051 79615 280 55 0 80943 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 328204 [startup+1783.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1405752/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328204 CPUtime=1782.43 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 277774923 0 0 0 71946 106297 0 0 25 0 1 0 202250757 336080896 80105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82051 80111 280 55 0 80943 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 328204 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1405432/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328336 CPUtime=1783.44 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 277923849 0 0 0 71986 106358 0 0 25 0 1 0 202250757 336216064 80157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82084 80157 724 55 0 80976 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 328336 [startup+1785.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1405240/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328336 CPUtime=1784.44 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278072742 0 0 0 72025 106419 0 0 25 0 1 0 202250757 336216064 80176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82084 80176 786 55 0 80976 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 328336 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1405688/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328480 CPUtime=1785.45 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278221675 0 0 0 72067 106478 0 0 25 0 1 0 202250757 336363520 80077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82120 80083 280 55 0 81012 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 328480 [startup+1787.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1403960/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328612 CPUtime=1786.45 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278370410 0 0 0 72104 106541 0 0 25 0 1 0 202250757 336498688 79737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82153 79743 280 55 0 81045 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 328612 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1404536/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328612 CPUtime=1787.46 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278519324 0 0 0 72145 106601 0 0 25 0 1 0 202250757 336498688 79575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82153 79582 280 55 0 81045 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 328612 [startup+1789.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1405496/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328744 CPUtime=1788.46 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278668248 0 0 0 72181 106665 0 0 25 0 1 0 202250757 336633856 80160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82186 80165 280 55 0 81078 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 328744 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1402872/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328744 CPUtime=1789.46 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278817160 0 0 0 72216 106730 0 0 25 0 1 0 202250757 336633856 79996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82186 80002 280 55 0 81078 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 328744 [startup+1791.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1404216/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328884 CPUtime=1790.47 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278966047 0 0 0 72256 106791 0 0 25 0 1 0 202250757 336777216 79664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82221 79671 280 55 0 81113 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 328884 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1403256/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=328884 CPUtime=1791.48 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279114825 0 0 0 72298 106850 0 0 25 0 1 0 202250757 336777216 79903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82221 79909 280 55 0 81113 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 328884 [startup+1793.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1402360/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329020 CPUtime=1792.48 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279263616 0 0 0 72337 106911 0 0 25 0 1 0 202250757 336916480 80156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82255 80161 280 55 0 81147 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 329020 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1404408/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329152 CPUtime=1793.48 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279413837 0 0 0 72377 106971 0 0 25 0 1 0 202250757 337051648 80359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82288 79620 280 55 0 81180 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 329152 [startup+1795.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1403576/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329152 CPUtime=1794.49 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279564068 0 0 0 72415 107034 0 0 25 0 1 0 202250757 337051648 79834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82288 79840 280 55 0 81180 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 329152 [startup+1796.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1403256/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329292 CPUtime=1795.49 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279714306 0 0 0 72452 107097 0 0 25 0 1 0 202250757 337195008 79924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82323 79930 280 55 0 81215 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 329292 [startup+1797.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1403384/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329292 CPUtime=1796.5 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279864480 0 0 0 72489 107161 0 0 25 0 1 0 202250757 337195008 79878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82323 79884 280 55 0 81215 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 329292 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1402552/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329424 CPUtime=1797.5 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280014905 0 0 0 72528 107222 0 0 25 0 1 0 202250757 337330176 80083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82356 80089 280 55 0 81248 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 329424 [startup+1799.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1402232/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329560 CPUtime=1798.51 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280165199 0 0 0 72567 107284 0 0 25 0 1 0 202250757 337469440 80157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82390 80163 280 55 0 81282 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 329560 [startup+1800.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1401976/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329560 CPUtime=1799.51 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280315488 0 0 0 72606 107345 0 0 25 0 1 0 202250757 337469440 80226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82390 80231 280 55 0 81282 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 329560 [startup+1801.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1402360/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329700 CPUtime=1800.51 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280465746 0 0 0 72644 107407 0 0 25 0 1 0 202250757 337612800 80142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82425 80148 280 55 0 81317 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 329700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 6658 /proc/meminfo: memFree=1403000/2055920 swapFree=4181452/4192956 [pid=6656] ppid=6654 vsize=329700 CPUtime=1800.52 /proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280466321 0 0 0 72645 107407 0 0 25 0 1 0 202250757 337612800 79976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6656/statm: 82425 79982 280 55 0 81317 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 329700 Sending SIGTERM to -6656 Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.58 CPU user time (s): 726.453 CPU system time (s): 1074.13 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (Kb): 329700
Begin job on node36 on Sat Jun 3 20:17:26 UTC 2006 FILE ID= 40093-1149365845 PBS_JOBID= 311819 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40093-1149365845/instance-40093-1149365845.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-40093-1149365845 -o ROOT/results/node36/solver-40093-1149365845 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40093-1149365845/instance-40093-1149365845.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901 RANDOM SEED= 970305046 /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.284 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.284 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: 1723952 kB Buffers: 22988 kB Cached: 242564 kB SwapCached: 3320 kB Active: 84236 kB Inactive: 190096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723952 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14932 kB Slab: 43652 kB Committed_AS: 318844 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Sat Jun 3 20:47:28 UTC 2006