Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.58 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos3.opb |
MD5SUM | e3cb0aa6fa78151ec6baa005375728ca |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1782.83 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of variables | 42220 |
Total number of constraints | 1481 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 17 |
Number of constraints which are nor clauses,nor cardinality constraints | 1464 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4780 |
Number of terms in the objective function | 155 |
Biggest coefficient in the objective function | 52429 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524395 |
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 | 528063 |
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/node65/41250-1149253869/instance-41250-1149253869.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/node65/watcher-41250-1149253869 -o ROOT/results/node65/solver-41250-1149253869 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb 702051988 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1813536/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=5360 CPUtime=0 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 191056190 5488640 196 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 1340 197 90 232 0 1105 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1794912/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=20896 CPUtime=9.99 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 4952 0 0 0 994 5 0 0 25 0 1 0 191056190 21397504 4799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 5224 4799 105 232 0 4989 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 20896 [startup+20.0089 s] /proc/loadavg: 0.94 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1793312/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=22944 CPUtime=19.99 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 5342 0 0 0 1992 7 0 0 25 0 1 0 191056190 23494656 5189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 5736 5189 105 232 0 5501 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 22944 [startup+30.0146 s] /proc/loadavg: 0.95 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1792352/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=22944 CPUtime=29.99 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 5591 0 0 0 2992 7 0 0 25 0 1 0 191056190 23494656 5438 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 5736 5438 105 232 0 5501 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 22944 [startup+40.0203 s] /proc/loadavg: 0.96 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1791136/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=27040 CPUtime=40 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 5891 0 0 0 3992 8 0 0 25 0 1 0 191056190 27688960 5738 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 6760 5738 105 232 0 6525 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 27040 [startup+50.0259 s] /proc/loadavg: 0.96 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1789856/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=27040 CPUtime=50 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6219 0 0 0 4992 8 0 0 25 0 1 0 191056190 27688960 6066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 6760 6066 105 232 0 6525 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 27040 [startup+60.0316 s] /proc/loadavg: 0.97 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1789280/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=27040 CPUtime=60 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6359 0 0 0 5992 8 0 0 25 0 1 0 191056190 27688960 6206 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 6760 6206 105 232 0 6525 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 27040 [startup+70.0372 s] /proc/loadavg: 0.97 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1788448/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=27040 CPUtime=70 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6567 0 0 0 6992 8 0 0 25 0 1 0 191056190 27688960 6414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 6760 6414 105 232 0 6525 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 27040 [startup+80.0429 s] /proc/loadavg: 0.98 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1787424/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=80 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 6814 0 0 0 7992 8 0 0 25 0 1 0 191056190 36077568 6661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 6661 105 232 0 8573 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 35232 [startup+90.0485 s] /proc/loadavg: 0.98 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1786528/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=90 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7036 0 0 0 8992 8 0 0 25 0 1 0 191056190 36077568 6883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 6883 105 232 0 8573 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 35232 [startup+100.054 s] /proc/loadavg: 0.98 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1785696/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=100.01 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7245 0 0 0 9992 9 0 0 25 0 1 0 191056190 36077568 7092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 7092 105 232 0 8573 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 35232 [startup+110.06 s] /proc/loadavg: 0.98 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1784928/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=110.01 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7444 0 0 0 10992 9 0 0 25 0 1 0 191056190 36077568 7291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 7291 105 232 0 8573 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 35232 [startup+120.065 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1783840/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=120.02 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7710 0 0 0 11992 10 0 0 25 0 1 0 191056190 36077568 7557 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 7557 105 232 0 8573 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 35232 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1783200/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=130.02 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 7864 0 0 0 12992 10 0 0 25 0 1 0 191056190 36077568 7711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 7711 105 232 0 8573 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 35232 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1782624/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=140.02 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8004 0 0 0 13992 10 0 0 25 0 1 0 191056190 36077568 7851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 7851 105 232 0 8573 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 35232 [startup+150.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1781856/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=150.03 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8199 0 0 0 14992 11 0 0 25 0 1 0 191056190 36077568 8046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 8046 105 232 0 8573 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 35232 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1781280/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=160.03 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8336 0 0 0 15992 11 0 0 25 0 1 0 191056190 36077568 8183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 8183 105 232 0 8573 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 35232 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1780640/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=170.03 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8499 0 0 0 16992 11 0 0 25 0 1 0 191056190 36077568 8346 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 8346 105 232 0 8573 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 35232 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1779872/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=35232 CPUtime=180.03 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8700 0 0 0 17992 11 0 0 25 0 1 0 191056190 36077568 8547 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 8808 8547 105 232 0 8573 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 35232 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1779232/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=51616 CPUtime=190.03 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 8846 0 0 0 18992 11 0 0 25 0 1 0 191056190 52854784 8693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551312 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 12904 8693 105 232 0 12669 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 51616 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1778592/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=51616 CPUtime=200.04 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 9012 0 0 0 19993 11 0 0 25 0 1 0 191056190 52854784 8859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 12904 8859 105 232 0 12669 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 51616 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26371 /proc/meminfo: memFree=1778016/2055920 swapFree=4181844/4192956 ################ # More data... # ################ /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31649 0 0 0 178106 39 0 0 25 0 1 0 191056190 160849920 31281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39270 31281 105 232 0 39035 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 157080 [startup+1783.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688224/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157080 CPUtime=1782.45 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31654 0 0 0 178206 39 0 0 25 0 1 0 191056190 160849920 31286 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39270 31286 105 232 0 39035 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 157080 [startup+1784.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688224/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157080 CPUtime=1783.46 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31662 0 0 0 178307 39 0 0 25 0 1 0 191056190 160849920 31294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39270 31294 105 232 0 39035 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 157080 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688160/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157080 CPUtime=1784.46 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31669 0 0 0 178407 39 0 0 25 0 1 0 191056190 160849920 31301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39270 31301 105 232 0 39035 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 157080 [startup+1786.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688096/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1785.47 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31686 0 0 0 178508 39 0 0 25 0 1 0 191056190 160985088 31318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31318 105 232 0 39068 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 157212 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688096/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1786.47 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31692 0 0 0 178608 39 0 0 25 0 1 0 191056190 160985088 31324 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31324 105 232 0 39068 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 157212 [startup+1788.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688032/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1787.48 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31699 0 0 0 178709 39 0 0 25 0 1 0 191056190 160985088 31331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31331 105 232 0 39068 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 157212 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1688032/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1788.48 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31707 0 0 0 178809 39 0 0 25 0 1 0 191056190 160985088 31339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31339 105 232 0 39068 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 157212 [startup+1790.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687968/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1789.48 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31713 0 0 0 178909 39 0 0 25 0 1 0 191056190 160985088 31345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31345 105 232 0 39068 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 157212 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687968/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1790.49 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31720 0 0 0 179010 39 0 0 25 0 1 0 191056190 160985088 31352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31352 105 232 0 39068 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 157212 [startup+1792.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687904/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1791.49 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31729 0 0 0 179110 39 0 0 25 0 1 0 191056190 160985088 31361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31361 105 232 0 39068 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 157212 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687776/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1792.51 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31762 0 0 0 179211 40 0 0 25 0 1 0 191056190 160985088 31394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31394 105 232 0 39068 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 157212 [startup+1794.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687712/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1793.51 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31780 0 0 0 179311 40 0 0 25 0 1 0 191056190 160985088 31412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31412 105 232 0 39068 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 157212 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687648/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1794.52 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31794 0 0 0 179412 40 0 0 25 0 1 0 191056190 160985088 31426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31426 105 232 0 39068 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 157212 [startup+1796.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687584/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1795.52 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31804 0 0 0 179512 40 0 0 25 0 1 0 191056190 160985088 31436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31436 105 232 0 39068 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 157212 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687584/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1796.52 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31812 0 0 0 179612 40 0 0 25 0 1 0 191056190 160985088 31444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31444 105 232 0 39068 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 157212 [startup+1798.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687520/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1797.53 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31819 0 0 0 179713 40 0 0 25 0 1 0 191056190 160985088 31451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31451 105 232 0 39068 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 157212 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687520/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1798.53 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31828 0 0 0 179813 40 0 0 25 0 1 0 191056190 160985088 31460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31460 105 232 0 39068 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 157212 [startup+1800.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687520/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1799.54 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31833 0 0 0 179914 40 0 0 25 0 1 0 191056190 160985088 31465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551260 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31465 105 232 0 39068 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 157212 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687456/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1800.54 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31841 0 0 0 180014 40 0 0 25 0 1 0 191056190 160985088 31473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31473 105 232 0 39068 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 157212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 26373 /proc/meminfo: memFree=1687456/2055920 swapFree=4181844/4192956 [pid=26371] ppid=26369 vsize=157212 CPUtime=1800.55 /proc/26371/stat : 26371 (PBS4L) R 26369 26371 26325 0 -1 4194304 31841 0 0 0 180015 40 0 0 25 0 1 0 191056190 160985088 31473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26371/statm: 39303 31473 105 232 0 39068 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 157212 Sending SIGTERM to -26371 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.58 CPU user time (s): 1800.15 CPU system time (s): 0.422935 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (Kb): 157212 The end
Begin job on node65 on Fri Jun 2 13:11:09 UTC 2006 FILE ID= 41250-1149253869 PBS_JOBID= 298267 BENCH NAME= ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb 702051988 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-41250-1149253869 -o ROOT/results/node65/solver-41250-1149253869 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node65/41250-1149253869/instance-41250-1149253869.opb 702051988 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= e3cb0aa6fa78151ec6baa005375728ca RANDOM SEED= 702051988 /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.283 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.283 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: 1813744 kB Buffers: 17800 kB Cached: 156812 kB SwapCached: 2800 kB Active: 59016 kB Inactive: 124324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813744 kB SwapTotal: 4192956 kB SwapFree: 4181844 kB Dirty: 144 kB Writeback: 0 kB Mapped: 14748 kB Slab: 44792 kB Committed_AS: 237256 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node65 on Fri Jun 2 13:41:10 UTC 2006