Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.69 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-gesa3.opb |
MD5SUM | e5622ad866d5d89568106c284dbd26e1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 655 |
Best CPU time to get the best result obtained on this benchmark | 1800.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 521 |
Optimality of the best value was proved | NO |
Number of variables | 18384 |
Total number of constraints | 1752 |
Number of constraints which are clauses | 48 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1704 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 11424 |
Biggest coefficient in the objective function | 1523 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 533712 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 533712 |
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/node77/41503-1149272153/instance-41503-1149272153.opb ...... 1.06 c done parsing opb. 1.06 o 1890 1.20 o 1752 299.22 o 1751 693.16 o 1750
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/node77/watcher-41503-1149272153 -o ROOT/results/node77/solver-41503-1149272153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41503-1149272153/instance-41503-1149272153.opb 437222504 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/67 30203 /proc/meminfo: memFree=1516576/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=1368 CPUtime=0 /proc/30203/stat : 30203 (PBS4L) D 30201 30203 30157 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 192854527 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/30203/statm: 342 95 84 232 0 107 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.98 2/67 30203 /proc/meminfo: memFree=1508000/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=10744 CPUtime=9.99 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 2830 0 0 0 997 2 0 0 25 0 1 0 192854527 11001856 2231 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551476 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 2686 2231 108 232 0 2451 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10744 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1503776/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=14840 CPUtime=19.99 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 3899 0 0 0 1996 3 0 0 25 0 1 0 192854527 15196160 3300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 3710 3300 108 232 0 3475 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 14840 [startup+30.0144 s] /proc/loadavg: 0.95 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1500000/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=23032 CPUtime=30 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 4850 0 0 0 2997 3 0 0 25 0 1 0 192854527 23584768 4251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 5758 4251 108 232 0 5523 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 23032 [startup+40.0207 s] /proc/loadavg: 0.95 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1493664/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=39416 CPUtime=40 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 6448 0 0 0 3995 5 0 0 25 0 1 0 192854527 40361984 5849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551787 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 9854 5849 108 232 0 9619 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 39416 [startup+50.0269 s] /proc/loadavg: 0.96 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1486048/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=39416 CPUtime=50.01 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 8341 0 0 0 4994 7 0 0 25 0 1 0 192854527 40361984 7742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 9854 7742 108 232 0 9619 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 39416 [startup+60.0331 s] /proc/loadavg: 0.97 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1480352/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=39632 CPUtime=60.01 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 9767 0 0 0 5993 8 0 0 25 0 1 0 192854527 40583168 9168 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 9908 9168 108 232 0 9673 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 39632 [startup+70.0383 s] /proc/loadavg: 0.97 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1473824/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72400 CPUtime=70.01 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 11404 0 0 0 6993 8 0 0 25 0 1 0 192854527 74137600 10805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549336 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18100 10805 108 232 0 17865 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 72400 [startup+80.0446 s] /proc/loadavg: 0.98 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1469984/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72400 CPUtime=80.01 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 12357 0 0 0 7992 9 0 0 25 0 1 0 192854527 74137600 11758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18100 11758 108 232 0 17865 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 72400 [startup+90.0508 s] /proc/loadavg: 0.98 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1466400/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72400 CPUtime=90.02 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 13251 0 0 0 8992 10 0 0 25 0 1 0 192854527 74137600 12652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18100 12652 108 232 0 17865 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 72400 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1460896/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72400 CPUtime=100.01 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 14629 0 0 0 9991 10 0 0 25 0 1 0 192854527 74137600 14030 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18100 14030 108 232 0 17865 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 72400 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.98 2/67 30203 /proc/meminfo: memFree=1454496/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72492 CPUtime=110.02 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 16221 0 0 0 10991 11 0 0 25 0 1 0 192854527 74231808 15622 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18123 15622 108 232 0 17888 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 72492 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1450080/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72492 CPUtime=120.02 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 17327 0 0 0 11990 12 0 0 25 0 1 0 192854527 74231808 16728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18123 16728 108 232 0 17888 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 72492 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1446496/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=72492 CPUtime=130.03 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 18224 0 0 0 12990 13 0 0 25 0 1 0 192854527 74231808 17625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 18123 17625 108 232 0 17888 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 72492 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1443296/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=140.03 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 19010 0 0 0 13990 13 0 0 25 0 1 0 192854527 141340672 18411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 18411 108 232 0 34272 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 138028 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1439520/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=150.03 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 19963 0 0 0 14989 14 0 0 25 0 1 0 192854527 141340672 19364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 19364 108 232 0 34272 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 138028 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1435616/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=160.04 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 20926 0 0 0 15989 15 0 0 25 0 1 0 192854527 141340672 20327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 20327 108 232 0 34272 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 138028 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1432096/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=170.05 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 21809 0 0 0 16989 16 0 0 25 0 1 0 192854527 141340672 21210 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564179 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 21210 108 232 0 34272 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 138028 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1428384/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=180.04 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 22737 0 0 0 17988 16 0 0 25 0 1 0 192854527 141340672 22138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 22138 108 232 0 34272 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 138028 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1424480/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=190.05 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 23706 0 0 0 18988 17 0 0 25 0 1 0 192854527 141340672 23107 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 23107 108 232 0 34272 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 138028 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1420064/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=138028 CPUtime=200.05 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 24815 0 0 0 19987 18 0 0 25 0 1 0 192854527 141340672 24216 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 34507 24216 108 232 0 34272 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 138028 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30203 /proc/meminfo: memFree=1415264/2055892 swapFree=4085336/4096564 ################ # More data... # ################ /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38793 0 0 0 177928 230 0 0 25 0 1 0 192854527 164696064 31877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31877 108 232 0 39974 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 160836 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1782.58 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38793 0 0 0 178028 230 0 0 25 0 1 0 192854527 164696064 31877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549330 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31877 108 232 0 39974 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 160836 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1783.59 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38793 0 0 0 178129 230 0 0 25 0 1 0 192854527 164696064 31877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31877 108 232 0 39974 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 160836 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1784.59 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38793 0 0 0 178229 230 0 0 25 0 1 0 192854527 164696064 31877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31877 108 232 0 39974 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 160836 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1785.6 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38793 0 0 0 178330 230 0 0 25 0 1 0 192854527 164696064 31877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31877 108 232 0 39974 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 160836 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1786.6 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 178430 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 160836 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1787.61 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 178531 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 160836 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1788.61 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 178631 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 160836 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1789.62 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 178732 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 160836 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1790.62 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 178832 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549276 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 160836 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1791.62 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 178932 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 160836 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1792.63 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179033 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 160836 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1793.63 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179133 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 160836 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1794.64 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179234 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 160836 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1795.64 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179334 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 160836 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1796.65 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179435 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 160836 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1797.65 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179535 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 160836 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1798.65 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179635 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 160836 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1799.66 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179736 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 160836 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1800.66 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179836 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 160836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/67 30205 /proc/meminfo: memFree=1389152/2055892 swapFree=4085336/4096564 [pid=30203] ppid=30201 vsize=160836 CPUtime=1800.67 /proc/30203/stat : 30203 (PBS4L) R 30201 30203 30157 0 -1 4194304 38794 0 0 0 179837 230 0 0 25 0 1 0 192854527 164696064 31878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/30203/statm: 40209 31878 108 232 0 39974 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 160836 Sending SIGTERM to -30203 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.69 CPU user time (s): 1798.37 CPU system time (s): 2.32065 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (Kb): 160836 The end
Begin job on node77 on Fri Jun 2 18:15:53 UTC 2006 FILE ID= 41503-1149272153 PBS_JOBID= 301559 BENCH NAME= ROOT/tmp/node77/41503-1149272153/instance-41503-1149272153.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41503-1149272153/instance-41503-1149272153.opb 437222504 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-41503-1149272153 -o ROOT/results/node77/solver-41503-1149272153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node77/41503-1149272153/instance-41503-1149272153.opb 437222504 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= e5622ad866d5d89568106c284dbd26e1 RANDOM SEED= 437222504 /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.238 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.16 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.238 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1516784 kB Buffers: 36816 kB Cached: 434500 kB SwapCached: 2644 kB Active: 104528 kB Inactive: 375592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1516784 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 188 kB Writeback: 0 kB Mapped: 16116 kB Slab: 45716 kB Committed_AS: 267220 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Fri Jun 2 18:45:55 UTC 2006