Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-berlin_5_8_0.opb |
MD5SUM | 69d5c7c1a4b8d5de2fe0ee7c53688a9d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9464 |
Total number of constraints | 1820 |
Number of constraints which are clauses | 309 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1511 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 78 |
Biggest coefficient in the objective function | 262133 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524327 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262133 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524346 |
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/node9/41276-1149260204/instance-41276-1149260204.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/node9/watcher-41276-1149260204 -o ROOT/results/node9/solver-41276-1149260204 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb 259016012 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1278544/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=2288 CPUtime=0 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 191682677 2342912 179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 572 181 91 232 0 337 0 [startup+10.003 s] /proc/loadavg: 0.93 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1267640/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=15508 CPUtime=10 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 3013 0 0 0 994 6 0 0 25 0 1 0 191682677 15880192 2843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 3877 2843 104 232 0 3642 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 15508 [startup+20.0101 s] /proc/loadavg: 0.94 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1265848/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=16308 CPUtime=20 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 3463 0 0 0 1990 10 0 0 25 0 1 0 191682677 16699392 3293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 4077 3293 104 232 0 3842 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 16308 [startup+30.0173 s] /proc/loadavg: 0.95 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1263928/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=17808 CPUtime=30 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 4149 0 0 0 2986 14 0 0 25 0 1 0 191682677 18235392 3786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 4452 3786 104 232 0 4217 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 17808 [startup+40.0234 s] /proc/loadavg: 0.95 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1263288/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=18260 CPUtime=40.01 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 4300 0 0 0 3984 17 0 0 25 0 1 0 191682677 18698240 3937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 4565 3937 105 232 0 4330 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 18260 [startup+50.0296 s] /proc/loadavg: 0.96 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1261816/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=18752 CPUtime=50 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 4666 0 0 0 4981 19 0 0 25 0 1 0 191682677 19202048 4303 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 4688 4303 105 232 0 4453 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 18752 [startup+60.0357 s] /proc/loadavg: 0.97 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1260408/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=27284 CPUtime=60.01 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5028 0 0 0 5979 22 0 0 25 0 1 0 191682677 27938816 4665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 6821 4665 105 232 0 6586 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 27284 [startup+70.0419 s] /proc/loadavg: 0.97 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1259704/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=27704 CPUtime=70.01 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5207 0 0 0 6977 24 0 0 25 0 1 0 191682677 28368896 4844 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 6926 4844 105 232 0 6691 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 27704 [startup+80.049 s] /proc/loadavg: 0.98 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1258808/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=29540 CPUtime=80.02 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5819 0 0 0 7974 28 0 0 25 0 1 0 191682677 30248960 5071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7385 5071 105 232 0 7150 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 29540 [startup+90.0552 s] /proc/loadavg: 0.98 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1258360/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=29744 CPUtime=90.03 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 5921 0 0 0 8972 31 0 0 25 0 1 0 191682677 30457856 5173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7436 5173 105 232 0 7201 0 Current children cumulated CPU time (s) 90.03 Current children cumulated vsize (Kb) 29744 [startup+100.061 s] /proc/loadavg: 0.98 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1257272/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=30072 CPUtime=100.03 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 6195 0 0 0 9970 33 0 0 25 0 1 0 191682677 30793728 5447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7518 5447 105 232 0 7283 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 30072 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1255864/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=30340 CPUtime=110.03 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 6537 0 0 0 10968 35 0 0 25 0 1 0 191682677 31068160 5789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7585 5789 105 232 0 7350 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 30340 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1254840/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=30708 CPUtime=120.03 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 6794 0 0 0 11964 39 0 0 25 0 1 0 191682677 31444992 6046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7677 6046 105 232 0 7442 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 30708 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1254008/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=31016 CPUtime=130.04 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7021 0 0 0 12963 41 0 0 25 0 1 0 191682677 31760384 6273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7754 6273 105 232 0 7519 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 31016 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1253560/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=31316 CPUtime=140.04 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7134 0 0 0 13961 43 0 0 25 0 1 0 191682677 32067584 6386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7829 6386 105 232 0 7594 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 31316 [startup+150.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1253176/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=31520 CPUtime=150.04 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7224 0 0 0 14959 45 0 0 25 0 1 0 191682677 32276480 6476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7880 6476 105 232 0 7645 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 31520 [startup+160.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1252792/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=31832 CPUtime=160.05 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7313 0 0 0 15957 48 0 0 25 0 1 0 191682677 32595968 6565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 7958 6565 105 232 0 7723 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 31832 [startup+170.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1252280/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=32104 CPUtime=170.06 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7440 0 0 0 16954 52 0 0 25 0 1 0 191682677 32874496 6692 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 8026 6692 105 232 0 7791 0 Current children cumulated CPU time (s) 170.06 Current children cumulated vsize (Kb) 32104 [startup+180.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1251960/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=32280 CPUtime=180.05 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7521 0 0 0 17951 54 0 0 25 0 1 0 191682677 33054720 6773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 8070 6773 105 232 0 7835 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 32280 [startup+190.118 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1251640/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=32628 CPUtime=190.06 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7599 0 0 0 18950 56 0 0 25 0 1 0 191682677 33411072 6851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 8157 6851 105 232 0 7922 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 32628 [startup+200.124 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1251128/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=33112 CPUtime=200.06 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 7735 0 0 0 19947 59 0 0 25 0 1 0 191682677 33906688 6987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 8278 6987 105 232 0 8043 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 33112 [startup+210.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12042 /proc/meminfo: memFree=1250744/2055920 swapFree=4180864/4192956 ################ # More data... # ################ /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22650 0 0 0 177723 430 0 0 25 0 1 0 191682677 112562176 19596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19596 105 232 0 27246 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 109924 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200376/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1782.54 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22651 0 0 0 177824 430 0 0 25 0 1 0 191682677 112562176 19597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19597 105 232 0 27246 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 109924 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200376/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1783.55 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22651 0 0 0 177924 431 0 0 25 0 1 0 191682677 112562176 19597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19597 105 232 0 27246 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 109924 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1784.55 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22655 0 0 0 178024 431 0 0 25 0 1 0 191682677 112562176 19601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19601 105 232 0 27246 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 109924 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1785.55 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22655 0 0 0 178124 431 0 0 25 0 1 0 191682677 112562176 19601 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19601 105 232 0 27246 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 109924 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1786.56 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22656 0 0 0 178224 432 0 0 25 0 1 0 191682677 112562176 19602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19602 105 232 0 27246 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 109924 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1787.57 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22657 0 0 0 178325 432 0 0 25 0 1 0 191682677 112562176 19603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19603 105 232 0 27246 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 109924 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1788.57 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22658 0 0 0 178425 432 0 0 25 0 1 0 191682677 112562176 19604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552327 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19604 105 232 0 27246 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 109924 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1789.57 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22669 0 0 0 178525 432 0 0 25 0 1 0 191682677 112562176 19615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19615 105 232 0 27246 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 109924 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200312/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1790.58 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22669 0 0 0 178626 432 0 0 25 0 1 0 191682677 112562176 19615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19615 105 232 0 27246 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 109924 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1791.59 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22670 0 0 0 178726 433 0 0 25 0 1 0 191682677 112562176 19616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19616 105 232 0 27246 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 109924 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1792.6 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22671 0 0 0 178827 433 0 0 25 0 1 0 191682677 112562176 19617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19617 105 232 0 27246 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 109924 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1793.6 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22671 0 0 0 178927 433 0 0 25 0 1 0 191682677 112562176 19617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19617 105 232 0 27246 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 109924 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1794.6 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22676 0 0 0 179027 433 0 0 25 0 1 0 191682677 112562176 19622 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19622 105 232 0 27246 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 109924 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1795.61 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22676 0 0 0 179128 433 0 0 25 0 1 0 191682677 112562176 19622 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558805 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19622 105 232 0 27246 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 109924 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1796.61 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22677 0 0 0 179227 434 0 0 25 0 1 0 191682677 112562176 19623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19623 105 232 0 27246 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 109924 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1797.61 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22677 0 0 0 179327 434 0 0 25 0 1 0 191682677 112562176 19623 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19623 105 232 0 27246 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 109924 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1798.62 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22678 0 0 0 179427 435 0 0 25 0 1 0 191682677 112562176 19624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19624 105 232 0 27246 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 109924 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1799.62 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22679 0 0 0 179527 435 0 0 25 0 1 0 191682677 112562176 19625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19625 105 232 0 27246 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 109924 [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1800.63 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22680 0 0 0 179628 435 0 0 25 0 1 0 191682677 112562176 19626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19626 105 232 0 27246 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 109924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 12236 /proc/meminfo: memFree=1200248/2055920 swapFree=4180864/4192956 [pid=12042] ppid=12040 vsize=109924 CPUtime=1800.63 /proc/12042/stat : 12042 (PBS4L) R 12040 12042 11996 0 -1 4194304 22680 0 0 0 179628 435 0 0 25 0 1 0 191682677 112562176 19626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/12042/statm: 27481 19626 105 232 0 27246 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 109924 Sending SIGTERM to -12042 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.66 CPU user time (s): 1796.28 CPU system time (s): 4.37133 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 109924 The end
Begin job on node9 on Fri Jun 2 14:56:44 UTC 2006 FILE ID= 41276-1149260204 PBS_JOBID= 298607 BENCH NAME= ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb 259016012 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-41276-1149260204 -o ROOT/results/node9/solver-41276-1149260204 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node9/41276-1149260204/instance-41276-1149260204.opb 259016012 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 69d5c7c1a4b8d5de2fe0ee7c53688a9d RANDOM SEED= 259016012 /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.234 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.234 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: 1278752 kB Buffers: 31756 kB Cached: 677740 kB SwapCached: 3892 kB Active: 285380 kB Inactive: 432940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1278752 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14720 kB Slab: 44880 kB Committed_AS: 254876 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 node9 on Fri Jun 2 15:26:45 UTC 2006