Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb |
MD5SUM | 08c9d2f9c7022678189ff579f66c642f |
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 | 0.142977 |
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 | 2976 |
Total number of constraints | 116 |
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 | 116 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 2976 |
Biggest coefficient in the objective function | 6132 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526551 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526551 |
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/node91/41245-1149252975/instance-41245-1149252975.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/node91/watcher-41245-1149252975 -o ROOT/results/node91/solver-41245-1149252975 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41245-1149252975/instance-41245-1149252975.opb 44375400 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 3/68 27254 /proc/meminfo: memFree=1511256/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=1816 CPUtime=0 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 235 0 0 0 0 0 0 0 18 0 1 0 190936395 1859584 220 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 454 220 97 232 0 219 0 [startup+10.0023 s] /proc/loadavg: 0.92 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1506224/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=7280 CPUtime=9.99 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 1446 0 0 0 995 4 0 0 25 0 1 0 190936395 7454720 1353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 1820 1353 105 232 0 1585 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7280 [startup+20.0083 s] /proc/loadavg: 0.93 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1499952/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=20556 CPUtime=19.99 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 3021 0 0 0 1991 8 0 0 25 0 1 0 190936395 21049344 2928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5139 2928 105 232 0 4904 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 20556 [startup+30.0142 s] /proc/loadavg: 0.94 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1495088/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=20952 CPUtime=29.99 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 4232 0 0 0 2988 11 0 0 25 0 1 0 190936395 21454848 4139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5238 4139 105 232 0 5003 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 20952 [startup+40.0202 s] /proc/loadavg: 0.95 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1493040/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=21676 CPUtime=40 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 4775 0 0 0 3985 15 0 0 25 0 1 0 190936395 22196224 4633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5419 4633 105 232 0 5184 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 21676 [startup+50.0272 s] /proc/loadavg: 0.96 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1492784/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=21928 CPUtime=50 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 4866 0 0 0 4982 18 0 0 25 0 1 0 190936395 22454272 4724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5482 4724 105 232 0 5247 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 21928 [startup+60.0331 s] /proc/loadavg: 0.96 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1492464/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=22460 CPUtime=60 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5037 0 0 0 5979 21 0 0 25 0 1 0 190936395 22999040 4798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5615 4798 105 232 0 5380 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 22460 [startup+70.0391 s] /proc/loadavg: 0.97 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1492080/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=22740 CPUtime=70.01 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5127 0 0 0 6978 23 0 0 25 0 1 0 190936395 23285760 4888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5685 4888 105 232 0 5450 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 22740 [startup+80.0461 s] /proc/loadavg: 0.97 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1491824/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=22992 CPUtime=80.01 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5187 0 0 0 7976 25 0 0 25 0 1 0 190936395 23543808 4948 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5748 4948 105 232 0 5513 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 22992 [startup+90.052 s] /proc/loadavg: 0.98 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1491632/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=23108 CPUtime=90.01 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5240 0 0 0 8974 27 0 0 25 0 1 0 190936395 23662592 5001 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 5777 5001 105 232 0 5542 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 23108 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1491312/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24004 CPUtime=100.02 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5491 0 0 0 9973 29 0 0 25 0 1 0 190936395 24580096 5059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6001 5059 105 232 0 5766 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 24004 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1491120/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24112 CPUtime=110.02 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5553 0 0 0 10970 32 0 0 25 0 1 0 190936395 24690688 5121 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6028 5121 105 232 0 5793 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 24112 [startup+120.07 s] /proc/loadavg: 0.98 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1490928/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24244 CPUtime=120.02 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5606 0 0 0 11967 35 0 0 25 0 1 0 190936395 24825856 5174 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6061 5174 105 232 0 5826 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 24244 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1490672/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24520 CPUtime=130.03 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5670 0 0 0 12965 38 0 0 25 0 1 0 190936395 25108480 5238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6130 5238 105 232 0 5895 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 24520 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1490480/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24520 CPUtime=140.02 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5712 0 0 0 13962 40 0 0 25 0 1 0 190936395 25108480 5280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6130 5280 105 232 0 5895 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 24520 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1490288/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24708 CPUtime=150.03 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5771 0 0 0 14961 42 0 0 25 0 1 0 190936395 25300992 5339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6177 5339 105 232 0 5942 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 24708 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1490096/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24848 CPUtime=160.03 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5818 0 0 0 15958 45 0 0 25 0 1 0 190936395 25444352 5386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6212 5386 105 232 0 5977 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 24848 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1489904/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24988 CPUtime=170.04 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5863 0 0 0 16956 48 0 0 25 0 1 0 190936395 25587712 5431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6247 5431 105 232 0 6012 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 24988 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1489712/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=24988 CPUtime=180.04 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 5914 0 0 0 17954 50 0 0 25 0 1 0 190936395 25587712 5482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6247 5482 105 232 0 6012 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 24988 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1489392/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=26644 CPUtime=190.04 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 6346 0 0 0 18952 52 0 0 25 0 1 0 190936395 27283456 5529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6661 5529 105 232 0 6426 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 26644 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1489328/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=26828 CPUtime=200.04 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 6394 0 0 0 19950 54 0 0 25 0 1 0 190936395 27471872 5577 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 6707 5577 105 232 0 6472 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 26828 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27254 /proc/meminfo: memFree=1489136/2055892 swapFree=4085380/4096564 ################ # More data... # ################ /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18067 0 0 0 177761 381 0 0 25 0 1 0 190936395 62599168 11871 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11871 105 232 0 15048 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 61132 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1782.42 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18071 0 0 0 177861 381 0 0 25 0 1 0 190936395 62599168 11875 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11875 105 232 0 15048 0 Current children cumulated CPU time (s) 1782.42 Current children cumulated vsize (Kb) 61132 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1783.43 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18074 0 0 0 177962 381 0 0 25 0 1 0 190936395 62599168 11878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11878 105 232 0 15048 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 61132 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1784.43 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18075 0 0 0 178062 381 0 0 25 0 1 0 190936395 62599168 11879 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11879 105 232 0 15048 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 61132 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1785.43 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18076 0 0 0 178162 381 0 0 25 0 1 0 190936395 62599168 11880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11880 105 232 0 15048 0 Current children cumulated CPU time (s) 1785.43 Current children cumulated vsize (Kb) 61132 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1786.44 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18079 0 0 0 178263 381 0 0 25 0 1 0 190936395 62599168 11883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11883 105 232 0 15048 0 Current children cumulated CPU time (s) 1786.44 Current children cumulated vsize (Kb) 61132 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1787.44 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18081 0 0 0 178363 381 0 0 25 0 1 0 190936395 62599168 11885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11885 105 232 0 15048 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 61132 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1788.45 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18082 0 0 0 178463 382 0 0 25 0 1 0 190936395 62599168 11886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11886 105 232 0 15048 0 Current children cumulated CPU time (s) 1788.45 Current children cumulated vsize (Kb) 61132 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1789.46 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18087 0 0 0 178564 382 0 0 25 0 1 0 190936395 62599168 11891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11891 105 232 0 15048 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 61132 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1790.46 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18088 0 0 0 178664 382 0 0 25 0 1 0 190936395 62599168 11892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11892 105 232 0 15048 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 61132 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1791.46 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18089 0 0 0 178764 382 0 0 25 0 1 0 190936395 62599168 11893 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11893 105 232 0 15048 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 61132 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1792.47 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18094 0 0 0 178865 382 0 0 25 0 1 0 190936395 62599168 11898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11898 105 232 0 15048 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 61132 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1793.47 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18096 0 0 0 178965 382 0 0 25 0 1 0 190936395 62599168 11900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11900 105 232 0 15048 0 Current children cumulated CPU time (s) 1793.47 Current children cumulated vsize (Kb) 61132 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1794.47 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18102 0 0 0 179065 382 0 0 25 0 1 0 190936395 62599168 11906 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11906 105 232 0 15048 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 61132 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1795.48 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18103 0 0 0 179166 382 0 0 25 0 1 0 190936395 62599168 11907 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11907 105 232 0 15048 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 61132 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1796.48 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18105 0 0 0 179266 382 0 0 25 0 1 0 190936395 62599168 11909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11909 105 232 0 15048 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 61132 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1797.48 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18107 0 0 0 179366 382 0 0 25 0 1 0 190936395 62599168 11911 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11911 105 232 0 15048 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 61132 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1798.49 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18113 0 0 0 179466 383 0 0 25 0 1 0 190936395 62599168 11917 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11917 105 232 0 15048 0 Current children cumulated CPU time (s) 1798.49 Current children cumulated vsize (Kb) 61132 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1799.5 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18114 0 0 0 179567 383 0 0 25 0 1 0 190936395 62599168 11918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551297 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11918 105 232 0 15048 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 61132 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1800.5 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18115 0 0 0 179667 383 0 0 25 0 1 0 190936395 62599168 11919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11919 105 232 0 15048 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 61132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/68 27449 /proc/meminfo: memFree=1463664/2055892 swapFree=4085380/4096564 [pid=27254] ppid=27252 vsize=61132 CPUtime=1800.5 /proc/27254/stat : 27254 (PBS4L) R 27252 27254 27208 0 -1 4194304 18115 0 0 0 179667 383 0 0 25 0 1 0 190936395 62599168 11919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/27254/statm: 15283 11919 105 232 0 15048 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 61132 Sending SIGTERM to -27254 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.52 CPU user time (s): 1796.68 CPU system time (s): 3.84242 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 61132 The end
Begin job on node91 on Fri Jun 2 12:56:15 UTC 2006 FILE ID= 41245-1149252975 PBS_JOBID= 298202 BENCH NAME= ROOT/tmp/node91/41245-1149252975/instance-41245-1149252975.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41245-1149252975/instance-41245-1149252975.opb 44375400 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-41245-1149252975 -o ROOT/results/node91/solver-41245-1149252975 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node91/41245-1149252975/instance-41245-1149252975.opb 44375400 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 08c9d2f9c7022678189ff579f66c642f RANDOM SEED= 44375400 /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: 1511528 kB Buffers: 37052 kB Cached: 432716 kB SwapCached: 2968 kB Active: 95372 kB Inactive: 383624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1511528 kB SwapTotal: 4096564 kB SwapFree: 4085380 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16604 kB Slab: 51992 kB Committed_AS: 320908 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 Fri Jun 2 13:26:16 UTC 2006