Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? (TO) | 1800.75 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-rail507.opb |
MD5SUM | 1d990dd8841615caa29b3d304bde4f0b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 162 |
Best CPU time to get the best result obtained on this benchmark | 1782.83 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 153 |
Optimality of the best value was proved | NO |
Number of variables | 63009 |
Total number of constraints | 508 |
Number of constraints which are clauses | 507 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59416 |
Number of terms in the objective function | 63009 |
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 | 63009 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 9256 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 68672 |
Number of bits of the biggest sum of numbers | 17 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 2.23 c Initial problem consists of 63009 variables and 508 constraints. 4.10 c preprocess terminated. Elapsed time: 4.088 4.10 c After prepocess the problem consists of 61258 variables and 475 constraints. 4.10 c Initial Lower Bound: 7 1801.25 c Caught signal: 15 1801.25 s UNKNOWN 1801.25 c Exit Code: 0
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/node33/watcher-39865-1149265593 -o ROOT/results/node33/solver-39865-1149265593 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39865-1149265593/instance-39865-1149265593.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1644296/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=4932 CPUtime=0 /proc/8439/stat : 8439 (bsolo) D 8437 8439 8393 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 192223096 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/8439/statm: 1233 330 226 55 0 125 0 [startup+10.0032 s] /proc/loadavg: 0.87 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1557960/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=9.98 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24528 0 0 0 988 10 0 0 25 0 1 0 192223096 95948800 21834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21834 294 55 0 22317 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 93700 [startup+20.0105 s] /proc/loadavg: 0.89 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558216/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=19.99 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 1989 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 93700 [startup+30.0168 s] /proc/loadavg: 0.91 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558280/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=29.99 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 2989 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 93700 [startup+40.0231 s] /proc/loadavg: 0.92 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558280/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=40.02 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 3992 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 40.02 Current children cumulated vsize (Kb) 93700 [startup+50.0574 s] /proc/loadavg: 0.93 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=50.02 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 4992 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 93700 [startup+60.0636 s] /proc/loadavg: 0.94 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=60.03 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 5993 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 60.03 Current children cumulated vsize (Kb) 93700 [startup+70.0699 s] /proc/loadavg: 0.95 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=70.03 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 6993 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 70.03 Current children cumulated vsize (Kb) 93700 [startup+80.0772 s] /proc/loadavg: 0.96 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=80.03 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24529 0 0 0 7993 10 0 0 25 0 1 0 192223096 95948800 21835 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21835 294 55 0 22317 0 Current children cumulated CPU time (s) 80.03 Current children cumulated vsize (Kb) 93700 [startup+90.0825 s] /proc/loadavg: 0.96 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=90.03 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 8993 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 90.03 Current children cumulated vsize (Kb) 93700 [startup+100.089 s] /proc/loadavg: 0.97 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=100.04 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 9994 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 100.04 Current children cumulated vsize (Kb) 93700 [startup+110.095 s] /proc/loadavg: 0.97 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=110.04 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 10994 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 110.04 Current children cumulated vsize (Kb) 93700 [startup+120.101 s] /proc/loadavg: 0.98 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=120.04 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 11994 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 120.04 Current children cumulated vsize (Kb) 93700 [startup+130.108 s] /proc/loadavg: 0.98 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=130.05 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 12995 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 130.05 Current children cumulated vsize (Kb) 93700 [startup+140.115 s] /proc/loadavg: 0.98 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=140.05 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 13995 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649955 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 140.05 Current children cumulated vsize (Kb) 93700 [startup+150.12 s] /proc/loadavg: 0.98 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=150.05 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 14995 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 93700 [startup+160.126 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=160.06 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 15996 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 160.06 Current children cumulated vsize (Kb) 93700 [startup+170.133 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=170.06 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 16996 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 170.06 Current children cumulated vsize (Kb) 93700 [startup+180.139 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=180.06 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 17996 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 180.06 Current children cumulated vsize (Kb) 93700 [startup+190.145 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=190.07 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 18997 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 190.07 Current children cumulated vsize (Kb) 93700 [startup+200.152 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=200.07 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24530 0 0 0 19997 10 0 0 25 0 1 0 192223096 95948800 21836 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21836 294 55 0 22317 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 93700 [startup+210.158 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8439 /proc/meminfo: memFree=1558344/2055920 swapFree=4181332/4192956 ################ # More data... # ################ [pid=8439] ppid=8437 vsize=93700 CPUtime=1781.63 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178150 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649901 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (Kb) 93700 [startup+1783.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1782.63 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178250 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 93700 [startup+1784.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1783.64 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178351 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1783.64 Current children cumulated vsize (Kb) 93700 [startup+1785.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1784.64 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178451 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 93700 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1785.65 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178552 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1785.65 Current children cumulated vsize (Kb) 93700 [startup+1787.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1786.65 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178652 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 93700 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1787.66 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178753 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1787.66 Current children cumulated vsize (Kb) 93700 [startup+1789.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1788.66 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178853 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1788.66 Current children cumulated vsize (Kb) 93700 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1789.67 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 178954 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1789.67 Current children cumulated vsize (Kb) 93700 [startup+1791.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1790.67 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179054 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1790.67 Current children cumulated vsize (Kb) 93700 [startup+1792.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1791.68 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179155 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649139 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1791.68 Current children cumulated vsize (Kb) 93700 [startup+1793.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1792.68 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179255 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1792.68 Current children cumulated vsize (Kb) 93700 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1793.69 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179356 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1793.69 Current children cumulated vsize (Kb) 93700 [startup+1795.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1794.69 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179456 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 93700 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1795.7 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179557 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649701 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (Kb) 93700 [startup+1797.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1796.7 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179657 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 93700 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1797.7 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179757 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 93700 [startup+1799.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1798.71 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179858 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 93700 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1799.71 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 179958 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1799.71 Current children cumulated vsize (Kb) 93700 [startup+1801.25 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1800.72 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 180059 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 93700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 0.99 0.97 0.97 2/64 8441 /proc/meminfo: memFree=1558152/2055920 swapFree=4181332/4192956 [pid=8439] ppid=8437 vsize=93700 CPUtime=1800.72 /proc/8439/stat : 8439 (bsolo) R 8437 8439 8393 0 -1 0 24532 0 0 0 180059 13 0 0 25 0 1 0 192223096 95948800 21838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8439/statm: 23425 21838 294 55 0 22317 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 93700 Sending SIGTERM to -8439 Sleeping 2 seconds Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.75 CPU user time (s): 1800.6 CPU system time (s): 0.151976 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (Kb): 93700
Begin job on node33 on Fri Jun 2 16:26:33 UTC 2006 FILE ID= 39865-1149265593 PBS_JOBID= 298855 BENCH NAME= ROOT/tmp/node33/39865-1149265593/instance-39865-1149265593.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39865-1149265593/instance-39865-1149265593.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-39865-1149265593 -o ROOT/results/node33/solver-39865-1149265593 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/39865-1149265593/instance-39865-1149265593.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 1d990dd8841615caa29b3d304bde4f0b RANDOM SEED= 743440750 /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.213 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.213 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: 1644504 kB Buffers: 24720 kB Cached: 313980 kB SwapCached: 3544 kB Active: 41968 kB Inactive: 305640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644504 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14900 kB Slab: 49836 kB Committed_AS: 274112 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node33 on Fri Jun 2 16:56:34 UTC 2006