Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb |
MD5SUM | d98db64f69c8547ad0880486d1128dd0 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 93346980255 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 183313 |
Biggest coefficient in the objective function | 19194096394240 |
Number of bits for the biggest coefficient in the objective function | 45 |
Sum of the numbers in the objective function | 127830561163966644 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 19194096394240 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 127830561163966644 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1210.34 |
Number of variables | 183313 |
Total number of constraints | 1761 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1761 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 32019 |
LAUNCH ON wulflinc12 THE 2005-09-23 18:21:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9201 boxname=wulflinc12 idbench=997 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d98db64f69c8547ad0880486d1128dd0 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-sp97ar.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-sp97ar.opb IDLAUNCH: 9201 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 866744 kB Buffers: 6796 kB Cached: 141104 kB SwapCached: 0 kB Active: 83076 kB Inactive: 67720 kB HighTotal: 131008 kB HighFree: 7868 kB LowTotal: 903652 kB LowFree: 858876 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11488 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:41:36 (client local time) WITH STATUS 0 IN 1212.03 SECONDS stats: 9201 7 1212.03 0
c This solver internally uses Chaff 2004.11.15 Simplified s 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/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22307460 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 373 2 364 364 0 9 0 [pid=11272] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-sp97ar.opb [startup+10.0016 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 2524 0 0 0 992 6 0 0 25 0 1 0 22307460 9502720 1838 4294967295 134512640 135987407 3221224560 3221221580 135482121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 2320 1838 364 364 0 1956 0 [pid=11272] vsize: 9280 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9280 [startup+20.0025 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4193 0 0 0 1988 10 0 0 25 0 1 0 22307460 15224832 2758 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 3717 2758 364 364 0 3353 0 [pid=11272] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0023 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4452 0 0 0 2986 12 0 0 25 0 1 0 22307460 15765504 3012 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 3849 3012 364 364 0 3485 0 [pid=11272] vsize: 15396 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15396 [startup+40.0032 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4722 0 0 0 3985 13 0 0 25 0 1 0 22307460 16441344 3277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4014 3277 364 364 0 3650 0 [pid=11272] vsize: 16056 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16056 [startup+50.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 4967 0 0 0 4985 13 0 0 25 0 1 0 22307460 17117184 3518 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4179 3518 364 364 0 3815 0 [pid=11272] vsize: 16716 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16716 [startup+60.0038 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5190 0 0 0 5985 14 0 0 25 0 1 0 22307460 17657856 3738 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4311 3738 364 364 0 3947 0 [pid=11272] vsize: 17244 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 17244 [startup+70.0047 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5395 0 0 0 6984 15 0 0 25 0 1 0 22307460 18198528 3939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4443 3939 364 364 0 4079 0 [pid=11272] vsize: 17772 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17772 [startup+80.0055 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5585 0 0 0 7983 16 0 0 25 0 1 0 22307460 18739200 4126 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4575 4126 364 364 0 4211 0 [pid=11272] vsize: 18300 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18300 [startup+90.0064 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5764 0 0 0 8982 16 0 0 25 0 1 0 22307460 19144704 4302 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4674 4302 364 364 0 4310 0 [pid=11272] vsize: 18696 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18696 [startup+100.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 5934 0 0 0 9982 17 0 0 25 0 1 0 22307460 19550208 4470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 4773 4470 364 364 0 4409 0 [pid=11272] vsize: 19092 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19092 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8301 0 0 0 10978 21 0 0 25 0 1 0 22307460 28831744 5359 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7039 5359 364 364 0 6675 0 [pid=11272] vsize: 28156 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 28156 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8362 0 0 0 11977 21 0 0 25 0 1 0 22307460 28831744 5417 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7039 5417 364 364 0 6675 0 [pid=11272] vsize: 28156 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28156 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8473 0 0 0 12977 22 0 0 25 0 1 0 22307460 28966912 5526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7072 5526 364 364 0 6708 0 [pid=11272] vsize: 28288 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28288 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8601 0 0 0 13977 22 0 0 25 0 1 0 22307460 29372416 5652 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7171 5652 364 364 0 6807 0 [pid=11272] vsize: 28684 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28684 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8726 0 0 0 14976 23 0 0 25 0 1 0 22307460 29642752 5774 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7237 5774 364 364 0 6873 0 [pid=11272] vsize: 28948 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28948 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8846 0 0 0 15976 23 0 0 25 0 1 0 22307460 29913088 5892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7303 5892 364 364 0 6939 0 [pid=11272] vsize: 29212 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29212 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 8960 0 0 0 16976 24 0 0 25 0 1 0 22307460 30183424 6004 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7369 6004 364 364 0 7005 0 [pid=11272] vsize: 29476 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 29476 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9084 0 0 0 17975 24 0 0 25 0 1 0 22307460 30453760 6126 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7435 6126 364 364 0 7071 0 [pid=11272] vsize: 29740 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29740 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9210 0 0 0 18975 25 0 0 25 0 1 0 22307460 30724096 6250 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7501 6250 364 364 0 7137 0 [pid=11272] vsize: 30004 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 30004 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9334 0 0 0 19975 25 0 0 25 0 1 0 22307460 31129600 6372 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7600 6372 364 364 0 7236 0 [pid=11272] vsize: 30400 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 30400 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9456 0 0 0 20975 25 0 0 25 0 1 0 22307460 31399936 6492 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7666 6492 364 364 0 7302 0 [pid=11272] vsize: 30664 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 30664 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9575 0 0 0 21975 25 0 0 25 0 1 0 22307460 31670272 6609 4294967295 134512640 135987407 3221224560 3221221952 134614947 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 7732 6609 364 364 0 7368 0 [pid=11272] vsize: 30928 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30928 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9690 0 0 0 22975 26 0 0 25 0 1 0 22307460 32075776 6722 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 7831 6722 364 364 0 7467 0 [pid=11272] vsize: 31324 Current children cumulated CPU time (s) 230.01 Current children cumulated vsize (Kb) 31324 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9802 0 0 0 23975 26 0 0 25 0 1 0 22307460 32346112 6832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 7897 6832 364 364 0 7533 0 [pid=11272] vsize: 31588 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 31588 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 9912 0 0 0 24974 27 0 0 25 0 1 0 22307460 32616448 6941 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 7963 6941 364 364 0 7599 0 [pid=11272] vsize: 31852 Current children cumulated CPU time (s) 250.01 Current children cumulated vsize (Kb) 31852 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10022 0 0 0 25974 27 0 0 25 0 1 0 22307460 32886784 7049 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8029 7049 364 364 0 7665 0 [pid=11272] vsize: 32116 Current children cumulated CPU time (s) 260.01 Current children cumulated vsize (Kb) 32116 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10128 0 0 0 26974 27 0 0 25 0 1 0 22307460 33157120 7153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8095 7153 364 364 0 7731 0 [pid=11272] vsize: 32380 Current children cumulated CPU time (s) 270.01 Current children cumulated vsize (Kb) 32380 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10236 0 0 0 27974 27 0 0 25 0 1 0 22307460 33427456 7259 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8161 7259 364 364 0 7797 0 [pid=11272] vsize: 32644 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 32644 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10339 0 0 0 28974 27 0 0 25 0 1 0 22307460 33697792 7361 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8227 7361 364 364 0 7863 0 [pid=11272] vsize: 32908 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (Kb) 32908 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10443 0 0 0 29974 27 0 0 25 0 1 0 22307460 33968128 7463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8293 7463 364 364 0 7929 0 [pid=11272] vsize: 33172 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 33172 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10541 0 0 0 30973 28 0 0 25 0 1 0 22307460 34238464 7559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 8359 7559 364 364 0 7995 0 [pid=11272] vsize: 33436 Current children cumulated CPU time (s) 310.01 Current children cumulated vsize (Kb) 33436 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10638 0 0 0 31973 28 0 0 25 0 1 0 22307460 34508800 7655 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8425 7655 364 364 0 8061 0 [pid=11272] vsize: 33700 Current children cumulated CPU time (s) 320.01 Current children cumulated vsize (Kb) 33700 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10736 0 0 0 32973 28 0 0 25 0 1 0 22307460 34779136 7751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8491 7751 364 364 0 8127 0 [pid=11272] vsize: 33964 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 33964 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10832 0 0 0 33973 28 0 0 25 0 1 0 22307460 34914304 7846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8524 7846 364 364 0 8160 0 [pid=11272] vsize: 34096 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 34096 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 10927 0 0 0 34973 29 0 0 25 0 1 0 22307460 35184640 7939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8590 7939 364 364 0 8226 0 [pid=11272] vsize: 34360 Current children cumulated CPU time (s) 350.02 Current children cumulated vsize (Kb) 34360 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11020 0 0 0 35973 29 0 0 25 0 1 0 22307460 35454976 8031 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8656 8031 364 364 0 8292 0 [pid=11272] vsize: 34624 Current children cumulated CPU time (s) 360.02 Current children cumulated vsize (Kb) 34624 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11113 0 0 0 36972 29 0 0 25 0 1 0 22307460 35725312 8122 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8722 8122 364 364 0 8358 0 [pid=11272] vsize: 34888 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 34888 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11205 0 0 0 37972 30 0 0 25 0 1 0 22307460 35995648 8213 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8788 8213 364 364 0 8424 0 [pid=11272] vsize: 35152 Current children cumulated CPU time (s) 380.02 Current children cumulated vsize (Kb) 35152 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11294 0 0 0 38972 30 0 0 25 0 1 0 22307460 36130816 8300 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8821 8300 364 364 0 8457 0 [pid=11272] vsize: 35284 Current children cumulated CPU time (s) 390.02 Current children cumulated vsize (Kb) 35284 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11383 0 0 0 39972 30 0 0 25 0 1 0 22307460 36401152 8388 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8887 8388 364 364 0 8523 0 [pid=11272] vsize: 35548 Current children cumulated CPU time (s) 400.02 Current children cumulated vsize (Kb) 35548 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11471 0 0 0 40971 31 0 0 25 0 1 0 22307460 36671488 8474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8953 8474 364 364 0 8589 0 [pid=11272] vsize: 35812 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 35812 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11559 0 0 0 41971 31 0 0 25 0 1 0 22307460 36806656 8561 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 8986 8561 364 364 0 8622 0 [pid=11272] vsize: 35944 Current children cumulated CPU time (s) 420.02 Current children cumulated vsize (Kb) 35944 [startup+430.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11643 0 0 0 42971 31 0 0 25 0 1 0 22307460 37076992 8644 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 9052 8644 364 364 0 8688 0 [pid=11272] vsize: 36208 Current children cumulated CPU time (s) 430.02 Current children cumulated vsize (Kb) 36208 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11729 0 0 0 43971 32 0 0 25 0 1 0 22307460 37212160 8728 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 9085 8728 364 364 0 8721 0 [pid=11272] vsize: 36340 Current children cumulated CPU time (s) 440.03 Current children cumulated vsize (Kb) 36340 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11814 0 0 0 44971 32 0 0 25 0 1 0 22307460 37482496 8812 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 9151 8812 364 364 0 8787 0 [pid=11272] vsize: 36604 Current children cumulated CPU time (s) 450.03 Current children cumulated vsize (Kb) 36604 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11894 0 0 0 45970 32 0 0 25 0 1 0 22307460 37752832 8891 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 9217 8891 364 364 0 8853 0 [pid=11272] vsize: 36868 Current children cumulated CPU time (s) 460.02 Current children cumulated vsize (Kb) 36868 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 11978 0 0 0 46970 33 0 0 25 0 1 0 22307460 37888000 8973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 9250 8973 364 364 0 8886 0 [pid=11272] vsize: 37000 Current children cumulated CPU time (s) 470.03 Current children cumulated vsize (Kb) 37000 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16504 0 0 0 47960 42 0 0 25 0 1 0 22307460 55775232 10551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13617 10551 364 364 0 13253 0 [pid=11272] vsize: 54468 Current children cumulated CPU time (s) 480.02 Current children cumulated vsize (Kb) 54468 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16533 0 0 0 48960 43 0 0 25 0 1 0 22307460 55775232 10579 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13617 10579 364 364 0 13253 0 [pid=11272] vsize: 54468 Current children cumulated CPU time (s) 490.03 Current children cumulated vsize (Kb) 54468 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16563 0 0 0 49960 43 0 0 25 0 1 0 22307460 55775232 10607 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13617 10607 364 364 0 13253 0 [pid=11272] vsize: 54468 Current children cumulated CPU time (s) 500.03 Current children cumulated vsize (Kb) 54468 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16592 0 0 0 50959 43 0 0 25 0 1 0 22307460 55775232 10635 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13617 10635 364 364 0 13253 0 [pid=11272] vsize: 54468 Current children cumulated CPU time (s) 510.02 Current children cumulated vsize (Kb) 54468 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16621 0 0 0 51959 43 0 0 25 0 1 0 22307460 55775232 10663 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13617 10663 364 364 0 13253 0 [pid=11272] vsize: 54468 Current children cumulated CPU time (s) 520.02 Current children cumulated vsize (Kb) 54468 [startup+530.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16650 0 0 0 52959 44 0 0 25 0 1 0 22307460 55775232 10691 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13617 10691 364 364 0 13253 0 [pid=11272] vsize: 54468 Current children cumulated CPU time (s) 530.03 Current children cumulated vsize (Kb) 54468 [startup+540.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16691 0 0 0 53959 44 0 0 25 0 1 0 22307460 55910400 10730 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13650 10730 364 364 0 13286 0 [pid=11272] vsize: 54600 Current children cumulated CPU time (s) 540.03 Current children cumulated vsize (Kb) 54600 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16758 0 0 0 54959 44 0 0 25 0 1 0 22307460 56045568 10796 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13683 10796 364 364 0 13319 0 [pid=11272] vsize: 54732 Current children cumulated CPU time (s) 550.03 Current children cumulated vsize (Kb) 54732 [startup+560.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16823 0 0 0 55959 44 0 0 25 0 1 0 22307460 56180736 10860 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13716 10860 364 364 0 13352 0 [pid=11272] vsize: 54864 Current children cumulated CPU time (s) 560.03 Current children cumulated vsize (Kb) 54864 [startup+570.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16889 0 0 0 56959 44 0 0 25 0 1 0 22307460 56315904 10925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13749 10925 364 364 0 13385 0 [pid=11272] vsize: 54996 Current children cumulated CPU time (s) 570.03 Current children cumulated vsize (Kb) 54996 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 16954 0 0 0 57959 44 0 0 25 0 1 0 22307460 56451072 10989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13782 10989 364 364 0 13418 0 [pid=11272] vsize: 55128 Current children cumulated CPU time (s) 580.03 Current children cumulated vsize (Kb) 55128 [startup+590.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17018 0 0 0 58959 44 0 0 25 0 1 0 22307460 56586240 11051 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13815 11051 364 364 0 13451 0 [pid=11272] vsize: 55260 Current children cumulated CPU time (s) 590.03 Current children cumulated vsize (Kb) 55260 [startup+600.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17082 0 0 0 59959 45 0 0 25 0 1 0 22307460 56721408 11114 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13848 11114 364 364 0 13484 0 [pid=11272] vsize: 55392 Current children cumulated CPU time (s) 600.04 Current children cumulated vsize (Kb) 55392 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17146 0 0 0 60959 45 0 0 25 0 1 0 22307460 56856576 11177 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13881 11177 364 364 0 13517 0 [pid=11272] vsize: 55524 Current children cumulated CPU time (s) 610.04 Current children cumulated vsize (Kb) 55524 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17207 0 0 0 61959 45 0 0 25 0 1 0 22307460 57126912 11237 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13947 11237 364 364 0 13583 0 [pid=11272] vsize: 55788 Current children cumulated CPU time (s) 620.04 Current children cumulated vsize (Kb) 55788 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17270 0 0 0 62959 45 0 0 25 0 1 0 22307460 57262080 11299 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 13980 11299 364 364 0 13616 0 [pid=11272] vsize: 55920 Current children cumulated CPU time (s) 630.04 Current children cumulated vsize (Kb) 55920 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17332 0 0 0 63958 45 0 0 25 0 1 0 22307460 57397248 11360 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14013 11360 364 364 0 13649 0 [pid=11272] vsize: 56052 Current children cumulated CPU time (s) 640.03 Current children cumulated vsize (Kb) 56052 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17393 0 0 0 64958 46 0 0 25 0 1 0 22307460 57532416 11419 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14046 11419 364 364 0 13682 0 [pid=11272] vsize: 56184 Current children cumulated CPU time (s) 650.04 Current children cumulated vsize (Kb) 56184 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17455 0 0 0 65958 46 0 0 25 0 1 0 22307460 57667584 11480 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14079 11480 364 364 0 13715 0 [pid=11272] vsize: 56316 Current children cumulated CPU time (s) 660.04 Current children cumulated vsize (Kb) 56316 [startup+670.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17514 0 0 0 66958 46 0 0 25 0 1 0 22307460 57802752 11538 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14112 11538 364 364 0 13748 0 [pid=11272] vsize: 56448 Current children cumulated CPU time (s) 670.04 Current children cumulated vsize (Kb) 56448 [startup+680.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17575 0 0 0 67958 46 0 0 25 0 1 0 22307460 57937920 11598 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14145 11598 364 364 0 13781 0 [pid=11272] vsize: 56580 Current children cumulated CPU time (s) 680.04 Current children cumulated vsize (Kb) 56580 [startup+690.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17633 0 0 0 68958 46 0 0 25 0 1 0 22307460 58073088 11655 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14178 11655 364 364 0 13814 0 [pid=11272] vsize: 56712 Current children cumulated CPU time (s) 690.04 Current children cumulated vsize (Kb) 56712 [startup+700.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17692 0 0 0 69958 47 0 0 25 0 1 0 22307460 58208256 11713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14211 11713 364 364 0 13847 0 [pid=11272] vsize: 56844 Current children cumulated CPU time (s) 700.05 Current children cumulated vsize (Kb) 56844 [startup+710.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17750 0 0 0 70957 47 0 0 25 0 1 0 22307460 58343424 11770 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14244 11770 364 364 0 13880 0 [pid=11272] vsize: 56976 Current children cumulated CPU time (s) 710.04 Current children cumulated vsize (Kb) 56976 [startup+720.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17809 0 0 0 71957 47 0 0 25 0 1 0 22307460 58478592 11828 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14277 11828 364 364 0 13913 0 [pid=11272] vsize: 57108 Current children cumulated CPU time (s) 720.04 Current children cumulated vsize (Kb) 57108 [startup+730.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17867 0 0 0 72957 47 0 0 25 0 1 0 22307460 58613760 11885 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14310 11885 364 364 0 13946 0 [pid=11272] vsize: 57240 Current children cumulated CPU time (s) 730.04 Current children cumulated vsize (Kb) 57240 [startup+740.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17925 0 0 0 73957 47 0 0 25 0 1 0 22307460 58748928 11942 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14343 11942 364 364 0 13979 0 [pid=11272] vsize: 57372 Current children cumulated CPU time (s) 740.04 Current children cumulated vsize (Kb) 57372 [startup+750.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 17986 0 0 0 74957 48 0 0 25 0 1 0 22307460 58884096 12001 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14376 12001 364 364 0 14012 0 [pid=11272] vsize: 57504 Current children cumulated CPU time (s) 750.05 Current children cumulated vsize (Kb) 57504 [startup+760.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18051 0 0 0 75957 48 0 0 25 0 1 0 22307460 59019264 12065 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14409 12065 364 364 0 14045 0 [pid=11272] vsize: 57636 Current children cumulated CPU time (s) 760.05 Current children cumulated vsize (Kb) 57636 [startup+770.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18116 0 0 0 76957 48 0 0 25 0 1 0 22307460 59289600 12129 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14475 12129 364 364 0 14111 0 [pid=11272] vsize: 57900 Current children cumulated CPU time (s) 770.05 Current children cumulated vsize (Kb) 57900 [startup+780.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18180 0 0 0 77956 49 0 0 25 0 1 0 22307460 59424768 12192 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14508 12192 364 364 0 14144 0 [pid=11272] vsize: 58032 Current children cumulated CPU time (s) 780.05 Current children cumulated vsize (Kb) 58032 [startup+790.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18243 0 0 0 78956 49 0 0 25 0 1 0 22307460 59559936 12254 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14541 12254 364 364 0 14177 0 [pid=11272] vsize: 58164 Current children cumulated CPU time (s) 790.05 Current children cumulated vsize (Kb) 58164 [startup+800.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18308 0 0 0 79956 49 0 0 25 0 1 0 22307460 59695104 12318 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14574 12318 364 364 0 14210 0 [pid=11272] vsize: 58296 Current children cumulated CPU time (s) 800.05 Current children cumulated vsize (Kb) 58296 [startup+810.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18371 0 0 0 80956 49 0 0 25 0 1 0 22307460 59830272 12380 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14607 12380 364 364 0 14243 0 [pid=11272] vsize: 58428 Current children cumulated CPU time (s) 810.05 Current children cumulated vsize (Kb) 58428 [startup+820.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18434 0 0 0 81955 50 0 0 25 0 1 0 22307460 60100608 12442 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14673 12442 364 364 0 14309 0 [pid=11272] vsize: 58692 Current children cumulated CPU time (s) 820.05 Current children cumulated vsize (Kb) 58692 [startup+830.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18496 0 0 0 82955 50 0 0 25 0 1 0 22307460 60235776 12503 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14706 12503 364 364 0 14342 0 [pid=11272] vsize: 58824 Current children cumulated CPU time (s) 830.05 Current children cumulated vsize (Kb) 58824 [startup+840.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18557 0 0 0 83955 50 0 0 25 0 1 0 22307460 60370944 12563 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14739 12563 364 364 0 14375 0 [pid=11272] vsize: 58956 Current children cumulated CPU time (s) 840.05 Current children cumulated vsize (Kb) 58956 [startup+850.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18620 0 0 0 84955 50 0 0 25 0 1 0 22307460 60506112 12625 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14772 12625 364 364 0 14408 0 [pid=11272] vsize: 59088 Current children cumulated CPU time (s) 850.05 Current children cumulated vsize (Kb) 59088 [startup+860.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18681 0 0 0 85955 50 0 0 25 0 1 0 22307460 60641280 12685 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14805 12685 364 364 0 14441 0 [pid=11272] vsize: 59220 Current children cumulated CPU time (s) 860.05 Current children cumulated vsize (Kb) 59220 [startup+870.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18742 0 0 0 86955 50 0 0 25 0 1 0 22307460 60911616 12745 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14871 12745 364 364 0 14507 0 [pid=11272] vsize: 59484 Current children cumulated CPU time (s) 870.05 Current children cumulated vsize (Kb) 59484 [startup+880.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18802 0 0 0 87955 51 0 0 25 0 1 0 22307460 61046784 12804 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14904 12804 364 364 0 14540 0 [pid=11272] vsize: 59616 Current children cumulated CPU time (s) 880.06 Current children cumulated vsize (Kb) 59616 [startup+890.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18862 0 0 0 88954 51 0 0 25 0 1 0 22307460 61181952 12863 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14937 12863 364 364 0 14573 0 [pid=11272] vsize: 59748 Current children cumulated CPU time (s) 890.05 Current children cumulated vsize (Kb) 59748 [startup+900.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18923 0 0 0 89954 51 0 0 25 0 1 0 22307460 61317120 12923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 14970 12923 364 364 0 14606 0 [pid=11272] vsize: 59880 Current children cumulated CPU time (s) 900.05 Current children cumulated vsize (Kb) 59880 [startup+910.047 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 18982 0 0 0 90954 52 0 0 25 0 1 0 22307460 61452288 12981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 15003 12981 364 364 0 14639 0 [pid=11272] vsize: 60012 Current children cumulated CPU time (s) 910.06 Current children cumulated vsize (Kb) 60012 [startup+920.048 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 19042 0 0 0 91954 52 0 0 25 0 1 0 22307460 61587456 13040 4294967295 134512640 135987407 3221224560 3221221800 134534605 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 15036 13040 364 364 0 14672 0 [pid=11272] vsize: 60144 Current children cumulated CPU time (s) 920.06 Current children cumulated vsize (Kb) 60144 [startup+930.048 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 19102 0 0 0 92954 52 0 0 25 0 1 0 22307460 61722624 13099 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 15069 13099 364 364 0 14705 0 [pid=11272] vsize: 60276 Current children cumulated CPU time (s) 930.06 Current children cumulated vsize (Kb) 60276 [startup+940.048 s] Raw data (loadavg): 1.12 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 21098 0 0 0 93948 58 0 0 25 0 1 0 22307460 69750784 15062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 17029 15062 364 364 0 16665 0 [pid=11272] vsize: 68116 Current children cumulated CPU time (s) 940.06 Current children cumulated vsize (Kb) 68116 [startup+950.049 s] Raw data (loadavg): 1.10 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 31128 0 0 0 94924 80 0 0 25 0 1 0 22307460 128958464 23366 4294967295 134512640 135987407 3221224560 3220718560 134856696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 31484 23366 364 364 0 31120 0 [pid=11272] vsize: 125936 Current children cumulated CPU time (s) 950.04 Current children cumulated vsize (Kb) 125936 [startup+960.05 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 41194 0 0 0 95901 103 0 0 25 0 1 0 22307460 130367488 27048 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 31828 27048 364 364 0 31464 0 [pid=11272] vsize: 127312 Current children cumulated CPU time (s) 960.04 Current children cumulated vsize (Kb) 127312 [startup+970.05 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 49452 0 0 0 96880 123 0 0 25 0 1 0 22307460 155529216 32146 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 37971 32146 364 364 0 37607 0 [pid=11272] vsize: 151884 Current children cumulated CPU time (s) 970.03 Current children cumulated vsize (Kb) 151884 [startup+980.051 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 53552 0 0 0 97868 133 0 0 25 0 1 0 22307460 159043584 36178 4294967295 134512640 135987407 3221224560 3220842928 134878029 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 38829 36178 364 364 0 38465 0 [pid=11272] vsize: 155316 Current children cumulated CPU time (s) 980.01 Current children cumulated vsize (Kb) 155316 [startup+990.051 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 76753 0 0 0 98817 182 0 0 25 0 1 0 22307460 240746496 43447 4294967295 134512640 135987407 3221224560 3221221960 135270425 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 58776 43447 364 364 0 58412 0 [pid=11272] vsize: 235104 Current children cumulated CPU time (s) 989.99 Current children cumulated vsize (Kb) 235104 [startup+1000.05 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 80370 0 0 0 99805 193 0 0 25 0 1 0 22307460 258334720 46992 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 63070 46992 364 364 0 62706 0 [pid=11272] vsize: 252280 Current children cumulated CPU time (s) 999.98 Current children cumulated vsize (Kb) 252280 [startup+1010.05 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 82396 0 0 0 100800 198 0 0 25 0 1 0 22307460 260714496 48989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 63651 48989 364 364 0 63287 0 [pid=11272] vsize: 254604 Current children cumulated CPU time (s) 1009.98 Current children cumulated vsize (Kb) 254604 [startup+1020.05 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 87876 0 0 0 101785 212 0 0 25 0 1 0 22307460 264499200 54377 4294967295 134512640 135987407 3221224560 3221221856 134613671 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 64575 54377 364 364 0 64211 0 [pid=11272] vsize: 258300 Current children cumulated CPU time (s) 1019.97 Current children cumulated vsize (Kb) 258300 [startup+1030.05 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 89912 0 0 0 102780 217 0 0 25 0 1 0 22307460 265310208 56375 4294967295 134512640 135987407 3221224560 3221221756 134536027 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 64773 56375 364 364 0 64409 0 [pid=11272] vsize: 259092 Current children cumulated CPU time (s) 1029.97 Current children cumulated vsize (Kb) 259092 [startup+1040.05 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 92200 0 0 0 103773 224 0 0 25 0 1 0 22307460 265715712 58617 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 64872 58617 364 364 0 64508 0 [pid=11272] vsize: 259488 Current children cumulated CPU time (s) 1039.97 Current children cumulated vsize (Kb) 259488 [startup+1050.06 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 108437 0 0 0 104737 259 0 0 25 0 1 0 22307460 319426560 62500 4294967295 134512640 135987407 3221224560 3220135240 134866066 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 77985 62500 364 364 0 77621 0 [pid=11272] vsize: 311940 Current children cumulated CPU time (s) 1049.96 Current children cumulated vsize (Kb) 311940 [startup+1060.06 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 112169 0 0 0 105726 269 0 0 25 0 1 0 22307460 321994752 66167 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 78612 66167 364 364 0 78248 0 [pid=11272] vsize: 314448 Current children cumulated CPU time (s) 1059.95 Current children cumulated vsize (Kb) 314448 [startup+1070.06 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 116792 0 0 0 106713 282 0 0 25 0 1 0 22307460 359604224 70714 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 87794 70714 364 364 0 87430 0 [pid=11272] vsize: 351176 Current children cumulated CPU time (s) 1069.95 Current children cumulated vsize (Kb) 351176 [startup+1080.06 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 147825 0 0 0 107650 342 0 0 25 0 1 0 22307460 475111424 82252 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 115994 82252 364 364 0 115630 0 [pid=11272] vsize: 463976 Current children cumulated CPU time (s) 1079.92 Current children cumulated vsize (Kb) 463976 [startup+1090.06 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 151559 0 0 0 108640 352 0 0 25 0 1 0 22307460 476057600 85913 4294967295 134512640 135987407 3221224560 3221221952 134616261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 116225 85913 364 364 0 115861 0 [pid=11272] vsize: 464900 Current children cumulated CPU time (s) 1089.92 Current children cumulated vsize (Kb) 464900 [startup+1100.06 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 154479 0 0 0 109632 360 0 0 25 0 1 0 22307460 477679616 88781 4294967295 134512640 135987407 3221224560 3216695108 135479957 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 116621 88781 364 364 0 116257 0 [pid=11272] vsize: 466484 Current children cumulated CPU time (s) 1099.92 Current children cumulated vsize (Kb) 466484 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 157284 0 0 0 110622 368 0 0 25 0 1 0 22307460 478625792 91531 4294967295 134512640 135987407 3221224560 3221221660 135480487 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 116852 91531 364 364 0 116488 0 [pid=11272] vsize: 467408 Current children cumulated CPU time (s) 1109.9 Current children cumulated vsize (Kb) 467408 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 160504 0 0 0 111613 377 0 0 25 0 1 0 22307460 479842304 94691 4294967295 134512640 135987407 3221224560 3221221808 134979147 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 117149 94691 364 364 0 116785 0 [pid=11272] vsize: 468596 Current children cumulated CPU time (s) 1119.9 Current children cumulated vsize (Kb) 468596 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 162333 0 0 0 112606 384 0 0 25 0 1 0 22307460 480112640 96483 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 117215 96483 364 364 0 116851 0 [pid=11272] vsize: 468860 Current children cumulated CPU time (s) 1129.9 Current children cumulated vsize (Kb) 468860 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 165086 0 0 0 113597 392 0 0 25 0 1 0 22307460 482275328 99190 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 117743 99190 364 364 0 117379 0 [pid=11272] vsize: 470972 Current children cumulated CPU time (s) 1139.89 Current children cumulated vsize (Kb) 470972 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 168022 0 0 0 114590 399 0 0 25 0 1 0 22307460 483467264 102071 4294967295 134512640 135987407 3221224560 3221098960 134878087 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 118034 102071 364 364 0 117670 0 [pid=11272] vsize: 472136 Current children cumulated CPU time (s) 1149.89 Current children cumulated vsize (Kb) 472136 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 170704 0 0 0 115582 406 0 0 25 0 1 0 22307460 484278272 104701 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 118232 104701 364 364 0 117868 0 [pid=11272] vsize: 472928 Current children cumulated CPU time (s) 1159.88 Current children cumulated vsize (Kb) 472928 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 198508 0 0 0 116520 468 0 0 25 0 1 0 22307460 586698752 107869 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 143237 107869 364 364 0 142873 0 [pid=11272] vsize: 572948 Current children cumulated CPU time (s) 1169.88 Current children cumulated vsize (Kb) 572948 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 202097 0 0 0 117510 477 0 0 25 0 1 0 22307460 587915264 111389 4294967295 134512640 135987407 3221224560 3221221756 134535946 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11272/statm): 143534 111389 364 364 0 143170 0 [pid=11272] vsize: 574136 Current children cumulated CPU time (s) 1179.87 Current children cumulated vsize (Kb) 574136 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 203750 0 0 0 118504 483 0 0 25 0 1 0 22307460 589131776 113014 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 143831 113014 364 364 0 143467 0 [pid=11272] vsize: 575324 Current children cumulated CPU time (s) 1189.87 Current children cumulated vsize (Kb) 575324 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 205953 0 0 0 119498 489 0 0 25 0 1 0 22307460 591024128 115180 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 144293 115180 364 364 0 143929 0 [pid=11272] vsize: 577172 Current children cumulated CPU time (s) 1199.87 Current children cumulated vsize (Kb) 577172 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 209171 0 0 0 120489 498 0 0 25 0 1 0 22307460 592375808 118338 4294967295 134512640 135987407 3221224560 3221221852 134979056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 144623 118338 364 364 0 144259 0 [pid=11272] vsize: 578492 Current children cumulated CPU time (s) 1209.87 Current children cumulated vsize (Kb) 578492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 11272 Raw data (/proc/11272/stat): 11272 (pb2sat) R 11271 11272 4060 0 -1 0 209171 0 0 0 120489 498 0 0 25 0 1 0 22307460 592375808 118338 4294967295 134512640 135987407 3221224560 3221221904 134612687 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11272/statm): 144623 118338 364 364 0 144259 0 [pid=11272] vsize: 578492 Current children cumulated CPU time (s) 1209.87 Current children cumulated vsize (Kb) 578492 Sending SIGTERM to -11272 Sleeping 2 seconds Sending SIGKILL to -11272 One traced child (pid=11272) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 1212.21 CPU time (s): 1212.03 CPU user time (s): 1206.81 CPU system time (s): 5.21821 CPU usage (%): 99.9849 Max. virtual memory (cumulated for all children) (Kb): 578492
ERROR: no interpretation found !