Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.58 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb |
MD5SUM | 810966efbb409d6e2e91a116be6e9263 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1038 |
Best CPU time to get the best result obtained on this benchmark | 1800.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1038 |
Optimality of the best value was proved | NO |
Number of variables | 1963 |
Total number of constraints | 4000 |
Number of constraints which are clauses | 4000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1963 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1963 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1963 |
Number of bits of the biggest sum of numbers | 11 |
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/node86/41666-1149395976/instance-41666-1149395976.opb ...... 0.07 c done parsing opb. 0.07 o 1820 0.08 o 1819 0.10 o 1554 0.11 o 1553 2.73 o 1552 2.74 o 1218 2.75 o 1217 2.76 o 1216 2.78 o 1215 6.58 o 1214 11.86 o 1213 17.99 o 1212 26.16 o 1211 30.78 o 1210 34.85 o 1209 43.42 o 1208 130.92 o 1207 144.89 o 1206 155.30 o 1205 170.08 o 1204 171.58 o 1203 171.59 o 1202 171.60 o 1201 171.61 o 1200 171.62 o 1199 171.63 o 1198 171.64 o 1195 171.65 o 1194 171.67 o 1193 171.68 o 1192 177.79 o 1191
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/node86/watcher-41666-1149395976 -o ROOT/results/node86/solver-41666-1149395976 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41666-1149395976/instance-41666-1149395976.opb 367268152 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1559832/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=1588 CPUtime=0 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 205236861 1626112 186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 397 186 97 232 0 162 0 [startup+10.0018 s] /proc/loadavg: 0.93 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1487968/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=133484 CPUtime=9.99 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18143 0 0 0 990 9 0 0 25 0 1 0 205236861 136687616 18071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 33371 18071 108 232 0 33136 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133484 [startup+20.008 s] /proc/loadavg: 0.94 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1486240/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=133864 CPUtime=19.99 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18577 0 0 0 1989 10 0 0 25 0 1 0 205236861 137076736 18505 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585352 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 33466 18505 108 232 0 33231 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 133864 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1485728/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=134764 CPUtime=29.99 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18806 0 0 0 2985 14 0 0 25 0 1 0 205236861 137998336 18637 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551216 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 33691 18637 108 232 0 33456 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134764 [startup+40.0203 s] /proc/loadavg: 0.96 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1485408/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=134896 CPUtime=39.99 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18872 0 0 0 3984 15 0 0 25 0 1 0 205236861 138133504 18703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 33724 18703 108 232 0 33489 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 134896 [startup+50.0264 s] /proc/loadavg: 0.96 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1485088/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=135180 CPUtime=50 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 18976 0 0 0 4979 21 0 0 25 0 1 0 205236861 138424320 18807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 33795 18807 108 232 0 33560 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135180 [startup+60.0326 s] /proc/loadavg: 0.97 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1484832/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=135468 CPUtime=60 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19053 0 0 0 5969 31 0 0 25 0 1 0 205236861 138719232 18884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 33867 18884 108 232 0 33632 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135468 [startup+70.0377 s] /proc/loadavg: 0.97 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1484512/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=136236 CPUtime=70.01 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19310 0 0 0 6958 43 0 0 25 0 1 0 205236861 139505664 18948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34059 18948 108 232 0 33824 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 136236 [startup+80.0439 s] /proc/loadavg: 0.98 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1484320/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=136412 CPUtime=80.01 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19373 0 0 0 7948 53 0 0 25 0 1 0 205236861 139685888 19011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34103 19011 108 232 0 33868 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136412 [startup+90.05 s] /proc/loadavg: 0.98 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1484064/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=136544 CPUtime=90.01 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19436 0 0 0 8940 61 0 0 25 0 1 0 205236861 139821056 19074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551139 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34136 19074 108 232 0 33901 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 136544 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1483808/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=136696 CPUtime=100.02 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19493 0 0 0 9933 69 0 0 25 0 1 0 205236861 139976704 19131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34174 19131 108 232 0 33939 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 136696 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1483552/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=136872 CPUtime=110.02 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19558 0 0 0 10922 80 0 0 25 0 1 0 205236861 140156928 19196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134562116 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34218 19196 108 232 0 33983 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136872 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1483296/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=136872 CPUtime=120.02 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 19616 0 0 0 11915 87 0 0 25 0 1 0 205236861 140156928 19254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34218 19254 108 232 0 33983 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136872 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1482912/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=138600 CPUtime=130.03 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20049 0 0 0 12908 95 0 0 25 0 1 0 205236861 141926400 19302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34650 19302 108 232 0 34415 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 138600 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1482848/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=138756 CPUtime=140.04 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20112 0 0 0 13907 97 0 0 25 0 1 0 205236861 142086144 19365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34689 19365 108 232 0 34454 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 138756 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1482528/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=139012 CPUtime=150.03 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20179 0 0 0 14906 97 0 0 25 0 1 0 205236861 142348288 19432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549297 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34753 19432 108 232 0 34518 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 139012 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1482336/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=139012 CPUtime=160.03 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20237 0 0 0 15905 98 0 0 25 0 1 0 205236861 142348288 19490 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34753 19490 108 232 0 34518 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 139012 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1482080/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=139228 CPUtime=170.04 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20287 0 0 0 16905 99 0 0 25 0 1 0 205236861 142569472 19540 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34807 19540 108 232 0 34572 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 139228 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1481952/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=139436 CPUtime=180.04 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20334 0 0 0 17903 101 0 0 25 0 1 0 205236861 142782464 19587 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34859 19587 108 232 0 34624 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 139436 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1481824/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=139436 CPUtime=190.04 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20370 0 0 0 18903 101 0 0 25 0 1 0 205236861 142782464 19623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34859 19623 108 232 0 34624 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 139436 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1481696/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=139560 CPUtime=200.04 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 20406 0 0 0 19902 102 0 0 25 0 1 0 205236861 142909440 19659 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 34890 19659 108 232 0 34655 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 139560 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23655 /proc/meminfo: memFree=1481568/2055892 swapFree=4084792/4096564 ################ # More data... # ################ /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27313 0 0 0 177937 209 0 0 25 0 1 0 205236861 162312192 24260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24260 108 232 0 39392 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 158508 [startup+1783.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462880/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1782.47 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27314 0 0 0 178038 209 0 0 25 0 1 0 205236861 162312192 24261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24261 108 232 0 39392 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 158508 [startup+1784.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462880/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1783.47 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27316 0 0 0 178138 209 0 0 25 0 1 0 205236861 162312192 24263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24263 108 232 0 39392 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 158508 [startup+1785.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1784.48 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27321 0 0 0 178239 209 0 0 25 0 1 0 205236861 162312192 24268 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24268 108 232 0 39392 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 158508 [startup+1786.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1785.48 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27322 0 0 0 178339 209 0 0 25 0 1 0 205236861 162312192 24269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24269 108 232 0 39392 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 158508 [startup+1787.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1786.48 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27323 0 0 0 178439 209 0 0 25 0 1 0 205236861 162312192 24270 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565284 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24270 108 232 0 39392 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 158508 [startup+1788.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1787.49 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27329 0 0 0 178540 209 0 0 25 0 1 0 205236861 162312192 24276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24276 108 232 0 39392 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 158508 [startup+1789.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1788.49 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27330 0 0 0 178640 209 0 0 25 0 1 0 205236861 162312192 24277 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24277 108 232 0 39392 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 158508 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462816/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1789.5 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27331 0 0 0 178741 209 0 0 25 0 1 0 205236861 162312192 24278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24278 108 232 0 39392 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 158508 [startup+1791.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1790.51 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27336 0 0 0 178841 210 0 0 25 0 1 0 205236861 162312192 24283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24283 108 232 0 39392 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 158508 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1791.51 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27338 0 0 0 178941 210 0 0 25 0 1 0 205236861 162312192 24285 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24285 108 232 0 39392 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 158508 [startup+1793.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1792.52 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27339 0 0 0 179042 210 0 0 25 0 1 0 205236861 162312192 24286 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24286 108 232 0 39392 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 158508 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1793.52 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27344 0 0 0 179142 210 0 0 25 0 1 0 205236861 162312192 24291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24291 108 232 0 39392 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 158508 [startup+1795.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1794.52 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27345 0 0 0 179242 210 0 0 25 0 1 0 205236861 162312192 24292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24292 108 232 0 39392 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 158508 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1795.53 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27347 0 0 0 179343 210 0 0 25 0 1 0 205236861 162312192 24294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549450 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24294 108 232 0 39392 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 158508 [startup+1797.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462752/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1796.53 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27348 0 0 0 179443 210 0 0 25 0 1 0 205236861 162312192 24295 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24295 108 232 0 39392 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 158508 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1797.54 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27354 0 0 0 179544 210 0 0 25 0 1 0 205236861 162312192 24301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24301 108 232 0 39392 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 158508 [startup+1799.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1798.54 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27355 0 0 0 179644 210 0 0 25 0 1 0 205236861 162312192 24302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24302 108 232 0 39392 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 158508 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1799.54 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27356 0 0 0 179744 210 0 0 25 0 1 0 205236861 162312192 24303 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24303 108 232 0 39392 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 158508 [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1800.55 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27362 0 0 0 179845 210 0 0 25 0 1 0 205236861 162312192 24309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24309 108 232 0 39392 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 158508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/68 23852 /proc/meminfo: memFree=1462688/2055892 swapFree=4084792/4096564 [pid=23655] ppid=23653 vsize=158508 CPUtime=1800.55 /proc/23655/stat : 23655 (PBS4L) R 23653 23655 23609 0 -1 4194304 27362 0 0 0 179845 210 0 0 25 0 1 0 205236861 162312192 24309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/23655/statm: 39627 24309 108 232 0 39392 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 158508 Sending SIGTERM to -23655 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.58 CPU user time (s): 1798.46 CPU system time (s): 2.12468 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (Kb): 158508 The end
Begin job on node86 on Sun Jun 4 04:39:36 UTC 2006 FILE ID= 41666-1149395976 PBS_JOBID= 313682 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41666-1149395976/instance-41666-1149395976.opb 367268152 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node86/watcher-41666-1149395976 -o ROOT/results/node86/solver-41666-1149395976 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node86/41666-1149395976/instance-41666-1149395976.opb 367268152 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 810966efbb409d6e2e91a116be6e9263 RANDOM SEED= 367268152 /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.214 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.19 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.214 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: 1560168 kB Buffers: 24076 kB Cached: 406972 kB SwapCached: 2928 kB Active: 89324 kB Inactive: 350412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1560168 kB SwapTotal: 4096564 kB SwapFree: 4084792 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15148 kB Slab: 42588 kB Committed_AS: 400780 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node86 on Sun Jun 4 05:09:38 UTC 2006