Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb |
MD5SUM | f70781d9e1b73a3f03aa1ef3a5aa83c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.91525 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 29038 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 531731 |
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 | 531731 |
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/node19/41359-1149333566/instance-41359-1149333566.opb ......
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-41359-1149333566 -o ROOT/results/node19/solver-41359-1149333566 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/41359-1149333566/instance-41359-1149333566.opb 672483209 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 2/64 10149 /proc/meminfo: memFree=1407536/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=3592 CPUtime=0 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 193 0 0 0 0 0 0 0 19 0 1 0 199019656 3678208 177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 898 178 90 232 0 663 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.95 0.96 2/64 10149 /proc/meminfo: memFree=1396216/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=9.99 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3503 0 0 0 998 1 0 0 25 0 1 0 199019656 14934016 2885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2885 104 232 0 3411 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 14584 [startup+20.009 s] /proc/loadavg: 0.94 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396280/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=19.99 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3512 0 0 0 1998 1 0 0 25 0 1 0 199019656 14934016 2894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2894 105 232 0 3411 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 14584 [startup+30.0151 s] /proc/loadavg: 0.95 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396280/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=29.99 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3520 0 0 0 2998 1 0 0 25 0 1 0 199019656 14934016 2902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551326 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2902 105 232 0 3411 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 14584 [startup+40.0212 s] /proc/loadavg: 0.95 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396344/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=40 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3529 0 0 0 3999 1 0 0 25 0 1 0 199019656 14934016 2911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2911 105 232 0 3411 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14584 [startup+50.0273 s] /proc/loadavg: 0.96 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396344/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=50 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3537 0 0 0 4999 1 0 0 25 0 1 0 199019656 14934016 2919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2919 105 232 0 3411 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14584 [startup+60.0334 s] /proc/loadavg: 0.97 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396344/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=60 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3544 0 0 0 5999 1 0 0 25 0 1 0 199019656 14934016 2926 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2926 105 232 0 3411 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 14584 [startup+70.0405 s] /proc/loadavg: 0.97 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396280/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=70.01 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3552 0 0 0 7000 1 0 0 25 0 1 0 199019656 14934016 2934 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2934 105 232 0 3411 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 14584 [startup+80.0466 s] /proc/loadavg: 0.98 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396216/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14584 CPUtime=80.02 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3562 0 0 0 8000 2 0 0 25 0 1 0 199019656 14934016 2944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551312 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3646 2944 105 232 0 3411 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 14584 [startup+90.0527 s] /proc/loadavg: 0.98 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396216/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=90.02 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3569 0 0 0 9000 2 0 0 25 0 1 0 199019656 15196160 2951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2951 105 232 0 3475 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 14840 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396152/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=100.02 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3577 0 0 0 10000 2 0 0 25 0 1 0 199019656 15196160 2959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551573 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2959 105 232 0 3475 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 14840 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.96 2/64 10149 /proc/meminfo: memFree=1396152/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=110.02 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3584 0 0 0 11000 2 0 0 25 0 1 0 199019656 15196160 2966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2966 105 232 0 3475 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 14840 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1396152/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=120.02 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3592 0 0 0 12000 2 0 0 25 0 1 0 199019656 15196160 2974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2974 105 232 0 3475 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 14840 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1396152/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=130.03 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3600 0 0 0 13001 2 0 0 25 0 1 0 199019656 15196160 2982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2982 105 232 0 3475 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 14840 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1396088/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=140.03 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3609 0 0 0 14001 2 0 0 25 0 1 0 199019656 15196160 2991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2991 105 232 0 3475 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 14840 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1396024/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=150.03 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3617 0 0 0 15001 2 0 0 25 0 1 0 199019656 15196160 2999 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 2999 105 232 0 3475 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 14840 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1396024/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=14840 CPUtime=160.04 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3625 0 0 0 16002 2 0 0 25 0 1 0 199019656 15196160 3007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551340 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3710 3007 105 232 0 3475 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 14840 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1395960/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=15352 CPUtime=170.04 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3631 0 0 0 17002 2 0 0 25 0 1 0 199019656 15720448 3013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3838 3013 105 232 0 3603 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 15352 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1395896/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=15476 CPUtime=180.05 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3650 0 0 0 18002 3 0 0 25 0 1 0 199019656 15847424 3032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551329 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3869 3032 105 232 0 3634 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 15476 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1395896/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=15476 CPUtime=190.05 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3659 0 0 0 19002 3 0 0 25 0 1 0 199019656 15847424 3041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3869 3041 105 232 0 3634 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 15476 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1395832/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=15476 CPUtime=200.05 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 3670 0 0 0 20002 3 0 0 25 0 1 0 199019656 15847424 3052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 3869 3052 105 232 0 3634 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 15476 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10149 /proc/meminfo: memFree=1395768/2055920 swapFree=4181404/4192956 ################ # More data... # ################ /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15033 0 0 0 178135 21 0 0 25 0 1 0 199019656 24788992 4664 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4664 105 232 0 5817 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 24208 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1782.56 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15034 0 0 0 178235 21 0 0 25 0 1 0 199019656 24788992 4665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4665 105 232 0 5817 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 24208 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1783.56 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15034 0 0 0 178335 21 0 0 25 0 1 0 199019656 24788992 4665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4665 105 232 0 5817 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 24208 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1784.57 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15035 0 0 0 178436 21 0 0 25 0 1 0 199019656 24788992 4666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4666 105 232 0 5817 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 24208 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1785.57 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15036 0 0 0 178536 21 0 0 25 0 1 0 199019656 24788992 4667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551139 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4667 105 232 0 5817 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 24208 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1786.58 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15036 0 0 0 178637 21 0 0 25 0 1 0 199019656 24788992 4667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551312 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4667 105 232 0 5817 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 24208 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1787.58 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15037 0 0 0 178737 21 0 0 25 0 1 0 199019656 24788992 4668 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4668 105 232 0 5817 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 24208 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1788.59 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15038 0 0 0 178838 21 0 0 25 0 1 0 199019656 24788992 4669 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551252 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4669 105 232 0 5817 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 24208 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1789.59 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15039 0 0 0 178938 21 0 0 25 0 1 0 199019656 24788992 4670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4670 105 232 0 5817 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 24208 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1790.6 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15040 0 0 0 179039 21 0 0 25 0 1 0 199019656 24788992 4671 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4671 105 232 0 5817 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 24208 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1791.6 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15041 0 0 0 179139 21 0 0 25 0 1 0 199019656 24788992 4672 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4672 105 232 0 5817 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 24208 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1792.61 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15042 0 0 0 179240 21 0 0 25 0 1 0 199019656 24788992 4673 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4673 105 232 0 5817 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 24208 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1793.61 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15043 0 0 0 179340 21 0 0 25 0 1 0 199019656 24788992 4674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551340 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4674 105 232 0 5817 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 24208 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1794.62 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15044 0 0 0 179441 21 0 0 25 0 1 0 199019656 24788992 4675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4675 105 232 0 5817 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 24208 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1795.62 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15046 0 0 0 179541 21 0 0 25 0 1 0 199019656 24788992 4677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4677 105 232 0 5817 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 24208 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1796.62 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15047 0 0 0 179641 21 0 0 25 0 1 0 199019656 24788992 4678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4678 105 232 0 5817 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 24208 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1389056/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1797.63 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15049 0 0 0 179742 21 0 0 25 0 1 0 199019656 24788992 4680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551297 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4680 105 232 0 5817 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 24208 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1388992/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1798.63 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15073 0 0 0 179842 21 0 0 25 0 1 0 199019656 24788992 4690 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4690 105 232 0 5817 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 24208 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1388992/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1799.64 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15081 0 0 0 179943 21 0 0 25 0 1 0 199019656 24788992 4691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4691 105 232 0 5817 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 24208 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1388992/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1800.64 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15081 0 0 0 180043 21 0 0 25 0 1 0 199019656 24788992 4691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4691 105 232 0 5817 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 24208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 10151 /proc/meminfo: memFree=1388992/2055920 swapFree=4181404/4192956 [pid=10149] ppid=10147 vsize=24208 CPUtime=1800.64 /proc/10149/stat : 10149 (PBS4L) R 10147 10149 10103 0 -1 4194304 15081 0 0 0 180043 21 0 0 25 0 1 0 199019656 24788992 4691 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551353 0 0 4096 0 0 0 0 17 1 0 0 /proc/10149/statm: 6052 4691 105 232 0 5817 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 24208 Sending SIGTERM to -10149 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.66 CPU user time (s): 1800.44 CPU system time (s): 0.221966 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (Kb): 24208 The end
Begin job on node19 on Sat Jun 3 11:19:26 UTC 2006 FILE ID= 41359-1149333566 PBS_JOBID= 310027 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/41359-1149333566/instance-41359-1149333566.opb 672483209 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-41359-1149333566 -o ROOT/results/node19/solver-41359-1149333566 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/41359-1149333566/instance-41359-1149333566.opb 672483209 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f70781d9e1b73a3f03aa1ef3a5aa83c9 RANDOM SEED= 672483209 /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.236 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.236 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: 1407744 kB Buffers: 27344 kB Cached: 549420 kB SwapCached: 3208 kB Active: 75752 kB Inactive: 509664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1407744 kB SwapTotal: 4192956 kB SwapFree: 4181404 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14732 kB Slab: 48748 kB Committed_AS: 382800 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Sat Jun 3 11:49:28 UTC 2006