Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | ? (TO) | 1800.93 | 1798.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb |
MD5SUM | ef9882d48a9aa7a6e80245293de5a7b2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262226 |
Best CPU time to get the best result obtained on this benchmark | 354.742 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262226 |
Optimality of the best value was proved | YES |
Number of variables | 53335 |
Total number of constraints | 5302 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 189 |
Number of constraints which are nor clauses,nor cardinality constraints | 5113 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50934 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 560808 |
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 Running pbsmodels-v1.28 1798.25 sh: line 1: 15204 Done pbsmodels.trans ROOT/tmp/node21/33817-1154024929/instance-33817-1154024929.opb ROOT/tmp/node21/33817-1154024929 1798.25 15205 Terminated | smodels -seed 934244775 1798.25 15206 Terminated | pbout.pl ROOT/tmp/node21/33817-1154024929/instance-33817-1154024929.opb ROOT/tmp/node21/33817-1154024929 1798.26 s UNKNOWN 1798.26 c Somebody sent me a SIGTERM 1798.27 smodels: no process killed 1798.27 pbsmodels.trans: no process killed
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node21/watcher-33817-1154024929 -o ROOT/results/node21/solver-33817-1154024929 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node21/33817-1154024929/instance-33817-1154024929.opb 934244775 ROOT/tmp/node21/33817-1154024929 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 3/64 15201 /proc/meminfo: memFree=1385480/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=0 CPUtime=0 /proc/15202/stat : 15202 (runpbsmodels) R 15201 15201 15152 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 149353706 0 0 18446744073709551615 0 0 0 18446744073709551615 221236489511 0 0 4096 0 0 0 0 17 1 0 0 /proc/15202/statm: 29 2 0 0 0 1 0 [startup+10.002 s] /proc/loadavg: 0.93 0.97 0.99 2/69 15206 /proc/meminfo: memFree=1374624/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=0 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15204] ppid=15203 vsize=15800 CPUtime=9.98 /proc/15204/stat : 15204 (pbsmodels.trans) R 15203 15201 15152 0 -1 4194304 716806 0 0 0 762 236 0 0 25 0 1 0 149353707 16179200 1309 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221236368810 0 0 4224 0 0 0 0 17 1 0 0 /proc/15204/statm: 3950 1309 341 3 0 1050 0 [pid=15205] ppid=15203 vsize=7768 CPUtime=0.54 /proc/15205/stat : 15205 (smodels) S 15203 15201 15152 0 -1 4194304 1664 0 0 0 53 1 0 0 16 0 1 0 149353707 7954432 1595 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/15205/statm: 1942 1595 205 20 0 1379 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 418 0 0 0 0 0 0 0 22 0 1 0 149353707 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 10.52 Current children cumulated vsize (Kb) 46552 [startup+20.0091 s] /proc/loadavg: 0.94 0.97 0.99 2/69 15206 /proc/meminfo: memFree=1373736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=0 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15204] ppid=15203 vsize=16908 CPUtime=19.98 /proc/15204/stat : 15204 (pbsmodels.trans) R 15203 15201 15152 0 -1 4194304 1534425 0 0 0 1503 495 0 0 25 0 1 0 149353707 17313792 1585 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221236368810 0 0 4224 0 0 0 0 17 1 0 0 /proc/15204/statm: 4227 1585 341 3 0 1327 0 [pid=15205] ppid=15203 vsize=7768 CPUtime=0.54 /proc/15205/stat : 15205 (smodels) S 15203 15201 15152 0 -1 4194304 1664 0 0 0 53 1 0 0 16 0 1 0 149353707 7954432 1595 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/15205/statm: 1942 1595 205 20 0 1379 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 418 0 0 0 0 0 0 0 22 0 1 0 149353707 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 20.52 Current children cumulated vsize (Kb) 47660 [startup+30.0183 s] /proc/loadavg: 0.95 0.97 0.99 2/69 15206 /proc/meminfo: memFree=1372200/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=0 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15204] ppid=15203 vsize=18508 CPUtime=29.99 /proc/15204/stat : 15204 (pbsmodels.trans) R 15203 15201 15152 0 -1 4194304 2385311 0 0 0 2273 726 0 0 25 0 1 0 149353707 18952192 1978 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221236368810 0 0 4224 0 0 0 0 17 1 0 0 /proc/15204/statm: 4627 1978 341 3 0 1727 0 [pid=15205] ppid=15203 vsize=7768 CPUtime=0.54 /proc/15205/stat : 15205 (smodels) S 15203 15201 15152 0 -1 4194304 1664 0 0 0 53 1 0 0 16 0 1 0 149353707 7954432 1595 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/15205/statm: 1942 1595 205 20 0 1379 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 418 0 0 0 0 0 0 0 22 0 1 0 149353707 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 30.53 Current children cumulated vsize (Kb) 49260 [startup+40.0244 s] /proc/loadavg: 0.95 0.97 0.99 2/69 15206 /proc/meminfo: memFree=1361960/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=0 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15204] ppid=15203 vsize=25652 CPUtime=39.34 /proc/15204/stat : 15204 (pbsmodels.trans) R 15203 15201 15152 0 -1 4194304 3011112 0 0 0 3033 901 0 0 17 0 1 0 149353707 26267648 3769 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 221250522888 0 0 4224 0 0 0 0 17 1 0 0 /proc/15204/statm: 6413 3769 341 3 0 3513 0 [pid=15205] ppid=15203 vsize=11132 CPUtime=1.43 /proc/15205/stat : 15205 (smodels) S 15203 15201 15152 0 -1 4194304 2639 0 0 0 142 1 0 0 16 0 1 0 149353707 11399168 2376 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/15205/statm: 2783 2376 205 20 0 2220 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 418 0 0 0 0 0 0 0 22 0 1 0 149353707 12562432 377 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 377 289 3 0 167 0 Current children cumulated CPU time (s) 40.77 Current children cumulated vsize (Kb) 59768 [startup+50.0315 s] /proc/loadavg: 1.04 0.99 0.99 2/68 15206 /proc/meminfo: memFree=1355440/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=7.8 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7707 0 0 0 775 5 0 0 20 0 1 0 149353707 32567296 7443 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531202 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7443 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 53.23 Current children cumulated vsize (Kb) 67056 [startup+60.0386 s] /proc/loadavg: 1.03 0.99 0.99 2/68 15206 /proc/meminfo: memFree=1355440/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=17.8 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7708 0 0 0 1775 5 0 0 25 0 1 0 149353707 32567296 7444 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550967 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7444 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 63.23 Current children cumulated vsize (Kb) 67056 [startup+70.0447 s] /proc/loadavg: 1.02 0.99 0.99 2/68 15206 /proc/meminfo: memFree=1355440/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=27.8 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7708 0 0 0 2775 5 0 0 25 0 1 0 149353707 32567296 7444 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7444 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 73.23 Current children cumulated vsize (Kb) 67056 [startup+80.0518 s] /proc/loadavg: 1.02 0.99 0.99 2/68 15206 /proc/meminfo: memFree=1355440/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=37.8 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7709 0 0 0 3775 5 0 0 25 0 1 0 149353707 32567296 7445 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7445 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 83.23 Current children cumulated vsize (Kb) 67056 ################ # More data... # ################ /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 174841 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551108 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1793.9 Current children cumulated vsize (Kb) 67056 [startup+1792.21 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1749.47 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 174941 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550238 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1794.9 Current children cumulated vsize (Kb) 67056 [startup+1793.22 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1750.47 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175041 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531079 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1795.9 Current children cumulated vsize (Kb) 67056 [startup+1794.22 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1751.48 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175142 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550944 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (Kb) 67056 [startup+1795.23 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1752.48 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175242 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548919 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (Kb) 67056 [startup+1796.23 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1753.49 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175343 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531505 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1798.92 Current children cumulated vsize (Kb) 67056 [startup+1797.24 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1754.49 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175443 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134550795 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (Kb) 67056 [startup+1798.25 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1755.5 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175544 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (Kb) 67056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.25 s] /proc/loadavg: 1.00 0.99 0.99 2/68 15208 /proc/meminfo: memFree=1354736/2055920 swapFree=4182908/4192956 [pid=15201] ppid=15199 vsize=5360 CPUtime=0 /proc/15201/stat : 15201 (runpbsmodels) S 15199 15201 15152 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149353706 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15201/statm: 1340 234 195 169 0 51 0 [pid=15202] ppid=15201 vsize=12268 CPUtime=0 /proc/15202/stat : 15202 (pbsmodels-v1.28) S 15201 15201 15152 0 -1 4194304 425 0 0 0 0 0 0 0 20 0 1 0 149353706 12562432 383 18446744073709551615 4194304 4206940 548682068992 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/15202/statm: 3067 383 293 3 0 167 0 [pid=15203] ppid=15202 vsize=5356 CPUtime=45.43 /proc/15203/stat : 15203 (sh) S 15202 15201 15152 0 -1 4194304 311 3011120 0 0 0 0 3641 902 16 0 1 0 149353707 5484544 227 18446744073709551615 4194304 4889804 548682069024 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/15203/statm: 1339 227 188 169 0 50 0 [pid=15205] ppid=15203 vsize=31804 CPUtime=1755.5 /proc/15205/stat : 15205 (smodels) R 15203 15201 15152 0 -1 4194304 7755 0 0 0 175544 6 0 0 25 0 1 0 149353707 32567296 7489 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549339 0 0 4096 0 0 0 0 17 1 0 0 /proc/15205/statm: 7951 7489 209 20 0 7388 0 [pid=15206] ppid=15203 vsize=12268 CPUtime=0 /proc/15206/stat : 15206 (pbout.pl) S 15203 15201 15152 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 149353707 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 221245386850 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/15206/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (Kb) 67056 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 15201 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=1999 CPU time returned by wait4() is 0.002998 while last known CPU time is 1800.93 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1798.27 CPU time (s): 1800.93 CPU user time (s): 1791.85 CPU system time (s): 9.08 CPU usage (%): 100.148 Max. virtual memory (cumulated for all children) (Kb): 67056 The end
Begin job on node21 on Thu Jul 27 18:28:49 UTC 2006 FILE ID= 33817-1154024929 PBS_JOBID= 880740 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node21/33817-1154024929/instance-33817-1154024929.opb 934244775 ROOT/tmp/node21/33817-1154024929 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-33817-1154024929 -o ROOT/results/node21/solver-33817-1154024929 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node21/33817-1154024929/instance-33817-1154024929.opb 934244775 ROOT/tmp/node21/33817-1154024929 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= ef9882d48a9aa7a6e80245293de5a7b2 RANDOM SEED= 934244775 TIMEOUT= 1800 seconds /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.231 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.231 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: 1385688 kB Buffers: 17972 kB Cached: 602572 kB SwapCached: 3696 kB Active: 212064 kB Inactive: 416968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1385688 kB SwapTotal: 4192956 kB SwapFree: 4182908 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14468 kB Slab: 27236 kB Committed_AS: 637356 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Thu Jul 27 18:58:48 UTC 2006