Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 1250 | 1800.76 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb |
MD5SUM | c919b2e3620f35e89404416810e81e0b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1194 |
Best CPU time to get the best result obtained on this benchmark | 0.322949 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1194 |
Optimality of the best value was proved | YES |
Number of variables | 239 |
Total number of constraints | 524 |
Number of constraints which are clauses | 520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 239 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 10012 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 10012 |
Number of bits of the biggest sum of numbers | 14 |
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.08 o 1364 0.33 o 1363 1.52 o 1360 1.66 o 1359 1.86 o 1353 1.88 o 1352 1.91 o 1347 9.97 o 1334 10.01 o 1323 11.77 o 1309 12.09 o 1298 28.23 o 1295 40.54 o 1292 40.67 o 1276 41.04 o 1265 531.56 o 1261 531.68 o 1250 1801.25 sh: line 1: 7475 Done pb2smodels ROOT/tmp/node46/45674-1154042977/instance-45674-1154042977.opb ROOT/tmp/node46/45674-1154042977 1801.25 7476 Terminated | smodels-2.31 0 -seed 964096574 1801.25 7477 Terminated | pbout.new.pl ROOT/tmp/node46/45674-1154042977/instance-45674-1154042977.opb ROOT/tmp/node46/45674-1154042977 1801.25 s SATISFIABLE 1801.25 v x12 x13 x18 x27 x29 x31 x32 x37 x49 x50 x52 x61 x71 x81 x85 x90 x91 x113 x133 x137 x141 x142 x151 x160 x163 x193 x197 x208 x211 x213 1801.25 v x236 x239 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x14 -x15 -x16 -x17 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x28 -x30 -x33 1801.25 v -x34 -x35 -x36 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x51 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x62 -x63 -x64 1801.25 v -x65 -x66 -x67 -x68 -x69 -x70 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x82 -x83 -x84 -x86 -x87 -x88 -x89 -x92 -x93 -x94 -x95 1801.25 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x114 -x115 -x116 -x117 1801.25 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x134 -x135 -x136 -x138 -x139 -x140 1801.25 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x161 -x162 -x164 -x165 -x166 1801.25 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 1801.25 v -x188 -x189 -x190 -x191 -x192 -x194 -x195 -x196 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x209 -x210 -x212 1801.25 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1801.25 v -x235 -x237 -x238
OK 1250
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/node46/watcher-45674-1154042977 -o ROOT/results/node46/solver-45674-1154042977 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node46/45674-1154042977/instance-45674-1154042977.opb 964096574 ROOT/tmp/node46/45674-1154042977 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 7472 /proc/meminfo: memFree=515824/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5356 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) D 7470 7472 7423 0 -1 4194304 236 0 0 0 0 0 0 0 19 0 1 0 151168955 5484544 202 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181256178 0 2147483391 4100 65536 18446744072099781622 0 0 17 1 0 0 /proc/7472/statm: 1339 202 167 169 0 50 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513808/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=9.94 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 376 0 0 0 994 0 0 0 25 0 1 0 151168957 2904064 340 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532807 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 340 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38088 [startup+20.008 s] /proc/loadavg: 0.94 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513816/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=19.94 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 385 0 0 0 1994 0 0 0 25 0 1 0 151168957 2904064 349 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533159 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 349 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38088 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513880/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=29.95 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 393 0 0 0 2995 0 0 0 25 0 1 0 151168957 2904064 357 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538373 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 357 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 38088 [startup+40.0202 s] /proc/loadavg: 0.96 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513880/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=39.95 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 394 0 0 0 3995 0 0 0 25 0 1 0 151168957 2904064 358 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532704 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 358 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 38088 [startup+50.0272 s] /proc/loadavg: 0.96 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513880/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=49.95 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 394 0 0 0 4995 0 0 0 25 0 1 0 151168957 2904064 358 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538372 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 358 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 38088 [startup+60.0343 s] /proc/loadavg: 0.97 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513944/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=59.96 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 402 0 0 0 5996 0 0 0 25 0 1 0 151168957 2904064 366 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521189 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 366 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 38088 [startup+70.0403 s] /proc/loadavg: 0.97 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513944/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=69.96 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 403 0 0 0 6996 0 0 0 25 0 1 0 151168957 2904064 367 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533216 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 367 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 38088 [startup+80.0464 s] /proc/loadavg: 0.98 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513944/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=79.96 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 403 0 0 0 7996 0 0 0 25 0 1 0 151168957 2904064 367 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518850 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 709 367 214 21 0 145 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 16 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 38088 [startup+90.0525 s] /proc/loadavg: 0.98 0.98 0.99 2/68 7477 /proc/meminfo: memFree=513944/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=2836 CPUtime=89.97 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 403 0 0 0 8997 0 0 0 25 0 1 0 151168957 2904064 367 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1793.64 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179363 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521855 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1793.69 Current children cumulated vsize (Kb) 38352 [startup+1795.21 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1794.64 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179463 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520895 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 38352 [startup+1796.22 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1795.65 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179564 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558192 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (Kb) 38352 [startup+1797.22 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1796.65 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179664 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539249 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 38352 [startup+1798.23 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1797.66 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179765 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532942 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (Kb) 38352 [startup+1799.23 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1798.66 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179865 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552142 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 38352 [startup+1800.24 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1799.67 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 179966 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521635 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (Kb) 38352 [startup+1801.24 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1800.67 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 180066 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539764 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 38352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 0.99 0.98 0.99 2/68 7479 /proc/meminfo: memFree=513504/2055920 swapFree=4172932/4192956 [pid=7472] ppid=7470 vsize=5360 CPUtime=0 /proc/7472/stat : 7472 (runpbsmodels) S 7470 7472 7423 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151168955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7472/statm: 1340 234 195 169 0 51 0 [pid=7473] ppid=7472 vsize=12268 CPUtime=0 /proc/7473/stat : 7473 (pbsmodels-v1.31) S 7472 7472 7423 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151168956 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 243189989268 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/7473/statm: 3067 383 293 3 0 167 0 [pid=7474] ppid=7473 vsize=5356 CPUtime=0.05 /proc/7474/stat : 7474 (sh) S 7473 7472 7423 0 -1 4194304 309 534 0 0 0 0 5 0 16 0 1 0 151168956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 243181085508 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/7474/statm: 1339 227 188 169 0 50 0 [pid=7476] ppid=7474 vsize=3100 CPUtime=1800.68 /proc/7476/stat : 7476 (smodels-2.31) R 7474 7472 7423 0 -1 4194304 445 0 0 0 180067 1 0 0 25 0 1 0 151168957 3174400 409 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538425 0 0 4096 0 0 0 0 17 1 0 0 /proc/7476/statm: 775 409 214 21 0 211 0 [pid=7477] ppid=7474 vsize=12268 CPUtime=0 /proc/7477/stat : 7477 (pbout.new.pl) S 7474 7472 7423 0 -1 4194304 464 0 0 0 0 0 0 0 17 0 1 0 151168957 12562432 424 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 243189985378 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/7477/statm: 3067 424 333 3 0 167 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (Kb) 38352 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.76 CPU user time (s): 1800.74 CPU system time (s): 0.024996 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (Kb): 38352 The end
Begin job on node46 on Thu Jul 27 23:29:37 UTC 2006 FILE ID= 45674-1154042977 PBS_JOBID= 881387 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node46/45674-1154042977/instance-45674-1154042977.opb 964096574 ROOT/tmp/node46/45674-1154042977 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-45674-1154042977 -o ROOT/results/node46/solver-45674-1154042977 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node46/45674-1154042977/instance-45674-1154042977.opb 964096574 ROOT/tmp/node46/45674-1154042977 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b RANDOM SEED= 964096574 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.224 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.224 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: 516032 kB Buffers: 45544 kB Cached: 1397096 kB SwapCached: 14328 kB Active: 376032 kB Inactive: 1085992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 516032 kB SwapTotal: 4192956 kB SwapFree: 4172932 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14484 kB Slab: 63856 kB Committed_AS: 618228 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 node46 on Thu Jul 27 23:59:38 UTC 2006