Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.53 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-swath3.opb |
MD5SUM | 32714c9455a4b8ce29c8524e810d65a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262226 |
Best CPU time to get the best result obtained on this benchmark | 14.1169 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262226 |
Optimality of the best value was proved | YES |
Number of variables | 49335 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 209 |
Number of constraints which are nor clauses,nor cardinality constraints | 4693 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 46934 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 557088 |
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/node36/41247-1149253248/instance-41247-1149253248.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/node36/watcher-41247-1149253248 -o ROOT/results/node36/solver-41247-1149253248 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41247-1149253248/instance-41247-1149253248.opb 845227676 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 3/64 23751 /proc/meminfo: memFree=1563632/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=1368 CPUtime=0 /proc/23751/stat : 23751 (PBS4L) D 23749 23751 23705 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 190990919 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137645 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/23751/statm: 342 95 84 232 0 107 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.95 0.90 2/64 23751 /proc/meminfo: memFree=1551992/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=13168 CPUtime=9.99 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 3176 0 0 0 997 2 0 0 25 0 1 0 190990919 13484032 2997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134615078 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 3292 2997 99 232 0 3057 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13168 [startup+20.0094 s] /proc/loadavg: 0.94 0.96 0.91 2/70 23822 /proc/meminfo: memFree=1544648/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=19968 CPUtime=19.98 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 5380 0 0 0 1993 5 0 0 25 0 1 0 190990919 20447232 4584 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134526464 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 4992 4584 99 232 0 4757 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 19968 [startup+30.0162 s] /proc/loadavg: 0.95 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539296/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=29.96 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8280 0 0 0 2987 9 0 0 25 0 1 0 190990919 31174656 6084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 0 0 0 /proc/23751/statm: 7611 6084 104 232 0 7376 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 30444 [startup+40.023 s] /proc/loadavg: 0.95 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539440/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=39.96 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8280 0 0 0 3985 11 0 0 25 0 1 0 190990919 31174656 6084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6084 104 232 0 7376 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 30444 [startup+50.0298 s] /proc/loadavg: 0.96 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539456/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=49.96 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8280 0 0 0 4983 13 0 0 25 0 1 0 190990919 31174656 6084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6084 104 232 0 7376 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 30444 [startup+60.0356 s] /proc/loadavg: 0.97 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=59.97 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8280 0 0 0 5982 15 0 0 25 0 1 0 190990919 31174656 6084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6084 104 232 0 7376 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 30444 [startup+70.0424 s] /proc/loadavg: 0.97 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=69.97 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8309 0 0 0 6981 16 0 0 25 0 1 0 190990919 31174656 6113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6113 105 232 0 7376 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 30444 [startup+80.0492 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=79.97 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8309 0 0 0 7979 18 0 0 25 0 1 0 190990919 31174656 6113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6113 105 232 0 7376 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 30444 [startup+90.0551 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=89.97 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8309 0 0 0 8977 20 0 0 25 0 1 0 190990919 31174656 6113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6113 105 232 0 7376 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 30444 [startup+100.061 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=99.97 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8309 0 0 0 9976 21 0 0 25 0 1 0 190990919 31174656 6113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6113 105 232 0 7376 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 30444 [startup+110.068 s] /proc/loadavg: 0.98 0.96 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=109.97 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8318 0 0 0 10975 22 0 0 25 0 1 0 190990919 31174656 6122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6122 105 232 0 7376 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 30444 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=119.98 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8318 0 0 0 11974 24 0 0 25 0 1 0 190990919 31174656 6122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6122 105 232 0 7376 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 30444 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=129.98 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8318 0 0 0 12972 26 0 0 25 0 1 0 190990919 31174656 6122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6122 105 232 0 7376 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 30444 [startup+140.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 23946 /proc/meminfo: memFree=1539520/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30444 CPUtime=139.99 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8318 0 0 0 13971 28 0 0 25 0 1 0 190990919 31174656 6122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7611 6122 105 232 0 7376 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 30444 [startup+150.091 s] /proc/loadavg: 1.06 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1539264/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=30576 CPUtime=149.99 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8380 0 0 0 14970 29 0 0 25 0 1 0 190990919 31309824 6184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7644 6184 105 232 0 7409 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 30576 [startup+160.097 s] /proc/loadavg: 1.05 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1538496/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=31500 CPUtime=159.98 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8597 0 0 0 15968 30 0 0 25 0 1 0 190990919 32256000 6401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7875 6401 105 232 0 7640 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 31500 [startup+170.103 s] /proc/loadavg: 1.04 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1538496/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=31500 CPUtime=169.99 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8597 0 0 0 16968 31 0 0 25 0 1 0 190990919 32256000 6401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7875 6401 105 232 0 7640 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 31500 [startup+180.108 s] /proc/loadavg: 1.03 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1538432/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=31500 CPUtime=180 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8597 0 0 0 17968 32 0 0 25 0 1 0 190990919 32256000 6401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7875 6401 105 232 0 7640 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 31500 [startup+190.114 s] /proc/loadavg: 1.03 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1538432/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=31500 CPUtime=190 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8605 0 0 0 18968 32 0 0 25 0 1 0 190990919 32256000 6409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 7875 6409 105 232 0 7640 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 31500 [startup+200.12 s] /proc/loadavg: 1.02 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1537600/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=32120 CPUtime=200 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 8808 0 0 0 19967 33 0 0 25 0 1 0 190990919 32890880 6587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8030 6587 105 232 0 7795 0 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 32120 [startup+210.126 s] /proc/loadavg: 1.02 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1537600/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 16989 0 0 0 178097 46 0 0 25 0 1 0 190990919 34480128 6964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6964 105 232 0 8183 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 33672 [startup+1783.13 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536200/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1782.43 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 16990 0 0 0 178197 46 0 0 25 0 1 0 190990919 34209792 6899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6899 105 232 0 8117 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 33408 [startup+1784.13 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536200/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1783.44 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 16991 0 0 0 178298 46 0 0 25 0 1 0 190990919 34209792 6900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6900 105 232 0 8117 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 33408 [startup+1785.13 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536200/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1784.44 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 16991 0 0 0 178398 46 0 0 25 0 1 0 190990919 34209792 6900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6900 105 232 0 8117 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 33408 [startup+1786.14 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1785.44 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17057 0 0 0 178498 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 33672 [startup+1787.15 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1786.45 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17057 0 0 0 178599 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 33672 [startup+1788.15 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536200/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1787.45 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17057 0 0 0 178699 46 0 0 25 0 1 0 190990919 34209792 6900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6900 105 232 0 8117 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 33408 [startup+1789.15 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536200/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1788.46 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17057 0 0 0 178800 46 0 0 25 0 1 0 190990919 34209792 6900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6900 105 232 0 8117 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 33408 [startup+1790.16 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1789.46 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17123 0 0 0 178900 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 33672 [startup+1791.16 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1790.47 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17123 0 0 0 179001 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 33672 [startup+1792.17 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1791.47 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17123 0 0 0 179101 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 33672 [startup+1793.17 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536136/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1792.48 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17123 0 0 0 179202 46 0 0 25 0 1 0 190990919 34209792 6900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6900 105 232 0 8117 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 33408 [startup+1794.18 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536200/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1793.48 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17123 0 0 0 179302 46 0 0 25 0 1 0 190990919 34209792 6900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6900 105 232 0 8117 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 33408 [startup+1795.18 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1794.48 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17189 0 0 0 179402 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 33672 [startup+1796.19 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1795.49 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17189 0 0 0 179503 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 33672 [startup+1797.19 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1796.49 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17189 0 0 0 179603 46 0 0 25 0 1 0 190990919 34480128 6966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6966 105 232 0 8183 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 33672 [startup+1798.2 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536136/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1797.5 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17190 0 0 0 179704 46 0 0 25 0 1 0 190990919 34209792 6901 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6901 105 232 0 8117 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 33408 [startup+1799.2 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536136/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33408 CPUtime=1798.5 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17190 0 0 0 179804 46 0 0 25 0 1 0 190990919 34209792 6901 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8352 6901 105 232 0 8117 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 33408 [startup+1800.21 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1799.5 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17256 0 0 0 179904 46 0 0 25 0 1 0 190990919 34480128 6967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6967 105 232 0 8183 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 33672 [startup+1801.21 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1800.51 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17256 0 0 0 180005 46 0 0 25 0 1 0 190990919 34480128 6967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6967 105 232 0 8183 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 33672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 0.98 0.91 2/64 23946 /proc/meminfo: memFree=1536072/2055920 swapFree=4181452/4192956 [pid=23751] ppid=23749 vsize=33672 CPUtime=1800.51 /proc/23751/stat : 23751 (PBS4L) R 23749 23751 23705 0 -1 4194304 17256 0 0 0 180005 46 0 0 25 0 1 0 190990919 34480128 6967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/23751/statm: 8418 6967 105 232 0 8183 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 33672 Sending SIGTERM to -23751 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.53 CPU user time (s): 1800.06 CPU system time (s): 0.474927 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (Kb): 34068 The end
Begin job on node36 on Fri Jun 2 13:00:48 UTC 2006 FILE ID= 41247-1149253248 PBS_JOBID= 298232 BENCH NAME= ROOT/tmp/node36/41247-1149253248/instance-41247-1149253248.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41247-1149253248/instance-41247-1149253248.opb 845227676 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-41247-1149253248 -o ROOT/results/node36/solver-41247-1149253248 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41247-1149253248/instance-41247-1149253248.opb 845227676 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 32714c9455a4b8ce29c8524e810d65a9 RANDOM SEED= 845227676 /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: 1563840 kB Buffers: 23056 kB Cached: 396188 kB SwapCached: 3444 kB Active: 54220 kB Inactive: 374032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1563840 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14928 kB Slab: 49812 kB Committed_AS: 216260 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 Fri Jun 2 13:30:50 UTC 2006