Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb |
MD5SUM | 96fe6be9d2b9e3e89a4b05733b0daf45 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 615983 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.02 |
Number of variables | 2124 |
Total number of constraints | 612 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 168 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 64 |
LAUNCH ON wulflinc9 THE 2005-09-23 17:59:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9136 boxname=wulflinc9 idbench=932 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 96fe6be9d2b9e3e89a4b05733b0daf45 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-vpm1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-vpm1.opb IDLAUNCH: 9136 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 905872 kB Buffers: 13408 kB Cached: 98044 kB SwapCached: 0 kB Active: 52088 kB Inactive: 62296 kB HighTotal: 131008 kB HighFree: 29820 kB LowTotal: 903652 kB LowFree: 876052 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8900 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:19:24 (client local time) WITH STATUS 0 IN 1205.29 SECONDS stats: 9136 7 1205.29 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 94546/452529 Time: 126.388/86400 c Decision: 94546/452529 Time: 139.266/86400 c Decision: 94546/452529 Time: 152.762/86400 c Decision: 94546/452529 Time: 167.14/86400 c Decision: 94546/452529 Time: 180.31/86400 c Decision: 94546/452529 Time: 194.2/86400 c Decision: 94546/452529 Time: 206.153/86400 c Decision: 94546/452529 Time: 221.161/86400 c Decision: 94546/452529 Time: 235.031/86400 c Decision: 94546/452529 Time: 247.839/86400 c Decision: 94546/452529 Time: 263.152/86400 c Decision: 94546/452529 Time: 275.498/86400 c Decision: 94546/452529 Time: 290.114/86400 c Decision: 94546/452529 Time: 306.433/86400 c Decision: 94546/452529 Time: 320.676/86400 c Decision: 94546/452529 Time: 336.373/86400 c Decision: 94546/452529 Time: 349.694/86400 c Decision: 94546/452529 Time: 361.156/86400 c Decision: 94546/452529 Time: 375.855/86400 c Decision: 94546/452529 Time: 390.117/86400 c Decision: 94546/452529 Time: 403.347/86400 c Decision: 94546/452529 Time: 412.731/86400 c Decision: 94546/452529 Time: 424.779/86400 c Decision: 94546/452529 Time: 439.501/86400 c Decision: 94546/452529 Time: 453.774/86400 c Decision: 94546/452529 Time: 467.328/86400 c Decision: 94546/452529 Time: 479.563/86400 c Decision: 94546/452529 Time: 492.728/86400 c Decision: 94551/452529 Time: 503.826/86400 c Decision: 94551/452529 Time: 514.522/86400 c Decision: 94551/452529 Time: 526.832/86400 c Decision: 94551/452529 Time: 538.018/86400 c Decision: 94551/452529 Time: 549.723/86400 c Decision: 94551/452529 Time: 562.977/86400 c Decision: 94551/452529 Time: 575.453/86400 c Decision: 94551/452529 Time: 589.887/86400 c Decision: 94551/452529 Time: 602.548/86400 c Decision: 94551/452529 Time: 616.915/86400 c Decision: 94551/452529 Time: 630.686/86400 c Decision: 94551/452529 Time: 643.565/86400 c Decision: 94551/452529 Time: 657.594/86400 c Decision: 94551/452529 Time: 670.577/86400 c Decision: 94551/452529 Time: 684.536/86400 c Decision: 94551/452529 Time: 697.199/86400 c Decision: 94551/452529 Time: 709.111/86400 c Decision: 94551/452529 Time: 722.965/86400 c Decision: 94551/452529 Time: 736.57/86400 c Decision: 94551/452529 Time: 748.219/86400 c Decision: 94551/452529 Time: 759.749/86400 c Decision: 94551/452529 Time: 771/86400 c Decision: 94551/452529 Time: 784.924/86400 c Decision: 94551/452529 Time: 797.929/86400 c Decision: 94551/452529 Time: 810.513/86400 c Decision: 94551/452529 Time: 825.176/86400 c Decision: 94551/452529 Time: 838.109/86400 c Decision: 94551/452529 Time: 849.972/86400 c Decision: 94551/452529 Time: 865.078/86400 c Decision: 94551/452529 Time: 875.994/86400 c Decision: 94551/452529 Time: 886.097/86400 c Decision: 94551/452529 Time: 899.276/86400 c Decision: 94551/452529 Time: 914.547/86400 c Decision: 94551/452529 Time: 927.889/86400 c Decision: 94551/452529 Time: 942.956/86400 c Decision: 94551/452529 Time: 956.177/86400 c Decision: 94551/452529 Time: 970.109/86400 c Decision: 94551/452529 Time: 984.002/86400 c Decision: 94551/452529 Time: 997.26/86400 c Decision: 94551/452529 Time: 1008.8/86400 c Decision: 94551/452529 Time: 1018.33/86400 c Decision: 94551/452529 Time: 1032.12/86400 c Decision: 94551/452529 Time: 1045.73/86400 c Decision: 94551/452529 Time: 1060.22/86400 c Decision: 94551/452529 Time: 1076.76/86400 c Decision: 94551/452529 Time: 1091.89/86400 c Decision: 94551/452529 Time: 1103.68/86400 c Decision: 94551/452529 Time: 1118.73/86400 c Decision: 94551/452529 Time: 1132.26/86400 c Decision: 94551/452529 Time: 1146.09/86400 c Decision: 94551/452529 Time: 1161.1/86400 c Decision: 94551/452529 Time: 1175.96/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/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 27 0 0 0 0 0 0 0 24 0 1 0 22175893 1527808 10 4294967295 134512640 135987407 3221224560 3221223964 135537037 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11925/statm): 373 10 364 364 0 9 0 [pid=11925] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-vpm1.opb [startup+10.0015 s] Raw data (loadavg): 0.67 0.86 0.88 2/55 11925 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 28363 0 0 0 934 63 0 0 25 0 1 0 22175893 80437248 17191 4294967295 134512640 135987407 3221224560 3221208752 134856505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 19638 17191 364 364 0 19274 0 [pid=11925] vsize: 78552 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 78552 [startup+20.0023 s] Raw data (loadavg): 0.72 0.86 0.88 2/55 11925 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 56009 0 0 0 1869 127 0 0 25 0 1 0 22175893 161685504 32709 4294967295 134512640 135987407 3221224560 3221223328 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 39474 32710 364 364 0 39110 0 [pid=11925] vsize: 157896 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 157896 [startup+30.0021 s] Raw data (loadavg): 0.76 0.87 0.88 2/55 11925 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 57930 0 0 0 2842 139 0 0 25 0 1 0 22175893 169873408 34565 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 41473 34565 364 364 0 41109 0 [pid=11925] vsize: 165892 Current children cumulated CPU time (s) 29.81 Current children cumulated vsize (Kb) 165892 [startup+40.0028 s] Raw data (loadavg): 0.80 0.87 0.88 2/55 11925 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 58744 0 0 0 3819 148 0 0 25 0 1 0 22175893 174084096 35379 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 42501 35379 364 364 0 42137 0 [pid=11925] vsize: 170004 Current children cumulated CPU time (s) 39.67 Current children cumulated vsize (Kb) 170004 [startup+50.0036 s] Raw data (loadavg): 0.83 0.87 0.88 2/55 11925 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59235 0 0 0 4796 157 0 0 25 0 1 0 22175893 176738304 35870 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 43149 35870 364 364 0 42785 0 [pid=11925] vsize: 172596 Current children cumulated CPU time (s) 49.53 Current children cumulated vsize (Kb) 172596 [startup+60.0034 s] Raw data (loadavg): 0.85 0.88 0.89 1/55 11925 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 59420 0 0 0 5770 166 0 0 25 0 1 0 22175893 177795072 36055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 43407 36055 364 364 0 43043 0 [pid=11925] vsize: 173628 Current children cumulated CPU time (s) 59.36 Current children cumulated vsize (Kb) 173628 [startup+70.0042 s] Raw data (loadavg): 0.88 0.88 0.89 2/55 11980 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59540 0 0 0 6734 178 0 0 25 0 1 0 22175893 178200576 36175 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 43506 36175 364 364 0 43142 0 [pid=11925] vsize: 174024 Current children cumulated CPU time (s) 69.12 Current children cumulated vsize (Kb) 174024 [startup+80.0049 s] Raw data (loadavg): 0.89 0.89 0.89 2/55 11980 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59869 0 0 0 7708 188 0 0 25 0 1 0 22175893 180117504 36504 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 43974 36504 364 364 0 43610 0 [pid=11925] vsize: 175896 Current children cumulated CPU time (s) 78.96 Current children cumulated vsize (Kb) 175896 [startup+90.0057 s] Raw data (loadavg): 0.91 0.89 0.89 2/55 11980 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 59972 0 0 0 8685 196 0 0 25 0 1 0 22175893 180645888 36607 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44103 36607 364 364 0 43739 0 [pid=11925] vsize: 176412 Current children cumulated CPU time (s) 88.81 Current children cumulated vsize (Kb) 176412 [startup+100.006 s] Raw data (loadavg): 0.92 0.89 0.89 2/55 11980 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60051 0 0 0 9657 207 0 0 25 0 1 0 22175893 180977664 36686 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44184 36686 364 364 0 43820 0 [pid=11925] vsize: 176736 Current children cumulated CPU time (s) 98.64 Current children cumulated vsize (Kb) 176736 [startup+110.005 s] Raw data (loadavg): 0.93 0.89 0.89 2/55 11980 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60134 0 0 0 10630 217 0 0 25 0 1 0 22175893 181383168 36769 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44283 36769 364 364 0 43919 0 [pid=11925] vsize: 177132 Current children cumulated CPU time (s) 108.47 Current children cumulated vsize (Kb) 177132 [startup+120.006 s] Raw data (loadavg): 1.02 0.91 0.90 2/55 11982 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60147 0 0 0 11599 228 0 0 25 0 1 0 22175893 181383168 36782 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44283 36782 364 364 0 43919 0 [pid=11925] vsize: 177132 Current children cumulated CPU time (s) 118.27 Current children cumulated vsize (Kb) 177132 [startup+130.006 s] Raw data (loadavg): 1.02 0.92 0.90 2/55 11984 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60201 0 0 0 12570 236 0 0 25 0 1 0 22175893 181653504 36836 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44349 36836 364 364 0 43985 0 [pid=11925] vsize: 177396 Current children cumulated CPU time (s) 128.06 Current children cumulated vsize (Kb) 177396 [startup+140.007 s] Raw data (loadavg): 1.02 0.92 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 60237 0 0 0 13546 245 0 0 25 0 1 0 22175893 181850112 36872 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44397 36872 364 364 0 44033 0 [pid=11925] vsize: 177588 Current children cumulated CPU time (s) 137.91 Current children cumulated vsize (Kb) 177588 [startup+150.007 s] Raw data (loadavg): 1.01 0.92 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 61159 0 0 0 14527 252 0 0 25 0 1 0 22175893 182046720 36910 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 44445 36910 364 364 0 44081 0 [pid=11925] vsize: 177780 Current children cumulated CPU time (s) 147.79 Current children cumulated vsize (Kb) 177780 [startup+160.007 s] Raw data (loadavg): 1.01 0.92 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 62088 0 0 0 15499 263 0 0 25 0 1 0 22175893 185864192 37839 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45377 37839 364 364 0 45013 0 [pid=11925] vsize: 181508 Current children cumulated CPU time (s) 157.62 Current children cumulated vsize (Kb) 181508 [startup+170.008 s] Raw data (loadavg): 1.01 0.92 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 62116 0 0 0 16473 273 0 0 25 0 1 0 22175893 182243328 36983 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 44493 36983 364 364 0 44129 0 [pid=11925] vsize: 177972 Current children cumulated CPU time (s) 167.46 Current children cumulated vsize (Kb) 177972 [startup+180.008 s] Raw data (loadavg): 1.01 0.93 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 63109 0 0 0 17450 282 0 0 25 0 1 0 22175893 182935552 37092 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44662 37092 364 364 0 44298 0 [pid=11925] vsize: 178648 Current children cumulated CPU time (s) 177.32 Current children cumulated vsize (Kb) 178648 [startup+190.009 s] Raw data (loadavg): 1.01 0.93 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 63999 0 0 0 18425 291 0 0 25 0 1 0 22175893 182935552 37098 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44662 37098 364 364 0 44298 0 [pid=11925] vsize: 178648 Current children cumulated CPU time (s) 187.16 Current children cumulated vsize (Kb) 178648 [startup+200.009 s] Raw data (loadavg): 1.00 0.93 0.90 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 64028 0 0 0 19403 300 0 0 25 0 1 0 22175893 183132160 37127 4294967295 134512640 135987407 3221224560 3221223248 134812152 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44710 37127 364 364 0 44346 0 [pid=11925] vsize: 178840 Current children cumulated CPU time (s) 197.03 Current children cumulated vsize (Kb) 178840 [startup+210.009 s] Raw data (loadavg): 1.00 0.93 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 64931 0 0 0 20384 309 0 0 25 0 1 0 22175893 183132160 37146 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44710 37146 364 364 0 44346 0 [pid=11925] vsize: 178840 Current children cumulated CPU time (s) 206.93 Current children cumulated vsize (Kb) 178840 [startup+220.01 s] Raw data (loadavg): 1.00 0.93 0.91 1/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 65819 0 0 0 21363 318 0 0 25 0 1 0 22175893 183132160 37150 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44710 37150 364 364 0 44346 0 [pid=11925] vsize: 178840 Current children cumulated CPU time (s) 216.81 Current children cumulated vsize (Kb) 178840 [startup+230.01 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 66717 0 0 0 22333 329 0 0 25 0 1 0 22175893 183132160 37164 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44710 37164 364 364 0 44346 0 [pid=11925] vsize: 178840 Current children cumulated CPU time (s) 226.62 Current children cumulated vsize (Kb) 178840 [startup+240.01 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 66754 0 0 0 23311 336 0 0 25 0 1 0 22175893 183328768 37201 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44758 37201 364 364 0 44394 0 [pid=11925] vsize: 179032 Current children cumulated CPU time (s) 236.47 Current children cumulated vsize (Kb) 179032 [startup+250.011 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 67678 0 0 0 24285 346 0 0 25 0 1 0 22175893 183525376 37241 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44806 37241 364 364 0 44442 0 [pid=11925] vsize: 179224 Current children cumulated CPU time (s) 246.31 Current children cumulated vsize (Kb) 179224 [startup+260.011 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 68568 0 0 0 25256 358 0 0 25 0 1 0 22175893 183525376 37247 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44806 37247 364 364 0 44442 0 [pid=11925] vsize: 179224 Current children cumulated CPU time (s) 256.14 Current children cumulated vsize (Kb) 179224 [startup+270.011 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 69462 0 0 0 26227 370 0 0 25 0 1 0 22175893 187146240 38141 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45690 38141 364 364 0 45326 0 [pid=11925] vsize: 182760 Current children cumulated CPU time (s) 265.97 Current children cumulated vsize (Kb) 182760 [startup+280.011 s] Raw data (loadavg): 1.00 0.94 0.91 1/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 69483 0 0 0 27208 378 0 0 25 0 1 0 22175893 183525376 37278 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44806 37278 364 364 0 44442 0 [pid=11925] vsize: 179224 Current children cumulated CPU time (s) 275.86 Current children cumulated vsize (Kb) 179224 [startup+290.011 s] Raw data (loadavg): 1.00 0.94 0.91 1/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 70375 0 0 0 28188 385 0 0 25 0 1 0 22175893 183525376 37286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44806 37286 364 364 0 44442 0 [pid=11925] vsize: 179224 Current children cumulated CPU time (s) 285.73 Current children cumulated vsize (Kb) 179224 [startup+300.011 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 71265 0 0 0 29163 395 0 0 25 0 1 0 22175893 183525376 37292 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44806 37292 364 364 0 44442 0 [pid=11925] vsize: 179224 Current children cumulated CPU time (s) 295.58 Current children cumulated vsize (Kb) 179224 [startup+310.011 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 71292 0 0 0 30137 403 0 0 25 0 1 0 22175893 183525376 37319 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44806 37319 364 364 0 44442 0 [pid=11925] vsize: 179224 Current children cumulated CPU time (s) 305.4 Current children cumulated vsize (Kb) 179224 [startup+320.012 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 72204 0 0 0 31116 412 0 0 25 0 1 0 22175893 183721984 37347 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44854 37347 364 364 0 44490 0 [pid=11925] vsize: 179416 Current children cumulated CPU time (s) 315.28 Current children cumulated vsize (Kb) 179416 [startup+330.011 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 73095 0 0 0 32095 421 0 0 25 0 1 0 22175893 183721984 37354 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44854 37354 364 364 0 44490 0 [pid=11925] vsize: 179416 Current children cumulated CPU time (s) 325.16 Current children cumulated vsize (Kb) 179416 [startup+340.012 s] Raw data (loadavg): 1.08 0.97 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 73102 0 0 0 33070 430 0 0 25 0 1 0 22175893 183721984 37361 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44854 37361 364 364 0 44490 0 [pid=11925] vsize: 179416 Current children cumulated CPU time (s) 335 Current children cumulated vsize (Kb) 179416 [startup+350.013 s] Raw data (loadavg): 1.07 0.97 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 73993 0 0 0 34046 441 0 0 25 0 1 0 22175893 183721984 37368 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44854 37368 364 364 0 44490 0 [pid=11925] vsize: 179416 Current children cumulated CPU time (s) 344.87 Current children cumulated vsize (Kb) 179416 [startup+360.013 s] Raw data (loadavg): 1.06 0.97 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 74882 0 0 0 35023 449 0 0 25 0 1 0 22175893 183721984 37373 4294967295 134512640 135987407 3221224560 3221223376 134876817 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44854 37373 364 364 0 44490 0 [pid=11925] vsize: 179416 Current children cumulated CPU time (s) 354.72 Current children cumulated vsize (Kb) 179416 [startup+370.014 s] Raw data (loadavg): 1.05 0.97 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 74961 0 0 0 36001 457 0 0 25 0 1 0 22175893 184127488 37452 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44953 37452 364 364 0 44589 0 [pid=11925] vsize: 179812 Current children cumulated CPU time (s) 364.58 Current children cumulated vsize (Kb) 179812 [startup+380.014 s] Raw data (loadavg): 1.04 0.97 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 75855 0 0 0 36982 465 0 0 25 0 1 0 22175893 184127488 37462 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44953 37462 364 364 0 44589 0 [pid=11925] vsize: 179812 Current children cumulated CPU time (s) 374.47 Current children cumulated vsize (Kb) 179812 [startup+390.015 s] Raw data (loadavg): 1.03 0.97 0.91 1/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 76752 0 0 0 37964 473 0 0 25 0 1 0 22175893 184127488 37475 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 44953 37475 364 364 0 44589 0 [pid=11925] vsize: 179812 Current children cumulated CPU time (s) 384.37 Current children cumulated vsize (Kb) 179812 [startup+400.015 s] Raw data (loadavg): 1.03 0.97 0.91 2/55 11986 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 77870 0 0 0 38948 480 0 0 25 0 1 0 22175893 185479168 37709 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 45283 37709 364 364 0 44919 0 [pid=11925] vsize: 181132 Current children cumulated CPU time (s) 394.28 Current children cumulated vsize (Kb) 181132 [startup+410.016 s] Raw data (loadavg): 1.10 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 77974 0 0 0 39918 490 0 0 25 0 1 0 22175893 185884672 37813 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45382 37813 364 364 0 45018 0 [pid=11925] vsize: 181528 Current children cumulated CPU time (s) 404.08 Current children cumulated vsize (Kb) 181528 [startup+420.017 s] Raw data (loadavg): 1.09 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 78866 0 0 0 40896 499 0 0 25 0 1 0 22175893 185884672 37821 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 45382 37821 364 364 0 45018 0 [pid=11925] vsize: 181528 Current children cumulated CPU time (s) 413.95 Current children cumulated vsize (Kb) 181528 [startup+430.016 s] Raw data (loadavg): 1.07 0.99 0.92 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 79756 0 0 0 41877 506 0 0 25 0 1 0 22175893 185884672 37827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45382 37827 364 364 0 45018 0 [pid=11925] vsize: 181528 Current children cumulated CPU time (s) 423.83 Current children cumulated vsize (Kb) 181528 [startup+440.017 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 80669 0 0 0 42850 516 0 0 25 0 1 0 22175893 186019840 37856 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37856 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 433.66 Current children cumulated vsize (Kb) 181660 [startup+450.017 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 81562 0 0 0 43823 527 0 0 25 0 1 0 22175893 186019840 37865 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37865 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 443.5 Current children cumulated vsize (Kb) 181660 [startup+460.017 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 81569 0 0 0 44794 536 0 0 25 0 1 0 22175893 186019840 37872 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37872 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 453.3 Current children cumulated vsize (Kb) 181660 [startup+470.017 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 82461 0 0 0 45778 543 0 0 25 0 1 0 22175893 186019840 37880 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37880 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 463.21 Current children cumulated vsize (Kb) 181660 [startup+480.017 s] Raw data (loadavg): 1.03 0.99 0.92 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 83353 0 0 0 46757 552 0 0 25 0 1 0 22175893 186019840 37888 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37888 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 473.09 Current children cumulated vsize (Kb) 181660 [startup+490.018 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 83361 0 0 0 47732 560 0 0 25 0 1 0 22175893 186019840 37896 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37896 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 482.92 Current children cumulated vsize (Kb) 181660 [startup+500.019 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 84250 0 0 0 48711 569 0 0 25 0 1 0 22175893 186019840 37901 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45415 37901 364 364 0 45051 0 [pid=11925] vsize: 181660 Current children cumulated CPU time (s) 492.8 Current children cumulated vsize (Kb) 181660 [startup+510.019 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 85282 0 0 0 49692 578 0 0 25 0 1 0 22175893 186830848 38049 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45613 38049 364 364 0 45249 0 [pid=11925] vsize: 182452 Current children cumulated CPU time (s) 502.7 Current children cumulated vsize (Kb) 182452 [startup+520.019 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 86215 0 0 0 50675 585 0 0 25 0 1 0 22175893 186966016 38098 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 45646 38098 364 364 0 45282 0 [pid=11925] vsize: 182584 Current children cumulated CPU time (s) 512.6 Current children cumulated vsize (Kb) 182584 [startup+530.02 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 87128 0 0 0 51652 594 0 0 25 0 1 0 22175893 187101184 38127 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45679 38127 364 364 0 45315 0 [pid=11925] vsize: 182716 Current children cumulated CPU time (s) 522.46 Current children cumulated vsize (Kb) 182716 [startup+540.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 88071 0 0 0 52634 602 0 0 25 0 1 0 22175893 190992384 39070 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 46629 39070 364 364 0 46265 0 [pid=11925] vsize: 186516 Current children cumulated CPU time (s) 532.36 Current children cumulated vsize (Kb) 186516 [startup+550.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 88081 0 0 0 53607 610 0 0 25 0 1 0 22175893 187371520 38196 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38196 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 542.17 Current children cumulated vsize (Kb) 182980 [startup+560.02 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 88968 0 0 0 54585 619 0 0 25 0 1 0 22175893 187371520 38199 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38199 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 552.04 Current children cumulated vsize (Kb) 182980 [startup+570.021 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 89860 0 0 0 55568 627 0 0 25 0 1 0 22175893 187371520 38207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38207 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 561.95 Current children cumulated vsize (Kb) 182980 [startup+580.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 90751 0 0 0 56549 635 0 0 25 0 1 0 22175893 187371520 38214 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38214 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 571.84 Current children cumulated vsize (Kb) 182980 [startup+590.022 s] Raw data (loadavg): 1.08 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 91654 0 0 0 57531 642 0 0 25 0 1 0 22175893 187371520 38233 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38233 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 581.73 Current children cumulated vsize (Kb) 182980 [startup+600.023 s] Raw data (loadavg): 1.07 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 91664 0 0 0 58505 651 0 0 25 0 1 0 22175893 187371520 38243 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38243 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 591.56 Current children cumulated vsize (Kb) 182980 [startup+610.022 s] Raw data (loadavg): 1.06 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 92557 0 0 0 59481 660 0 0 25 0 1 0 22175893 187371520 38252 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38252 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 601.41 Current children cumulated vsize (Kb) 182980 [startup+620.023 s] Raw data (loadavg): 1.05 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 93446 0 0 0 60462 668 0 0 25 0 1 0 22175893 187371520 38257 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38257 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 611.3 Current children cumulated vsize (Kb) 182980 [startup+630.023 s] Raw data (loadavg): 1.04 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 94335 0 0 0 61439 677 0 0 25 0 1 0 22175893 187371520 38262 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38262 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 621.16 Current children cumulated vsize (Kb) 182980 [startup+640.024 s] Raw data (loadavg): 1.03 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 94343 0 0 0 62420 683 0 0 25 0 1 0 22175893 187371520 38270 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38270 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 631.03 Current children cumulated vsize (Kb) 182980 [startup+650.023 s] Raw data (loadavg): 1.03 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 95239 0 0 0 63398 693 0 0 25 0 1 0 22175893 187371520 38282 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38282 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 640.91 Current children cumulated vsize (Kb) 182980 [startup+660.023 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 96129 0 0 0 64378 701 0 0 25 0 1 0 22175893 187371520 38288 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38288 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 650.79 Current children cumulated vsize (Kb) 182980 [startup+670.024 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 96141 0 0 0 65362 706 0 0 25 0 1 0 22175893 187371520 38300 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 45745 38300 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 660.68 Current children cumulated vsize (Kb) 182980 [startup+680.025 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 97034 0 0 0 66344 715 0 0 25 0 1 0 22175893 187371520 38309 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38309 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 670.59 Current children cumulated vsize (Kb) 182980 [startup+690.026 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 97924 0 0 0 67331 722 0 0 25 0 1 0 22175893 187371520 38315 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38315 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 680.53 Current children cumulated vsize (Kb) 182980 [startup+700.026 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 98821 0 0 0 68313 730 0 0 25 0 1 0 22175893 187371520 38328 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38328 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 690.43 Current children cumulated vsize (Kb) 182980 [startup+710.026 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 98829 0 0 0 69288 738 0 0 25 0 1 0 22175893 187371520 38336 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38336 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 700.26 Current children cumulated vsize (Kb) 182980 [startup+720.026 s] Raw data (loadavg): 1.01 1.00 0.93 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 99722 0 0 0 70264 748 0 0 25 0 1 0 22175893 187371520 38345 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38345 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 710.12 Current children cumulated vsize (Kb) 182980 [startup+730.026 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 100614 0 0 0 71243 756 0 0 25 0 1 0 22175893 187371520 38353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38353 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 719.99 Current children cumulated vsize (Kb) 182980 [startup+740.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 101509 0 0 0 72228 763 0 0 25 0 1 0 22175893 187371520 38364 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 45745 38364 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 729.91 Current children cumulated vsize (Kb) 182980 [startup+750.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 102402 0 0 0 73200 774 0 0 25 0 1 0 22175893 190992384 39257 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 46629 39257 364 364 0 46265 0 [pid=11925] vsize: 186516 Current children cumulated CPU time (s) 739.74 Current children cumulated vsize (Kb) 186516 [startup+760.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 102404 0 0 0 74178 783 0 0 25 0 1 0 22175893 187371520 38375 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38375 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 749.61 Current children cumulated vsize (Kb) 182980 [startup+770.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 103294 0 0 0 75154 791 0 0 25 0 1 0 22175893 187371520 38381 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38381 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 759.45 Current children cumulated vsize (Kb) 182980 [startup+780.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 104190 0 0 0 76136 800 0 0 25 0 1 0 22175893 187371520 38393 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38393 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 769.36 Current children cumulated vsize (Kb) 182980 [startup+790.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 105085 0 0 0 77119 809 0 0 25 0 1 0 22175893 187371520 38404 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38404 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 779.28 Current children cumulated vsize (Kb) 182980 [startup+800.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 105978 0 0 0 78100 818 0 0 25 0 1 0 22175893 190992384 39297 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 46629 39297 364 364 0 46265 0 [pid=11925] vsize: 186516 Current children cumulated CPU time (s) 789.18 Current children cumulated vsize (Kb) 186516 [startup+810.029 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 105987 0 0 0 79080 826 0 0 25 0 1 0 22175893 187371520 38422 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38422 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 799.06 Current children cumulated vsize (Kb) 182980 [startup+820.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 106874 0 0 0 80061 833 0 0 25 0 1 0 22175893 187371520 38425 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38425 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 808.94 Current children cumulated vsize (Kb) 182980 [startup+830.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 107767 0 0 0 81042 842 0 0 25 0 1 0 22175893 187371520 38434 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38434 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 818.84 Current children cumulated vsize (Kb) 182980 [startup+840.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 108658 0 0 0 82019 850 0 0 25 0 1 0 22175893 190992384 39325 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 46629 39325 364 364 0 46265 0 [pid=11925] vsize: 186516 Current children cumulated CPU time (s) 828.69 Current children cumulated vsize (Kb) 186516 [startup+850.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 108666 0 0 0 83000 857 0 0 25 0 1 0 22175893 187371520 38449 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45745 38449 364 364 0 45381 0 [pid=11925] vsize: 182980 Current children cumulated CPU time (s) 838.57 Current children cumulated vsize (Kb) 182980 [startup+860.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 109592 0 0 0 83981 864 0 0 25 0 1 0 22175893 187641856 38491 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45811 38491 364 364 0 45447 0 [pid=11925] vsize: 183244 Current children cumulated CPU time (s) 848.45 Current children cumulated vsize (Kb) 183244 [startup+870.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 110564 0 0 0 84964 871 0 0 25 0 1 0 22175893 187908096 38546 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45876 38546 364 364 0 45512 0 [pid=11925] vsize: 183504 Current children cumulated CPU time (s) 858.35 Current children cumulated vsize (Kb) 183504 [startup+880.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 111458 0 0 0 85954 877 0 0 25 0 1 0 22175893 187908096 38556 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 45876 38556 364 364 0 45512 0 [pid=11925] vsize: 183504 Current children cumulated CPU time (s) 868.31 Current children cumulated vsize (Kb) 183504 [startup+890.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 112689 0 0 0 86941 883 0 0 25 0 1 0 22175893 193478656 39424 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39424 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 878.24 Current children cumulated vsize (Kb) 188944 [startup+900.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 113588 0 0 0 87926 890 0 0 25 0 1 0 22175893 193478656 39439 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39439 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 888.16 Current children cumulated vsize (Kb) 188944 [startup+910.03 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 114483 0 0 0 88909 898 0 0 25 0 1 0 22175893 193478656 39450 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39450 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 898.07 Current children cumulated vsize (Kb) 188944 [startup+920.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 115389 0 0 0 89894 905 0 0 25 0 1 0 22175893 193478656 39472 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39472 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 907.99 Current children cumulated vsize (Kb) 188944 [startup+930.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 116282 0 0 0 90879 912 0 0 25 0 1 0 22175893 193478656 39481 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39481 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 917.91 Current children cumulated vsize (Kb) 188944 [startup+940.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 116291 0 0 0 91854 921 0 0 25 0 1 0 22175893 193478656 39490 4294967295 134512640 135987407 3221224560 3221223312 134801233 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39490 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 927.75 Current children cumulated vsize (Kb) 188944 [startup+950.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 117179 0 0 0 92841 927 0 0 25 0 1 0 22175893 193478656 39494 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39494 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 937.68 Current children cumulated vsize (Kb) 188944 [startup+960.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 118079 0 0 0 93824 933 0 0 25 0 1 0 22175893 193478656 39510 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39510 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 947.57 Current children cumulated vsize (Kb) 188944 [startup+970.031 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 118086 0 0 0 94800 943 0 0 25 0 1 0 22175893 193478656 39517 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39517 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 957.43 Current children cumulated vsize (Kb) 188944 [startup+980.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 118978 0 0 0 95776 952 0 0 25 0 1 0 22175893 193478656 39525 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39525 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 967.28 Current children cumulated vsize (Kb) 188944 [startup+990.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 119877 0 0 0 96757 959 0 0 25 0 1 0 22175893 193478656 39540 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39540 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 977.16 Current children cumulated vsize (Kb) 188944 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 119884 0 0 0 97733 967 0 0 25 0 1 0 22175893 193478656 39547 4294967295 134512640 135987407 3221224560 3221223280 134814003 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39547 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 987 Current children cumulated vsize (Kb) 188944 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) T 11924 11925 4060 0 -1 0 120777 0 0 0 98714 974 0 0 25 0 1 0 22175893 193478656 39556 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39556 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 996.88 Current children cumulated vsize (Kb) 188944 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 121665 0 0 0 99698 981 0 0 25 0 1 0 22175893 193478656 39560 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39560 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 1006.79 Current children cumulated vsize (Kb) 188944 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 122552 0 0 0 100678 990 0 0 25 0 1 0 22175893 193478656 39563 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47236 39563 364 364 0 46872 0 [pid=11925] vsize: 188944 Current children cumulated CPU time (s) 1016.68 Current children cumulated vsize (Kb) 188944 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 123440 0 0 0 101655 998 0 0 25 0 1 0 22175893 197099520 40451 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 48120 40451 364 364 0 47756 0 [pid=11925] vsize: 192480 Current children cumulated CPU time (s) 1026.53 Current children cumulated vsize (Kb) 192480 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 124328 0 0 0 102640 1005 0 0 25 0 1 0 22175893 197099520 40455 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 48120 40455 364 364 0 47756 0 [pid=11925] vsize: 192480 Current children cumulated CPU time (s) 1036.45 Current children cumulated vsize (Kb) 192480 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 124540 0 0 0 103621 1012 0 0 25 0 1 0 22175893 194138112 39684 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47397 39684 364 364 0 47033 0 [pid=11925] vsize: 189588 Current children cumulated CPU time (s) 1046.33 Current children cumulated vsize (Kb) 189588 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 125427 0 0 0 104603 1020 0 0 25 0 1 0 22175893 194138112 39687 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 47397 39687 364 364 0 47033 0 [pid=11925] vsize: 189588 Current children cumulated CPU time (s) 1056.23 Current children cumulated vsize (Kb) 189588 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 126318 0 0 0 105592 1026 0 0 25 0 1 0 22175893 194138112 39694 4294967295 134512640 135987407 3221224560 3221223248 134811948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 47397 39694 364 364 0 47033 0 [pid=11925] vsize: 189588 Current children cumulated CPU time (s) 1066.18 Current children cumulated vsize (Kb) 189588 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 126325 0 0 0 106569 1034 0 0 25 0 1 0 22175893 194138112 39701 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47397 39701 364 364 0 47033 0 [pid=11925] vsize: 189588 Current children cumulated CPU time (s) 1076.03 Current children cumulated vsize (Kb) 189588 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 127217 0 0 0 107551 1042 0 0 25 0 1 0 22175893 194072576 39709 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39709 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1085.93 Current children cumulated vsize (Kb) 189524 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 128108 0 0 0 108526 1051 0 0 25 0 1 0 22175893 194072576 39716 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39716 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1095.77 Current children cumulated vsize (Kb) 189524 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 128116 0 0 0 109508 1056 0 0 25 0 1 0 22175893 194072576 39724 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39724 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1105.64 Current children cumulated vsize (Kb) 189524 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 129007 0 0 0 110490 1064 0 0 25 0 1 0 22175893 194072576 39731 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39731 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1115.54 Current children cumulated vsize (Kb) 189524 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 129903 0 0 0 111472 1071 0 0 25 0 1 0 22175893 194072576 39743 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39743 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1125.43 Current children cumulated vsize (Kb) 189524 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 130795 0 0 0 112451 1081 0 0 25 0 1 0 22175893 197693440 40635 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 48265 40635 364 364 0 47901 0 [pid=11925] vsize: 193060 Current children cumulated CPU time (s) 1135.32 Current children cumulated vsize (Kb) 193060 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 130797 0 0 0 113432 1087 0 0 25 0 1 0 22175893 194072576 39753 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39753 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1145.19 Current children cumulated vsize (Kb) 189524 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 131689 0 0 0 114413 1095 0 0 25 0 1 0 22175893 194072576 39761 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39761 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1155.08 Current children cumulated vsize (Kb) 189524 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 132581 0 0 0 115393 1102 0 0 25 0 1 0 22175893 194072576 39769 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47381 39769 364 364 0 47017 0 [pid=11925] vsize: 189524 Current children cumulated CPU time (s) 1164.95 Current children cumulated vsize (Kb) 189524 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 132608 0 0 0 116378 1107 0 0 25 0 1 0 22175893 194207744 39796 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47414 39796 364 364 0 47050 0 [pid=11925] vsize: 189656 Current children cumulated CPU time (s) 1174.85 Current children cumulated vsize (Kb) 189656 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 133601 0 0 0 117363 1114 0 0 25 0 1 0 22175893 194469888 39839 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47478 39839 364 364 0 47114 0 [pid=11925] vsize: 189912 Current children cumulated CPU time (s) 1184.77 Current children cumulated vsize (Kb) 189912 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 134703 0 0 0 118349 1121 0 0 25 0 1 0 22175893 194994176 39925 4294967295 134512640 135987407 3221224560 3221223408 134790082 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11925/statm): 47606 39925 364 364 0 47242 0 [pid=11925] vsize: 190424 Current children cumulated CPU time (s) 1194.7 Current children cumulated vsize (Kb) 190424 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 134715 0 0 0 119327 1130 0 0 25 0 1 0 22175893 194994176 39937 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47606 39937 364 364 0 47242 0 [pid=11925] vsize: 190424 Current children cumulated CPU time (s) 1204.57 Current children cumulated vsize (Kb) 190424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 11988 Raw data (/proc/11925/stat): 11925 (pb2sat) R 11924 11925 4060 0 -1 0 134715 0 0 0 119327 1130 0 0 25 0 1 0 22175893 194994176 39937 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11925/statm): 47606 39937 364 364 0 47242 0 [pid=11925] vsize: 190424 Current children cumulated CPU time (s) 1204.57 Current children cumulated vsize (Kb) 190424 Sending SIGTERM to -11925 Sleeping 2 seconds One traced child (pid=11925) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1220.76 CPU time (s): 1205.29 CPU user time (s): 1193.9 CPU system time (s): 11.3813 CPU usage (%): 98.7326 Max. virtual memory (cumulated for all children) (Kb): 193060
ERROR: no interpretation found !