Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb |
MD5SUM | bad364b24a8c9bb1cd282751f54245c6 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 161061586616320 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9600 |
Biggest coefficient in the objective function | 5368709120000 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 773893279252632 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 5368709120000 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 773893279252632 |
Number of bits of the biggest sum of numbers | 50 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1241.78 |
Number of variables | 16800 |
Total number of constraints | 1307 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1296 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 183 |
LAUNCH ON wulflinc8 THE 2005-09-23 17:33:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8953 boxname=wulflinc8 idbench=749 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: bad364b24a8c9bb1cd282751f54245c6 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb IDLAUNCH: 8953 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.023 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 : 2 cpu MHz : 451.023 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 916340 kB Buffers: 13428 kB Cached: 87280 kB SwapCached: 0 kB Active: 48328 kB Inactive: 55280 kB HighTotal: 131008 kB HighFree: 40656 kB LowTotal: 903652 kB LowFree: 875684 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 9088 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:54:10 (client local time) WITH STATUS 0 IN 1203.77 SECONDS stats: 8953 7 1203.77 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 58674/493600 Time: 19.524/86400 c Decision: 59358/493600 Time: 45.6731/86400 c Decision: 59381/493600 Time: 55.9255/86400 c Decision: 59476/493600 Time: 65.0981/86400 c Decision: 59697/493600 Time: 85.222/86400 c Decision: 65430/493600 Time: 574.397/86400 c Decision: 65453/493600 Time: 590.101/86400 c Decision: 65453/493600 Time: 600.533/86400 c Decision: 65487/493600 Time: 622.579/86400 c Decision: 65494/493600 Time: 635.775/86400 c Decision: 65526/493600 Time: 655.985/86400 c Decision: 65530/493600 Time: 667.363/86400 c Decision: 65564/493600 Time: 681.675/86400 c Decision: 65564/493600 Time: 691.082/86400 c Decision: 65599/493600 Time: 707.085/86400 c Decision: 65599/493600 Time: 717.479/86400 c Decision: 65599/493600 Time: 727.723/86400 c Decision: 65599/493600 Time: 738.515/86400 c Decision: 65602/493600 Time: 751.216/86400 c Decision: 65628/493600 Time: 772.915/86400 c Decision: 65636/493600 Time: 796.399/86400 c Decision: 65636/493600 Time: 805.839/86400 c Decision: 65668/493600 Time: 832.828/86400 c Decision: 65695/493600 Time: 862.215/86400 c Decision: 65718/493600 Time: 880.911/86400 c Decision: 65724/493600 Time: 897.401/86400 c Decision: 65724/493600 Time: 908.848/86400 c Decision: 65732/493600 Time: 927.759/86400 c Decision: 65740/493600 Time: 949.427/86400 c Decision: 65837/493600 Time: 1006.32/86400 c Decision: 65857/493600 Time: 1028.67/86400s UNKNOWN
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/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22031597 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 373 2 364 364 0 9 0 [pid=9930] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-bg512142.opb [startup+10.002 s] Raw data (loadavg): 0.92 0.95 0.95 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 24056 0 0 0 941 55 0 0 25 0 1 0 22031597 72114176 12924 4294967295 134512640 135987407 3221224560 3221206432 134856458 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 17606 12924 364 364 0 17242 0 [pid=9930] vsize: 70424 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 70424 [startup+20.0038 s] Raw data (loadavg): 0.93 0.96 0.95 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 50686 0 0 0 1882 112 0 0 25 0 1 0 22031597 158081024 28326 4294967295 134512640 135987407 3221224560 3221202736 134856417 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 38594 28326 364 364 0 38230 0 [pid=9930] vsize: 154376 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 154376 [startup+30.0046 s] Raw data (loadavg): 0.94 0.96 0.95 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 59382 0 0 0 2799 157 0 0 22 0 1 0 22031597 168640512 35927 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 41172 35927 364 364 0 40808 0 [pid=9930] vsize: 164688 Current children cumulated CPU time (s) 29.56 Current children cumulated vsize (Kb) 164688 [startup+40.0044 s] Raw data (loadavg): 0.95 0.96 0.95 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 59909 0 0 0 3662 201 0 0 25 0 1 0 22031597 170684416 36454 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 41671 36454 364 364 0 41307 0 [pid=9930] vsize: 166684 Current children cumulated CPU time (s) 38.63 Current children cumulated vsize (Kb) 166684 [startup+50.0051 s] Raw data (loadavg): 1.03 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 60977 0 0 0 4618 217 0 0 25 0 1 0 22031597 171094016 36557 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 41771 36557 364 364 0 41407 0 [pid=9930] vsize: 167084 Current children cumulated CPU time (s) 48.35 Current children cumulated vsize (Kb) 167084 [startup+60.0049 s] Raw data (loadavg): 1.03 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 61052 0 0 0 5563 235 0 0 25 0 1 0 22031597 171241472 36632 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 41807 36632 364 364 0 41443 0 [pid=9930] vsize: 167228 Current children cumulated CPU time (s) 57.98 Current children cumulated vsize (Kb) 167228 [startup+70.0057 s] Raw data (loadavg): 1.02 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 61110 0 0 0 6491 257 0 0 25 0 1 0 22031597 171380736 36690 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 41841 36690 364 364 0 41477 0 [pid=9930] vsize: 167364 Current children cumulated CPU time (s) 67.48 Current children cumulated vsize (Kb) 167364 [startup+80.0065 s] Raw data (loadavg): 1.02 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 62107 0 0 0 7433 277 0 0 25 0 1 0 22031597 171528192 36722 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 41877 36722 364 364 0 41513 0 [pid=9930] vsize: 167508 Current children cumulated CPU time (s) 77.1 Current children cumulated vsize (Kb) 167508 [startup+90.0073 s] Raw data (loadavg): 1.02 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 63149 0 0 0 8371 298 0 0 25 0 1 0 22031597 171810816 36799 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 41946 36799 364 364 0 41582 0 [pid=9930] vsize: 167784 Current children cumulated CPU time (s) 86.69 Current children cumulated vsize (Kb) 167784 [startup+100.008 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 64222 0 0 0 9277 334 0 0 25 0 1 0 22031597 172216320 36907 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42045 36907 364 364 0 41681 0 [pid=9930] vsize: 168180 Current children cumulated CPU time (s) 96.11 Current children cumulated vsize (Kb) 168180 [startup+110.009 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 64281 0 0 0 10219 355 0 0 25 0 1 0 22031597 172359680 36966 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42080 36966 364 364 0 41716 0 [pid=9930] vsize: 168320 Current children cumulated CPU time (s) 105.74 Current children cumulated vsize (Kb) 168320 [startup+120.01 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65364 0 0 0 11098 393 0 0 22 0 1 0 22031597 172765184 37084 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42179 37084 364 364 0 41815 0 [pid=9930] vsize: 168716 Current children cumulated CPU time (s) 114.91 Current children cumulated vsize (Kb) 168716 [startup+130.01 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65475 0 0 0 12023 420 0 0 25 0 1 0 22031597 173174784 37195 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42279 37195 364 364 0 41915 0 [pid=9930] vsize: 169116 Current children cumulated CPU time (s) 124.43 Current children cumulated vsize (Kb) 169116 [startup+140.01 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 65522 0 0 0 12956 443 0 0 25 0 1 0 22031597 173174784 37242 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42279 37242 364 364 0 41915 0 [pid=9930] vsize: 169116 Current children cumulated CPU time (s) 133.99 Current children cumulated vsize (Kb) 169116 [startup+150.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65589 0 0 0 13887 465 0 0 25 0 1 0 22031597 173453312 37309 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42347 37309 364 364 0 41983 0 [pid=9930] vsize: 169388 Current children cumulated CPU time (s) 143.52 Current children cumulated vsize (Kb) 169388 [startup+160.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65625 0 0 0 14821 486 0 0 25 0 1 0 22031597 173453312 37345 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 42347 37345 364 364 0 41983 0 [pid=9930] vsize: 169388 Current children cumulated CPU time (s) 153.07 Current children cumulated vsize (Kb) 169388 [startup+170.012 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65695 0 0 0 15760 506 0 0 25 0 1 0 22031597 173596672 37415 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42382 37415 364 364 0 42018 0 [pid=9930] vsize: 169528 Current children cumulated CPU time (s) 162.66 Current children cumulated vsize (Kb) 169528 [startup+180.012 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65731 0 0 0 16698 528 0 0 25 0 1 0 22031597 173731840 37451 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42415 37451 364 364 0 42051 0 [pid=9930] vsize: 169660 Current children cumulated CPU time (s) 172.26 Current children cumulated vsize (Kb) 169660 [startup+190.013 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65776 0 0 0 17641 548 0 0 25 0 1 0 22031597 173871104 37496 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42449 37496 364 364 0 42085 0 [pid=9930] vsize: 169796 Current children cumulated CPU time (s) 181.89 Current children cumulated vsize (Kb) 169796 [startup+200.014 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 65832 0 0 0 18565 574 0 0 25 0 1 0 22031597 174018560 37552 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42485 37552 364 364 0 42121 0 [pid=9930] vsize: 169940 Current children cumulated CPU time (s) 191.39 Current children cumulated vsize (Kb) 169940 [startup+210.015 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65874 0 0 0 19493 600 0 0 25 0 1 0 22031597 174018560 37594 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42485 37594 364 364 0 42121 0 [pid=9930] vsize: 169940 Current children cumulated CPU time (s) 200.93 Current children cumulated vsize (Kb) 169940 [startup+220.015 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 65902 0 0 0 20433 622 0 0 25 0 1 0 22031597 174018560 37622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42485 37622 364 364 0 42121 0 [pid=9930] vsize: 169940 Current children cumulated CPU time (s) 210.55 Current children cumulated vsize (Kb) 169940 [startup+230.015 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65955 0 0 0 21372 640 0 0 25 0 1 0 22031597 174161920 37675 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 42520 37675 364 364 0 42156 0 [pid=9930] vsize: 170080 Current children cumulated CPU time (s) 220.12 Current children cumulated vsize (Kb) 170080 [startup+240.015 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 65999 0 0 0 22308 663 0 0 25 0 1 0 22031597 174309376 37719 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42556 37719 364 364 0 42192 0 [pid=9930] vsize: 170224 Current children cumulated CPU time (s) 229.71 Current children cumulated vsize (Kb) 170224 [startup+250.016 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66042 0 0 0 23233 687 0 0 25 0 1 0 22031597 174452736 37762 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42591 37762 364 364 0 42227 0 [pid=9930] vsize: 170364 Current children cumulated CPU time (s) 239.2 Current children cumulated vsize (Kb) 170364 [startup+260.017 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66088 0 0 0 24167 709 0 0 25 0 1 0 22031597 174592000 37808 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42625 37808 364 364 0 42261 0 [pid=9930] vsize: 170500 Current children cumulated CPU time (s) 248.76 Current children cumulated vsize (Kb) 170500 [startup+270.017 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66131 0 0 0 25102 732 0 0 25 0 1 0 22031597 174592000 37851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42625 37851 364 364 0 42261 0 [pid=9930] vsize: 170500 Current children cumulated CPU time (s) 258.34 Current children cumulated vsize (Kb) 170500 [startup+280.017 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66190 0 0 0 26034 753 0 0 25 0 1 0 22031597 174727168 37910 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42658 37910 364 364 0 42294 0 [pid=9930] vsize: 170632 Current children cumulated CPU time (s) 267.87 Current children cumulated vsize (Kb) 170632 [startup+290.018 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66237 0 0 0 26967 775 0 0 25 0 1 0 22031597 174874624 37957 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42694 37957 364 364 0 42330 0 [pid=9930] vsize: 170776 Current children cumulated CPU time (s) 277.42 Current children cumulated vsize (Kb) 170776 [startup+300.019 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66265 0 0 0 27882 804 0 0 25 0 1 0 22031597 175013888 37985 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42728 37985 364 364 0 42364 0 [pid=9930] vsize: 170912 Current children cumulated CPU time (s) 286.86 Current children cumulated vsize (Kb) 170912 [startup+310.018 s] Raw data (loadavg): 1.00 0.97 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66299 0 0 0 28817 826 0 0 25 0 1 0 22031597 175013888 38019 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42728 38019 364 364 0 42364 0 [pid=9930] vsize: 170912 Current children cumulated CPU time (s) 296.43 Current children cumulated vsize (Kb) 170912 [startup+320.019 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66335 0 0 0 29756 849 0 0 25 0 1 0 22031597 175013888 38055 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 42728 38055 364 364 0 42364 0 [pid=9930] vsize: 170912 Current children cumulated CPU time (s) 306.05 Current children cumulated vsize (Kb) 170912 [startup+330.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66384 0 0 0 30681 875 0 0 25 0 1 0 22031597 175153152 38104 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42762 38104 364 364 0 42398 0 [pid=9930] vsize: 171048 Current children cumulated CPU time (s) 315.56 Current children cumulated vsize (Kb) 171048 [startup+340.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66431 0 0 0 31603 902 0 0 25 0 1 0 22031597 175292416 38151 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 42796 38151 364 364 0 42432 0 [pid=9930] vsize: 171184 Current children cumulated CPU time (s) 325.05 Current children cumulated vsize (Kb) 171184 [startup+350.021 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66465 0 0 0 32524 927 0 0 25 0 1 0 22031597 175431680 38185 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42830 38185 364 364 0 42466 0 [pid=9930] vsize: 171320 Current children cumulated CPU time (s) 334.51 Current children cumulated vsize (Kb) 171320 [startup+360.021 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66508 0 0 0 33453 951 0 0 25 0 1 0 22031597 175431680 38228 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42830 38228 364 364 0 42466 0 [pid=9930] vsize: 171320 Current children cumulated CPU time (s) 344.04 Current children cumulated vsize (Kb) 171320 [startup+370.022 s] Raw data (loadavg): 1.08 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66541 0 0 0 34372 978 0 0 25 0 1 0 22031597 175566848 38261 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42863 38261 364 364 0 42499 0 [pid=9930] vsize: 171452 Current children cumulated CPU time (s) 353.5 Current children cumulated vsize (Kb) 171452 [startup+380.023 s] Raw data (loadavg): 1.07 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66585 0 0 0 35290 1006 0 0 25 0 1 0 22031597 175714304 38305 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42899 38305 364 364 0 42535 0 [pid=9930] vsize: 171596 Current children cumulated CPU time (s) 362.96 Current children cumulated vsize (Kb) 171596 [startup+390.024 s] Raw data (loadavg): 1.06 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66616 0 0 0 36211 1032 0 0 25 0 1 0 22031597 175714304 38336 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42899 38336 364 364 0 42535 0 [pid=9930] vsize: 171596 Current children cumulated CPU time (s) 372.43 Current children cumulated vsize (Kb) 171596 [startup+400.024 s] Raw data (loadavg): 1.05 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66652 0 0 0 37116 1065 0 0 25 0 1 0 22031597 175857664 38372 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42934 38372 364 364 0 42570 0 [pid=9930] vsize: 171736 Current children cumulated CPU time (s) 381.81 Current children cumulated vsize (Kb) 171736 [startup+410.024 s] Raw data (loadavg): 1.04 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66697 0 0 0 38038 1091 0 0 25 0 1 0 22031597 176005120 38417 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42970 38417 364 364 0 42606 0 [pid=9930] vsize: 171880 Current children cumulated CPU time (s) 391.29 Current children cumulated vsize (Kb) 171880 [startup+420.025 s] Raw data (loadavg): 1.03 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66730 0 0 0 38956 1121 0 0 25 0 1 0 22031597 176005120 38450 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 42970 38450 364 364 0 42606 0 [pid=9930] vsize: 171880 Current children cumulated CPU time (s) 400.77 Current children cumulated vsize (Kb) 171880 [startup+430.026 s] Raw data (loadavg): 1.03 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66794 0 0 0 39881 1147 0 0 25 0 1 0 22031597 176291840 38514 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43040 38514 364 364 0 42676 0 [pid=9930] vsize: 172160 Current children cumulated CPU time (s) 410.28 Current children cumulated vsize (Kb) 172160 [startup+440.027 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66818 0 0 0 40805 1173 0 0 25 0 1 0 22031597 176291840 38538 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43040 38538 364 364 0 42676 0 [pid=9930] vsize: 172160 Current children cumulated CPU time (s) 419.78 Current children cumulated vsize (Kb) 172160 [startup+450.027 s] Raw data (loadavg): 1.02 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 66917 0 0 0 41715 1204 0 0 25 0 1 0 22031597 176717824 38637 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43144 38637 364 364 0 42780 0 [pid=9930] vsize: 172576 Current children cumulated CPU time (s) 429.19 Current children cumulated vsize (Kb) 172576 [startup+460.028 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66941 0 0 0 42636 1230 0 0 25 0 1 0 22031597 176717824 38661 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43144 38661 364 364 0 42780 0 [pid=9930] vsize: 172576 Current children cumulated CPU time (s) 438.66 Current children cumulated vsize (Kb) 172576 [startup+470.029 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 66967 0 0 0 43554 1257 0 0 25 0 1 0 22031597 176717824 38687 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43144 38687 364 364 0 42780 0 [pid=9930] vsize: 172576 Current children cumulated CPU time (s) 448.11 Current children cumulated vsize (Kb) 172576 [startup+480.03 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67023 0 0 0 44469 1288 0 0 25 0 1 0 22031597 176852992 38743 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43177 38743 364 364 0 42813 0 [pid=9930] vsize: 172708 Current children cumulated CPU time (s) 457.57 Current children cumulated vsize (Kb) 172708 [startup+490.03 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67099 0 0 0 45369 1321 0 0 23 0 1 0 22031597 177127424 38819 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43244 38819 364 364 0 42880 0 [pid=9930] vsize: 172976 Current children cumulated CPU time (s) 466.9 Current children cumulated vsize (Kb) 172976 [startup+500.03 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67146 0 0 0 46271 1354 0 0 25 0 1 0 22031597 177262592 38866 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43277 38866 364 364 0 42913 0 [pid=9930] vsize: 173108 Current children cumulated CPU time (s) 476.25 Current children cumulated vsize (Kb) 173108 [startup+510.031 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67179 0 0 0 47175 1386 0 0 25 0 1 0 22031597 177397760 38899 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43310 38899 364 364 0 42946 0 [pid=9930] vsize: 173240 Current children cumulated CPU time (s) 485.61 Current children cumulated vsize (Kb) 173240 [startup+520.032 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67208 0 0 0 48087 1416 0 0 25 0 1 0 22031597 177397760 38928 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43310 38928 364 364 0 42946 0 [pid=9930] vsize: 173240 Current children cumulated CPU time (s) 495.03 Current children cumulated vsize (Kb) 173240 [startup+530.033 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67231 0 0 0 49004 1441 0 0 25 0 1 0 22031597 177397760 38951 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43310 38951 364 364 0 42946 0 [pid=9930] vsize: 173240 Current children cumulated CPU time (s) 504.45 Current children cumulated vsize (Kb) 173240 [startup+540.032 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67292 0 0 0 49908 1474 0 0 25 0 1 0 22031597 177672192 39012 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43377 39012 364 364 0 43013 0 [pid=9930] vsize: 173508 Current children cumulated CPU time (s) 513.82 Current children cumulated vsize (Kb) 173508 [startup+550.033 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67317 0 0 0 50818 1504 0 0 25 0 1 0 22031597 177672192 39037 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43377 39037 364 364 0 43013 0 [pid=9930] vsize: 173508 Current children cumulated CPU time (s) 523.22 Current children cumulated vsize (Kb) 173508 [startup+560.034 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67336 0 0 0 51729 1533 0 0 25 0 1 0 22031597 177672192 39056 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43377 39056 364 364 0 43013 0 [pid=9930] vsize: 173508 Current children cumulated CPU time (s) 532.62 Current children cumulated vsize (Kb) 173508 [startup+570.036 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67357 0 0 0 52642 1562 0 0 25 0 1 0 22031597 177803264 39077 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43409 39077 364 364 0 43045 0 [pid=9930] vsize: 173636 Current children cumulated CPU time (s) 542.04 Current children cumulated vsize (Kb) 173636 [startup+580.036 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67377 0 0 0 53555 1594 0 0 25 0 1 0 22031597 177803264 39097 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43409 39097 364 364 0 43045 0 [pid=9930] vsize: 173636 Current children cumulated CPU time (s) 551.49 Current children cumulated vsize (Kb) 173636 [startup+590.035 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67402 0 0 0 54471 1621 0 0 25 0 1 0 22031597 177803264 39122 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43409 39122 364 364 0 43045 0 [pid=9930] vsize: 173636 Current children cumulated CPU time (s) 560.92 Current children cumulated vsize (Kb) 173636 [startup+600.036 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67431 0 0 0 55395 1644 0 0 25 0 1 0 22031597 177803264 39151 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43409 39151 364 364 0 43045 0 [pid=9930] vsize: 173636 Current children cumulated CPU time (s) 570.39 Current children cumulated vsize (Kb) 173636 [startup+610.036 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 67469 0 0 0 56313 1671 0 0 25 0 1 0 22031597 177938432 39189 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43442 39189 364 364 0 43078 0 [pid=9930] vsize: 173768 Current children cumulated CPU time (s) 579.84 Current children cumulated vsize (Kb) 173768 [startup+620.037 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 67495 0 0 0 57235 1696 0 0 25 0 1 0 22031597 177938432 39215 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43442 39215 364 364 0 43078 0 [pid=9930] vsize: 173768 Current children cumulated CPU time (s) 589.31 Current children cumulated vsize (Kb) 173768 [startup+630.037 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 68541 0 0 0 58183 1714 0 0 25 0 1 0 22031597 178221056 39296 4294967295 134512640 135987407 3221224560 3221223376 134876811 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43511 39296 364 364 0 43147 0 [pid=9930] vsize: 174044 Current children cumulated CPU time (s) 598.97 Current children cumulated vsize (Kb) 174044 [startup+640.037 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 68558 0 0 0 59113 1739 0 0 25 0 1 0 22031597 178360320 39313 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43545 39313 364 364 0 43181 0 [pid=9930] vsize: 174180 Current children cumulated CPU time (s) 608.52 Current children cumulated vsize (Kb) 174180 [startup+650.038 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 69539 0 0 0 60058 1759 0 0 25 0 1 0 22031597 178360320 39329 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43545 39329 364 364 0 43181 0 [pid=9930] vsize: 174180 Current children cumulated CPU time (s) 618.17 Current children cumulated vsize (Kb) 174180 [startup+660.038 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 70520 0 0 0 61007 1776 0 0 25 0 1 0 22031597 178495488 39345 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43578 39345 364 364 0 43214 0 [pid=9930] vsize: 174312 Current children cumulated CPU time (s) 627.83 Current children cumulated vsize (Kb) 174312 [startup+670.039 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 70537 0 0 0 61946 1797 0 0 25 0 1 0 22031597 178495488 39362 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43578 39362 364 364 0 43214 0 [pid=9930] vsize: 174312 Current children cumulated CPU time (s) 637.43 Current children cumulated vsize (Kb) 174312 [startup+680.039 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 71522 0 0 0 62895 1815 0 0 25 0 1 0 22031597 182448128 40347 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44543 40347 364 364 0 44179 0 [pid=9930] vsize: 178172 Current children cumulated CPU time (s) 647.1 Current children cumulated vsize (Kb) 178172 [startup+690.04 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 71540 0 0 0 63843 1833 0 0 25 0 1 0 22031597 178630656 39400 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43611 39400 364 364 0 43247 0 [pid=9930] vsize: 174444 Current children cumulated CPU time (s) 656.76 Current children cumulated vsize (Kb) 174444 [startup+700.041 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 72523 0 0 0 64793 1850 0 0 25 0 1 0 22031597 178630656 39418 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43611 39418 364 364 0 43247 0 [pid=9930] vsize: 174444 Current children cumulated CPU time (s) 666.43 Current children cumulated vsize (Kb) 174444 [startup+710.042 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 72541 0 0 0 65730 1870 0 0 25 0 1 0 22031597 178630656 39436 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43611 39436 364 364 0 43247 0 [pid=9930] vsize: 174444 Current children cumulated CPU time (s) 676 Current children cumulated vsize (Kb) 174444 [startup+720.043 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 73520 0 0 0 66687 1887 0 0 25 0 1 0 22031597 178761728 39450 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43643 39450 364 364 0 43279 0 [pid=9930] vsize: 174572 Current children cumulated CPU time (s) 685.74 Current children cumulated vsize (Kb) 174572 [startup+730.043 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 74567 0 0 0 67641 1903 0 0 25 0 1 0 22031597 179023872 39467 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43707 39467 364 364 0 43343 0 [pid=9930] vsize: 174828 Current children cumulated CPU time (s) 695.44 Current children cumulated vsize (Kb) 174828 [startup+740.044 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 74591 0 0 0 68585 1921 0 0 25 0 1 0 22031597 179179520 39491 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43745 39491 364 364 0 43381 0 [pid=9930] vsize: 174980 Current children cumulated CPU time (s) 705.06 Current children cumulated vsize (Kb) 174980 [startup+750.045 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 75574 0 0 0 69535 1939 0 0 25 0 1 0 22031597 179179520 39509 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43745 39509 364 364 0 43381 0 [pid=9930] vsize: 174980 Current children cumulated CPU time (s) 714.74 Current children cumulated vsize (Kb) 174980 [startup+760.045 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 76557 0 0 0 70489 1955 0 0 25 0 1 0 22031597 179310592 39527 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43777 39527 364 364 0 43413 0 [pid=9930] vsize: 175108 Current children cumulated CPU time (s) 724.44 Current children cumulated vsize (Kb) 175108 [startup+770.045 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 77556 0 0 0 71443 1973 0 0 25 0 1 0 22031597 179310592 39561 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43777 39561 364 364 0 43413 0 [pid=9930] vsize: 175108 Current children cumulated CPU time (s) 734.16 Current children cumulated vsize (Kb) 175108 [startup+780.046 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 78547 0 0 0 72405 1986 0 0 25 0 1 0 22031597 179458048 39587 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43813 39587 364 364 0 43449 0 [pid=9930] vsize: 175252 Current children cumulated CPU time (s) 743.91 Current children cumulated vsize (Kb) 175252 [startup+790.046 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 79523 0 0 0 73354 2006 0 0 25 0 1 0 22031597 179458048 39598 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43813 39598 364 364 0 43449 0 [pid=9930] vsize: 175252 Current children cumulated CPU time (s) 753.6 Current children cumulated vsize (Kb) 175252 [startup+800.047 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 80511 0 0 0 74295 2027 0 0 25 0 1 0 22031597 183410688 40586 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44778 40586 364 364 0 44414 0 [pid=9930] vsize: 179112 Current children cumulated CPU time (s) 763.22 Current children cumulated vsize (Kb) 179112 [startup+810.048 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 80551 0 0 0 75235 2051 0 0 25 0 1 0 22031597 179593216 39661 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43846 39661 364 364 0 43482 0 [pid=9930] vsize: 175384 Current children cumulated CPU time (s) 772.86 Current children cumulated vsize (Kb) 175384 [startup+820.048 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 81540 0 0 0 76180 2070 0 0 25 0 1 0 22031597 179593216 39685 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43846 39685 364 364 0 43482 0 [pid=9930] vsize: 175384 Current children cumulated CPU time (s) 782.5 Current children cumulated vsize (Kb) 175384 [startup+830.049 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 81573 0 0 0 77107 2094 0 0 25 0 1 0 22031597 179736576 39718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43881 39718 364 364 0 43517 0 [pid=9930] vsize: 175524 Current children cumulated CPU time (s) 792.01 Current children cumulated vsize (Kb) 175524 [startup+840.049 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 82568 0 0 0 78050 2114 0 0 25 0 1 0 22031597 179736576 39748 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43881 39748 364 364 0 43517 0 [pid=9930] vsize: 175524 Current children cumulated CPU time (s) 801.64 Current children cumulated vsize (Kb) 175524 [startup+850.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 82599 0 0 0 78986 2135 0 0 25 0 1 0 22031597 179736576 39779 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43881 39779 364 364 0 43517 0 [pid=9930] vsize: 175524 Current children cumulated CPU time (s) 811.21 Current children cumulated vsize (Kb) 175524 [startup+860.05 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 83586 0 0 0 79934 2153 0 0 25 0 1 0 22031597 179736576 39801 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43881 39801 364 364 0 43517 0 [pid=9930] vsize: 175524 Current children cumulated CPU time (s) 820.87 Current children cumulated vsize (Kb) 175524 [startup+870.051 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 84568 0 0 0 80888 2170 0 0 25 0 1 0 22031597 183836672 40783 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44882 40783 364 364 0 44518 0 [pid=9930] vsize: 179528 Current children cumulated CPU time (s) 830.58 Current children cumulated vsize (Kb) 179528 [startup+880.052 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 84601 0 0 0 81834 2186 0 0 25 0 1 0 22031597 179884032 39851 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 43917 39851 364 364 0 43553 0 [pid=9930] vsize: 175668 Current children cumulated CPU time (s) 840.2 Current children cumulated vsize (Kb) 175668 [startup+890.053 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 84635 0 0 0 82774 2208 0 0 25 0 1 0 22031597 179884032 39885 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43917 39885 364 364 0 43553 0 [pid=9930] vsize: 175668 Current children cumulated CPU time (s) 849.82 Current children cumulated vsize (Kb) 175668 [startup+900.053 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 85629 0 0 0 83728 2225 0 0 25 0 1 0 22031597 180015104 39914 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43949 39914 364 364 0 43585 0 [pid=9930] vsize: 175796 Current children cumulated CPU time (s) 859.53 Current children cumulated vsize (Kb) 175796 [startup+910.053 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 85666 0 0 0 84668 2245 0 0 25 0 1 0 22031597 180015104 39951 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43949 39951 364 364 0 43585 0 [pid=9930] vsize: 175796 Current children cumulated CPU time (s) 869.13 Current children cumulated vsize (Kb) 175796 [startup+920.054 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 85689 0 0 0 85598 2267 0 0 25 0 1 0 22031597 180015104 39974 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43949 39974 364 364 0 43585 0 [pid=9930] vsize: 175796 Current children cumulated CPU time (s) 878.65 Current children cumulated vsize (Kb) 175796 [startup+930.055 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 86682 0 0 0 86544 2287 0 0 25 0 1 0 22031597 180162560 40002 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43985 40002 364 364 0 43621 0 [pid=9930] vsize: 175940 Current children cumulated CPU time (s) 888.31 Current children cumulated vsize (Kb) 175940 [startup+940.055 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 86712 0 0 0 87476 2310 0 0 25 0 1 0 22031597 180162560 40032 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 43985 40032 364 364 0 43621 0 [pid=9930] vsize: 175940 Current children cumulated CPU time (s) 897.86 Current children cumulated vsize (Kb) 175940 [startup+950.055 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 87703 0 0 0 88419 2329 0 0 25 0 1 0 22031597 180297728 40058 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44018 40058 364 364 0 43654 0 [pid=9930] vsize: 176072 Current children cumulated CPU time (s) 907.48 Current children cumulated vsize (Kb) 176072 [startup+960.055 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 87734 0 0 0 89353 2350 0 0 25 0 1 0 22031597 180297728 40089 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44018 40089 364 364 0 43654 0 [pid=9930] vsize: 176072 Current children cumulated CPU time (s) 917.03 Current children cumulated vsize (Kb) 176072 [startup+970.056 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 88711 0 0 0 90308 2366 0 0 25 0 1 0 22031597 180297728 40101 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44018 40101 364 364 0 43654 0 [pid=9930] vsize: 176072 Current children cumulated CPU time (s) 926.74 Current children cumulated vsize (Kb) 176072 [startup+980.057 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 89689 0 0 0 91257 2383 0 0 25 0 1 0 22031597 180297728 40114 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44018 40114 364 364 0 43654 0 [pid=9930] vsize: 176072 Current children cumulated CPU time (s) 936.4 Current children cumulated vsize (Kb) 176072 [startup+990.057 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 89721 0 0 0 92195 2403 0 0 25 0 1 0 22031597 180441088 40146 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44053 40146 364 364 0 43689 0 [pid=9930] vsize: 176212 Current children cumulated CPU time (s) 945.98 Current children cumulated vsize (Kb) 176212 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 90708 0 0 0 93140 2424 0 0 25 0 1 0 22031597 180441088 40168 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44053 40168 364 364 0 43689 0 [pid=9930] vsize: 176212 Current children cumulated CPU time (s) 955.64 Current children cumulated vsize (Kb) 176212 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 90741 0 0 0 94077 2446 0 0 25 0 1 0 22031597 180441088 40201 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44053 40201 364 364 0 43689 0 [pid=9930] vsize: 176212 Current children cumulated CPU time (s) 965.23 Current children cumulated vsize (Kb) 176212 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91727 0 0 0 95024 2469 0 0 25 0 1 0 22031597 180572160 40222 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44085 40222 364 364 0 43721 0 [pid=9930] vsize: 176340 Current children cumulated CPU time (s) 974.93 Current children cumulated vsize (Kb) 176340 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 91756 0 0 0 95960 2487 0 0 25 0 1 0 22031597 180572160 40251 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44085 40251 364 364 0 43721 0 [pid=9930] vsize: 176340 Current children cumulated CPU time (s) 984.47 Current children cumulated vsize (Kb) 176340 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.96 3/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91787 0 0 0 96880 2511 0 0 25 0 1 0 22031597 180572160 40282 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44085 40282 364 364 0 43721 0 [pid=9930] vsize: 176340 Current children cumulated CPU time (s) 993.91 Current children cumulated vsize (Kb) 176340 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91814 0 0 0 97809 2536 0 0 25 0 1 0 22031597 180572160 40309 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44085 40309 364 364 0 43721 0 [pid=9930] vsize: 176340 Current children cumulated CPU time (s) 1003.45 Current children cumulated vsize (Kb) 176340 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 91842 0 0 0 98739 2560 0 0 25 0 1 0 22031597 180703232 40337 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44117 40337 364 364 0 43753 0 [pid=9930] vsize: 176468 Current children cumulated CPU time (s) 1012.99 Current children cumulated vsize (Kb) 176468 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 91873 0 0 0 99670 2583 0 0 25 0 1 0 22031597 180703232 40368 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44117 40368 364 364 0 43753 0 [pid=9930] vsize: 176468 Current children cumulated CPU time (s) 1022.53 Current children cumulated vsize (Kb) 176468 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 92873 0 0 0 100622 2601 0 0 25 0 1 0 22031597 180838400 40403 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44150 40403 364 364 0 43786 0 [pid=9930] vsize: 176600 Current children cumulated CPU time (s) 1032.23 Current children cumulated vsize (Kb) 176600 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 92899 0 0 0 101554 2626 0 0 25 0 1 0 22031597 180838400 40429 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44150 40429 364 364 0 43786 0 [pid=9930] vsize: 176600 Current children cumulated CPU time (s) 1041.8 Current children cumulated vsize (Kb) 176600 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93888 0 0 0 102486 2651 0 0 25 0 1 0 22031597 184791040 41418 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 45115 41418 364 364 0 44751 0 [pid=9930] vsize: 180460 Current children cumulated CPU time (s) 1051.37 Current children cumulated vsize (Kb) 180460 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93909 0 0 0 103433 2669 0 0 25 0 1 0 22031597 180998144 40474 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44189 40474 364 364 0 43825 0 [pid=9930] vsize: 176756 Current children cumulated CPU time (s) 1061.02 Current children cumulated vsize (Kb) 176756 [startup+1120.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93916 0 0 0 104352 2694 0 0 25 0 1 0 22031597 180998144 40481 4294967295 134512640 135987407 3221224560 3221223376 134824753 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44189 40481 364 364 0 43825 0 [pid=9930] vsize: 176756 Current children cumulated CPU time (s) 1070.46 Current children cumulated vsize (Kb) 176756 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 93933 0 0 0 105278 2718 0 0 25 0 1 0 22031597 180998144 40498 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44189 40498 364 364 0 43825 0 [pid=9930] vsize: 176756 Current children cumulated CPU time (s) 1079.96 Current children cumulated vsize (Kb) 176756 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93957 0 0 0 106200 2742 0 0 25 0 1 0 22031597 180998144 40522 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44189 40522 364 364 0 43825 0 [pid=9930] vsize: 176756 Current children cumulated CPU time (s) 1089.42 Current children cumulated vsize (Kb) 176756 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 93982 0 0 0 107123 2770 0 0 25 0 1 0 22031597 180998144 40547 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44189 40547 364 364 0 43825 0 [pid=9930] vsize: 176756 Current children cumulated CPU time (s) 1098.93 Current children cumulated vsize (Kb) 176756 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94008 0 0 0 108037 2800 0 0 25 0 1 0 22031597 181129216 40573 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44221 40573 364 364 0 43857 0 [pid=9930] vsize: 176884 Current children cumulated CPU time (s) 1108.37 Current children cumulated vsize (Kb) 176884 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94029 0 0 0 108955 2826 0 0 20 0 1 0 22031597 181129216 40594 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44221 40594 364 364 0 43857 0 [pid=9930] vsize: 176884 Current children cumulated CPU time (s) 1117.81 Current children cumulated vsize (Kb) 176884 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94057 0 0 0 109878 2851 0 0 25 0 1 0 22031597 181129216 40622 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44221 40622 364 364 0 43857 0 [pid=9930] vsize: 176884 Current children cumulated CPU time (s) 1127.29 Current children cumulated vsize (Kb) 176884 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94081 0 0 0 110791 2880 0 0 25 0 1 0 22031597 181129216 40646 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44221 40646 364 364 0 43857 0 [pid=9930] vsize: 176884 Current children cumulated CPU time (s) 1136.71 Current children cumulated vsize (Kb) 176884 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94105 0 0 0 111703 2908 0 0 25 0 1 0 22031597 181260288 40670 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44253 40670 364 364 0 43889 0 [pid=9930] vsize: 177012 Current children cumulated CPU time (s) 1146.11 Current children cumulated vsize (Kb) 177012 [startup+1210.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94139 0 0 0 112626 2933 0 0 25 0 1 0 22031597 181260288 40704 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44253 40704 364 364 0 43889 0 [pid=9930] vsize: 177012 Current children cumulated CPU time (s) 1155.59 Current children cumulated vsize (Kb) 177012 [startup+1220.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94166 0 0 0 113545 2960 0 0 25 0 1 0 22031597 181260288 40731 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44253 40731 364 364 0 43889 0 [pid=9930] vsize: 177012 Current children cumulated CPU time (s) 1165.05 Current children cumulated vsize (Kb) 177012 [startup+1230.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94194 0 0 0 114461 2988 0 0 25 0 1 0 22031597 181395456 40759 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44286 40759 364 364 0 43922 0 [pid=9930] vsize: 177144 Current children cumulated CPU time (s) 1174.49 Current children cumulated vsize (Kb) 177144 [startup+1240.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94213 0 0 0 115381 3014 0 0 25 0 1 0 22031597 181395456 40778 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44286 40778 364 364 0 43922 0 [pid=9930] vsize: 177144 Current children cumulated CPU time (s) 1183.95 Current children cumulated vsize (Kb) 177144 [startup+1250.07 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) R 9929 9930 4060 0 -1 0 94238 0 0 0 116308 3039 0 0 25 0 1 0 22031597 181395456 40803 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9930/statm): 44286 40803 364 364 0 43922 0 [pid=9930] vsize: 177144 Current children cumulated CPU time (s) 1193.47 Current children cumulated vsize (Kb) 177144 [startup+1260.07 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94262 0 0 0 117240 3062 0 0 25 0 1 0 22031597 181395456 40827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44286 40827 364 364 0 43922 0 [pid=9930] vsize: 177144 Current children cumulated CPU time (s) 1203.02 Current children cumulated vsize (Kb) 177144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1260.07 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 9930 Raw data (/proc/9930/stat): 9930 (pb2sat) T 9929 9930 4060 0 -1 0 94262 0 0 0 117240 3062 0 0 25 0 1 0 22031597 181395456 40827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9930/statm): 44286 40827 364 364 0 43922 0 [pid=9930] vsize: 177144 Current children cumulated CPU time (s) 1203.02 Current children cumulated vsize (Kb) 177144 Sending SIGTERM to -9930 Sleeping 2 seconds One traced child (pid=9930) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1260.82 CPU time (s): 1203.77 CPU user time (s): 1173.06 CPU system time (s): 30.7083 CPU usage (%): 95.4752 Max. virtual memory (cumulated for all children) (Kb): 180460
ERROR: no interpretation found !