Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.44 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 904 |
Best CPU time to get the best result obtained on this benchmark | 1514.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 904 |
Optimality of the best value was proved | YES |
Number of variables | 1800 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 215 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
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/node91/41550-1149370430/instance-41550-1149370430.opb ...... 0.50 c done parsing opb. 0.50 o 1038 9.98 o 998 24.68 o 992 92.63 o 988 129.86 o 986 138.76 o 982 143.50 o 966 671.53 o 964 892.58 o 962 1136.10 o 958 1150.79 o 940
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/node91/watcher-41550-1149370430 -o ROOT/results/node91/solver-41550-1149370430 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb 334996145 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1612472/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=1572 CPUtime=0 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 174 0 0 0 0 0 0 0 18 0 1 0 202681915 1609728 159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 393 161 90 232 0 158 0 [startup+10.0025 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1604984/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=8576 CPUtime=9.99 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 2039 0 0 0 973 26 0 0 25 0 1 0 202681915 8781824 1967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552348 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 2144 1967 108 232 0 1909 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8576 [startup+20.0085 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1603960/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=13308 CPUtime=19.99 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 2391 0 0 0 1952 47 0 0 25 0 1 0 202681915 13627392 2222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 3327 2222 108 232 0 3092 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13308 [startup+30.0145 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1603000/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=14496 CPUtime=29.99 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 2803 0 0 0 2932 67 0 0 25 0 1 0 202681915 14843904 2441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 3624 2441 108 232 0 3389 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 14496 [startup+40.0204 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1601848/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=14820 CPUtime=39.99 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3110 0 0 0 3915 84 0 0 25 0 1 0 202681915 15175680 2748 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 3705 2748 108 232 0 3470 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 14820 [startup+50.0264 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1601336/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=15116 CPUtime=50 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3242 0 0 0 4898 102 0 0 25 0 1 0 202681915 15478784 2880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 3779 2880 108 232 0 3544 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 15116 [startup+60.0323 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1600824/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=15440 CPUtime=60 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3369 0 0 0 5883 117 0 0 25 0 1 0 202681915 15810560 3007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 3860 3007 108 232 0 3625 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 15440 [startup+70.0383 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1600312/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=17220 CPUtime=70 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 3871 0 0 0 6863 137 0 0 25 0 1 0 202681915 17633280 3124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4305 3124 108 232 0 4070 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 17220 [startup+80.0453 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1599800/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=17500 CPUtime=80.01 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4001 0 0 0 7843 158 0 0 25 0 1 0 202681915 17920000 3254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4375 3254 108 232 0 4140 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 17500 [startup+90.0512 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1599160/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=17780 CPUtime=90.01 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4155 0 0 0 8825 176 0 0 25 0 1 0 202681915 18206720 3408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4445 3408 108 232 0 4210 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 17780 [startup+100.057 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1598776/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=17932 CPUtime=100.01 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4277 0 0 0 9805 196 0 0 25 0 1 0 202681915 18362368 3530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4483 3530 108 232 0 4248 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 17932 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1598264/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=18264 CPUtime=110.02 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4399 0 0 0 10787 215 0 0 25 0 1 0 202681915 18702336 3652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4566 3652 108 232 0 4331 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 18264 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1597752/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=18568 CPUtime=120.01 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4523 0 0 0 11768 233 0 0 25 0 1 0 202681915 19013632 3776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4642 3776 108 232 0 4407 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 18568 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1597304/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=18760 CPUtime=130.02 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 4640 0 0 0 12752 250 0 0 25 0 1 0 202681915 19210240 3893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 4690 3893 108 232 0 4455 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 18760 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1596664/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=22156 CPUtime=140.02 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 5556 0 0 0 13735 267 0 0 25 0 1 0 202681915 22687744 4040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5539 4040 108 232 0 5304 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 22156 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1595384/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=22376 CPUtime=150.02 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 5869 0 0 0 14719 283 0 0 25 0 1 0 202681915 22913024 4353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549962 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5594 4353 108 232 0 5359 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 22376 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1594936/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=22724 CPUtime=160.02 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 5990 0 0 0 15702 300 0 0 25 0 1 0 202681915 23269376 4474 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5681 4474 108 232 0 5446 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 22724 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1594424/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=22968 CPUtime=170.03 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6107 0 0 0 16683 320 0 0 25 0 1 0 202681915 23519232 4591 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5742 4591 108 232 0 5507 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 22968 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1593976/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=23228 CPUtime=180.03 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6218 0 0 0 17664 339 0 0 25 0 1 0 202681915 23785472 4702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5807 4702 108 232 0 5572 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 23228 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1593528/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=23624 CPUtime=190.04 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6338 0 0 0 18647 357 0 0 25 0 1 0 202681915 24190976 4822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5906 4822 108 232 0 5671 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 23624 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1593016/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=23624 CPUtime=200.03 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 6463 0 0 0 19628 375 0 0 25 0 1 0 202681915 24190976 4947 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 5906 4947 108 232 0 5671 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 23624 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.98 2/68 14828 /proc/meminfo: memFree=1592632/2055892 swapFree=4085372/4096564 ################ # More data... # ################ /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34881 0 0 0 174906 3227 0 0 25 0 1 0 202681915 104947712 22610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22610 108 232 0 25387 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 102488 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521784/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1782.33 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34889 0 0 0 175004 3229 0 0 25 0 1 0 202681915 104947712 22618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22618 108 232 0 25387 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 102488 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521720/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1783.33 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34905 0 0 0 175102 3231 0 0 25 0 1 0 202681915 104947712 22634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22634 108 232 0 25387 0 Current children cumulated CPU time (s) 1783.33 Current children cumulated vsize (Kb) 102488 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521720/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1784.34 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34916 0 0 0 175201 3233 0 0 25 0 1 0 202681915 104947712 22645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22645 108 232 0 25387 0 Current children cumulated CPU time (s) 1784.34 Current children cumulated vsize (Kb) 102488 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521656/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1785.34 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34926 0 0 0 175299 3235 0 0 25 0 1 0 202681915 104947712 22655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22655 108 232 0 25387 0 Current children cumulated CPU time (s) 1785.34 Current children cumulated vsize (Kb) 102488 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521592/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1786.34 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34938 0 0 0 175397 3237 0 0 25 0 1 0 202681915 104947712 22667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22667 108 232 0 25387 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 102488 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521592/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1787.35 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34945 0 0 0 175496 3239 0 0 25 0 1 0 202681915 104947712 22674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22674 108 232 0 25387 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (Kb) 102488 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521528/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1788.35 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34956 0 0 0 175595 3240 0 0 25 0 1 0 202681915 104947712 22685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22685 108 232 0 25387 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 102488 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521528/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1789.36 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34963 0 0 0 175694 3242 0 0 25 0 1 0 202681915 104947712 22692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22692 108 232 0 25387 0 Current children cumulated CPU time (s) 1789.36 Current children cumulated vsize (Kb) 102488 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521464/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=102488 CPUtime=1790.36 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34980 0 0 0 175793 3243 0 0 25 0 1 0 202681915 104947712 22709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552032 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 25622 22709 108 232 0 25387 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (Kb) 102488 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521400/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1791.37 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34992 0 0 0 175892 3245 0 0 25 0 1 0 202681915 107450368 22721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22721 108 232 0 25998 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (Kb) 104932 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521400/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1792.37 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 34997 0 0 0 175991 3246 0 0 25 0 1 0 202681915 107450368 22726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22726 108 232 0 25998 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 104932 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521336/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1793.37 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35010 0 0 0 176090 3247 0 0 25 0 1 0 202681915 107450368 22739 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22739 108 232 0 25998 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 104932 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521272/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1794.38 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35018 0 0 0 176189 3249 0 0 25 0 1 0 202681915 107450368 22747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22747 108 232 0 25998 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 104932 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521272/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1795.38 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35024 0 0 0 176288 3250 0 0 25 0 1 0 202681915 107450368 22753 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549936 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22753 108 232 0 25998 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (Kb) 104932 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521208/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1796.39 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35037 0 0 0 176387 3252 0 0 25 0 1 0 202681915 107450368 22766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22766 108 232 0 25998 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (Kb) 104932 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521144/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1797.4 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35051 0 0 0 176486 3254 0 0 25 0 1 0 202681915 107450368 22780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22780 108 232 0 25998 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 104932 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521144/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1798.4 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35061 0 0 0 176585 3255 0 0 25 0 1 0 202681915 107450368 22790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22790 108 232 0 25998 0 Current children cumulated CPU time (s) 1798.4 Current children cumulated vsize (Kb) 104932 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521080/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1799.41 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35068 0 0 0 176684 3257 0 0 25 0 1 0 202681915 107450368 22797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22797 108 232 0 25998 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 104932 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521016/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1800.41 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35080 0 0 0 176783 3258 0 0 25 0 1 0 202681915 107450368 22809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22809 108 232 0 25998 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 104932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.99 2/68 15025 /proc/meminfo: memFree=1521016/2055892 swapFree=4085372/4096564 [pid=14828] ppid=14826 vsize=104932 CPUtime=1800.41 /proc/14828/stat : 14828 (PBS4L) R 14826 14828 14782 0 -1 4194304 35081 0 0 0 176783 3258 0 0 25 0 1 0 202681915 107450368 22810 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/14828/statm: 26233 22810 108 232 0 25998 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 104932 Sending SIGTERM to -14828 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.44 CPU user time (s): 1767.83 CPU system time (s): 32.605 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (Kb): 104932 The end
Begin job on node91 on Sat Jun 3 21:33:50 UTC 2006 FILE ID= 41550-1149370430 PBS_JOBID= 312171 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb 334996145 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-41550-1149370430 -o ROOT/results/node91/solver-41550-1149370430 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41550-1149370430/instance-41550-1149370430.opb 334996145 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED= 334996145 /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.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.18 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.279 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1612680 kB Buffers: 30848 kB Cached: 347056 kB SwapCached: 2352 kB Active: 68300 kB Inactive: 318240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1612680 kB SwapTotal: 4096564 kB SwapFree: 4085372 kB Dirty: 144 kB Writeback: 0 kB Mapped: 16588 kB Slab: 43280 kB Committed_AS: 448440 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Sat Jun 3 22:03:51 UTC 2006