Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb |
MD5SUM | eacfeaf84791543db8ee3be1e77f11f6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | YES |
Number of variables | 8959 |
Total number of constraints | 323 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 323 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 510 |
Number of terms in the objective function | 8959 |
Biggest coefficient in the objective function | 1746 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 531501 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531501 |
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/node70/41237-1149251358/instance-41237-1149251358.opb ...... 0.75 c done parsing opb. 0.75 o 183 0.81 o 160 0.87 o 159 0.93 o 158 0.99 o 157 1.05 o 156 1.11 o 155 1.17 o 154 1.23 o 153 1.29 o 152 1.34 o 151 1.40 o 150 1.46 o 149 1.52 o 148 1.58 o 147 1.64 o 146 1.70 o 145 1.76 o 144 1.81 o 143 1.87 o 142 1.93 o 141 1.99 o 140 2.04 o 139 2.10 o 138 2.16 o 137 2.22 o 136 2.27 o 135 2.33 o 134 2.39 o 133 2.45 o 132 2.50 o 131 2.56 o 130 2.62 o 129 2.67 o 128 2.73 o 127 2.78 o 126 2.84 o 125 2.90 o 124 2.95 o 123 3.01 o 122 3.06 o 121 3.12 o 120 3.17 o 119 3.23 o 118 3.28 o 117 3.34 o 116 3.39 o 115 3.45 o 114 3.50 o 113 3.56 o 112 3.61 o 111 3.66 o 110 3.72 o 109 3.77 o 108 3.83 o 107 3.88 o 106 3.93 o 105 3.99 o 104 4.04 o 103 4.09 o 102 4.14 o 101 4.20 o 100 4.25 o 99 4.30 o 98 4.35 o 97 4.41 o 96 4.46 o 95 4.51 o 94 4.56 o 93 4.61 o 92 4.67 o 91 4.72 o 90 4.77 o 89 4.82 o 88 4.87 o 87 4.92 o 86 4.97 o 85 5.02 o 84 5.07 o 83 5.12 o 82 5.18 o 81 5.23 o 80 5.28 o 79 5.33 o 78 5.38 o 77 5.43 o 76 5.47 o 75 5.52 o 74 5.57 o 73 5.62 o 72 5.67 o 71 5.72 o 70 5.77 o 69 5.82 o 68 5.87 o 67 5.92 o 66 5.97 o 65 6.01 o 64 6.06 o 63 6.11 o 62 6.16 o 61 6.21 o 60 6.25 o 59 6.30 o 58 6.35 o 57 6.40 o 56 6.44 o 55 6.49 o 54 6.54 o 53 6.58 o 52 6.63 o 51 6.67 o 50 6.72 o 49 6.76 o 48 6.81 o 47 6.85 o 46 6.89 o 45 6.94 o 44 6.98 o 43 7.02 o 42 7.07 o 41 7.11 o 40 7.15 o 39 7.20 o 38 7.24 o 37 7.28 o 36 602.96 o 35
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/node70/watcher-41237-1149251358 -o ROOT/results/node70/solver-41237-1149251358 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb 721467506 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.91 3/64 31645 /proc/meminfo: memFree=1869080/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=2244 CPUtime=0 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 190805363 2297856 183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 561 185 90 232 0 326 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1863784/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=7576 CPUtime=9.99 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 1997 0 0 0 984 15 0 0 25 0 1 0 190805363 7757824 1429 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 1894 1429 108 232 0 1659 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7576 [startup+20.0084 s] /proc/loadavg: 0.94 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1860072/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=13720 CPUtime=20 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 2944 0 0 0 1983 17 0 0 25 0 1 0 190805363 14049280 2376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 3430 2376 108 232 0 3195 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 13720 [startup+30.0143 s] /proc/loadavg: 0.95 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1857576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=13876 CPUtime=30 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 3586 0 0 0 2982 18 0 0 25 0 1 0 190805363 14209024 3018 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 3469 3018 108 232 0 3234 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 13876 [startup+40.0201 s] /proc/loadavg: 0.96 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1855912/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=22068 CPUtime=39.99 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 3988 0 0 0 3981 18 0 0 25 0 1 0 190805363 22597632 3420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 5517 3420 108 232 0 5282 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 22068 [startup+50.0259 s] /proc/loadavg: 0.96 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1853992/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=22264 CPUtime=50 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 4496 0 0 0 4981 19 0 0 25 0 1 0 190805363 22798336 3928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 5566 3928 108 232 0 5331 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22264 [startup+60.0317 s] /proc/loadavg: 0.97 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1852584/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=22264 CPUtime=60 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 4839 0 0 0 5979 21 0 0 25 0 1 0 190805363 22798336 4271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 5566 4271 108 232 0 5331 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 22264 [startup+70.0375 s] /proc/loadavg: 0.97 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1851304/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=22264 CPUtime=70 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 5163 0 0 0 6979 21 0 0 25 0 1 0 190805363 22798336 4595 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551910 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 5566 4595 108 232 0 5331 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 22264 [startup+80.0433 s] /proc/loadavg: 0.98 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1848552/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=38884 CPUtime=80.01 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 5837 0 0 0 7977 24 0 0 25 0 1 0 190805363 39817216 5269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 9721 5269 108 232 0 9486 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 38884 [startup+90.0492 s] /proc/loadavg: 0.98 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1845160/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=39476 CPUtime=90 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 6739 0 0 0 8973 27 0 0 25 0 1 0 190805363 40423424 6122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 9869 6122 108 232 0 9634 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 39476 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1844904/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=39656 CPUtime=100.01 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 6803 0 0 0 9971 30 0 0 25 0 1 0 190805363 40607744 6186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 9914 6186 108 232 0 9679 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 39656 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1843880/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=40000 CPUtime=110.01 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7060 0 0 0 10968 33 0 0 25 0 1 0 190805363 40960000 6443 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10000 6443 108 232 0 9765 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 40000 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1843432/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=40696 CPUtime=120.02 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7243 0 0 0 11966 36 0 0 25 0 1 0 190805363 41672704 6529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10174 6529 108 232 0 9939 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 40696 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1843240/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=40888 CPUtime=130.01 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7308 0 0 0 12963 38 0 0 25 0 1 0 190805363 41869312 6594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10222 6594 108 232 0 9987 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 40888 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1842984/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=41072 CPUtime=140.02 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7370 0 0 0 13961 41 0 0 25 0 1 0 190805363 42057728 6656 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10268 6656 108 232 0 10033 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 41072 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1842792/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=41204 CPUtime=150.02 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7415 0 0 0 14959 43 0 0 25 0 1 0 190805363 42192896 6701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10301 6701 108 232 0 10066 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 41204 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1842472/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=41468 CPUtime=160.02 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7492 0 0 0 15957 45 0 0 25 0 1 0 190805363 42463232 6778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10367 6778 108 232 0 10132 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 41468 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1842280/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=41668 CPUtime=170.03 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7551 0 0 0 16955 48 0 0 25 0 1 0 190805363 42668032 6837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10417 6837 108 232 0 10182 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 41668 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1842088/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=41764 CPUtime=180.03 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7597 0 0 0 17953 50 0 0 25 0 1 0 190805363 42766336 6883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10441 6883 108 232 0 10206 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 41764 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1841768/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=42756 CPUtime=190.03 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7862 0 0 0 18951 52 0 0 25 0 1 0 190805363 43782144 6955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10689 6955 108 232 0 10454 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 42756 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1841512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=42880 CPUtime=200.04 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 7919 0 0 0 19950 54 0 0 25 0 1 0 190805363 43909120 7012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 10720 7012 108 232 0 10485 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 42880 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.91 2/64 31645 /proc/meminfo: memFree=1839592/2055920 swapFree=4182232/4192956 ################ # More data... # ################ /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22919 0 0 0 177872 269 0 0 25 0 1 0 190805363 92323840 20858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20858 108 232 0 22305 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 90160 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785640/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1782.41 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22919 0 0 0 177972 269 0 0 25 0 1 0 190805363 92323840 20858 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20858 108 232 0 22305 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 90160 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1783.42 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22921 0 0 0 178073 269 0 0 25 0 1 0 190805363 92323840 20860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20860 108 232 0 22305 0 Current children cumulated CPU time (s) 1783.42 Current children cumulated vsize (Kb) 90160 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1784.42 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22925 0 0 0 178173 269 0 0 25 0 1 0 190805363 92323840 20864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20864 108 232 0 22305 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 90160 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1785.42 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22926 0 0 0 178273 269 0 0 25 0 1 0 190805363 92323840 20865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20865 108 232 0 22305 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 90160 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1786.43 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22929 0 0 0 178374 269 0 0 25 0 1 0 190805363 92323840 20868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20868 108 232 0 22305 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 90160 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1787.44 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22930 0 0 0 178474 270 0 0 25 0 1 0 190805363 92323840 20869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20869 108 232 0 22305 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 90160 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785576/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1788.44 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22931 0 0 0 178574 270 0 0 25 0 1 0 190805363 92323840 20870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20870 108 232 0 22305 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 90160 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1789.45 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22934 0 0 0 178675 270 0 0 25 0 1 0 190805363 92323840 20873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20873 108 232 0 22305 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 90160 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1790.45 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22937 0 0 0 178775 270 0 0 25 0 1 0 190805363 92323840 20876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20876 108 232 0 22305 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 90160 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1791.45 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22937 0 0 0 178875 270 0 0 25 0 1 0 190805363 92323840 20876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20876 108 232 0 22305 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 90160 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1792.46 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22938 0 0 0 178976 270 0 0 25 0 1 0 190805363 92323840 20877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20877 108 232 0 22305 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 90160 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1793.46 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22939 0 0 0 179076 270 0 0 25 0 1 0 190805363 92323840 20878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20878 108 232 0 22305 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 90160 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1794.47 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22939 0 0 0 179177 270 0 0 25 0 1 0 190805363 92323840 20878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20878 108 232 0 22305 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 90160 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1795.47 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22944 0 0 0 179277 270 0 0 25 0 1 0 190805363 92323840 20883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20883 108 232 0 22305 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 90160 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1796.47 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22944 0 0 0 179377 270 0 0 25 0 1 0 190805363 92323840 20883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20883 108 232 0 22305 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 90160 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1797.48 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22945 0 0 0 179478 270 0 0 25 0 1 0 190805363 92323840 20884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20884 108 232 0 22305 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 90160 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1798.48 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22946 0 0 0 179578 270 0 0 25 0 1 0 190805363 92323840 20885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20885 108 232 0 22305 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 90160 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1799.49 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22946 0 0 0 179679 270 0 0 25 0 1 0 190805363 92323840 20885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20885 108 232 0 22305 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 90160 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1800.49 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22947 0 0 0 179779 270 0 0 25 0 1 0 190805363 92323840 20886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20886 108 232 0 22305 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 90160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 31647 /proc/meminfo: memFree=1785512/2055920 swapFree=4182232/4192956 [pid=31645] ppid=31643 vsize=90160 CPUtime=1800.49 /proc/31645/stat : 31645 (PBS4L) R 31643 31645 31599 0 -1 4194304 22947 0 0 0 179779 270 0 0 25 0 1 0 190805363 92323840 20886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/31645/statm: 22540 20886 108 232 0 22305 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 90160 Sending SIGTERM to -31645 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.52 CPU user time (s): 1797.8 CPU system time (s): 2.72458 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (Kb): 90160 The end
Begin job on node70 on Fri Jun 2 12:29:18 UTC 2006 FILE ID= 41237-1149251358 PBS_JOBID= 298104 BENCH NAME= ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb 721467506 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-41237-1149251358 -o ROOT/results/node70/solver-41237-1149251358 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41237-1149251358/instance-41237-1149251358.opb 721467506 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= eacfeaf84791543db8ee3be1e77f11f6 RANDOM SEED= 721467506 /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.265 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.265 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: 1869288 kB Buffers: 15516 kB Cached: 99760 kB SwapCached: 2364 kB Active: 26320 kB Inactive: 97608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869288 kB SwapTotal: 4192956 kB SwapFree: 4182232 kB Dirty: 156 kB Writeback: 0 kB Mapped: 15404 kB Slab: 48788 kB Committed_AS: 191680 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Fri Jun 2 12:59:19 UTC 2006