Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.47 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb |
MD5SUM | d237957d2db9f550f313e8cfb724f264 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 313 |
Best CPU time to get the best result obtained on this benchmark | 1.56476 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 313 |
Optimality of the best value was proved | YES |
Number of variables | 6774 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3729 |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 381 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527695 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 381 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527695 |
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/node75/41443-1149353297/instance-41443-1149353297.opb ...... 0.97 c done parsing opb. 0.97 o 18726 0.98 o 17974 0.99 o 14302 0.99 o 14299 1.01 o 13565 1.01 o 6619 1.02 o 3695 1.02 o 3691 1.04 o 3356 1.11 o 3319 1.11 o 1867 1.12 o 1861 1.12 o 1796 1.12 o 1787 1.13 o 1772 1.19 o 1771 1.19 o 1280 1.20 o 1209 1.21 o 1105 1.81 o 1097 1.87 o 1092 17.04 o 1086 18.18 o 1083 18.22 o 1070 18.34 o 1051 21.96 o 1050 22.11 o 614 22.13 o 520 22.44 o 466 23.05 o 463 23.69 o 461 23.69 o 454 23.70 o 445 23.70 o 407 23.71 o 392 25.96 o 389 47.37 o 384 87.96 o 382 93.78 o 379 255.84 o 377 317.99 o 376 409.70 o 368 412.56 o 365 796.52 o 358
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/node75/watcher-41443-1149353297 -o ROOT/results/node75/solver-41443-1149353297 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node75/41443-1149353297/instance-41443-1149353297.opb 552857555 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 3/64 26970 /proc/meminfo: memFree=1805424/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=2036 CPUtime=0 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 200993097 2084864 173 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 509 174 90 232 0 274 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.92 2/64 26970 /proc/meminfo: memFree=1790848/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=21756 CPUtime=9.99 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 3747 0 0 0 996 3 0 0 25 0 1 0 200993097 22278144 3723 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549048 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 5439 3723 108 232 0 5204 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 21756 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1781568/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=39624 CPUtime=19.99 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 6139 0 0 0 1993 6 0 0 25 0 1 0 200993097 40574976 6040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 9906 6040 108 232 0 9671 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 39624 [startup+30.0142 s] /proc/loadavg: 0.95 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1774720/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=40236 CPUtime=29.99 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 7869 0 0 0 2992 7 0 0 25 0 1 0 200993097 41201664 7770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10059 7770 108 232 0 9824 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 40236 [startup+40.0202 s] /proc/loadavg: 0.95 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1770752/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=40500 CPUtime=40 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 8854 0 0 0 3992 8 0 0 25 0 1 0 200993097 41472000 8755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10125 8755 108 232 0 9890 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 40500 [startup+50.0262 s] /proc/loadavg: 0.96 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1767040/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=40696 CPUtime=50 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 9801 0 0 0 4992 8 0 0 25 0 1 0 200993097 41672704 9702 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10174 9702 108 232 0 9939 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 40696 [startup+60.0322 s] /proc/loadavg: 0.97 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1765888/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=40696 CPUtime=60 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10082 0 0 0 5992 8 0 0 25 0 1 0 200993097 41672704 9983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10174 9983 108 232 0 9939 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 40696 [startup+70.0392 s] /proc/loadavg: 0.97 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1765440/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41092 CPUtime=70.01 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10189 0 0 0 6992 9 0 0 25 0 1 0 200993097 42078208 10090 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10273 10090 108 232 0 10038 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 41092 [startup+80.0462 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1765440/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41092 CPUtime=80.01 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10193 0 0 0 7992 9 0 0 25 0 1 0 200993097 42078208 10094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10273 10094 108 232 0 10038 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 41092 [startup+90.0522 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1765120/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41336 CPUtime=90.01 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10271 0 0 0 8992 9 0 0 25 0 1 0 200993097 42328064 10170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10334 10170 108 232 0 10099 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 41336 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1764736/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41708 CPUtime=100.01 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10362 0 0 0 9992 9 0 0 25 0 1 0 200993097 42708992 10261 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10427 10261 108 232 0 10192 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 41708 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26970 /proc/meminfo: memFree=1764544/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41992 CPUtime=110.01 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10425 0 0 0 10992 9 0 0 25 0 1 0 200993097 42999808 10275 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10498 10275 108 232 0 10263 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 41992 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1764544/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41992 CPUtime=120.01 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10426 0 0 0 11992 9 0 0 25 0 1 0 200993097 42999808 10276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10498 10276 108 232 0 10263 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 41992 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1764544/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=41992 CPUtime=130.02 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10440 0 0 0 12993 9 0 0 25 0 1 0 200993097 42999808 10290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 10498 10290 108 232 0 10263 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 41992 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1763712/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75292 CPUtime=140.02 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 10659 0 0 0 13992 10 0 0 25 0 1 0 200993097 77099008 10509 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18823 10509 108 232 0 18588 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 75292 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1760640/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75292 CPUtime=150.03 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 11435 0 0 0 14992 11 0 0 25 0 1 0 200993097 77099008 11285 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18823 11285 108 232 0 18588 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 75292 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1757376/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75416 CPUtime=160.02 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 12235 0 0 0 15991 11 0 0 25 0 1 0 200993097 77225984 12085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18854 12085 108 232 0 18619 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 75416 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1754816/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75416 CPUtime=170.03 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 12884 0 0 0 16991 12 0 0 25 0 1 0 200993097 77225984 12734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18854 12734 108 232 0 18619 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 75416 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1753408/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75500 CPUtime=180.03 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 13246 0 0 0 17991 12 0 0 25 0 1 0 200993097 77312000 13096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18875 13096 108 232 0 18640 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 75500 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1751488/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75500 CPUtime=190.03 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 13722 0 0 0 18991 12 0 0 25 0 1 0 200993097 77312000 13572 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564502 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18875 13572 108 232 0 18640 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 75500 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1749504/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=75896 CPUtime=200.04 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 14226 0 0 0 19991 13 0 0 25 0 1 0 200993097 77717504 14066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 18974 14066 108 232 0 18739 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 75896 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26970 /proc/meminfo: memFree=1747904/2055920 swapFree=4182500/4192956 ################ # More data... # ################ /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32877 0 0 0 178073 62 0 0 25 0 1 0 200993097 162627584 32021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32021 108 232 0 39469 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 158816 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1782.35 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32877 0 0 0 178173 62 0 0 25 0 1 0 200993097 162627584 32021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32021 108 232 0 39469 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 158816 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1783.36 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32877 0 0 0 178274 62 0 0 25 0 1 0 200993097 162627584 32021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32021 108 232 0 39469 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 158816 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1784.36 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32877 0 0 0 178374 62 0 0 25 0 1 0 200993097 162627584 32021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32021 108 232 0 39469 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 158816 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1785.37 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32877 0 0 0 178475 62 0 0 25 0 1 0 200993097 162627584 32021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32021 108 232 0 39469 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 158816 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1786.37 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32877 0 0 0 178575 62 0 0 25 0 1 0 200993097 162627584 32021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32021 108 232 0 39469 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 158816 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1787.38 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 178676 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 158816 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1788.38 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 178776 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 158816 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1789.39 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 178877 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 158816 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1790.39 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 178977 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 158816 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1791.39 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179077 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 158816 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1792.4 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179178 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 158816 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1793.4 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179278 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 158816 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1794.41 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179379 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 158816 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1795.41 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179479 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 158816 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1796.42 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179580 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 158816 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1797.42 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179680 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 158816 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1798.43 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179781 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 158816 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1799.43 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32878 0 0 0 179881 62 0 0 25 0 1 0 200993097 162627584 32022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32022 108 232 0 39469 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 158816 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1800.43 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32879 0 0 0 179981 62 0 0 25 0 1 0 200993097 162627584 32023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32023 108 232 0 39469 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 158816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 27165 /proc/meminfo: memFree=1677248/2055920 swapFree=4182500/4192956 [pid=26970] ppid=26968 vsize=158816 CPUtime=1800.44 /proc/26970/stat : 26970 (PBS4L) R 26968 26970 26924 0 -1 4194304 32879 0 0 0 179982 62 0 0 25 0 1 0 200993097 162627584 32023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/26970/statm: 39704 32023 108 232 0 39469 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 158816 Sending SIGTERM to -26970 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.47 CPU user time (s): 1799.82 CPU system time (s): 0.643902 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (Kb): 158816 The end
Begin job on node75 on Sat Jun 3 16:48:17 UTC 2006 FILE ID= 41443-1149353297 PBS_JOBID= 311117 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node75/41443-1149353297/instance-41443-1149353297.opb 552857555 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-41443-1149353297 -o ROOT/results/node75/solver-41443-1149353297 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node75/41443-1149353297/instance-41443-1149353297.opb 552857555 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= d237957d2db9f550f313e8cfb724f264 RANDOM SEED= 552857555 /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.259 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.259 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1805568 kB Buffers: 24080 kB Cached: 161144 kB SwapCached: 2048 kB Active: 44392 kB Inactive: 149404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805568 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16032 kB Slab: 42456 kB Committed_AS: 348636 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 17:18:18 UTC 2006