Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb |
MD5SUM | 0a25291690224f6f7c8a4bead47a7b72 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1478528 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 11386239 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 10.2664 |
Number of variables | 180 |
Total number of constraints | 255 |
Number of constraints which are clauses | 31 |
Number of constraints which are cardinality constraints (but not clauses) | 170 |
Number of constraints which are nor clauses,nor cardinality constraints | 54 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 159 |
LAUNCH ON wulflinc27 THE 2005-09-23 17:54:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9107 boxname=wulflinc27 idbench=903 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 0a25291690224f6f7c8a4bead47a7b72 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-misc03.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-misc03.opb IDLAUNCH: 9107 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 931580 kB Buffers: 12228 kB Cached: 73656 kB SwapCached: 0 kB Active: 45136 kB Inactive: 43660 kB HighTotal: 131008 kB HighFree: 52920 kB LowTotal: 903652 kB LowFree: 878660 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8660 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 18:14:21 (client local time) WITH STATUS 10 IN 1211.69 SECONDS stats: 9107 0 1211.69 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1776768 c small objective detected c CONFLICT during preprocess c [startup+91.9644 s] setting bit 20 to 0 c Decision: 173723/1067074 Time: 782.424/86400 c [startup+1106.37 s] setting bit 19 to 0 s SATISFIABLE v -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 -COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 -COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 COL148_bit0 COL149_bit0 COL150_bit0 COL151_bit0 -COL152_bit0 COL153_bit0 COL154_bit0 -COL155_bit0 -COL156_bit0 COL157_bit0 COL158_bit0 -COL159_bit0 COL160_bit0 -COL160_bit1 COL160_bit10 -COL160_bit11 COL160_bit12 COL160_bit13 -COL160_bit2 COL160_bit3 COL160_bit4 COL160_bit5 -COL160_bit6 -COL160_bit7 -COL160_bit8 COL160_bit9 -COL160_bit_1 -COL160_bit_2 -COL160_bit_3 -COL160_bit_4 -COL160_bit_5 -COL160_bit_6 -COL160_bit_7
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22106246 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 373 2 364 364 0 9 0 [pid=10735] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-misc03.opb [startup+10.0014 s] Raw data (loadavg): 0.87 0.93 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 32165 0 0 0 925 70 0 0 25 0 1 0 22106246 99147776 21020 4294967295 134512640 135987407 3221224560 3221205248 134887785 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 24206 21020 364 364 0 23842 0 [pid=10735] vsize: 96824 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 96824 [startup+20.0023 s] Raw data (loadavg): 0.89 0.93 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 63702 0 0 0 1853 140 0 0 25 0 1 0 22106246 195244032 41334 4294967295 134512640 135987407 3221224560 3221192144 134560028 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 47667 41334 364 364 0 47303 0 [pid=10735] vsize: 190668 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 190668 [startup+30.0031 s] Raw data (loadavg): 0.91 0.93 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 103728 0 0 0 2769 220 0 0 25 0 1 0 22106246 318873600 59170 4294967295 134512640 135987407 3221224560 3221202112 134878387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 77850 59170 364 364 0 77486 0 [pid=10735] vsize: 311400 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 311400 [startup+40.0029 s] Raw data (loadavg): 0.92 0.93 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 116534 0 0 0 3743 247 0 0 25 0 1 0 22106246 353779712 71754 4294967295 134512640 135987407 3221224560 3221205372 135500014 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 86372 71754 364 364 0 86008 0 [pid=10735] vsize: 345488 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 345488 [startup+50.0038 s] Raw data (loadavg): 0.93 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 145067 0 0 0 4687 300 0 0 25 0 1 0 22106246 528830464 99578 4294967295 134512640 135987407 3221224560 3221206704 134893298 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129109 99578 364 364 0 128745 0 [pid=10735] vsize: 516436 Current children cumulated CPU time (s) 49.87 Current children cumulated vsize (Kb) 516436 [startup+60.0046 s] Raw data (loadavg): 0.94 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 169394 0 0 0 5630 353 0 0 25 0 1 0 22106246 505999360 102377 4294967295 134512640 135987407 3221224560 3221223424 134812629 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 123535 102377 364 364 0 123171 0 [pid=10735] vsize: 494140 Current children cumulated CPU time (s) 59.83 Current children cumulated vsize (Kb) 494140 [startup+70.0044 s] Raw data (loadavg): 0.95 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 170525 0 0 0 6627 356 0 0 25 0 1 0 22106246 509362176 102991 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 124356 102991 364 364 0 123992 0 [pid=10735] vsize: 497424 Current children cumulated CPU time (s) 69.83 Current children cumulated vsize (Kb) 497424 [startup+80.0052 s] Raw data (loadavg): 0.96 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 171679 0 0 0 7624 359 0 0 25 0 1 0 22106246 513081344 103757 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 125264 103757 364 364 0 124900 0 [pid=10735] vsize: 501056 Current children cumulated CPU time (s) 79.83 Current children cumulated vsize (Kb) 501056 [startup+90.0051 s] Raw data (loadavg): 0.96 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 177144 0 0 0 8611 371 0 0 25 0 1 0 22106246 534130688 106558 4294967295 134512640 135987407 3221224560 3221222976 134828922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130403 106558 364 364 0 130039 0 [pid=10735] vsize: 521612 Current children cumulated CPU time (s) 89.82 Current children cumulated vsize (Kb) 521612 [startup+100.006 s] Raw data (loadavg): 0.97 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 179554 0 0 0 9605 378 0 0 25 0 1 0 22106246 526376960 104604 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 128510 104604 364 364 0 128146 0 [pid=10735] vsize: 514040 Current children cumulated CPU time (s) 99.83 Current children cumulated vsize (Kb) 514040 [startup+110.007 s] Raw data (loadavg): 0.97 0.94 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 179896 0 0 0 10604 378 0 0 25 0 1 0 22106246 527425536 104689 4294967295 134512640 135987407 3221224560 3221223104 134812129 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 128766 104689 364 364 0 128402 0 [pid=10735] vsize: 515064 Current children cumulated CPU time (s) 109.82 Current children cumulated vsize (Kb) 515064 [startup+120.007 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 180177 0 0 0 11603 379 0 0 25 0 1 0 22106246 528084992 104841 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 128927 104841 364 364 0 128563 0 [pid=10735] vsize: 515708 Current children cumulated CPU time (s) 119.82 Current children cumulated vsize (Kb) 515708 [startup+130.007 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 180285 0 0 0 12603 380 0 0 25 0 1 0 22106246 528084992 104949 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 128927 104949 364 364 0 128563 0 [pid=10735] vsize: 515708 Current children cumulated CPU time (s) 129.83 Current children cumulated vsize (Kb) 515708 [startup+140.008 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 180638 0 0 0 13602 381 0 0 25 0 1 0 22106246 529133568 105045 4294967295 134512640 135987407 3221224560 3221223104 134812160 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129183 105045 364 364 0 128819 0 [pid=10735] vsize: 516732 Current children cumulated CPU time (s) 139.83 Current children cumulated vsize (Kb) 516732 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 180638 0 0 0 14601 381 0 0 25 0 1 0 22106246 529133568 105045 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129183 105045 364 364 0 128819 0 [pid=10735] vsize: 516732 Current children cumulated CPU time (s) 149.82 Current children cumulated vsize (Kb) 516732 [startup+160.01 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 180714 0 0 0 15601 381 0 0 25 0 1 0 22106246 529133568 105121 4294967295 134512640 135987407 3221224560 3221223200 134812368 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129183 105121 364 364 0 128819 0 [pid=10735] vsize: 516732 Current children cumulated CPU time (s) 159.82 Current children cumulated vsize (Kb) 516732 [startup+170.011 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 180716 0 0 0 16601 381 0 0 25 0 1 0 22106246 529133568 105123 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129183 105123 364 364 0 128819 0 [pid=10735] vsize: 516732 Current children cumulated CPU time (s) 169.82 Current children cumulated vsize (Kb) 516732 [startup+180.012 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181010 0 0 0 17600 382 0 0 25 0 1 0 22106246 530182144 105160 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129439 105160 364 364 0 129075 0 [pid=10735] vsize: 517756 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (Kb) 517756 [startup+190.011 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181012 0 0 0 18600 382 0 0 25 0 1 0 22106246 530182144 105162 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129439 105162 364 364 0 129075 0 [pid=10735] vsize: 517756 Current children cumulated CPU time (s) 189.82 Current children cumulated vsize (Kb) 517756 [startup+200.012 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181023 0 0 0 19600 382 0 0 25 0 1 0 22106246 530182144 105173 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129439 105173 364 364 0 129075 0 [pid=10735] vsize: 517756 Current children cumulated CPU time (s) 199.82 Current children cumulated vsize (Kb) 517756 [startup+210.012 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181046 0 0 0 20600 382 0 0 25 0 1 0 22106246 530182144 105196 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129439 105196 364 364 0 129075 0 [pid=10735] vsize: 517756 Current children cumulated CPU time (s) 209.82 Current children cumulated vsize (Kb) 517756 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181321 0 0 0 21599 383 0 0 25 0 1 0 22106246 531230720 105214 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129695 105214 364 364 0 129331 0 [pid=10735] vsize: 518780 Current children cumulated CPU time (s) 219.82 Current children cumulated vsize (Kb) 518780 [startup+230.013 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181538 0 0 0 22598 383 0 0 25 0 1 0 22106246 531230720 105431 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129695 105431 364 364 0 129331 0 [pid=10735] vsize: 518780 Current children cumulated CPU time (s) 229.81 Current children cumulated vsize (Kb) 518780 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181607 0 0 0 23598 384 0 0 25 0 1 0 22106246 531435520 105500 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129745 105500 364 364 0 129381 0 [pid=10735] vsize: 518980 Current children cumulated CPU time (s) 239.82 Current children cumulated vsize (Kb) 518980 [startup+250.014 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181668 0 0 0 24597 384 0 0 25 0 1 0 22106246 531771392 105561 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129827 105561 364 364 0 129463 0 [pid=10735] vsize: 519308 Current children cumulated CPU time (s) 249.81 Current children cumulated vsize (Kb) 519308 [startup+260.015 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 181715 0 0 0 25597 384 0 0 25 0 1 0 22106246 531771392 105608 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 129827 105608 364 364 0 129463 0 [pid=10735] vsize: 519308 Current children cumulated CPU time (s) 259.81 Current children cumulated vsize (Kb) 519308 [startup+270.016 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182399 0 0 0 26596 386 0 0 25 0 1 0 22106246 533868544 105779 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130339 105779 364 364 0 129975 0 [pid=10735] vsize: 521356 Current children cumulated CPU time (s) 269.82 Current children cumulated vsize (Kb) 521356 [startup+280.017 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182409 0 0 0 27596 386 0 0 25 0 1 0 22106246 533868544 105789 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130339 105789 364 364 0 129975 0 [pid=10735] vsize: 521356 Current children cumulated CPU time (s) 279.82 Current children cumulated vsize (Kb) 521356 [startup+290.017 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182517 0 0 0 28595 386 0 0 25 0 1 0 22106246 533868544 105897 4294967295 134512640 135987407 3221224560 3221223280 134812582 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130339 105897 364 364 0 129975 0 [pid=10735] vsize: 521356 Current children cumulated CPU time (s) 289.81 Current children cumulated vsize (Kb) 521356 [startup+300.018 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182519 0 0 0 29595 387 0 0 25 0 1 0 22106246 533868544 105899 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130339 105899 364 364 0 129975 0 [pid=10735] vsize: 521356 Current children cumulated CPU time (s) 299.82 Current children cumulated vsize (Kb) 521356 [startup+310.018 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182523 0 0 0 30595 387 0 0 25 0 1 0 22106246 533868544 105903 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130339 105903 364 364 0 129975 0 [pid=10735] vsize: 521356 Current children cumulated CPU time (s) 309.82 Current children cumulated vsize (Kb) 521356 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182558 0 0 0 31595 387 0 0 25 0 1 0 22106246 533868544 105938 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130339 105938 364 364 0 129975 0 [pid=10735] vsize: 521356 Current children cumulated CPU time (s) 319.82 Current children cumulated vsize (Kb) 521356 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182907 0 0 0 32594 388 0 0 25 0 1 0 22106246 535113728 106030 4294967295 134512640 135987407 3221224560 3221223200 134812310 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130643 106030 364 364 0 130279 0 [pid=10735] vsize: 522572 Current children cumulated CPU time (s) 329.82 Current children cumulated vsize (Kb) 522572 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182907 0 0 0 33593 388 0 0 25 0 1 0 22106246 535113728 106030 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130643 106030 364 364 0 130279 0 [pid=10735] vsize: 522572 Current children cumulated CPU time (s) 339.81 Current children cumulated vsize (Kb) 522572 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 10735 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182919 0 0 0 34593 388 0 0 25 0 1 0 22106246 535113728 106042 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 130643 106042 364 364 0 130279 0 [pid=10735] vsize: 522572 Current children cumulated CPU time (s) 349.81 Current children cumulated vsize (Kb) 522572 [startup+360.021 s] Raw data (loadavg): 1.15 1.00 0.95 2/55 10790 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182938 0 0 0 35592 388 0 0 25 0 1 0 22106246 535310336 106061 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 130691 106061 364 364 0 130327 0 [pid=10735] vsize: 522764 Current children cumulated CPU time (s) 359.8 Current children cumulated vsize (Kb) 522764 [startup+370.021 s] Raw data (loadavg): 1.13 1.00 0.95 2/55 10790 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 182942 0 0 0 36592 388 0 0 25 0 1 0 22106246 535310336 106065 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 130691 106065 364 364 0 130327 0 [pid=10735] vsize: 522764 Current children cumulated CPU time (s) 369.8 Current children cumulated vsize (Kb) 522764 [startup+380.021 s] Raw data (loadavg): 1.11 1.00 0.95 2/55 10790 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183029 0 0 0 37592 389 0 0 25 0 1 0 22106246 535310336 106152 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 130691 106152 364 364 0 130327 0 [pid=10735] vsize: 522764 Current children cumulated CPU time (s) 379.81 Current children cumulated vsize (Kb) 522764 [startup+390.021 s] Raw data (loadavg): 1.09 1.00 0.95 2/55 10790 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183041 0 0 0 38592 389 0 0 25 0 1 0 22106246 535310336 106164 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 130691 106164 364 364 0 130327 0 [pid=10735] vsize: 522764 Current children cumulated CPU time (s) 389.81 Current children cumulated vsize (Kb) 522764 [startup+400.022 s] Raw data (loadavg): 1.08 1.00 0.95 2/55 10790 Raw data (/proc/10735/stat): 10735 (pb2sat) T 10734 10735 4005 0 -1 0 183042 0 0 0 39592 389 0 0 25 0 1 0 22106246 535310336 106165 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10735/statm): 130691 106165 364 364 0 130327 0 [pid=10735] vsize: 522764 Current children cumulated CPU time (s) 399.81 Current children cumulated vsize (Kb) 522764 [startup+410.022 s] Raw data (loadavg): 1.07 1.00 0.95 2/55 10790 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183043 0 0 0 40592 389 0 0 25 0 1 0 22106246 535310336 106166 4294967295 134512640 135987407 3221224560 3221223104 134812035 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 130691 106166 364 364 0 130327 0 [pid=10735] vsize: 522764 Current children cumulated CPU time (s) 409.81 Current children cumulated vsize (Kb) 522764 [startup+420.021 s] Raw data (loadavg): 1.06 1.00 0.95 2/55 10794 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183583 0 0 0 41590 390 0 0 25 0 1 0 22106246 537407488 106193 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106193 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 419.8 Current children cumulated vsize (Kb) 524812 [startup+430.022 s] Raw data (loadavg): 1.05 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183614 0 0 0 42591 390 0 0 25 0 1 0 22106246 537407488 106224 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106224 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 429.81 Current children cumulated vsize (Kb) 524812 [startup+440.023 s] Raw data (loadavg): 1.04 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183617 0 0 0 43591 390 0 0 25 0 1 0 22106246 537407488 106227 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106227 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 439.81 Current children cumulated vsize (Kb) 524812 [startup+450.024 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183618 0 0 0 44591 390 0 0 25 0 1 0 22106246 537407488 106228 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106228 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 449.81 Current children cumulated vsize (Kb) 524812 [startup+460.024 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183619 0 0 0 45590 390 0 0 25 0 1 0 22106246 537407488 106229 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106229 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 459.8 Current children cumulated vsize (Kb) 524812 [startup+470.023 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183641 0 0 0 46590 390 0 0 25 0 1 0 22106246 537407488 106251 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106251 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 469.8 Current children cumulated vsize (Kb) 524812 [startup+480.024 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183642 0 0 0 47590 390 0 0 25 0 1 0 22106246 537407488 106252 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131203 106252 364 364 0 130839 0 [pid=10735] vsize: 524812 Current children cumulated CPU time (s) 479.8 Current children cumulated vsize (Kb) 524812 [startup+490.024 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 183654 0 0 0 48590 390 0 0 25 0 1 0 22106246 537620480 106264 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131255 106264 364 364 0 130891 0 [pid=10735] vsize: 525020 Current children cumulated CPU time (s) 489.8 Current children cumulated vsize (Kb) 525020 [startup+500.025 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184047 0 0 0 49590 391 0 0 25 0 1 0 22106246 538673152 106463 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131512 106463 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 499.81 Current children cumulated vsize (Kb) 526048 [startup+510.026 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184051 0 0 0 50590 391 0 0 25 0 1 0 22106246 538673152 106467 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131512 106467 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 509.81 Current children cumulated vsize (Kb) 526048 [startup+520.026 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184052 0 0 0 51590 391 0 0 25 0 1 0 22106246 538673152 106468 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131512 106468 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 519.81 Current children cumulated vsize (Kb) 526048 [startup+530.025 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184054 0 0 0 52590 392 0 0 25 0 1 0 22106246 538673152 106470 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10735/statm): 131512 106470 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 529.82 Current children cumulated vsize (Kb) 526048 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184055 0 0 0 53589 392 0 0 25 0 1 0 22106246 538673152 106471 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106471 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 539.81 Current children cumulated vsize (Kb) 526048 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184056 0 0 0 54589 392 0 0 25 0 1 0 22106246 538673152 106472 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106472 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 549.81 Current children cumulated vsize (Kb) 526048 [startup+560.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184057 0 0 0 55589 392 0 0 25 0 1 0 22106246 538673152 106473 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106473 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 559.81 Current children cumulated vsize (Kb) 526048 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184060 0 0 0 56588 392 0 0 25 0 1 0 22106246 538673152 106476 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106476 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 569.8 Current children cumulated vsize (Kb) 526048 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184061 0 0 0 57588 392 0 0 25 0 1 0 22106246 538673152 106477 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106477 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 579.8 Current children cumulated vsize (Kb) 526048 [startup+590.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184062 0 0 0 58588 393 0 0 25 0 1 0 22106246 538673152 106478 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106478 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 589.81 Current children cumulated vsize (Kb) 526048 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184073 0 0 0 59588 393 0 0 25 0 1 0 22106246 538673152 106489 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106489 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 599.81 Current children cumulated vsize (Kb) 526048 [startup+610.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184080 0 0 0 60588 393 0 0 25 0 1 0 22106246 538673152 106496 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106496 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 609.81 Current children cumulated vsize (Kb) 526048 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184081 0 0 0 61587 393 0 0 25 0 1 0 22106246 538673152 106497 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106497 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 619.8 Current children cumulated vsize (Kb) 526048 [startup+630.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184083 0 0 0 62587 393 0 0 25 0 1 0 22106246 538673152 106499 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106499 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 629.8 Current children cumulated vsize (Kb) 526048 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184083 0 0 0 63587 393 0 0 25 0 1 0 22106246 538673152 106499 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106499 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 639.8 Current children cumulated vsize (Kb) 526048 [startup+650.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184084 0 0 0 64587 394 0 0 25 0 1 0 22106246 538673152 106500 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131512 106500 364 364 0 131148 0 [pid=10735] vsize: 526048 Current children cumulated CPU time (s) 649.81 Current children cumulated vsize (Kb) 526048 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184217 0 0 0 65586 394 0 0 25 0 1 0 22106246 538935296 106568 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131576 106568 364 364 0 131212 0 [pid=10735] vsize: 526304 Current children cumulated CPU time (s) 659.8 Current children cumulated vsize (Kb) 526304 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184416 0 0 0 66585 395 0 0 25 0 1 0 22106246 539459584 106638 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106638 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 669.8 Current children cumulated vsize (Kb) 526816 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184418 0 0 0 67585 395 0 0 25 0 1 0 22106246 539459584 106640 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106640 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 679.8 Current children cumulated vsize (Kb) 526816 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184430 0 0 0 68585 395 0 0 25 0 1 0 22106246 539459584 106652 4294967295 134512640 135987407 3221224560 3221223260 134812764 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106652 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 689.8 Current children cumulated vsize (Kb) 526816 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184516 0 0 0 69585 395 0 0 25 0 1 0 22106246 539459584 106738 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106738 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 699.8 Current children cumulated vsize (Kb) 526816 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10796 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184531 0 0 0 70584 395 0 0 25 0 1 0 22106246 539459584 106753 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106753 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 709.79 Current children cumulated vsize (Kb) 526816 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184550 0 0 0 71583 396 0 0 25 0 1 0 22106246 539459584 106772 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106772 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 719.79 Current children cumulated vsize (Kb) 526816 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184552 0 0 0 72583 396 0 0 25 0 1 0 22106246 539459584 106774 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106774 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 729.79 Current children cumulated vsize (Kb) 526816 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184554 0 0 0 73583 396 0 0 25 0 1 0 22106246 539459584 106776 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106776 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 739.79 Current children cumulated vsize (Kb) 526816 [startup+750.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184556 0 0 0 74583 396 0 0 25 0 1 0 22106246 539459584 106778 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106778 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 749.79 Current children cumulated vsize (Kb) 526816 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184558 0 0 0 75582 397 0 0 25 0 1 0 22106246 539459584 106780 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106780 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 759.79 Current children cumulated vsize (Kb) 526816 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184560 0 0 0 76582 397 0 0 25 0 1 0 22106246 539459584 106782 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106782 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 769.79 Current children cumulated vsize (Kb) 526816 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184564 0 0 0 77582 397 0 0 25 0 1 0 22106246 539459584 106786 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106786 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 779.79 Current children cumulated vsize (Kb) 526816 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184565 0 0 0 78582 397 0 0 25 0 1 0 22106246 539459584 106787 4294967295 134512640 135987407 3221224560 3221223200 134812287 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106787 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 789.79 Current children cumulated vsize (Kb) 526816 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184568 0 0 0 79582 397 0 0 25 0 1 0 22106246 539459584 106790 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106790 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 799.79 Current children cumulated vsize (Kb) 526816 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184572 0 0 0 80582 397 0 0 25 0 1 0 22106246 539459584 106794 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106794 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 809.79 Current children cumulated vsize (Kb) 526816 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184573 0 0 0 81582 397 0 0 25 0 1 0 22106246 539459584 106795 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106795 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 819.79 Current children cumulated vsize (Kb) 526816 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184577 0 0 0 82582 397 0 0 25 0 1 0 22106246 539459584 106799 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131704 106799 364 364 0 131340 0 [pid=10735] vsize: 526816 Current children cumulated CPU time (s) 829.79 Current children cumulated vsize (Kb) 526816 [startup+840.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184883 0 0 0 83581 398 0 0 25 0 1 0 22106246 540508160 106848 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131960 106848 364 364 0 131596 0 [pid=10735] vsize: 527840 Current children cumulated CPU time (s) 839.79 Current children cumulated vsize (Kb) 527840 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184884 0 0 0 84581 398 0 0 25 0 1 0 22106246 540508160 106849 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131960 106849 364 364 0 131596 0 [pid=10735] vsize: 527840 Current children cumulated CPU time (s) 849.79 Current children cumulated vsize (Kb) 527840 [startup+860.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 184887 0 0 0 85580 398 0 0 25 0 1 0 22106246 540508160 106852 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131960 106852 364 364 0 131596 0 [pid=10735] vsize: 527840 Current children cumulated CPU time (s) 859.78 Current children cumulated vsize (Kb) 527840 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 186975 0 0 0 86575 403 0 0 25 0 1 0 22106246 549048320 108940 4294967295 134512640 135987407 3221224560 3221222776 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 134045 108940 364 364 0 133681 0 [pid=10735] vsize: 536180 Current children cumulated CPU time (s) 869.78 Current children cumulated vsize (Kb) 536180 [startup+880.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 186975 0 0 0 87574 404 0 0 25 0 1 0 22106246 540508160 106855 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131960 106855 364 364 0 131596 0 [pid=10735] vsize: 527840 Current children cumulated CPU time (s) 879.78 Current children cumulated vsize (Kb) 527840 [startup+890.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 186975 0 0 0 88574 404 0 0 25 0 1 0 22106246 540508160 106855 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 131960 106855 364 364 0 131596 0 [pid=10735] vsize: 527840 Current children cumulated CPU time (s) 889.78 Current children cumulated vsize (Kb) 527840 [startup+900.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187294 0 0 0 89573 405 0 0 25 0 1 0 22106246 541302784 107043 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107043 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 899.78 Current children cumulated vsize (Kb) 528616 [startup+910.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187294 0 0 0 90573 405 0 0 25 0 1 0 22106246 541302784 107043 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107043 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 909.78 Current children cumulated vsize (Kb) 528616 [startup+920.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187294 0 0 0 91573 405 0 0 25 0 1 0 22106246 541302784 107043 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107043 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 919.78 Current children cumulated vsize (Kb) 528616 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187295 0 0 0 92572 405 0 0 25 0 1 0 22106246 541302784 107044 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107044 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 929.77 Current children cumulated vsize (Kb) 528616 [startup+940.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187295 0 0 0 93572 405 0 0 25 0 1 0 22106246 541302784 107044 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107044 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 939.77 Current children cumulated vsize (Kb) 528616 [startup+950.049 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187295 0 0 0 94572 406 0 0 25 0 1 0 22106246 541302784 107044 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107044 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 949.78 Current children cumulated vsize (Kb) 528616 [startup+960.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187295 0 0 0 95572 406 0 0 25 0 1 0 22106246 541302784 107044 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107044 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 959.78 Current children cumulated vsize (Kb) 528616 [startup+970.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187298 0 0 0 96572 406 0 0 25 0 1 0 22106246 541302784 107047 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107047 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 969.78 Current children cumulated vsize (Kb) 528616 [startup+980.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187302 0 0 0 97571 406 0 0 25 0 1 0 22106246 541302784 107051 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107051 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 979.77 Current children cumulated vsize (Kb) 528616 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187307 0 0 0 98571 406 0 0 25 0 1 0 22106246 541302784 107056 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107056 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 989.77 Current children cumulated vsize (Kb) 528616 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187312 0 0 0 99571 406 0 0 25 0 1 0 22106246 541302784 107061 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107061 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 999.77 Current children cumulated vsize (Kb) 528616 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187315 0 0 0 100572 406 0 0 25 0 1 0 22106246 541302784 107064 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107064 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1009.78 Current children cumulated vsize (Kb) 528616 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187321 0 0 0 101572 406 0 0 25 0 1 0 22106246 541302784 107070 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107070 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1019.78 Current children cumulated vsize (Kb) 528616 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187328 0 0 0 102571 406 0 0 25 0 1 0 22106246 541302784 107077 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107077 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1029.77 Current children cumulated vsize (Kb) 528616 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187331 0 0 0 103571 407 0 0 25 0 1 0 22106246 541302784 107080 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107080 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1039.78 Current children cumulated vsize (Kb) 528616 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187338 0 0 0 104571 407 0 0 25 0 1 0 22106246 541302784 107087 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107087 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1049.78 Current children cumulated vsize (Kb) 528616 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187344 0 0 0 105571 407 0 0 25 0 1 0 22106246 541302784 107093 4294967295 134512640 135987407 3221224560 3221223232 134824502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107093 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1059.78 Current children cumulated vsize (Kb) 528616 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187359 0 0 0 106570 407 0 0 25 0 1 0 22106246 541302784 107108 4294967295 134512640 135987407 3221224560 3221223104 134811827 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107108 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1069.77 Current children cumulated vsize (Kb) 528616 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187376 0 0 0 107570 407 0 0 25 0 1 0 22106246 541302784 107125 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107125 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1079.77 Current children cumulated vsize (Kb) 528616 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187379 0 0 0 108570 407 0 0 25 0 1 0 22106246 541302784 107128 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107128 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1089.77 Current children cumulated vsize (Kb) 528616 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 187394 0 0 0 109570 407 0 0 25 0 1 0 22106246 541302784 107143 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132154 107143 364 364 0 131790 0 [pid=10735] vsize: 528616 Current children cumulated CPU time (s) 1099.77 Current children cumulated vsize (Kb) 528616 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 189915 0 0 0 110564 413 0 0 25 0 1 0 22106246 542351360 107322 4294967295 134512640 135987407 3221224560 3221223280 134812612 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132410 107322 364 364 0 132046 0 [pid=10735] vsize: 529640 Current children cumulated CPU time (s) 1109.77 Current children cumulated vsize (Kb) 529640 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 189917 0 0 0 111564 413 0 0 25 0 1 0 22106246 542351360 107324 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132410 107324 364 364 0 132046 0 [pid=10735] vsize: 529640 Current children cumulated CPU time (s) 1119.77 Current children cumulated vsize (Kb) 529640 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190085 0 0 0 112564 413 0 0 25 0 1 0 22106246 542351360 107492 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132410 107492 364 364 0 132046 0 [pid=10735] vsize: 529640 Current children cumulated CPU time (s) 1129.77 Current children cumulated vsize (Kb) 529640 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190738 0 0 0 113563 414 0 0 25 0 1 0 22106246 544448512 107632 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132922 107632 364 364 0 132558 0 [pid=10735] vsize: 531688 Current children cumulated CPU time (s) 1139.77 Current children cumulated vsize (Kb) 531688 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190739 0 0 0 114563 414 0 0 25 0 1 0 22106246 544448512 107633 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132922 107633 364 364 0 132558 0 [pid=10735] vsize: 531688 Current children cumulated CPU time (s) 1149.77 Current children cumulated vsize (Kb) 531688 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190740 0 0 0 115563 414 0 0 25 0 1 0 22106246 544448512 107634 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132922 107634 364 364 0 132558 0 [pid=10735] vsize: 531688 Current children cumulated CPU time (s) 1159.77 Current children cumulated vsize (Kb) 531688 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190757 0 0 0 116562 414 0 0 25 0 1 0 22106246 544448512 107651 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132922 107651 364 364 0 132558 0 [pid=10735] vsize: 531688 Current children cumulated CPU time (s) 1169.76 Current children cumulated vsize (Kb) 531688 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190758 0 0 0 117562 414 0 0 25 0 1 0 22106246 544448512 107652 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132922 107652 364 364 0 132558 0 [pid=10735] vsize: 531688 Current children cumulated CPU time (s) 1179.76 Current children cumulated vsize (Kb) 531688 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190760 0 0 0 118562 414 0 0 25 0 1 0 22106246 544448512 107654 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132922 107654 364 364 0 132558 0 [pid=10735] vsize: 531688 Current children cumulated CPU time (s) 1189.76 Current children cumulated vsize (Kb) 531688 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 190806 0 0 0 119563 414 0 0 25 0 1 0 22106246 544645120 107700 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 132970 107700 364 364 0 132606 0 [pid=10735] vsize: 531880 Current children cumulated CPU time (s) 1199.77 Current children cumulated vsize (Kb) 531880 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 193424 0 0 0 120557 420 0 0 25 0 1 0 22106246 551964672 108974 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 134757 108974 364 364 0 134393 0 [pid=10735] vsize: 539028 Current children cumulated CPU time (s) 1209.77 Current children cumulated vsize (Kb) 539028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 10798 Raw data (/proc/10735/stat): 10735 (pb2sat) R 10734 10735 4005 0 -1 0 193424 0 0 0 120557 420 0 0 25 0 1 0 22106246 551964672 108974 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10735/statm): 134757 108974 364 364 0 134393 0 [pid=10735] vsize: 539028 Current children cumulated CPU time (s) 1209.77 Current children cumulated vsize (Kb) 539028 Sending SIGTERM to -10735 Sleeping 2 seconds One traced child (pid=10735) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1211.99 CPU time (s): 1211.69 CPU user time (s): 1207.27 CPU system time (s): 4.42733 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (Kb): 539028
Verifier: OK 1776768