Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.64 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air04.opb |
MD5SUM | 642713e12b3477ef4c8327a12a399c0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5953 |
Optimality of the best value was proved | NO |
Number of variables | 8904 |
Total number of constraints | 823 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 823 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 368 |
Number of terms in the objective function | 8904 |
Biggest coefficient in the objective function | 231 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 528751 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 231 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 528751 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb ......
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/node79/watcher-41475-1149361572 -o ROOT/results/node79/solver-41475-1149361572 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb 369014909 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1748352/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=2236 CPUtime=0 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 201795801 2289664 167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 559 169 90 232 0 324 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1737280/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=16336 CPUtime=9.99 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 3344 0 0 0 991 8 0 0 25 0 1 0 201795801 16728064 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 4084 2869 105 232 0 3849 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 16336 [startup+20.0088 s] /proc/loadavg: 0.94 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1732864/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=17592 CPUtime=20 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 4445 0 0 0 1985 15 0 0 25 0 1 0 201795801 18014208 3970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134553333 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 4398 3970 105 232 0 4163 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 17592 [startup+30.0138 s] /proc/loadavg: 0.95 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1730304/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=26680 CPUtime=29.99 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 5172 0 0 0 2977 22 0 0 25 0 1 0 201795801 27320320 4600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 6670 4600 105 232 0 6435 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26680 [startup+40.0199 s] /proc/loadavg: 0.96 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1727872/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=27200 CPUtime=39.99 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 5776 0 0 0 3971 28 0 0 25 0 1 0 201795801 27852800 5204 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 6800 5204 105 232 0 6565 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 27200 [startup+50.026 s] /proc/loadavg: 0.96 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1726656/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=28704 CPUtime=50.01 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 6278 0 0 0 4967 34 0 0 25 0 1 0 201795801 29392896 5513 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 7176 5513 105 232 0 6941 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 28704 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1723648/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=29232 CPUtime=60.01 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7038 0 0 0 5961 40 0 0 25 0 1 0 201795801 29933568 6273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 7308 6273 105 232 0 7073 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 29232 [startup+70.0382 s] /proc/loadavg: 0.97 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1720960/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=29724 CPUtime=70 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7694 0 0 0 6955 45 0 0 25 0 1 0 201795801 30437376 6929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 7431 6929 105 232 0 7196 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 29724 [startup+80.0433 s] /proc/loadavg: 0.98 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1720640/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=29992 CPUtime=80.01 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7772 0 0 0 7950 51 0 0 25 0 1 0 201795801 30711808 7007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 7498 7007 105 232 0 7263 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 29992 [startup+90.0483 s] /proc/loadavg: 0.98 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1720256/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=30268 CPUtime=90.01 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 7873 0 0 0 8946 55 0 0 25 0 1 0 201795801 30994432 7108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 7567 7108 105 232 0 7332 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 30268 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1718912/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=46884 CPUtime=100.02 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8209 0 0 0 9942 60 0 0 25 0 1 0 201795801 48009216 7444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 11721 7444 105 232 0 11486 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 46884 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1718208/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=47224 CPUtime=110.02 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8403 0 0 0 10939 63 0 0 25 0 1 0 201795801 48357376 7638 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 11806 7638 105 232 0 11571 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 47224 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1717760/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=47724 CPUtime=120.02 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8534 0 0 0 11933 69 0 0 25 0 1 0 201795801 48869376 7769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 11931 7769 105 232 0 11696 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 47724 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1717440/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=49484 CPUtime=130.02 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 8981 0 0 0 12928 74 0 0 25 0 1 0 201795801 50671616 7831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12371 7831 105 232 0 12136 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 49484 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1717312/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=49484 CPUtime=140.03 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9023 0 0 0 13925 78 0 0 25 0 1 0 201795801 50671616 7873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12371 7873 105 232 0 12136 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 49484 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1716992/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=49712 CPUtime=150.03 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9102 0 0 0 14920 83 0 0 25 0 1 0 201795801 50905088 7952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12428 7952 105 232 0 12193 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 49712 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1716736/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=49996 CPUtime=160.04 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9171 0 0 0 15916 88 0 0 25 0 1 0 201795801 51195904 8021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551997 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12499 8021 105 232 0 12264 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 49996 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1716480/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=50064 CPUtime=170.03 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9229 0 0 0 16911 92 0 0 25 0 1 0 201795801 51265536 8079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12516 8079 105 232 0 12281 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 50064 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1716096/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=50344 CPUtime=180.04 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9321 0 0 0 17907 97 0 0 25 0 1 0 201795801 51552256 8171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12586 8171 105 232 0 12351 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 50344 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1715712/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=50564 CPUtime=190.04 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9425 0 0 0 18904 100 0 0 25 0 1 0 201795801 51777536 8275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12641 8275 105 232 0 12406 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 50564 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1715456/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=50964 CPUtime=200.05 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 9483 0 0 0 19901 104 0 0 25 0 1 0 201795801 52187136 8333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 12741 8333 105 232 0 12506 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 50964 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1713856/2055892 swapFree=4085416/4096564 ################ # More data... # ################ /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25701 0 0 0 177662 491 0 0 25 0 1 0 201795801 111960064 22245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552205 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22245 105 232 0 27099 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 109336 [startup+1783.05 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659456/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1782.53 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25704 0 0 0 177762 491 0 0 25 0 1 0 201795801 111960064 22248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22248 105 232 0 27099 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 109336 [startup+1784.06 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659456/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1783.53 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25707 0 0 0 177862 491 0 0 25 0 1 0 201795801 111960064 22251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22251 105 232 0 27099 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 109336 [startup+1785.06 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659456/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1784.55 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25708 0 0 0 177963 492 0 0 25 0 1 0 201795801 111960064 22252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22252 105 232 0 27099 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 109336 [startup+1786.07 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1785.55 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25711 0 0 0 178063 492 0 0 25 0 1 0 201795801 111960064 22255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22255 105 232 0 27099 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 109336 [startup+1787.07 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1786.55 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25713 0 0 0 178163 492 0 0 25 0 1 0 201795801 111960064 22257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22257 105 232 0 27099 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 109336 [startup+1788.08 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1787.56 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25718 0 0 0 178264 492 0 0 25 0 1 0 201795801 111960064 22262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22262 105 232 0 27099 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 109336 [startup+1789.08 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1788.56 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25720 0 0 0 178364 492 0 0 25 0 1 0 201795801 111960064 22264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22264 105 232 0 27099 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 109336 [startup+1790.09 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1789.56 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25721 0 0 0 178464 492 0 0 25 0 1 0 201795801 111960064 22265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22265 105 232 0 27099 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 109336 [startup+1791.09 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659392/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1790.57 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25722 0 0 0 178564 493 0 0 25 0 1 0 201795801 111960064 22266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22266 105 232 0 27099 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 109336 [startup+1792.09 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1791.58 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25727 0 0 0 178665 493 0 0 25 0 1 0 201795801 111960064 22271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22271 105 232 0 27099 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 109336 [startup+1793.1 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1792.58 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25728 0 0 0 178765 493 0 0 25 0 1 0 201795801 111960064 22272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22272 105 232 0 27099 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 109336 [startup+1794.1 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1793.58 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25729 0 0 0 178865 493 0 0 25 0 1 0 201795801 111960064 22273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22273 105 232 0 27099 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 109336 [startup+1795.11 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1794.58 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25730 0 0 0 178965 493 0 0 25 0 1 0 201795801 111960064 22274 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22274 105 232 0 27099 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 109336 [startup+1796.11 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1795.59 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25731 0 0 0 179066 493 0 0 25 0 1 0 201795801 111960064 22275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22275 105 232 0 27099 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (Kb) 109336 [startup+1797.12 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1796.59 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25732 0 0 0 179166 493 0 0 25 0 1 0 201795801 111960064 22276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22276 105 232 0 27099 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 109336 [startup+1798.12 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1797.6 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25733 0 0 0 179267 493 0 0 25 0 1 0 201795801 111960064 22277 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22277 105 232 0 27099 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 109336 [startup+1799.13 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1798.6 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25736 0 0 0 179367 493 0 0 25 0 1 0 201795801 111960064 22280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22280 105 232 0 27099 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 109336 [startup+1800.13 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1799.61 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25736 0 0 0 179467 494 0 0 25 0 1 0 201795801 111960064 22280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22280 105 232 0 27099 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 109336 [startup+1801.14 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1800.61 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25737 0 0 0 179567 494 0 0 25 0 1 0 201795801 111960064 22281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22281 105 232 0 27099 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 109336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.98 0.98 2/67 5863 /proc/meminfo: memFree=1659328/2055892 swapFree=4085416/4096564 [pid=5863] ppid=5861 vsize=109336 CPUtime=1800.62 /proc/5863/stat : 5863 (PBS4L) R 5861 5863 5817 0 -1 4194304 25737 0 0 0 179568 494 0 0 25 0 1 0 201795801 111960064 22281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/5863/statm: 27334 22281 105 232 0 27099 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 109336 Sending SIGTERM to -5863 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.64 CPU user time (s): 1795.68 CPU system time (s): 4.95925 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (Kb): 109336 The end
Begin job on node79 on Sat Jun 3 19:06:12 UTC 2006 FILE ID= 41475-1149361572 PBS_JOBID= 311538 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air04.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb 369014909 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-41475-1149361572 -o ROOT/results/node79/solver-41475-1149361572 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node79/41475-1149361572/instance-41475-1149361572.opb 369014909 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 642713e12b3477ef4c8327a12a399c0f RANDOM SEED= 369014909 /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.18 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1748560 kB Buffers: 29384 kB Cached: 216552 kB SwapCached: 2400 kB Active: 46376 kB Inactive: 208308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1748560 kB SwapTotal: 4096564 kB SwapFree: 4085416 kB Dirty: 144 kB Writeback: 0 kB Mapped: 16668 kB Slab: 39304 kB Committed_AS: 332172 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Sat Jun 3 19:36:13 UTC 2006