Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.54 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-van.opb |
MD5SUM | 3cd1cee71c010b0b6b20076800dc90e2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 41696 |
Best CPU time to get the best result obtained on this benchmark | 1782.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 39649 |
Optimality of the best value was proved | NO |
Number of variables | 135360 |
Total number of constraints | 39616 |
Number of constraints which are clauses | 128 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 39488 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 192 |
Biggest coefficient in the objective function | 3977 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 524416 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 170151 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524573 |
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/node12/41307-1149271284/instance-41307-1149271284.opb ...... 35.08 c done parsing opb. 35.08 o 99786 38.57 o 97616 42.89 o 95446 46.57 o 60500 50.29 o 58330 54.02 o 56160 240.87 o 53990 1474.37 o 52300 1492.04 o 46036
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/node12/watcher-41307-1149271284 -o ROOT/results/node12/solver-41307-1149271284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41307-1149271284/instance-41307-1149271284.opb 32055133 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1672064/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=14092 CPUtime=0 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 192791238 14430208 191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 3523 192 90 232 0 3288 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1607560/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=67560 CPUtime=9.98 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 16758 0 0 0 990 8 0 0 25 0 1 0 192791238 69181440 16288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537037 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 16890 16288 99 232 0 16655 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 67560 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1564816/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=110412 CPUtime=19.99 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 27706 0 0 0 1986 13 0 0 25 0 1 0 192791238 113061888 26979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134867881 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 27603 26979 99 232 0 27368 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 110412 [startup+30.0149 s] /proc/loadavg: 0.95 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1531216/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=143724 CPUtime=29.98 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 36150 0 0 0 2979 19 0 0 25 0 1 0 192791238 147173376 35423 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 35931 35423 99 232 0 35696 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 143724 [startup+40.0217 s] /proc/loadavg: 0.96 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439632/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=39.98 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59520 0 0 0 3969 29 0 0 25 0 1 0 192791238 241750016 58272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58272 107 232 0 58786 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 236084 [startup+50.0285 s] /proc/loadavg: 0.96 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439632/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=49.99 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59527 0 0 0 4968 31 0 0 25 0 1 0 192791238 241750016 58279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58279 108 232 0 58786 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 236084 [startup+60.0344 s] /proc/loadavg: 0.97 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439568/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=59.99 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59538 0 0 0 5966 33 0 0 25 0 1 0 192791238 241750016 58290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58290 108 232 0 58786 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 236084 [startup+70.0412 s] /proc/loadavg: 0.97 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439568/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=70 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59543 0 0 0 6967 33 0 0 25 0 1 0 192791238 241750016 58295 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58295 108 232 0 58786 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 236084 [startup+80.048 s] /proc/loadavg: 0.98 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439504/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=80 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59557 0 0 0 7967 33 0 0 25 0 1 0 192791238 241750016 58309 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58309 108 232 0 58786 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 236084 [startup+90.0538 s] /proc/loadavg: 0.98 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439440/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=90 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59573 0 0 0 8967 33 0 0 25 0 1 0 192791238 241750016 58325 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58325 108 232 0 58786 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 236084 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439376/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=100 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59578 0 0 0 9967 33 0 0 25 0 1 0 192791238 241750016 58330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58330 108 232 0 58786 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 236084 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439312/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236084 CPUtime=110.01 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59588 0 0 0 10967 34 0 0 25 0 1 0 192791238 241750016 58340 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59021 58340 108 232 0 58786 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 236084 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439312/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236340 CPUtime=120.01 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59599 0 0 0 11967 34 0 0 25 0 1 0 192791238 242012160 58351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59085 58351 108 232 0 58850 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 236340 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439184/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236340 CPUtime=130.01 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59612 0 0 0 12967 34 0 0 25 0 1 0 192791238 242012160 58364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59085 58364 108 232 0 58850 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 236340 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439184/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236340 CPUtime=140.02 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59619 0 0 0 13968 34 0 0 25 0 1 0 192791238 242012160 58371 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59085 58371 108 232 0 58850 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 236340 [startup+150.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439120/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236340 CPUtime=150.02 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59628 0 0 0 14968 34 0 0 25 0 1 0 192791238 242012160 58380 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59085 58380 108 232 0 58850 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 236340 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439120/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236340 CPUtime=160.02 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59634 0 0 0 15968 34 0 0 25 0 1 0 192791238 242012160 58386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59085 58386 108 232 0 58850 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 236340 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1439056/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236340 CPUtime=170.02 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59643 0 0 0 16968 34 0 0 25 0 1 0 192791238 242012160 58395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59085 58395 108 232 0 58850 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 236340 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1438928/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236852 CPUtime=180.02 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59679 0 0 0 17968 34 0 0 25 0 1 0 192791238 242536448 58431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59213 58431 108 232 0 58978 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 236852 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1438928/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236852 CPUtime=190.02 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59693 0 0 0 18968 34 0 0 25 0 1 0 192791238 242536448 58445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59213 58445 108 232 0 58978 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 236852 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1438928/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=236852 CPUtime=200.03 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 59701 0 0 0 19969 34 0 0 25 0 1 0 192791238 242536448 58453 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59213 58453 108 232 0 58978 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 236852 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1438864/2055920 swapFree=4181420/4192956 ################ # More data... # ################ /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178098 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 239924 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1782.41 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178198 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564197 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 239924 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1783.41 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178298 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 239924 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1784.42 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178399 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 239924 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1785.42 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178499 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551540 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 239924 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1786.43 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178600 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 239924 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1787.43 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178700 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 239924 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1788.44 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178801 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 239924 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1789.44 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 178901 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 239924 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1790.45 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179002 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 239924 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1791.45 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179102 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 239924 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1792.45 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179202 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 239924 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1793.46 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179303 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 239924 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1794.46 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179403 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 239924 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1795.47 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179504 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 239924 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1796.47 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179604 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 239924 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1797.48 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179705 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 239924 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1798.48 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179805 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564199 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 239924 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1799.49 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 179906 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 239924 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1800.49 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 180006 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 239924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 1018 /proc/meminfo: memFree=1436304/2055920 swapFree=4181420/4192956 [pid=1018] ppid=1016 vsize=239924 CPUtime=1800.5 /proc/1018/stat : 1018 (PBS4L) R 1016 1018 972 0 -1 4194304 60262 0 0 0 180007 43 0 0 25 0 1 0 192791238 245682176 59014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/1018/statm: 59981 59014 108 232 0 59746 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 239924 Sending SIGTERM to -1018 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.54 CPU user time (s): 1800.07 CPU system time (s): 0.472928 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (Kb): 239924 The end
Begin job on node12 on Fri Jun 2 18:01:26 UTC 2006 FILE ID= 41307-1149271284 PBS_JOBID= 299012 BENCH NAME= ROOT/tmp/node12/41307-1149271284/instance-41307-1149271284.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41307-1149271284/instance-41307-1149271284.opb 32055133 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-41307-1149271284 -o ROOT/results/node12/solver-41307-1149271284 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node12/41307-1149271284/instance-41307-1149271284.opb 32055133 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 3cd1cee71c010b0b6b20076800dc90e2 RANDOM SEED= 32055133 /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.282 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.282 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: 1672272 kB Buffers: 19208 kB Cached: 300884 kB SwapCached: 3180 kB Active: 104728 kB Inactive: 224060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1672272 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14720 kB Slab: 40916 kB Committed_AS: 261980 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Fri Jun 2 18:31:28 UTC 2006