Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 99657262afbbfce7034a3ec6b29d9b3b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 661.762 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
LAUNCH ON wulflinc6 THE 2005-09-23 16:53:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8841 boxname=wulflinc6 idbench=637 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 99657262afbbfce7034a3ec6b29d9b3b /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb IDLAUNCH: 8841 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 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.158 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: 923368 kB Buffers: 13092 kB Cached: 81156 kB SwapCached: 0 kB Active: 41500 kB Inactive: 55632 kB HighTotal: 131008 kB HighFree: 46396 kB LowTotal: 903652 kB LowFree: 876972 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8540 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:13:44 (client local time) WITH STATUS 10 IN 1209.64 SECONDS stats: 8841 0 1209.64 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 4477 c small objective detected c CONFLICT during preprocess c [startup+10.7885 s] setting bit 13 to 0 c [startup+18.6631 s] setting bit 12 to 0 c got solution with objective value: 2422 c [startup+22.2879 s] setting bit 11 to 1 c got solution with objective value: 1398 c [startup+474.767 s] setting bit 10 to 1 c Decision: 96242/210065 Time: 289.887/86400 c Decision: 96242/210065 Time: 353.234/86400 c Decision: 96242/210065 Time: 416.048/86400 c Decision: 96242/210065 Time: 476.741/86400 c Decision: 96242/210065 Time: 535.462/86400 c Decision: 96242/210065 Time: 596.287/86400 c Decision: 96242/210065 Time: 657.164/86400 c Decision: 96242/210065 Time: 718.077/86400s SATISFIABLE v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C106_bit0 -C107_bit0 -C108_bit0 -C109_bit0 -C110_bit0 -C111_bit0 C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 -C127_bit0 -C128_bit0 -C129_bit0 C130_bit0 -C131_bit0 -C132_bit0 C133_bit0 -C134_bit0 C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 -C153_bit0 -C154_bit0 -C155_bit0 C156_bit0 -C157_bit0 -C158_bit0 C159_bit0 -C160_bit0 -C161_bit0 C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0
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/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21795554 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 373 2 364 364 0 9 0 [pid=9036] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb [startup+10.0019 s] Raw data (loadavg): 0.90 0.93 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 30720 0 0 0 928 68 0 0 25 0 1 0 21795554 95870976 19571 4294967295 134512640 135987407 3221224560 3221222992 135477176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 23406 19571 364 364 0 23042 0 [pid=9036] vsize: 93624 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 93624 [startup+20.0027 s] Raw data (loadavg): 0.92 0.93 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 33757 0 0 0 1920 76 0 0 25 0 1 0 21795554 102739968 21001 4294967295 134512640 135987407 3221224560 3221223104 134812023 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25083 21001 364 364 0 24719 0 [pid=9036] vsize: 100332 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 100332 [startup+30.0034 s] Raw data (loadavg): 0.93 0.93 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34703 0 0 0 2916 79 0 0 25 0 1 0 21795554 104968192 21388 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25627 21388 364 364 0 25263 0 [pid=9036] vsize: 102508 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 102508 [startup+40.0031 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34782 0 0 0 3915 79 0 0 25 0 1 0 21795554 105099264 21434 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21434 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 102636 [startup+50.0039 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34797 0 0 0 4914 80 0 0 25 0 1 0 21795554 105099264 21449 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21449 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 49.94 Current children cumulated vsize (Kb) 102636 [startup+60.0046 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34806 0 0 0 5913 80 0 0 25 0 1 0 21795554 105099264 21458 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21458 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 102636 [startup+70.0054 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34813 0 0 0 6912 80 0 0 25 0 1 0 21795554 105099264 21465 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21465 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 102636 [startup+80.0061 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34819 0 0 0 7912 81 0 0 25 0 1 0 21795554 105099264 21471 4294967295 134512640 135987407 3221224560 3221223008 135293393 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21471 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 102636 [startup+90.0069 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34838 0 0 0 8911 81 0 0 25 0 1 0 21795554 105099264 21490 4294967295 134512640 135987407 3221224560 3221223200 134812447 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21490 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 102636 [startup+100.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34844 0 0 0 9911 81 0 0 25 0 1 0 21795554 105099264 21496 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21496 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 102636 [startup+110.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34855 0 0 0 10910 82 0 0 25 0 1 0 21795554 105099264 21507 4294967295 134512640 135987407 3221224560 3221222876 135481254 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21507 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 102636 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 34868 0 0 0 11909 82 0 0 25 0 1 0 21795554 105099264 21520 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25659 21520 364 364 0 25295 0 [pid=9036] vsize: 102636 Current children cumulated CPU time (s) 119.91 Current children cumulated vsize (Kb) 102636 [startup+130.01 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35028 0 0 0 12908 83 0 0 25 0 1 0 21795554 105492480 21581 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25755 21581 364 364 0 25391 0 [pid=9036] vsize: 103020 Current children cumulated CPU time (s) 129.91 Current children cumulated vsize (Kb) 103020 [startup+140.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35032 0 0 0 13907 83 0 0 25 0 1 0 21795554 105492480 21585 4294967295 134512640 135987407 3221224560 3221223104 134812135 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25755 21585 364 364 0 25391 0 [pid=9036] vsize: 103020 Current children cumulated CPU time (s) 139.9 Current children cumulated vsize (Kb) 103020 [startup+150.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35042 0 0 0 14907 83 0 0 25 0 1 0 21795554 105492480 21595 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25755 21595 364 364 0 25391 0 [pid=9036] vsize: 103020 Current children cumulated CPU time (s) 149.9 Current children cumulated vsize (Kb) 103020 [startup+160.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35062 0 0 0 15906 83 0 0 25 0 1 0 21795554 105492480 21615 4294967295 134512640 135987407 3221224560 3221223280 134812606 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25755 21615 364 364 0 25391 0 [pid=9036] vsize: 103020 Current children cumulated CPU time (s) 159.89 Current children cumulated vsize (Kb) 103020 [startup+170.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35128 0 0 0 16905 83 0 0 25 0 1 0 21795554 105758720 21681 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25820 21681 364 364 0 25456 0 [pid=9036] vsize: 103280 Current children cumulated CPU time (s) 169.88 Current children cumulated vsize (Kb) 103280 [startup+180.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35134 0 0 0 17905 83 0 0 25 0 1 0 21795554 105758720 21687 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25820 21687 364 364 0 25456 0 [pid=9036] vsize: 103280 Current children cumulated CPU time (s) 179.88 Current children cumulated vsize (Kb) 103280 [startup+190.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35144 0 0 0 18903 84 0 0 25 0 1 0 21795554 105758720 21697 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25820 21697 364 364 0 25456 0 [pid=9036] vsize: 103280 Current children cumulated CPU time (s) 189.87 Current children cumulated vsize (Kb) 103280 [startup+200.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35222 0 0 0 19902 84 0 0 25 0 1 0 21795554 106020864 21710 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25884 21710 364 364 0 25520 0 [pid=9036] vsize: 103536 Current children cumulated CPU time (s) 199.86 Current children cumulated vsize (Kb) 103536 [startup+210.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35228 0 0 0 20901 85 0 0 25 0 1 0 21795554 106020864 21716 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25884 21716 364 364 0 25520 0 [pid=9036] vsize: 103536 Current children cumulated CPU time (s) 209.86 Current children cumulated vsize (Kb) 103536 [startup+220.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35233 0 0 0 21900 86 0 0 25 0 1 0 21795554 106020864 21721 4294967295 134512640 135987407 3221224560 3221223200 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25884 21721 364 364 0 25520 0 [pid=9036] vsize: 103536 Current children cumulated CPU time (s) 219.86 Current children cumulated vsize (Kb) 103536 [startup+230.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35238 0 0 0 22900 86 0 0 25 0 1 0 21795554 106020864 21726 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25884 21726 364 364 0 25520 0 [pid=9036] vsize: 103536 Current children cumulated CPU time (s) 229.86 Current children cumulated vsize (Kb) 103536 [startup+240.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35321 0 0 0 23899 86 0 0 25 0 1 0 21795554 106283008 21744 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21744 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 239.85 Current children cumulated vsize (Kb) 103792 [startup+250.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35326 0 0 0 24898 87 0 0 25 0 1 0 21795554 106283008 21749 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21749 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 249.85 Current children cumulated vsize (Kb) 103792 [startup+260.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35331 0 0 0 25897 87 0 0 25 0 1 0 21795554 106283008 21754 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21754 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 259.84 Current children cumulated vsize (Kb) 103792 [startup+270.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35338 0 0 0 26896 87 0 0 25 0 1 0 21795554 106283008 21761 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21761 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 269.83 Current children cumulated vsize (Kb) 103792 [startup+280.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35354 0 0 0 27896 88 0 0 25 0 1 0 21795554 106283008 21777 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21777 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 279.84 Current children cumulated vsize (Kb) 103792 [startup+290.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35357 0 0 0 28895 88 0 0 25 0 1 0 21795554 106283008 21780 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21780 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 289.83 Current children cumulated vsize (Kb) 103792 [startup+300.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35362 0 0 0 29894 89 0 0 25 0 1 0 21795554 106283008 21785 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 25948 21785 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 299.83 Current children cumulated vsize (Kb) 103792 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35368 0 0 0 30893 89 0 0 25 0 1 0 21795554 106283008 21791 4294967295 134512640 135987407 3221224560 3221223236 134812260 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21791 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 309.82 Current children cumulated vsize (Kb) 103792 [startup+320.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35374 0 0 0 31892 89 0 0 25 0 1 0 21795554 106283008 21797 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21797 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 319.81 Current children cumulated vsize (Kb) 103792 [startup+330.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35380 0 0 0 32890 90 0 0 25 0 1 0 21795554 106283008 21803 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21803 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 329.8 Current children cumulated vsize (Kb) 103792 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35385 0 0 0 33889 90 0 0 25 0 1 0 21795554 106283008 21808 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21808 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 339.79 Current children cumulated vsize (Kb) 103792 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35393 0 0 0 34888 90 0 0 25 0 1 0 21795554 106283008 21816 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21816 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 349.78 Current children cumulated vsize (Kb) 103792 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35400 0 0 0 35887 91 0 0 25 0 1 0 21795554 106283008 21823 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21823 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 359.78 Current children cumulated vsize (Kb) 103792 [startup+370.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35406 0 0 0 36886 91 0 0 25 0 1 0 21795554 106283008 21829 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 25948 21829 364 364 0 25584 0 [pid=9036] vsize: 103792 Current children cumulated CPU time (s) 369.77 Current children cumulated vsize (Kb) 103792 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35605 0 0 0 37884 92 0 0 25 0 1 0 21795554 106983424 21995 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 26119 21995 364 364 0 25755 0 [pid=9036] vsize: 104476 Current children cumulated CPU time (s) 379.76 Current children cumulated vsize (Kb) 104476 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9036 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35612 0 0 0 38883 92 0 0 25 0 1 0 21795554 106983424 22002 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 26119 22002 364 364 0 25755 0 [pid=9036] vsize: 104476 Current children cumulated CPU time (s) 389.75 Current children cumulated vsize (Kb) 104476 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9091 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35693 0 0 0 39880 94 0 0 25 0 1 0 21795554 107245568 22018 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26183 22018 364 364 0 25819 0 [pid=9036] vsize: 104732 Current children cumulated CPU time (s) 399.74 Current children cumulated vsize (Kb) 104732 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9091 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35701 0 0 0 40879 94 0 0 25 0 1 0 21795554 107245568 22026 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26183 22026 364 364 0 25819 0 [pid=9036] vsize: 104732 Current children cumulated CPU time (s) 409.73 Current children cumulated vsize (Kb) 104732 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9091 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35758 0 0 0 41878 95 0 0 25 0 1 0 21795554 107511808 22083 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26248 22083 364 364 0 25884 0 [pid=9036] vsize: 104992 Current children cumulated CPU time (s) 419.73 Current children cumulated vsize (Kb) 104992 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9091 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35762 0 0 0 42876 96 0 0 25 0 1 0 21795554 107511808 22087 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26248 22087 364 364 0 25884 0 [pid=9036] vsize: 104992 Current children cumulated CPU time (s) 429.72 Current children cumulated vsize (Kb) 104992 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9091 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35766 0 0 0 43875 97 0 0 25 0 1 0 21795554 107511808 22091 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26248 22091 364 364 0 25884 0 [pid=9036] vsize: 104992 Current children cumulated CPU time (s) 439.72 Current children cumulated vsize (Kb) 104992 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9093 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35770 0 0 0 44873 98 0 0 25 0 1 0 21795554 107511808 22095 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26248 22095 364 364 0 25884 0 [pid=9036] vsize: 104992 Current children cumulated CPU time (s) 449.71 Current children cumulated vsize (Kb) 104992 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9095 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35774 0 0 0 45872 98 0 0 25 0 1 0 21795554 107511808 22099 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26248 22099 364 364 0 25884 0 [pid=9036] vsize: 104992 Current children cumulated CPU time (s) 459.7 Current children cumulated vsize (Kb) 104992 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 35846 0 0 0 46870 99 0 0 25 0 1 0 21795554 107773952 22106 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26312 22106 364 364 0 25948 0 [pid=9036] vsize: 105248 Current children cumulated CPU time (s) 469.69 Current children cumulated vsize (Kb) 105248 [startup+480.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 36263 0 0 0 47869 100 0 0 25 0 1 0 21795554 107773952 22112 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 26312 22112 364 364 0 25948 0 [pid=9036] vsize: 105248 Current children cumulated CPU time (s) 479.69 Current children cumulated vsize (Kb) 105248 [startup+490.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 36266 0 0 0 48868 101 0 0 25 0 1 0 21795554 107773952 22115 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 26312 22115 364 364 0 25948 0 [pid=9036] vsize: 105248 Current children cumulated CPU time (s) 489.69 Current children cumulated vsize (Kb) 105248 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 36567 0 0 0 49865 102 0 0 25 0 1 0 21795554 109309952 22351 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 26687 22351 364 364 0 26323 0 [pid=9036] vsize: 106748 Current children cumulated CPU time (s) 499.67 Current children cumulated vsize (Kb) 106748 [startup+510.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37246 0 0 0 50862 104 0 0 25 0 1 0 21795554 112136192 22865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27377 22865 364 364 0 27013 0 [pid=9036] vsize: 109508 Current children cumulated CPU time (s) 509.66 Current children cumulated vsize (Kb) 109508 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37504 0 0 0 51862 105 0 0 25 0 1 0 21795554 112795648 22991 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27538 22991 364 364 0 27174 0 [pid=9036] vsize: 110152 Current children cumulated CPU time (s) 519.67 Current children cumulated vsize (Kb) 110152 [startup+530.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37511 0 0 0 52860 106 0 0 25 0 1 0 21795554 112795648 22998 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27538 22998 364 364 0 27174 0 [pid=9036] vsize: 110152 Current children cumulated CPU time (s) 529.66 Current children cumulated vsize (Kb) 110152 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37514 0 0 0 53859 106 0 0 25 0 1 0 21795554 112795648 23001 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27538 23001 364 364 0 27174 0 [pid=9036] vsize: 110152 Current children cumulated CPU time (s) 539.65 Current children cumulated vsize (Kb) 110152 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37588 0 0 0 54858 107 0 0 25 0 1 0 21795554 113057792 23010 4294967295 134512640 135987407 3221224560 3221223104 134812000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27602 23010 364 364 0 27238 0 [pid=9036] vsize: 110408 Current children cumulated CPU time (s) 549.65 Current children cumulated vsize (Kb) 110408 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37592 0 0 0 55858 108 0 0 25 0 1 0 21795554 113057792 23014 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27602 23014 364 364 0 27238 0 [pid=9036] vsize: 110408 Current children cumulated CPU time (s) 559.66 Current children cumulated vsize (Kb) 110408 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37594 0 0 0 56857 108 0 0 25 0 1 0 21795554 113057792 23016 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27602 23016 364 364 0 27238 0 [pid=9036] vsize: 110408 Current children cumulated CPU time (s) 569.65 Current children cumulated vsize (Kb) 110408 [startup+580.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37599 0 0 0 57856 108 0 0 25 0 1 0 21795554 113057792 23021 4294967295 134512640 135987407 3221224560 3221223104 134811933 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27602 23021 364 364 0 27238 0 [pid=9036] vsize: 110408 Current children cumulated CPU time (s) 579.64 Current children cumulated vsize (Kb) 110408 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37604 0 0 0 58855 109 0 0 25 0 1 0 21795554 113057792 23026 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27602 23026 364 364 0 27238 0 [pid=9036] vsize: 110408 Current children cumulated CPU time (s) 589.64 Current children cumulated vsize (Kb) 110408 [startup+600.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37607 0 0 0 59855 109 0 0 25 0 1 0 21795554 113057792 23029 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27602 23029 364 364 0 27238 0 [pid=9036] vsize: 110408 Current children cumulated CPU time (s) 599.64 Current children cumulated vsize (Kb) 110408 [startup+610.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37685 0 0 0 60854 110 0 0 25 0 1 0 21795554 113319936 23042 4294967295 134512640 135987407 3221224560 3221223184 134812419 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23042 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 609.64 Current children cumulated vsize (Kb) 110664 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37688 0 0 0 61852 110 0 0 25 0 1 0 21795554 113319936 23045 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23045 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 619.62 Current children cumulated vsize (Kb) 110664 [startup+630.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37692 0 0 0 62852 111 0 0 25 0 1 0 21795554 113319936 23049 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23049 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 629.63 Current children cumulated vsize (Kb) 110664 [startup+640.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37697 0 0 0 63851 111 0 0 25 0 1 0 21795554 113319936 23054 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23054 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 639.62 Current children cumulated vsize (Kb) 110664 [startup+650.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37701 0 0 0 64850 111 0 0 25 0 1 0 21795554 113319936 23058 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23058 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 649.61 Current children cumulated vsize (Kb) 110664 [startup+660.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37705 0 0 0 65849 111 0 0 25 0 1 0 21795554 113319936 23062 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23062 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 659.6 Current children cumulated vsize (Kb) 110664 [startup+670.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37708 0 0 0 66848 112 0 0 25 0 1 0 21795554 113319936 23065 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27666 23065 364 364 0 27302 0 [pid=9036] vsize: 110664 Current children cumulated CPU time (s) 669.6 Current children cumulated vsize (Kb) 110664 [startup+680.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37802 0 0 0 67847 113 0 0 25 0 1 0 21795554 113582080 23094 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23094 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 679.6 Current children cumulated vsize (Kb) 110920 [startup+690.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37805 0 0 0 68846 113 0 0 25 0 1 0 21795554 113582080 23097 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23097 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 689.59 Current children cumulated vsize (Kb) 110920 [startup+700.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37830 0 0 0 69845 113 0 0 25 0 1 0 21795554 113582080 23122 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23122 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 699.58 Current children cumulated vsize (Kb) 110920 [startup+710.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37833 0 0 0 70844 114 0 0 25 0 1 0 21795554 113582080 23125 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23125 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 709.58 Current children cumulated vsize (Kb) 110920 [startup+720.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37837 0 0 0 71843 114 0 0 25 0 1 0 21795554 113582080 23129 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23129 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 719.57 Current children cumulated vsize (Kb) 110920 [startup+730.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37841 0 0 0 72842 114 0 0 25 0 1 0 21795554 113582080 23133 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23133 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 729.56 Current children cumulated vsize (Kb) 110920 [startup+740.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9097 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37847 0 0 0 73842 114 0 0 25 0 1 0 21795554 113582080 23139 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23139 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 739.56 Current children cumulated vsize (Kb) 110920 [startup+750.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37850 0 0 0 74841 115 0 0 25 0 1 0 21795554 113582080 23142 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23142 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 749.56 Current children cumulated vsize (Kb) 110920 [startup+760.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 37856 0 0 0 75839 115 0 0 25 0 1 0 21795554 113582080 23148 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27730 23148 364 364 0 27366 0 [pid=9036] vsize: 110920 Current children cumulated CPU time (s) 759.54 Current children cumulated vsize (Kb) 110920 [startup+770.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38297 0 0 0 76838 117 0 0 25 0 1 0 21795554 113852416 23178 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27796 23178 364 364 0 27432 0 [pid=9036] vsize: 111184 Current children cumulated CPU time (s) 769.55 Current children cumulated vsize (Kb) 111184 [startup+780.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38349 0 0 0 77837 117 0 0 25 0 1 0 21795554 114122752 23230 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23230 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 779.54 Current children cumulated vsize (Kb) 111448 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38350 0 0 0 78836 117 0 0 25 0 1 0 21795554 114122752 23231 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23231 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 789.53 Current children cumulated vsize (Kb) 111448 [startup+800.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38350 0 0 0 79835 118 0 0 25 0 1 0 21795554 114122752 23231 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23231 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 799.53 Current children cumulated vsize (Kb) 111448 [startup+810.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38351 0 0 0 80834 118 0 0 25 0 1 0 21795554 114122752 23232 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23232 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 809.52 Current children cumulated vsize (Kb) 111448 [startup+820.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38352 0 0 0 81834 118 0 0 25 0 1 0 21795554 114122752 23233 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23233 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 819.52 Current children cumulated vsize (Kb) 111448 [startup+830.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38763 0 0 0 82832 119 0 0 25 0 1 0 21795554 114122752 23233 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23233 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 829.51 Current children cumulated vsize (Kb) 111448 [startup+840.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38764 0 0 0 83831 120 0 0 25 0 1 0 21795554 114122752 23234 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23234 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 839.51 Current children cumulated vsize (Kb) 111448 [startup+850.049 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38764 0 0 0 84830 120 0 0 25 0 1 0 21795554 114122752 23234 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23234 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 849.5 Current children cumulated vsize (Kb) 111448 [startup+860.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38765 0 0 0 85830 121 0 0 25 0 1 0 21795554 114122752 23235 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23235 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 859.51 Current children cumulated vsize (Kb) 111448 [startup+870.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38766 0 0 0 86829 121 0 0 25 0 1 0 21795554 114122752 23236 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23236 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 869.5 Current children cumulated vsize (Kb) 111448 [startup+880.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38766 0 0 0 87828 121 0 0 25 0 1 0 21795554 114122752 23236 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23236 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 879.49 Current children cumulated vsize (Kb) 111448 [startup+890.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 38767 0 0 0 88827 122 0 0 25 0 1 0 21795554 114122752 23237 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23237 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 889.49 Current children cumulated vsize (Kb) 111448 [startup+900.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39179 0 0 0 89825 123 0 0 25 0 1 0 21795554 114122752 23238 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23238 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 899.48 Current children cumulated vsize (Kb) 111448 [startup+910.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39179 0 0 0 90824 124 0 0 25 0 1 0 21795554 114122752 23238 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23238 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 909.48 Current children cumulated vsize (Kb) 111448 [startup+920.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39180 0 0 0 91823 124 0 0 25 0 1 0 21795554 114122752 23239 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23239 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 919.47 Current children cumulated vsize (Kb) 111448 [startup+930.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39181 0 0 0 92822 125 0 0 25 0 1 0 21795554 114122752 23240 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23240 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 929.47 Current children cumulated vsize (Kb) 111448 [startup+940.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39185 0 0 0 93821 126 0 0 25 0 1 0 21795554 114122752 23244 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23244 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 939.47 Current children cumulated vsize (Kb) 111448 [startup+950.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) T 9035 9036 4060 0 -1 0 39189 0 0 0 94820 126 0 0 25 0 1 0 21795554 114122752 23248 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23248 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 949.46 Current children cumulated vsize (Kb) 111448 [startup+960.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39606 0 0 0 95818 128 0 0 25 0 1 0 21795554 114122752 23254 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9036/statm): 27862 23254 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 959.46 Current children cumulated vsize (Kb) 111448 [startup+970.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39610 0 0 0 96817 128 0 0 25 0 1 0 21795554 114122752 23258 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23258 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 969.45 Current children cumulated vsize (Kb) 111448 [startup+980.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39615 0 0 0 97816 128 0 0 25 0 1 0 21795554 114122752 23263 4294967295 134512640 135987407 3221224560 3221223232 134824224 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23263 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 979.44 Current children cumulated vsize (Kb) 111448 [startup+990.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39620 0 0 0 98814 129 0 0 25 0 1 0 21795554 114122752 23268 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23268 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 989.43 Current children cumulated vsize (Kb) 111448 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39625 0 0 0 99813 129 0 0 25 0 1 0 21795554 114122752 23273 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27862 23273 364 364 0 27498 0 [pid=9036] vsize: 111448 Current children cumulated CPU time (s) 999.42 Current children cumulated vsize (Kb) 111448 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 39751 0 0 0 100811 130 0 0 25 0 1 0 21795554 114524160 23366 4294967295 134512640 135987407 3221224560 3221223136 134814451 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23366 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1009.41 Current children cumulated vsize (Kb) 111840 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40166 0 0 0 101809 132 0 0 25 0 1 0 21795554 114524160 23370 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23370 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1019.41 Current children cumulated vsize (Kb) 111840 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40170 0 0 0 102808 132 0 0 25 0 1 0 21795554 114524160 23374 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23374 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1029.4 Current children cumulated vsize (Kb) 111840 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40177 0 0 0 103807 133 0 0 25 0 1 0 21795554 114524160 23381 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23381 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1039.4 Current children cumulated vsize (Kb) 111840 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40183 0 0 0 104805 133 0 0 25 0 1 0 21795554 114524160 23387 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23387 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1049.38 Current children cumulated vsize (Kb) 111840 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40190 0 0 0 105804 134 0 0 25 0 1 0 21795554 114524160 23394 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23394 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1059.38 Current children cumulated vsize (Kb) 111840 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40195 0 0 0 106803 134 0 0 25 0 1 0 21795554 114524160 23399 4294967295 134512640 135987407 3221224560 3221223136 134814269 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23399 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1069.37 Current children cumulated vsize (Kb) 111840 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40607 0 0 0 107801 136 0 0 25 0 1 0 21795554 114524160 23400 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23400 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1079.37 Current children cumulated vsize (Kb) 111840 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40608 0 0 0 108800 136 0 0 25 0 1 0 21795554 114524160 23401 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23401 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1089.36 Current children cumulated vsize (Kb) 111840 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40609 0 0 0 109799 136 0 0 25 0 1 0 21795554 114524160 23402 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23402 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1099.35 Current children cumulated vsize (Kb) 111840 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40609 0 0 0 110797 137 0 0 25 0 1 0 21795554 114524160 23402 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23402 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1109.34 Current children cumulated vsize (Kb) 111840 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40615 0 0 0 111797 137 0 0 25 0 1 0 21795554 114524160 23408 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23408 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1119.34 Current children cumulated vsize (Kb) 111840 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 40622 0 0 0 112796 138 0 0 25 0 1 0 21795554 114524160 23415 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23415 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1129.34 Current children cumulated vsize (Kb) 111840 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41037 0 0 0 113793 139 0 0 25 0 1 0 21795554 114524160 23419 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23419 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1139.32 Current children cumulated vsize (Kb) 111840 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41043 0 0 0 114792 139 0 0 25 0 1 0 21795554 114524160 23425 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23425 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1149.31 Current children cumulated vsize (Kb) 111840 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41048 0 0 0 115792 140 0 0 25 0 1 0 21795554 114524160 23430 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23430 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1159.32 Current children cumulated vsize (Kb) 111840 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41054 0 0 0 116790 140 0 0 25 0 1 0 21795554 114524160 23436 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23436 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1169.3 Current children cumulated vsize (Kb) 111840 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41060 0 0 0 117789 141 0 0 25 0 1 0 21795554 114524160 23442 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23442 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1179.3 Current children cumulated vsize (Kb) 111840 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41065 0 0 0 118788 141 0 0 25 0 1 0 21795554 114524160 23447 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23447 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1189.29 Current children cumulated vsize (Kb) 111840 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41482 0 0 0 119786 142 0 0 25 0 1 0 21795554 114524160 23453 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23453 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1199.28 Current children cumulated vsize (Kb) 111840 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41489 0 0 0 120785 143 0 0 25 0 1 0 21795554 114524160 23460 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23460 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1209.28 Current children cumulated vsize (Kb) 111840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9099 Raw data (/proc/9036/stat): 9036 (pb2sat) R 9035 9036 4060 0 -1 0 41489 0 0 0 120785 143 0 0 25 0 1 0 21795554 114524160 23460 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9036/statm): 27960 23460 364 364 0 27596 0 [pid=9036] vsize: 111840 Current children cumulated CPU time (s) 1209.28 Current children cumulated vsize (Kb) 111840 Sending SIGTERM to -9036 Sleeping 2 seconds One traced child (pid=9036) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.41 CPU time (s): 1209.64 CPU user time (s): 1208.15 CPU system time (s): 1.48477 CPU usage (%): 99.9362 Max. virtual memory (cumulated for all children) (Kb): 111840
Verifier: OK 1398