Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 1555 | 1800.64 | 1801.28 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 2.65859 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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.31 0.12 o 2239 0.22 o 2235 0.22 o 2195 0.27 o 2129 0.32 o 1993 0.32 o 1868 0.52 o 1867 0.53 o 1780 0.53 o 1768 0.67 o 1724 0.67 o 1712 4.23 o 1705 4.24 o 1700 4.25 o 1690 4.25 o 1678 14.40 o 1669 14.40 o 1649 14.40 o 1629 14.47 o 1617 48.44 o 1613 82.80 o 1599 94.77 o 1583 98.85 o 1571 1098.94 o 1563 1192.51 o 1555 1801.26 sh: line 1: 11386 Done pb2smodels ROOT/tmp/node17/45511-1154038231/instance-45511-1154038231.opb ROOT/tmp/node17/45511-1154038231 1801.26 11387 Terminated | smodels-2.31 0 -seed 204769969 1801.26 11388 Terminated | pbout.new.pl ROOT/tmp/node17/45511-1154038231/instance-45511-1154038231.opb ROOT/tmp/node17/45511-1154038231 1801.26 s SATISFIABLE 1801.26 v x9 x11 x24 x39 x40 x57 x61 x75 x80 x93 x95 x111 x115 x129 x131 x147 x148 x165 x169 x183 x188 x201 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x10 1801.26 v -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 1801.26 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x58 -x59 -x60 -x62 -x63 -x64 -x65 -x66 -x67 -x68 1801.26 v -x69 -x70 -x71 -x72 -x73 -x74 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x94 -x96 -x97 -x98 1801.26 v -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x112 -x113 -x114 -x116 -x117 -x118 -x119 -x120 -x121 1801.26 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x130 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1801.26 v -x145 -x146 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x166 -x167 -x168 1801.26 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x184 -x185 -x186 -x187 -x189 -x190 -x191 -x192 1801.26 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1801.27 c Somebody sent me a SIGTERM 1801.27 smodels-2.31: no process killed 1801.27 pb2smodels: no process killed
OK 1555
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/node17/watcher-45511-1154038231 -o ROOT/results/node17/solver-45511-1154038231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/45511-1154038231/instance-45511-1154038231.opb 204769969 ROOT/tmp/node17/45511-1154038231 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 11383 /proc/meminfo: memFree=1560656/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=0 CPUtime=0 /proc/11384/stat : 11384 (runpbsmodels) R 11383 11383 11334 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 150683680 0 0 18446744073709551615 0 0 0 18446744073709551615 245482712359 0 0 4096 0 0 0 0 17 1 0 0 /proc/11384/statm: 0 0 0 0 0 0 0 [startup+10.0029 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558712/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2704 CPUtime=9.95 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 360 0 0 0 995 0 0 0 25 0 1 0 150683681 2768896 324 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553314 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 676 324 214 21 0 112 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 37956 [startup+20.0098 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558720/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2704 CPUtime=19.95 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 368 0 0 0 1995 0 0 0 25 0 1 0 150683681 2768896 332 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552526 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 676 332 214 21 0 112 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 37956 [startup+30.0166 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558720/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2704 CPUtime=29.96 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 369 0 0 0 2996 0 0 0 25 0 1 0 150683681 2768896 333 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532938 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 676 333 214 21 0 112 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 37956 [startup+40.0235 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558784/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2836 CPUtime=39.96 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 376 0 0 0 3996 0 0 0 25 0 1 0 150683681 2904064 340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552095 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 709 340 214 21 0 145 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38088 [startup+50.0303 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558784/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2836 CPUtime=49.96 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 377 0 0 0 4996 0 0 0 25 0 1 0 150683681 2904064 341 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552132 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 709 341 214 21 0 145 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 38088 [startup+60.0372 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558848/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2836 CPUtime=59.97 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 377 0 0 0 5997 0 0 0 25 0 1 0 150683681 2904064 341 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 709 341 214 21 0 145 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 38088 [startup+70.0441 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558848/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2836 CPUtime=69.97 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 383 0 0 0 6997 0 0 0 25 0 1 0 150683681 2904064 347 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539713 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 709 347 214 21 0 145 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 38088 [startup+80.0509 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558848/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=2836 CPUtime=79.97 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 385 0 0 0 7997 0 0 0 25 0 1 0 150683681 2904064 349 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538425 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 709 349 214 21 0 145 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 38088 [startup+90.0568 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1558848/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179356 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552520 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 39012 [startup+1795.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1794.56 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179456 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533226 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 39012 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1795.57 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179557 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518301 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 39012 [startup+1797.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1796.57 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179657 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520099 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 39012 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1797.58 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179758 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532706 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 39012 [startup+1799.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1798.58 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179858 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552095 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 39012 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1799.59 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 179959 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 39012 [startup+1801.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1800.59 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 180059 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 39012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 11388 /proc/meminfo: memFree=1557640/2055920 swapFree=4183520/4192956 [pid=11383] ppid=11381 vsize=5360 CPUtime=0 /proc/11383/stat : 11383 (runpbsmodels) S 11381 11383 11334 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150683680 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11383/statm: 1340 234 195 169 0 51 0 [pid=11384] ppid=11383 vsize=12268 CPUtime=0 /proc/11384/stat : 11384 (pbsmodels-v1.31) S 11383 11383 11334 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150683680 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 245491613588 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/11384/statm: 3067 383 293 3 0 167 0 [pid=11385] ppid=11384 vsize=5356 CPUtime=0.03 /proc/11385/stat : 11385 (sh) S 11384 11383 11334 0 -1 4194304 309 532 0 0 0 0 3 0 16 0 1 0 150683681 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/11385/statm: 1339 227 188 169 0 50 0 [pid=11387] ppid=11385 vsize=3760 CPUtime=1800.6 /proc/11387/stat : 11387 (smodels-2.31) R 11385 11383 11334 0 -1 4194304 609 0 0 0 180060 0 0 0 25 0 1 0 150683681 3850240 573 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134547345 0 0 4096 0 0 0 0 17 1 0 0 /proc/11387/statm: 940 573 214 21 0 376 0 [pid=11388] ppid=11385 vsize=12268 CPUtime=0.01 /proc/11388/stat : 11388 (pbout.new.pl) S 11385 11383 11334 0 -1 4194304 464 0 0 0 0 1 0 0 17 0 1 0 150683681 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 245491609698 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/11388/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 39012 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 11383 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=999 CPU time returned by wait4() is 0.001998 while last known CPU time is 1800.64 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1801.28 CPU time (s): 1800.64 CPU user time (s): 1800.63 CPU system time (s): 0.01 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (Kb): 39012 The end
Begin job on node17 on Thu Jul 27 22:10:31 UTC 2006 FILE ID= 45511-1154038231 PBS_JOBID= 881223 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/45511-1154038231/instance-45511-1154038231.opb 204769969 ROOT/tmp/node17/45511-1154038231 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-45511-1154038231 -o ROOT/results/node17/solver-45511-1154038231 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node17/45511-1154038231/instance-45511-1154038231.opb 204769969 ROOT/tmp/node17/45511-1154038231 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED= 204769969 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.263 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.263 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: 1560864 kB Buffers: 31424 kB Cached: 408584 kB SwapCached: 3080 kB Active: 107316 kB Inactive: 341160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1560864 kB SwapTotal: 4192956 kB SwapFree: 4183520 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14460 kB Slab: 32576 kB Committed_AS: 634264 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node17 on Thu Jul 27 22:40:32 UTC 2006