Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.56 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb |
MD5SUM | 396a97b3a9140f57450f18f44f605394 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -293850 |
Best CPU time to get the best result obtained on this benchmark | 2.54661 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -293850 |
Optimality of the best value was proved | YES |
Number of variables | 1096 |
Total number of constraints | 52 |
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 | 52 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 188062 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524313 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262081 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524520 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node70/41347-1149331316/instance-41347-1149331316.opb ...... 4.93 c done parsing opb. 4.93 o 341329 22.89 o 114264 26.26 o 101862 55.80 o 97410 95.15 o 97331 97.84 o 97314 167.81 o 97310 276.65 o 97247 278.94 o 97200 301.99 o 88406 390.12 o 88114 497.61 o 88014 655.75 o 88007 657.33 o 87834 1001.80 o 87800 1136.98 o 86561 1137.14 o 85679 1184.80 o 84779 1232.01 o 82638 1232.36 o 82620 1249.24 o 82615 1423.00 o 82396 1553.69 o 82393
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-41347-1149331316 -o ROOT/results/node70/solver-41347-1149331316 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41347-1149331316/instance-41347-1149331316.opb 705749936 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1777960/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=1400 CPUtime=0 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 198801188 1433600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598713 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 350 134 90 232 0 115 0 [startup+10.0018 s] /proc/loadavg: 0.94 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1771456/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=10680 CPUtime=9.99 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 1768 0 0 0 996 3 0 0 25 0 1 0 198801188 10936320 1736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 2670 1736 108 232 0 2435 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10680 [startup+20.0077 s] /proc/loadavg: 0.95 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1771272/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=10680 CPUtime=19.99 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 1831 0 0 0 1996 3 0 0 25 0 1 0 198801188 10936320 1799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549231 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 2670 1799 108 232 0 2435 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10680 [startup+30.0135 s] /proc/loadavg: 0.95 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1768072/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=11272 CPUtime=30 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 2692 0 0 0 2995 5 0 0 25 0 1 0 198801188 11542528 2611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 2818 2611 108 232 0 2583 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 11272 [startup+40.0193 s] /proc/loadavg: 0.96 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1768008/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=11272 CPUtime=39.99 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 2696 0 0 0 3994 5 0 0 25 0 1 0 198801188 11542528 2615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 2818 2615 108 232 0 2583 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 11272 [startup+50.0251 s] /proc/loadavg: 0.97 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1767816/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=11424 CPUtime=50 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 2761 0 0 0 4994 6 0 0 25 0 1 0 198801188 11698176 2680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 2856 2680 108 232 0 2621 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11424 [startup+60.0309 s] /proc/loadavg: 0.97 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1767432/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=12072 CPUtime=60 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 2930 0 0 0 5993 7 0 0 25 0 1 0 198801188 12361728 2752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 3018 2752 108 232 0 2783 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 12072 [startup+70.0367 s] /proc/loadavg: 0.98 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1767432/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=12072 CPUtime=70.01 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 2936 0 0 0 6994 7 0 0 25 0 1 0 198801188 12361728 2758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549345 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 3018 2758 108 232 0 2783 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 12072 [startup+80.0426 s] /proc/loadavg: 0.98 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1766088/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=20696 CPUtime=80.01 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 3293 0 0 0 7991 10 0 0 25 0 1 0 198801188 21192704 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5174 3115 108 232 0 4939 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 20696 [startup+90.0484 s] /proc/loadavg: 0.98 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1763912/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=21120 CPUtime=90.01 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 3837 0 0 0 8989 12 0 0 25 0 1 0 198801188 21626880 3659 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5280 3659 108 232 0 5045 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 21120 [startup+100.055 s] /proc/loadavg: 0.98 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1763400/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22020 CPUtime=100.01 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4115 0 0 0 9987 14 0 0 25 0 1 0 198801188 22548480 3744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5505 3744 108 232 0 5270 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 22020 [startup+110.062 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1763336/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22152 CPUtime=110.02 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4165 0 0 0 10986 16 0 0 25 0 1 0 198801188 22683648 3794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5538 3794 108 232 0 5303 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 22152 [startup+120.069 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1762056/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22452 CPUtime=120.01 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4490 0 0 0 11983 18 0 0 25 0 1 0 198801188 22990848 4119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5613 4119 108 232 0 5378 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 22452 [startup+130.076 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760968/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22576 CPUtime=130.02 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4754 0 0 0 12981 21 0 0 25 0 1 0 198801188 23117824 4383 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5644 4383 108 232 0 5409 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 22576 [startup+140.082 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760904/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22708 CPUtime=140.02 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4775 0 0 0 13981 21 0 0 25 0 1 0 198801188 23252992 4404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5677 4404 108 232 0 5442 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 22708 [startup+150.088 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760904/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22708 CPUtime=150.02 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4777 0 0 0 14981 21 0 0 25 0 1 0 198801188 23252992 4406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5677 4406 108 232 0 5442 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 22708 [startup+160.094 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760776/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22708 CPUtime=160.03 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4808 0 0 0 15981 22 0 0 25 0 1 0 198801188 23252992 4437 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5677 4437 108 232 0 5442 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 22708 [startup+170.101 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760456/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=22840 CPUtime=170.04 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4874 0 0 0 16980 24 0 0 25 0 1 0 198801188 23388160 4503 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5710 4503 108 232 0 5475 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 22840 [startup+180.108 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760264/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=23140 CPUtime=180.04 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4933 0 0 0 17978 26 0 0 25 0 1 0 198801188 23695360 4562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5785 4562 108 232 0 5550 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 23140 [startup+190.114 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760200/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=23140 CPUtime=190.04 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4950 0 0 0 18978 26 0 0 25 0 1 0 198801188 23695360 4579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5785 4579 108 232 0 5550 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 23140 [startup+200.119 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760136/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=23140 CPUtime=200.04 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 4954 0 0 0 19978 26 0 0 25 0 1 0 198801188 23695360 4583 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 5785 4583 108 232 0 5550 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 23140 [startup+210.125 s] /proc/loadavg: 0.99 1.00 0.93 2/64 12791 /proc/meminfo: memFree=1760072/2055920 swapFree=4182220/4192956 ################ # More data... # ################ /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17099 0 0 0 177982 162 0 0 25 0 1 0 198801188 95039488 14037 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23203 14037 108 232 0 22968 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 92812 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721800/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=92812 CPUtime=1782.45 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17099 0 0 0 178083 162 0 0 25 0 1 0 198801188 95039488 14037 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23203 14037 108 232 0 22968 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 92812 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721800/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=92812 CPUtime=1783.45 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17099 0 0 0 178183 162 0 0 25 0 1 0 198801188 95039488 14037 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23203 14037 108 232 0 22968 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 92812 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721800/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=92812 CPUtime=1784.46 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17099 0 0 0 178284 162 0 0 25 0 1 0 198801188 95039488 14037 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23203 14037 108 232 0 22968 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 92812 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1785.46 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17108 0 0 0 178384 162 0 0 25 0 1 0 198801188 95428608 14046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14046 108 232 0 23063 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 93192 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1786.47 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17109 0 0 0 178485 162 0 0 25 0 1 0 198801188 95428608 14047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14047 108 232 0 23063 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 93192 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1787.47 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17109 0 0 0 178585 162 0 0 25 0 1 0 198801188 95428608 14047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14047 108 232 0 23063 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 93192 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1788.48 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17110 0 0 0 178686 162 0 0 25 0 1 0 198801188 95428608 14048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14048 108 232 0 23063 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 93192 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1789.49 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17111 0 0 0 178786 163 0 0 25 0 1 0 198801188 95428608 14049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14049 108 232 0 23063 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 93192 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1790.5 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17112 0 0 0 178887 163 0 0 25 0 1 0 198801188 95428608 14050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14050 108 232 0 23063 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 93192 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1791.5 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17112 0 0 0 178987 163 0 0 25 0 1 0 198801188 95428608 14050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549342 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14050 108 232 0 23063 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 93192 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1792.5 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17113 0 0 0 179087 163 0 0 25 0 1 0 198801188 95428608 14051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14051 108 232 0 23063 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 93192 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1793.51 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17113 0 0 0 179188 163 0 0 25 0 1 0 198801188 95428608 14051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14051 108 232 0 23063 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 93192 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1794.51 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17113 0 0 0 179288 163 0 0 25 0 1 0 198801188 95428608 14051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14051 108 232 0 23063 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 93192 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1795.52 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17114 0 0 0 179389 163 0 0 25 0 1 0 198801188 95428608 14052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14052 108 232 0 23063 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 93192 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1796.52 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17114 0 0 0 179489 163 0 0 25 0 1 0 198801188 95428608 14052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14052 108 232 0 23063 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 93192 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1797.52 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17114 0 0 0 179589 163 0 0 25 0 1 0 198801188 95428608 14052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14052 108 232 0 23063 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 93192 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1798.53 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17115 0 0 0 179690 163 0 0 25 0 1 0 198801188 95428608 14053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549183 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14053 108 232 0 23063 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 93192 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1799.53 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17121 0 0 0 179790 163 0 0 25 0 1 0 198801188 95428608 14059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14059 108 232 0 23063 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 93192 [startup+1801.21 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1800.54 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17122 0 0 0 179891 163 0 0 25 0 1 0 198801188 95428608 14060 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14060 108 232 0 23063 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 93192 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 1.00 0.93 2/64 12986 /proc/meminfo: memFree=1721736/2055920 swapFree=4182220/4192956 [pid=12791] ppid=12789 vsize=93192 CPUtime=1800.54 /proc/12791/stat : 12791 (PBS4L) R 12789 12791 12745 0 -1 4194304 17122 0 0 0 179891 163 0 0 25 0 1 0 198801188 95428608 14060 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12791/statm: 23298 14060 108 232 0 23063 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 93192 Sending SIGTERM to -12791 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.56 CPU user time (s): 1798.92 CPU system time (s): 1.64275 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (Kb): 93192 The end
Begin job on node70 on Sat Jun 3 10:41:56 UTC 2006 FILE ID= 41347-1149331316 PBS_JOBID= 309878 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-kb2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41347-1149331316/instance-41347-1149331316.opb 705749936 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-41347-1149331316 -o ROOT/results/node70/solver-41347-1149331316 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node70/41347-1149331316/instance-41347-1149331316.opb 705749936 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 396a97b3a9140f57450f18f44f605394 RANDOM SEED= 705749936 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1778168 kB Buffers: 18616 kB Cached: 187820 kB SwapCached: 2324 kB Active: 36360 kB Inactive: 178716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778168 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 184 kB Writeback: 0 kB Mapped: 15348 kB Slab: 48708 kB Committed_AS: 248456 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 node70 on Sat Jun 3 11:11:57 UTC 2006