Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air06.opb |
MD5SUM | f85d0079133f298b06c25764b03ff228 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 70057 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8627 |
Biggest coefficient in the objective function | 1859 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 4587852 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 1859 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4587852 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.06 |
Number of variables | 8627 |
Total number of constraints | 9452 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9452 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 461 |
LAUNCH ON wulflinc13 THE 2005-09-23 17:52:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9087 boxname=wulflinc13 idbench=883 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f85d0079133f298b06c25764b03ff228 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air06.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air06.opb IDLAUNCH: 9087 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.180 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.180 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: 964988 kB Buffers: 600 kB Cached: 51692 kB SwapCached: 0 kB Active: 17252 kB Inactive: 37984 kB HighTotal: 131008 kB HighFree: 74984 kB LowTotal: 903652 kB LowFree: 890004 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8780 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:12:57 (client local time) WITH STATUS 0 IN 1203.49 SECONDS stats: 9087 7 1203.49 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 71066/148604 Time: 587.458/86400 c Decision: 71107/148604 Time: 687.172/86400 c Decision: 71124/148604 Time: 740.375/86400 c Decision: 71302/148604 Time: 911.559/86400 c Decision: 71349/148604 Time: 995.792/86400 c Decision: 71388/148604 Time: 1100.26/86400 c Decision: 71398/148604 Time: 1152.06/86400 c Decision: 71402/148604 Time: 1172.16/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/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22133463 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 373 2 364 364 0 9 0 [pid=9233] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-air06.opb [startup+10.0015 s] Raw data (loadavg): 0.91 0.93 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 18512 0 0 0 950 46 0 0 25 0 1 0 22133463 67067904 12799 4294967295 134512640 135987407 3221224560 3221196044 134533884 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 16374 12799 364 364 0 16010 0 [pid=9233] vsize: 65496 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 65496 [startup+20.0022 s] Raw data (loadavg): 0.92 0.93 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 20986 0 0 0 1929 57 0 0 25 0 1 0 22133463 63275008 12561 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 15448 12561 364 364 0 15084 0 [pid=9233] vsize: 61792 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 61792 [startup+30.0029 s] Raw data (loadavg): 0.93 0.93 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21358 0 0 0 2903 65 0 0 25 0 1 0 22133463 64876544 12933 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 15839 12933 364 364 0 15475 0 [pid=9233] vsize: 63356 Current children cumulated CPU time (s) 29.68 Current children cumulated vsize (Kb) 63356 [startup+40.0025 s] Raw data (loadavg): 0.94 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21584 0 0 0 3875 75 0 0 25 0 1 0 22133463 65785856 13159 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 16061 13159 364 364 0 15697 0 [pid=9233] vsize: 64244 Current children cumulated CPU time (s) 39.5 Current children cumulated vsize (Kb) 64244 [startup+50.0022 s] Raw data (loadavg): 0.95 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21724 0 0 0 4849 82 0 0 25 0 1 0 22133463 66068480 13299 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 16130 13299 364 364 0 15766 0 [pid=9233] vsize: 64520 Current children cumulated CPU time (s) 49.31 Current children cumulated vsize (Kb) 64520 [startup+60.0028 s] Raw data (loadavg): 0.96 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21873 0 0 0 5821 91 0 0 25 0 1 0 22133463 66519040 13448 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 16240 13448 364 364 0 15876 0 [pid=9233] vsize: 64960 Current children cumulated CPU time (s) 59.12 Current children cumulated vsize (Kb) 64960 [startup+70.0035 s] Raw data (loadavg): 0.96 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 21995 0 0 0 6794 100 0 0 25 0 1 0 22133463 66973696 13570 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 16351 13570 364 364 0 15987 0 [pid=9233] vsize: 65404 Current children cumulated CPU time (s) 68.94 Current children cumulated vsize (Kb) 65404 [startup+80.0042 s] Raw data (loadavg): 0.97 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22134 0 0 0 7770 107 0 0 25 0 1 0 22133463 67448832 13709 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 16467 13709 364 364 0 16103 0 [pid=9233] vsize: 65868 Current children cumulated CPU time (s) 78.77 Current children cumulated vsize (Kb) 65868 [startup+90.0038 s] Raw data (loadavg): 0.97 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22259 0 0 0 8740 117 0 0 25 0 1 0 22133463 67792896 13834 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 16551 13834 364 364 0 16187 0 [pid=9233] vsize: 66204 Current children cumulated CPU time (s) 88.57 Current children cumulated vsize (Kb) 66204 [startup+100.004 s] Raw data (loadavg): 0.98 0.94 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22364 0 0 0 9715 125 0 0 25 0 1 0 22133463 76525568 13939 4294967295 134512640 135987407 3221224560 3221222960 134877642 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 18683 13939 364 364 0 18319 0 [pid=9233] vsize: 74732 Current children cumulated CPU time (s) 98.4 Current children cumulated vsize (Kb) 74732 [startup+110.004 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22454 0 0 0 10689 134 0 0 25 0 1 0 22133463 76820480 14029 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 18755 14029 364 364 0 18391 0 [pid=9233] vsize: 75020 Current children cumulated CPU time (s) 108.23 Current children cumulated vsize (Kb) 75020 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22586 0 0 0 11663 142 0 0 25 0 1 0 22133463 77123584 14161 4294967295 134512640 135987407 3221224560 3221223424 134812887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 18829 14161 364 364 0 18465 0 [pid=9233] vsize: 75316 Current children cumulated CPU time (s) 118.05 Current children cumulated vsize (Kb) 75316 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22718 0 0 0 12633 152 0 0 25 0 1 0 22133463 77606912 14293 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 18947 14293 364 364 0 18583 0 [pid=9233] vsize: 75788 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (Kb) 75788 [startup+140.005 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22818 0 0 0 13603 162 0 0 25 0 1 0 22133463 77910016 14393 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19021 14393 364 364 0 18657 0 [pid=9233] vsize: 76084 Current children cumulated CPU time (s) 137.65 Current children cumulated vsize (Kb) 76084 [startup+150.005 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 22927 0 0 0 14579 170 0 0 25 0 1 0 22133463 78188544 14502 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 19089 14502 364 364 0 18725 0 [pid=9233] vsize: 76356 Current children cumulated CPU time (s) 147.49 Current children cumulated vsize (Kb) 76356 [startup+160.005 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23033 0 0 0 15557 177 0 0 25 0 1 0 22133463 78336000 14608 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19125 14608 364 364 0 18761 0 [pid=9233] vsize: 76500 Current children cumulated CPU time (s) 157.34 Current children cumulated vsize (Kb) 76500 [startup+170.005 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23154 0 0 0 16531 186 0 0 25 0 1 0 22133463 78643200 14729 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 19200 14729 364 364 0 18836 0 [pid=9233] vsize: 76800 Current children cumulated CPU time (s) 167.17 Current children cumulated vsize (Kb) 76800 [startup+180.007 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23277 0 0 0 17510 193 0 0 25 0 1 0 22133463 79126528 14852 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 19318 14852 364 364 0 18954 0 [pid=9233] vsize: 77272 Current children cumulated CPU time (s) 177.03 Current children cumulated vsize (Kb) 77272 [startup+190.007 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23359 0 0 0 18491 199 0 0 25 0 1 0 22133463 79126528 14934 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19318 14934 364 364 0 18954 0 [pid=9233] vsize: 77272 Current children cumulated CPU time (s) 186.9 Current children cumulated vsize (Kb) 77272 [startup+200.007 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23453 0 0 0 19462 209 0 0 25 0 1 0 22133463 79486976 15028 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19406 15028 364 364 0 19042 0 [pid=9233] vsize: 77624 Current children cumulated CPU time (s) 196.71 Current children cumulated vsize (Kb) 77624 [startup+210.008 s] Raw data (loadavg): 0.99 0.95 0.94 1/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4060 0 -1 0 23604 0 0 0 20444 215 0 0 25 0 1 0 22133463 79798272 15179 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9233/statm): 19482 15179 364 364 0 19118 0 [pid=9233] vsize: 77928 Current children cumulated CPU time (s) 206.59 Current children cumulated vsize (Kb) 77928 [startup+220.008 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23707 0 0 0 21428 221 0 0 25 0 1 0 22133463 79953920 15282 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19520 15282 364 364 0 19156 0 [pid=9233] vsize: 78080 Current children cumulated CPU time (s) 216.49 Current children cumulated vsize (Kb) 78080 [startup+230.009 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23819 0 0 0 22409 226 0 0 25 0 1 0 22133463 80101376 15394 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19556 15394 364 364 0 19192 0 [pid=9233] vsize: 78224 Current children cumulated CPU time (s) 226.35 Current children cumulated vsize (Kb) 78224 [startup+240.01 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23914 0 0 0 23386 234 0 0 25 0 1 0 22133463 80244736 15489 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19591 15489 364 364 0 19227 0 [pid=9233] vsize: 78364 Current children cumulated CPU time (s) 236.2 Current children cumulated vsize (Kb) 78364 [startup+250.009 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 23994 0 0 0 24358 243 0 0 25 0 1 0 22133463 80564224 15569 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19669 15569 364 364 0 19305 0 [pid=9233] vsize: 78676 Current children cumulated CPU time (s) 246.01 Current children cumulated vsize (Kb) 78676 [startup+260.01 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24156 0 0 0 25339 249 0 0 25 0 1 0 22133463 80949248 15731 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19763 15731 364 364 0 19399 0 [pid=9233] vsize: 79052 Current children cumulated CPU time (s) 255.88 Current children cumulated vsize (Kb) 79052 [startup+270.01 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24326 0 0 0 26314 259 0 0 25 0 1 0 22133463 81448960 15901 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 19885 15901 364 364 0 19521 0 [pid=9233] vsize: 79540 Current children cumulated CPU time (s) 265.73 Current children cumulated vsize (Kb) 79540 [startup+280.01 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24431 0 0 0 27289 268 0 0 25 0 1 0 22133463 81743872 16006 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 19957 16006 364 364 0 19593 0 [pid=9233] vsize: 79828 Current children cumulated CPU time (s) 275.57 Current children cumulated vsize (Kb) 79828 [startup+290.011 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24590 0 0 0 28275 273 0 0 25 0 1 0 22133463 81940480 16165 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20005 16165 364 364 0 19641 0 [pid=9233] vsize: 80020 Current children cumulated CPU time (s) 285.48 Current children cumulated vsize (Kb) 80020 [startup+300.011 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24719 0 0 0 29251 281 0 0 22 0 1 0 22133463 82395136 16294 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 20116 16294 364 364 0 19752 0 [pid=9233] vsize: 80464 Current children cumulated CPU time (s) 295.32 Current children cumulated vsize (Kb) 80464 [startup+310.011 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24829 0 0 0 30230 288 0 0 25 0 1 0 22133463 82591744 16404 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20164 16404 364 364 0 19800 0 [pid=9233] vsize: 80656 Current children cumulated CPU time (s) 305.18 Current children cumulated vsize (Kb) 80656 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24921 0 0 0 31210 294 0 0 25 0 1 0 22133463 82788352 16496 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 20212 16496 364 364 0 19848 0 [pid=9233] vsize: 80848 Current children cumulated CPU time (s) 315.04 Current children cumulated vsize (Kb) 80848 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 24985 0 0 0 32188 302 0 0 25 0 1 0 22133463 82788352 16560 4294967295 134512640 135987407 3221224560 3221223344 134812346 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20212 16560 364 364 0 19848 0 [pid=9233] vsize: 80848 Current children cumulated CPU time (s) 324.9 Current children cumulated vsize (Kb) 80848 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25066 0 0 0 33167 309 0 0 25 0 1 0 22133463 82944000 16641 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20250 16641 364 364 0 19886 0 [pid=9233] vsize: 81000 Current children cumulated CPU time (s) 334.76 Current children cumulated vsize (Kb) 81000 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25217 0 0 0 34151 314 0 0 25 0 1 0 22133463 83296256 16792 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20336 16792 364 364 0 19972 0 [pid=9233] vsize: 81344 Current children cumulated CPU time (s) 344.65 Current children cumulated vsize (Kb) 81344 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25323 0 0 0 35124 323 0 0 25 0 1 0 22133463 83689472 16898 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 20432 16898 364 364 0 20068 0 [pid=9233] vsize: 81728 Current children cumulated CPU time (s) 354.47 Current children cumulated vsize (Kb) 81728 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25410 0 0 0 36100 330 0 0 25 0 1 0 22133463 83853312 16985 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20472 16985 364 364 0 20108 0 [pid=9233] vsize: 81888 Current children cumulated CPU time (s) 364.3 Current children cumulated vsize (Kb) 81888 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25507 0 0 0 37084 336 0 0 25 0 1 0 22133463 83853312 17082 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20472 17082 364 364 0 20108 0 [pid=9233] vsize: 81888 Current children cumulated CPU time (s) 374.2 Current children cumulated vsize (Kb) 81888 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25580 0 0 0 38057 344 0 0 25 0 1 0 22133463 84017152 17155 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20512 17155 364 364 0 20148 0 [pid=9233] vsize: 82048 Current children cumulated CPU time (s) 384.01 Current children cumulated vsize (Kb) 82048 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25659 0 0 0 39041 349 0 0 25 0 1 0 22133463 84017152 17234 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20512 17234 364 364 0 20148 0 [pid=9233] vsize: 82048 Current children cumulated CPU time (s) 393.9 Current children cumulated vsize (Kb) 82048 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25746 0 0 0 40017 358 0 0 21 0 1 0 22133463 84209664 17321 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 20559 17321 364 364 0 20195 0 [pid=9233] vsize: 82236 Current children cumulated CPU time (s) 403.75 Current children cumulated vsize (Kb) 82236 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25828 0 0 0 40999 364 0 0 25 0 1 0 22133463 84209664 17403 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20559 17403 364 364 0 20195 0 [pid=9233] vsize: 82236 Current children cumulated CPU time (s) 413.63 Current children cumulated vsize (Kb) 82236 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 25916 0 0 0 41979 370 0 0 25 0 1 0 22133463 84361216 17491 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20596 17491 364 364 0 20232 0 [pid=9233] vsize: 82384 Current children cumulated CPU time (s) 423.49 Current children cumulated vsize (Kb) 82384 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9233 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26074 0 0 0 42952 380 0 0 25 0 1 0 22133463 84860928 17649 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20718 17649 364 364 0 20354 0 [pid=9233] vsize: 82872 Current children cumulated CPU time (s) 433.32 Current children cumulated vsize (Kb) 82872 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/58 9268 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26152 0 0 0 43928 389 0 0 19 0 1 0 22133463 84860928 17727 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 20718 17727 364 364 0 20354 0 [pid=9233] vsize: 82872 Current children cumulated CPU time (s) 443.17 Current children cumulated vsize (Kb) 82872 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26243 0 0 0 44910 395 0 0 25 0 1 0 22133463 101638144 17818 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 24814 17818 364 364 0 24450 0 [pid=9233] vsize: 99256 Current children cumulated CPU time (s) 453.05 Current children cumulated vsize (Kb) 99256 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26396 0 0 0 45893 402 0 0 25 0 1 0 22133463 101969920 17971 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 24895 17971 364 364 0 24531 0 [pid=9233] vsize: 99580 Current children cumulated CPU time (s) 462.95 Current children cumulated vsize (Kb) 99580 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26513 0 0 0 46868 411 0 0 25 0 1 0 22133463 102113280 18088 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 24930 18088 364 364 0 24566 0 [pid=9233] vsize: 99720 Current children cumulated CPU time (s) 472.79 Current children cumulated vsize (Kb) 99720 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26603 0 0 0 47849 417 0 0 25 0 1 0 22133463 102248448 18178 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 24963 18178 364 364 0 24599 0 [pid=9233] vsize: 99852 Current children cumulated CPU time (s) 482.66 Current children cumulated vsize (Kb) 99852 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9288 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26683 0 0 0 48828 423 0 0 25 0 1 0 22133463 102522880 18258 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25030 18258 364 364 0 24666 0 [pid=9233] vsize: 100120 Current children cumulated CPU time (s) 492.51 Current children cumulated vsize (Kb) 100120 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9290 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26796 0 0 0 49808 429 0 0 25 0 1 0 22133463 102666240 18371 4294967295 134512640 135987407 3221224560 3221223424 134812903 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25065 18371 364 364 0 24701 0 [pid=9233] vsize: 100260 Current children cumulated CPU time (s) 502.37 Current children cumulated vsize (Kb) 100260 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9292 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 26935 0 0 0 50792 435 0 0 25 0 1 0 22133463 102813696 18510 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25101 18510 364 364 0 24737 0 [pid=9233] vsize: 100404 Current children cumulated CPU time (s) 512.27 Current children cumulated vsize (Kb) 100404 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27034 0 0 0 51776 441 0 0 25 0 1 0 22133463 103010304 18609 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25149 18609 364 364 0 24785 0 [pid=9233] vsize: 100596 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (Kb) 100596 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27115 0 0 0 52764 446 0 0 25 0 1 0 22133463 103010304 18690 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25149 18690 364 364 0 24785 0 [pid=9233] vsize: 100596 Current children cumulated CPU time (s) 532.1 Current children cumulated vsize (Kb) 100596 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27347 0 0 0 53746 452 0 0 25 0 1 0 22133463 103825408 18922 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25348 18922 364 364 0 24984 0 [pid=9233] vsize: 101392 Current children cumulated CPU time (s) 541.98 Current children cumulated vsize (Kb) 101392 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27475 0 0 0 54737 456 0 0 25 0 1 0 22133463 103825408 19050 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25348 19050 364 364 0 24984 0 [pid=9233] vsize: 101392 Current children cumulated CPU time (s) 551.93 Current children cumulated vsize (Kb) 101392 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27550 0 0 0 55715 464 0 0 25 0 1 0 22133463 103825408 19125 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25348 19125 364 364 0 24984 0 [pid=9233] vsize: 101392 Current children cumulated CPU time (s) 561.79 Current children cumulated vsize (Kb) 101392 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27624 0 0 0 56690 473 0 0 25 0 1 0 22133463 104022016 19199 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25396 19199 364 364 0 25032 0 [pid=9233] vsize: 101584 Current children cumulated CPU time (s) 571.63 Current children cumulated vsize (Kb) 101584 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27699 0 0 0 57676 478 0 0 25 0 1 0 22133463 104022016 19274 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25396 19274 364 364 0 25032 0 [pid=9233] vsize: 101584 Current children cumulated CPU time (s) 581.54 Current children cumulated vsize (Kb) 101584 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 27804 0 0 0 58666 481 0 0 25 0 1 0 22133463 104022016 19379 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25396 19379 364 364 0 25032 0 [pid=9233] vsize: 101584 Current children cumulated CPU time (s) 591.47 Current children cumulated vsize (Kb) 101584 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.94 1/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) T 9232 9233 4060 0 -1 0 28222 0 0 0 59653 486 0 0 25 0 1 0 22133463 104329216 19506 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25471 19506 364 364 0 25107 0 [pid=9233] vsize: 101884 Current children cumulated CPU time (s) 601.39 Current children cumulated vsize (Kb) 101884 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28225 0 0 0 60629 493 0 0 25 0 1 0 22133463 104329216 19509 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25471 19509 364 364 0 25107 0 [pid=9233] vsize: 101884 Current children cumulated CPU time (s) 611.22 Current children cumulated vsize (Kb) 101884 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28242 0 0 0 61612 498 0 0 25 0 1 0 22133463 104329216 19526 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25471 19526 364 364 0 25107 0 [pid=9233] vsize: 101884 Current children cumulated CPU time (s) 621.1 Current children cumulated vsize (Kb) 101884 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28280 0 0 0 62590 505 0 0 25 0 1 0 22133463 104525824 19564 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25519 19564 364 364 0 25155 0 [pid=9233] vsize: 102076 Current children cumulated CPU time (s) 630.95 Current children cumulated vsize (Kb) 102076 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28306 0 0 0 63573 511 0 0 25 0 1 0 22133463 104689664 19590 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25559 19590 364 364 0 25195 0 [pid=9233] vsize: 102236 Current children cumulated CPU time (s) 640.84 Current children cumulated vsize (Kb) 102236 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28322 0 0 0 64551 519 0 0 25 0 1 0 22133463 104689664 19606 4294967295 134512640 135987407 3221224560 3221223348 134801096 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25559 19606 364 364 0 25195 0 [pid=9233] vsize: 102236 Current children cumulated CPU time (s) 650.7 Current children cumulated vsize (Kb) 102236 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28324 0 0 0 65533 524 0 0 25 0 1 0 22133463 104689664 19608 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25559 19608 364 364 0 25195 0 [pid=9233] vsize: 102236 Current children cumulated CPU time (s) 660.57 Current children cumulated vsize (Kb) 102236 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28377 0 0 0 66501 533 0 0 25 0 1 0 22133463 105050112 19661 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25647 19661 364 364 0 25283 0 [pid=9233] vsize: 102588 Current children cumulated CPU time (s) 670.34 Current children cumulated vsize (Kb) 102588 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28423 0 0 0 67478 540 0 0 25 0 1 0 22133463 105213952 19707 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25687 19707 364 364 0 25323 0 [pid=9233] vsize: 102748 Current children cumulated CPU time (s) 680.18 Current children cumulated vsize (Kb) 102748 [startup+700.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28426 0 0 0 68456 545 0 0 25 0 1 0 22133463 105213952 19710 4294967295 134512640 135987407 3221224560 3221223248 134812035 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25687 19710 364 364 0 25323 0 [pid=9233] vsize: 102748 Current children cumulated CPU time (s) 690.01 Current children cumulated vsize (Kb) 102748 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28762 0 0 0 69435 553 0 0 21 0 1 0 22133463 105410560 19755 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25735 19755 364 364 0 25371 0 [pid=9233] vsize: 102940 Current children cumulated CPU time (s) 699.88 Current children cumulated vsize (Kb) 102940 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28774 0 0 0 70415 561 0 0 25 0 1 0 22133463 105607168 19767 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25783 19767 364 364 0 25419 0 [pid=9233] vsize: 103132 Current children cumulated CPU time (s) 709.76 Current children cumulated vsize (Kb) 103132 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28778 0 0 0 71391 569 0 0 25 0 1 0 22133463 105607168 19771 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25783 19771 364 364 0 25419 0 [pid=9233] vsize: 103132 Current children cumulated CPU time (s) 719.6 Current children cumulated vsize (Kb) 103132 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28815 0 0 0 72367 577 0 0 25 0 1 0 22133463 105771008 19808 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25823 19808 364 364 0 25459 0 [pid=9233] vsize: 103292 Current children cumulated CPU time (s) 729.44 Current children cumulated vsize (Kb) 103292 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9294 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28843 0 0 0 73355 581 0 0 25 0 1 0 22133463 105771008 19836 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25823 19836 364 364 0 25459 0 [pid=9233] vsize: 103292 Current children cumulated CPU time (s) 739.36 Current children cumulated vsize (Kb) 103292 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 28847 0 0 0 74349 582 0 0 25 0 1 0 22133463 105771008 19840 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25823 19840 364 364 0 25459 0 [pid=9233] vsize: 103292 Current children cumulated CPU time (s) 749.31 Current children cumulated vsize (Kb) 103292 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29149 0 0 0 75331 588 0 0 18 0 1 0 22133463 105771008 19851 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25823 19851 364 364 0 25459 0 [pid=9233] vsize: 103292 Current children cumulated CPU time (s) 759.19 Current children cumulated vsize (Kb) 103292 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29163 0 0 0 76309 597 0 0 25 0 1 0 22133463 105934848 19865 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25863 19865 364 364 0 25499 0 [pid=9233] vsize: 103452 Current children cumulated CPU time (s) 769.06 Current children cumulated vsize (Kb) 103452 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29174 0 0 0 77295 602 0 0 25 0 1 0 22133463 105934848 19876 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25863 19876 364 364 0 25499 0 [pid=9233] vsize: 103452 Current children cumulated CPU time (s) 778.97 Current children cumulated vsize (Kb) 103452 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29193 0 0 0 78274 608 0 0 25 0 1 0 22133463 106098688 19895 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25903 19895 364 364 0 25539 0 [pid=9233] vsize: 103612 Current children cumulated CPU time (s) 788.82 Current children cumulated vsize (Kb) 103612 [startup+810.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29221 0 0 0 79245 618 0 0 25 0 1 0 22133463 106262528 19923 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25943 19923 364 364 0 25579 0 [pid=9233] vsize: 103772 Current children cumulated CPU time (s) 798.63 Current children cumulated vsize (Kb) 103772 [startup+820.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29232 0 0 0 80217 626 0 0 25 0 1 0 22133463 106262528 19934 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 25943 19934 364 364 0 25579 0 [pid=9233] vsize: 103772 Current children cumulated CPU time (s) 808.43 Current children cumulated vsize (Kb) 103772 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29273 0 0 0 81187 634 0 0 25 0 1 0 22133463 106401792 19975 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 25977 19975 364 364 0 25613 0 [pid=9233] vsize: 103908 Current children cumulated CPU time (s) 818.21 Current children cumulated vsize (Kb) 103908 [startup+840.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29297 0 0 0 82171 639 0 0 25 0 1 0 22133463 106582016 19999 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26021 19999 364 364 0 25657 0 [pid=9233] vsize: 104084 Current children cumulated CPU time (s) 828.1 Current children cumulated vsize (Kb) 104084 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29328 0 0 0 83153 645 0 0 25 0 1 0 22133463 106582016 20030 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26021 20030 364 364 0 25657 0 [pid=9233] vsize: 104084 Current children cumulated CPU time (s) 837.98 Current children cumulated vsize (Kb) 104084 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29387 0 0 0 84131 652 0 0 24 0 1 0 22133463 106582016 20089 4294967295 134512640 135987407 3221224560 3221223380 134812260 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 26021 20089 364 364 0 25657 0 [pid=9233] vsize: 104084 Current children cumulated CPU time (s) 847.83 Current children cumulated vsize (Kb) 104084 [startup+870.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29431 0 0 0 85104 661 0 0 25 0 1 0 22133463 106582016 20133 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26021 20133 364 364 0 25657 0 [pid=9233] vsize: 104084 Current children cumulated CPU time (s) 857.65 Current children cumulated vsize (Kb) 104084 [startup+880.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29546 0 0 0 86079 670 0 0 25 0 1 0 22133463 106885120 20248 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26095 20248 364 364 0 25731 0 [pid=9233] vsize: 104380 Current children cumulated CPU time (s) 867.49 Current children cumulated vsize (Kb) 104380 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29602 0 0 0 87053 679 0 0 25 0 1 0 22133463 106885120 20304 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26095 20304 364 364 0 25731 0 [pid=9233] vsize: 104380 Current children cumulated CPU time (s) 877.32 Current children cumulated vsize (Kb) 104380 [startup+900.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29662 0 0 0 88029 686 0 0 25 0 1 0 22133463 107036672 20364 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 26132 20364 364 364 0 25768 0 [pid=9233] vsize: 104528 Current children cumulated CPU time (s) 887.15 Current children cumulated vsize (Kb) 104528 [startup+910.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29768 0 0 0 88999 695 0 0 25 0 1 0 22133463 107184128 20470 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26168 20470 364 364 0 25804 0 [pid=9233] vsize: 104672 Current children cumulated CPU time (s) 896.94 Current children cumulated vsize (Kb) 104672 [startup+920.03 s] Raw data (loadavg): 1.07 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29841 0 0 0 89977 703 0 0 25 0 1 0 22133463 107380736 20543 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26216 20543 364 364 0 25852 0 [pid=9233] vsize: 104864 Current children cumulated CPU time (s) 906.8 Current children cumulated vsize (Kb) 104864 [startup+930.03 s] Raw data (loadavg): 1.06 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 29956 0 0 0 90966 708 0 0 25 0 1 0 22133463 107380736 20658 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26216 20658 364 364 0 25852 0 [pid=9233] vsize: 104864 Current children cumulated CPU time (s) 916.74 Current children cumulated vsize (Kb) 104864 [startup+940.03 s] Raw data (loadavg): 1.05 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30337 0 0 0 91949 714 0 0 25 0 1 0 22133463 107577344 20748 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26264 20748 364 364 0 25900 0 [pid=9233] vsize: 105056 Current children cumulated CPU time (s) 926.63 Current children cumulated vsize (Kb) 105056 [startup+950.03 s] Raw data (loadavg): 1.04 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30406 0 0 0 92925 722 0 0 25 0 1 0 22133463 107577344 20817 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 26264 20817 364 364 0 25900 0 [pid=9233] vsize: 105056 Current children cumulated CPU time (s) 936.47 Current children cumulated vsize (Kb) 105056 [startup+960.03 s] Raw data (loadavg): 1.04 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30496 0 0 0 93909 728 0 0 25 0 1 0 22133463 107577344 20907 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26264 20907 364 364 0 25900 0 [pid=9233] vsize: 105056 Current children cumulated CPU time (s) 946.37 Current children cumulated vsize (Kb) 105056 [startup+970.03 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30597 0 0 0 94897 732 0 0 25 0 1 0 22133463 107577344 21008 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26264 21008 364 364 0 25900 0 [pid=9233] vsize: 105056 Current children cumulated CPU time (s) 956.29 Current children cumulated vsize (Kb) 105056 [startup+980.031 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30684 0 0 0 95876 739 0 0 25 0 1 0 22133463 107773952 21095 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26312 21095 364 364 0 25948 0 [pid=9233] vsize: 105248 Current children cumulated CPU time (s) 966.15 Current children cumulated vsize (Kb) 105248 [startup+990.031 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30783 0 0 0 96862 744 0 0 25 0 1 0 22133463 107773952 21194 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26312 21194 364 364 0 25948 0 [pid=9233] vsize: 105248 Current children cumulated CPU time (s) 976.06 Current children cumulated vsize (Kb) 105248 [startup+1000.03 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30874 0 0 0 97845 751 0 0 25 0 1 0 22133463 107937792 21285 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26352 21285 364 364 0 25988 0 [pid=9233] vsize: 105408 Current children cumulated CPU time (s) 985.96 Current children cumulated vsize (Kb) 105408 [startup+1010.03 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 30994 0 0 0 98828 756 0 0 25 0 1 0 22133463 108072960 21405 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26385 21405 364 364 0 26021 0 [pid=9233] vsize: 105540 Current children cumulated CPU time (s) 995.84 Current children cumulated vsize (Kb) 105540 [startup+1020.03 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31110 0 0 0 99818 760 0 0 25 0 1 0 22133463 108072960 21521 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26385 21521 364 364 0 26021 0 [pid=9233] vsize: 105540 Current children cumulated CPU time (s) 1005.78 Current children cumulated vsize (Kb) 105540 [startup+1030.03 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31458 0 0 0 100797 767 0 0 25 0 1 0 22133463 108269568 21578 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26433 21578 364 364 0 26069 0 [pid=9233] vsize: 105732 Current children cumulated CPU time (s) 1015.64 Current children cumulated vsize (Kb) 105732 [startup+1040.03 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31542 0 0 0 101777 774 0 0 25 0 1 0 22133463 108269568 21662 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26433 21662 364 364 0 26069 0 [pid=9233] vsize: 105732 Current children cumulated CPU time (s) 1025.51 Current children cumulated vsize (Kb) 105732 [startup+1050.03 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31652 0 0 0 102759 781 0 0 25 0 1 0 22133463 108412928 21772 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26468 21772 364 364 0 26104 0 [pid=9233] vsize: 105872 Current children cumulated CPU time (s) 1035.4 Current children cumulated vsize (Kb) 105872 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31795 0 0 0 103742 786 0 0 25 0 1 0 22133463 108609536 21915 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26516 21915 364 364 0 26152 0 [pid=9233] vsize: 106064 Current children cumulated CPU time (s) 1045.28 Current children cumulated vsize (Kb) 106064 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31876 0 0 0 104714 795 0 0 25 0 1 0 22133463 108609536 21996 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26516 21996 364 364 0 26152 0 [pid=9233] vsize: 106064 Current children cumulated CPU time (s) 1055.09 Current children cumulated vsize (Kb) 106064 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 31956 0 0 0 105694 803 0 0 25 0 1 0 22133463 108806144 22076 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26564 22076 364 364 0 26200 0 [pid=9233] vsize: 106256 Current children cumulated CPU time (s) 1064.97 Current children cumulated vsize (Kb) 106256 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 32062 0 0 0 106673 810 0 0 25 0 1 0 22133463 108806144 22182 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26564 22182 364 364 0 26200 0 [pid=9233] vsize: 106256 Current children cumulated CPU time (s) 1074.83 Current children cumulated vsize (Kb) 106256 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 32222 0 0 0 107654 817 0 0 25 0 1 0 22133463 109076480 22342 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 26630 22342 364 364 0 26266 0 [pid=9233] vsize: 106520 Current children cumulated CPU time (s) 1084.71 Current children cumulated vsize (Kb) 106520 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35371 0 0 0 108633 829 0 0 25 0 1 0 22133463 121659392 22418 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29702 22418 364 364 0 29338 0 [pid=9233] vsize: 118808 Current children cumulated CPU time (s) 1094.62 Current children cumulated vsize (Kb) 118808 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35439 0 0 0 109615 835 0 0 25 0 1 0 22133463 121659392 22486 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 29702 22486 364 364 0 29338 0 [pid=9233] vsize: 118808 Current children cumulated CPU time (s) 1104.5 Current children cumulated vsize (Kb) 118808 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35776 0 0 0 110602 839 0 0 25 0 1 0 22133463 121823232 22532 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29742 22532 364 364 0 29378 0 [pid=9233] vsize: 118968 Current children cumulated CPU time (s) 1114.41 Current children cumulated vsize (Kb) 118968 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35805 0 0 0 111578 847 0 0 25 0 1 0 22133463 121823232 22561 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29742 22561 364 364 0 29378 0 [pid=9233] vsize: 118968 Current children cumulated CPU time (s) 1124.25 Current children cumulated vsize (Kb) 118968 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35844 0 0 0 112547 857 0 0 25 0 1 0 22133463 122126336 22600 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 29816 22600 364 364 0 29452 0 [pid=9233] vsize: 119264 Current children cumulated CPU time (s) 1134.04 Current children cumulated vsize (Kb) 119264 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35867 0 0 0 113526 865 0 0 25 0 1 0 22133463 122126336 22623 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29816 22623 364 364 0 29452 0 [pid=9233] vsize: 119264 Current children cumulated CPU time (s) 1143.91 Current children cumulated vsize (Kb) 119264 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 35890 0 0 0 114508 871 0 0 25 0 1 0 22133463 122306560 22646 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 29860 22646 364 364 0 29496 0 [pid=9233] vsize: 119440 Current children cumulated CPU time (s) 1153.79 Current children cumulated vsize (Kb) 119440 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36202 0 0 0 115495 876 0 0 25 0 1 0 22133463 122306560 22667 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29860 22667 364 364 0 29496 0 [pid=9233] vsize: 119440 Current children cumulated CPU time (s) 1163.71 Current children cumulated vsize (Kb) 119440 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36205 0 0 0 116481 881 0 0 25 0 1 0 22133463 122306560 22670 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29860 22670 364 364 0 29496 0 [pid=9233] vsize: 119440 Current children cumulated CPU time (s) 1173.62 Current children cumulated vsize (Kb) 119440 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36498 0 0 0 117470 886 0 0 25 0 1 0 22133463 122306560 22672 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9233/statm): 29860 22672 364 364 0 29496 0 [pid=9233] vsize: 119440 Current children cumulated CPU time (s) 1183.56 Current children cumulated vsize (Kb) 119440 [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36526 0 0 0 118437 897 0 0 25 0 1 0 22133463 122503168 22700 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 29908 22700 364 364 0 29544 0 [pid=9233] vsize: 119632 Current children cumulated CPU time (s) 1193.34 Current children cumulated vsize (Kb) 119632 [startup+1220.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36547 0 0 0 119419 904 0 0 25 0 1 0 22133463 122503168 22721 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 29908 22721 364 364 0 29544 0 [pid=9233] vsize: 119632 Current children cumulated CPU time (s) 1203.23 Current children cumulated vsize (Kb) 119632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 9296 Raw data (/proc/9233/stat): 9233 (pb2sat) R 9232 9233 4060 0 -1 0 36547 0 0 0 119419 904 0 0 25 0 1 0 22133463 122503168 22721 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9233/statm): 29908 22721 364 364 0 29544 0 [pid=9233] vsize: 119632 Current children cumulated CPU time (s) 1203.23 Current children cumulated vsize (Kb) 119632 Sending SIGTERM to -9233 Sleeping 2 seconds One traced child (pid=9233) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1220.3 CPU time (s): 1203.49 CPU user time (s): 1194.41 CPU system time (s): 9.08662 CPU usage (%): 98.6224 Max. virtual memory (cumulated for all children) (Kb): 119632
ERROR: no interpretation found !