Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.2 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-bell3b.opb |
MD5SUM | b7f7c91542d49e4b7d5c93771b085583 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1146 |
Best CPU time to get the best result obtained on this benchmark | 1800.41 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1087 |
Optimality of the best value was proved | NO |
Number of variables | 2283 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 24508 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525566 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525566 |
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.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.03 c starting to Solve 0.03 c #variables read: 2283 - #constraints read: 152
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/node87/watcher-37690-1149348075 -o ROOT/results/node87/solver-37690-1149348075 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37690-1149348075/instance-37690-1149348075.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/67 1293 /proc/meminfo: memFree=1720768/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=2576 CPUtime=0 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 263 0 0 0 0 0 0 0 19 0 1 0 200446648 2637824 235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11706807 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 644 235 191 16 0 84 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.94 2/67 1293 /proc/meminfo: memFree=1718016/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=5152 CPUtime=9.99 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 913 0 0 0 999 0 0 0 25 0 1 0 200446648 5275648 885 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1288 885 205 16 0 728 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 5152 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1718016/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=5152 CPUtime=19.99 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 913 0 0 0 1999 0 0 0 25 0 1 0 200446648 5275648 885 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11674636 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1288 885 205 16 0 728 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 5152 [startup+30.0146 s] /proc/loadavg: 0.95 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1717760/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=5540 CPUtime=29.99 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1013 0 0 0 2999 0 0 0 25 0 1 0 200446648 5672960 985 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1385 985 205 16 0 825 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 5540 [startup+40.0198 s] /proc/loadavg: 0.95 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1717248/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=6052 CPUtime=39.99 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1133 0 0 0 3999 0 0 0 25 0 1 0 200446648 6197248 1105 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520442 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1513 1105 205 16 0 953 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6052 [startup+50.0259 s] /proc/loadavg: 0.96 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1717056/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=6348 CPUtime=49.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1211 0 0 0 4998 0 0 0 25 0 1 0 200446648 6500352 1183 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/1293/statm: 1587 1183 205 16 0 1027 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 6348 [startup+60.0321 s] /proc/loadavg: 0.97 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1716416/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=6984 CPUtime=59.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1358 0 0 0 5998 0 0 0 25 0 1 0 200446648 7151616 1330 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1746 1330 205 16 0 1186 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 6984 [startup+70.0382 s] /proc/loadavg: 0.97 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1716096/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7240 CPUtime=69.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1439 0 0 0 6998 0 0 0 25 0 1 0 200446648 7413760 1411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1810 1411 205 16 0 1250 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 7240 [startup+80.0444 s] /proc/loadavg: 0.98 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1715904/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=79.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 7998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 7492 [startup+90.0506 s] /proc/loadavg: 0.98 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1715840/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=89.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 8998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 7492 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1715840/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=99.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 9998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559275 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 7492 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.94 2/67 1293 /proc/meminfo: memFree=1715840/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=109.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 10998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 7492 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715840/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=119.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 11998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 7492 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715840/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=129.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 12998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 7492 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715840/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7492 CPUtime=139.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1492 0 0 0 13998 0 0 0 25 0 1 0 200446648 7671808 1464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528062 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1873 1464 205 16 0 1313 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 7492 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715712/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7724 CPUtime=149.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1537 0 0 0 14998 0 0 0 25 0 1 0 200446648 7909376 1509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1931 1509 205 16 0 1371 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 7724 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715712/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7708 CPUtime=159.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1537 0 0 0 15998 0 0 0 25 0 1 0 200446648 7892992 1509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1927 1509 205 16 0 1367 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 7708 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715648/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7708 CPUtime=169.99 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1537 0 0 0 16999 0 0 0 25 0 1 0 200446648 7892992 1509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528548 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1927 1509 205 16 0 1367 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 7708 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715648/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7708 CPUtime=179.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1537 0 0 0 17998 0 0 0 25 0 1 0 200446648 7892992 1509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563500 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1927 1509 205 16 0 1367 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 7708 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715648/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7708 CPUtime=189.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1537 0 0 0 18998 0 0 0 25 0 1 0 200446648 7892992 1509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528071 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1927 1509 205 16 0 1367 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 7708 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715648/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7708 CPUtime=199.98 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1537 0 0 0 19998 0 0 0 25 0 1 0 200446648 7892992 1509 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1927 1509 205 16 0 1367 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 7708 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.94 2/67 1293 /proc/meminfo: memFree=1715648/2055888 swapFree=4085404/4096564 ################ # More data... # ################ /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178110 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1781.11 Current children cumulated vsize (Kb) 7912 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1782.11 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178210 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11675091 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1782.11 Current children cumulated vsize (Kb) 7912 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.95 3/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1783.11 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178310 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1783.11 Current children cumulated vsize (Kb) 7912 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1784.11 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178410 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1784.11 Current children cumulated vsize (Kb) 7912 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1785.12 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178511 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1785.12 Current children cumulated vsize (Kb) 7912 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1786.12 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178611 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1786.12 Current children cumulated vsize (Kb) 7912 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1787.12 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178711 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554308 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1787.12 Current children cumulated vsize (Kb) 7912 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1788.13 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178812 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1788.13 Current children cumulated vsize (Kb) 7912 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1789.13 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 178912 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1789.13 Current children cumulated vsize (Kb) 7912 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1790.14 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179013 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1790.14 Current children cumulated vsize (Kb) 7912 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1791.14 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179113 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528028 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (Kb) 7912 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714880/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1792.15 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179214 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559248 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1792.15 Current children cumulated vsize (Kb) 7912 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1793.15 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179314 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519888 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1793.15 Current children cumulated vsize (Kb) 7912 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1794.16 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179415 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528681 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1794.16 Current children cumulated vsize (Kb) 7912 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1795.16 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179515 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (Kb) 7912 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1796.16 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179615 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563723 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (Kb) 7912 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1797.17 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179716 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134553132 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1797.17 Current children cumulated vsize (Kb) 7912 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1798.17 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179816 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1798.17 Current children cumulated vsize (Kb) 7912 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1799.18 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 179917 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1799.18 Current children cumulated vsize (Kb) 7912 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1800.18 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 180017 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (Kb) 7912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.95 2/67 1295 /proc/meminfo: memFree=1714816/2055888 swapFree=4085404/4096564 [pid=1293] ppid=1291 vsize=7912 CPUtime=1800.19 /proc/1293/stat : 1293 (Pueblo13) R 1291 1293 1245 0 -1 4194304 1609 0 0 0 180018 1 0 0 25 0 1 0 200446648 8101888 1581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557196 0 0 4096 0 0 0 0 17 0 0 0 /proc/1293/statm: 1978 1581 205 16 0 1418 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 7912 Sending SIGTERM to -1293 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.2 CPU user time (s): 1800.18 CPU system time (s): 0.016997 CPU usage (%): 99.9458 Max. virtual memory (cumulated for all children) (Kb): 7912 The end
Begin job on node87 on Sat Jun 3 15:21:15 UTC 2006 FILE ID= 37690-1149348075 PBS_JOBID= 310826 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37690-1149348075/instance-37690-1149348075.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-37690-1149348075 -o ROOT/results/node87/solver-37690-1149348075 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37690-1149348075/instance-37690-1149348075.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= b7f7c91542d49e4b7d5c93771b085583 RANDOM SEED= 724961936 /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 : 6006.17 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1720976 kB Buffers: 25024 kB Cached: 245784 kB SwapCached: 2348 kB Active: 43200 kB Inactive: 236284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1720976 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42088 kB Committed_AS: 287632 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 15:51:16 UTC 2006