Name | web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb |
MD5SUM | 5e8935802e4aa1a1ac8f2a923d842947 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26439 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6892 |
Biggest coefficient in the objective function | 667 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 371779 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 667 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 371779 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1262.02 |
Number of variables | 8405 |
Total number of constraints | 19071 |
Number of constraints which are clauses | 9918 |
Number of constraints which are cardinality constraints (but not clauses) | 9153 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 351 |
LAUNCH ON wulflinc29 THE 2005-09-23 15:46:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8585 boxname=wulflinc29 idbench=381 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5e8935802e4aa1a1ac8f2a923d842947 /oldhome/oroussel/tmp/wulflinc29/normalized-ss97-2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-ss97-2.opb IDLAUNCH: 8585 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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 : 3 cpu MHz : 451.077 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 929368 kB Buffers: 11368 kB Cached: 76828 kB SwapCached: 0 kB Active: 44736 kB Inactive: 46368 kB HighTotal: 131008 kB HighFree: 54516 kB LowTotal: 903652 kB LowFree: 874852 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6972 kB Slab: 8580 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:07:22 (client local time) WITH STATUS 0 IN 1203.55 SECONDS stats: 8585 7 1203.55 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 15930/466482 Time: 113.41/86400 c Decision: 15930/466482 Time: 123.903/86400 c Decision: 15930/466482 Time: 133.749/86400 c Decision: 15930/466482 Time: 143.382/86400 c Decision: 15930/466482 Time: 156.26/86400 c Decision: 15930/466482 Time: 169.867/86400 c Decision: 15930/466482 Time: 178.465/86400 c Decision: 15930/466482 Time: 190.741/86400 c Decision: 15930/466482 Time: 203.125/86400 c Decision: 15930/466482 Time: 210.562/86400 c Decision: 15930/466482 Time: 223.506/86400 c Decision: 15930/466482 Time: 256.815/86400 c Decision: 15930/466482 Time: 276.477/86400 c Decision: 15930/466482 Time: 293.916/86400 c Decision: 15930/466482 Time: 306.54/86400 c Decision: 15930/466482 Time: 329.64/86400 c Decision: 15930/466482 Time: 345.843/86400 c Decision: 15930/466482 Time: 364.871/86400 c Decision: 15930/466482 Time: 376.973/86400 c Decision: 15930/466482 Time: 393.288/86400 c Decision: 15930/466482 Time: 420.134/86400 c Decision: 15930/466482 Time: 433.695/86400 c Decision: 15930/466482 Time: 447.733/86400 c Decision: 15930/466482 Time: 461.14/86400 c Decision: 15930/466482 Time: 478.298/86400 c Decision: 15930/466482 Time: 490.292/86400 c Decision: 15930/466482 Time: 502.266/86400 c Decision: 15930/466482 Time: 517.778/86400 c Decision: 15930/466482 Time: 527.612/86400 c Decision: 15930/466482 Time: 545.492/86400 c Decision: 15930/466482 Time: 561.796/86400 c Decision: 15930/466482 Time: 581.589/86400 c Decision: 15930/466482 Time: 595.808/86400 c Decision: 15930/466482 Time: 631.884/86400 c Decision: 15930/466482 Time: 662.366/86400 c Decision: 15930/466482 Time: 684.069/86400 c Decision: 15930/466482 Time: 702.086/86400 c Decision: 15930/466482 Time: 720.952/86400 c Decision: 15930/466482 Time: 753.27/86400 c Decision: 15930/466482 Time: 774.393/86400 c Decision: 15930/466482 Time: 797.808/86400 c Decision: 15930/466482 Time: 818.755/86400 c Decision: 15930/466482 Time: 837.089/86400 c Decision: 15930/466482 Time: 859.48/86400 c Decision: 15930/466482 Time: 879.184/86400 c Decision: 15930/466482 Time: 905.669/86400 c Decision: 15930/466482 Time: 936.046/86400 c Decision: 15930/466482 Time: 956.949/86400 c Decision: 15930/466482 Time: 976.826/86400 c Decision: 15930/466482 Time: 1001.36/86400 c Decision: 15930/466482 Time: 1021.4/86400 c Decision: 15930/466482 Time: 1039.58/86400 c Decision: 15930/466482 Time: 1055.17/86400 c Decision: 15930/466482 Time: 1070.89/86400 c Decision: 15930/466482 Time: 1089.74/86400 c Decision: 15930/466482 Time: 1107/86400 c Decision: 15930/466482 Time: 1124.6/86400 c Decision: 15930/466482 Time: 1144.92/86400 c Decision: 15930/466482 Time: 1162.08/86400 c Decision: 15930/466482 Time: 1179.37/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/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21340892 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 373 2 364 364 0 9 0 [pid=8038] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-ss97-2.opb [startup+10.0011 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 27014 0 0 0 937 60 0 0 25 0 1 0 21340892 80920576 15910 4294967295 134512640 135987407 3221224576 3221126844 134865856 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 19756 15910 364 364 0 19392 0 [pid=8038] vsize: 79024 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 79024 [startup+20.0019 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 55563 0 0 0 1874 122 0 0 25 0 1 0 21340892 158228480 33208 4294967295 134512640 135987407 3221224576 3221218484 134865975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 38630 33208 364 364 0 38266 0 [pid=8038] vsize: 154520 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 154520 [startup+30.0026 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 60500 0 0 0 2734 176 0 0 25 0 1 0 21340892 172916736 37224 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 42216 37224 364 364 0 41852 0 [pid=8038] vsize: 168864 Current children cumulated CPU time (s) 29.1 Current children cumulated vsize (Kb) 168864 [startup+40.0034 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 61818 0 0 0 3645 207 0 0 25 0 1 0 21340892 178769920 38542 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 43645 38542 364 364 0 43281 0 [pid=8038] vsize: 174580 Current children cumulated CPU time (s) 38.52 Current children cumulated vsize (Kb) 174580 [startup+50.0042 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 62566 0 0 0 4605 222 0 0 25 0 1 0 21340892 182222848 39257 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 44488 39257 364 364 0 44124 0 [pid=8038] vsize: 177952 Current children cumulated CPU time (s) 48.27 Current children cumulated vsize (Kb) 177952 [startup+60.004 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 62964 0 0 0 5587 229 0 0 25 0 1 0 21340892 183861248 39655 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 44888 39655 364 364 0 44524 0 [pid=8038] vsize: 179552 Current children cumulated CPU time (s) 58.16 Current children cumulated vsize (Kb) 179552 [startup+70.0048 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 63434 0 0 0 6573 233 0 0 25 0 1 0 21340892 185663488 40125 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 45328 40125 364 364 0 44964 0 [pid=8038] vsize: 181312 Current children cumulated CPU time (s) 68.06 Current children cumulated vsize (Kb) 181312 [startup+80.0055 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 63738 0 0 0 7555 239 0 0 25 0 1 0 21340892 186859520 40429 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 45620 40429 364 364 0 45256 0 [pid=8038] vsize: 182480 Current children cumulated CPU time (s) 77.94 Current children cumulated vsize (Kb) 182480 [startup+90.0063 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 63898 0 0 0 8534 248 0 0 25 0 1 0 21340892 187383808 40589 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 45748 40589 364 364 0 45384 0 [pid=8038] vsize: 182992 Current children cumulated CPU time (s) 87.82 Current children cumulated vsize (Kb) 182992 [startup+100.006 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 64481 0 0 0 9507 257 0 0 25 0 1 0 21340892 189997056 41172 4294967295 134512640 135987407 3221224576 3221223440 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 46386 41172 364 364 0 46022 0 [pid=8038] vsize: 185544 Current children cumulated CPU time (s) 97.64 Current children cumulated vsize (Kb) 185544 [startup+110.006 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 64878 0 0 0 10482 264 0 0 25 0 1 0 21340892 191700992 41569 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 46802 41569 364 364 0 46438 0 [pid=8038] vsize: 187208 Current children cumulated CPU time (s) 107.46 Current children cumulated vsize (Kb) 187208 [startup+120.007 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 65065 0 0 0 11456 273 0 0 25 0 1 0 21340892 192258048 41756 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 46938 41756 364 364 0 46574 0 [pid=8038] vsize: 187752 Current children cumulated CPU time (s) 117.29 Current children cumulated vsize (Kb) 187752 [startup+130.006 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 65135 0 0 0 12431 283 0 0 25 0 1 0 21340892 192585728 41826 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 47018 41826 364 364 0 46654 0 [pid=8038] vsize: 188072 Current children cumulated CPU time (s) 127.14 Current children cumulated vsize (Kb) 188072 [startup+140.007 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 66064 0 0 0 13412 291 0 0 25 0 1 0 21340892 192585728 41843 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 47018 41843 364 364 0 46654 0 [pid=8038] vsize: 188072 Current children cumulated CPU time (s) 137.03 Current children cumulated vsize (Kb) 188072 [startup+150.008 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 67065 0 0 0 14383 303 0 0 25 0 1 0 21340892 193110016 41932 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 47146 41932 364 364 0 46782 0 [pid=8038] vsize: 188584 Current children cumulated CPU time (s) 146.86 Current children cumulated vsize (Kb) 188584 [startup+160.008 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 67994 0 0 0 15355 314 0 0 25 0 1 0 21340892 193110016 41949 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 47146 41949 364 364 0 46782 0 [pid=8038] vsize: 188584 Current children cumulated CPU time (s) 156.69 Current children cumulated vsize (Kb) 188584 [startup+170.009 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 69038 0 0 0 16332 323 0 0 25 0 1 0 21340892 193736704 42081 4294967295 134512640 135987407 3221224576 3221223264 134811950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 47299 42081 364 364 0 46935 0 [pid=8038] vsize: 189196 Current children cumulated CPU time (s) 166.55 Current children cumulated vsize (Kb) 189196 [startup+180.008 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 69564 0 0 0 17299 335 0 0 25 0 1 0 21340892 196206592 42607 4294967295 134512640 135987407 3221224576 3221223296 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 47902 42607 364 364 0 47538 0 [pid=8038] vsize: 191608 Current children cumulated CPU time (s) 176.34 Current children cumulated vsize (Kb) 191608 [startup+190.009 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 70543 0 0 0 18270 346 0 0 25 0 1 0 21340892 196386816 42674 4294967295 134512640 135987407 3221224576 3221223264 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 47946 42674 364 364 0 47582 0 [pid=8038] vsize: 191784 Current children cumulated CPU time (s) 186.16 Current children cumulated vsize (Kb) 191784 [startup+200.01 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 71462 0 0 0 19250 355 0 0 25 0 1 0 21340892 196386816 42681 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 47946 42681 364 364 0 47582 0 [pid=8038] vsize: 191784 Current children cumulated CPU time (s) 196.05 Current children cumulated vsize (Kb) 191784 [startup+210.01 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 72395 0 0 0 20224 366 0 0 25 0 1 0 21340892 196550656 42702 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 47986 42702 364 364 0 47622 0 [pid=8038] vsize: 191944 Current children cumulated CPU time (s) 205.9 Current children cumulated vsize (Kb) 191944 [startup+220.011 s] Raw data (loadavg): 1.00 0.97 0.94 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 73470 0 0 0 21192 379 0 0 25 0 1 0 21340892 197320704 42865 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8038/statm): 48174 42865 364 364 0 47810 0 [pid=8038] vsize: 192696 Current children cumulated CPU time (s) 215.71 Current children cumulated vsize (Kb) 192696 [startup+230.01 s] Raw data (loadavg): 1.00 0.97 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 74395 0 0 0 22166 390 0 0 25 0 1 0 21340892 197468160 42878 4294967295 134512640 135987407 3221224576 3221223424 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 48210 42878 364 364 0 47846 0 [pid=8038] vsize: 192840 Current children cumulated CPU time (s) 225.56 Current children cumulated vsize (Kb) 192840 [startup+240.011 s] Raw data (loadavg): 1.08 0.99 0.94 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 75366 0 0 0 23124 406 0 0 25 0 1 0 21340892 197763072 42937 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8038/statm): 48282 42937 364 364 0 47918 0 [pid=8038] vsize: 193128 Current children cumulated CPU time (s) 235.3 Current children cumulated vsize (Kb) 193128 [startup+250.012 s] Raw data (loadavg): 1.07 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 76404 0 0 0 24100 416 0 0 25 0 1 0 21340892 198254592 43063 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 48402 43063 364 364 0 48038 0 [pid=8038] vsize: 193608 Current children cumulated CPU time (s) 245.16 Current children cumulated vsize (Kb) 193608 [startup+260.012 s] Raw data (loadavg): 1.06 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 77249 0 0 0 24958 465 0 0 25 0 1 0 21340892 202358784 43908 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 49404 43908 364 364 0 49040 0 [pid=8038] vsize: 197616 Current children cumulated CPU time (s) 254.23 Current children cumulated vsize (Kb) 197616 [startup+270.012 s] Raw data (loadavg): 1.05 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 77736 0 0 0 25914 480 0 0 25 0 1 0 21340892 204623872 44395 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 49957 44395 364 364 0 49593 0 [pid=8038] vsize: 199828 Current children cumulated CPU time (s) 263.94 Current children cumulated vsize (Kb) 199828 [startup+280.012 s] Raw data (loadavg): 1.04 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 77834 0 0 0 26887 488 0 0 25 0 1 0 21340892 205115392 44493 4294967295 134512640 135987407 3221224576 3221223392 134816545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50077 44493 364 364 0 49713 0 [pid=8038] vsize: 200308 Current children cumulated CPU time (s) 273.75 Current children cumulated vsize (Kb) 200308 [startup+290.013 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 78780 0 0 0 27860 498 0 0 25 0 1 0 21340892 205279232 44527 4294967295 134512640 135987407 3221224576 3221223424 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50117 44527 364 364 0 49753 0 [pid=8038] vsize: 200468 Current children cumulated CPU time (s) 283.58 Current children cumulated vsize (Kb) 200468 [startup+300.013 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 78875 0 0 0 28829 507 0 0 25 0 1 0 21340892 205754368 44622 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50233 44622 364 364 0 49869 0 [pid=8038] vsize: 200932 Current children cumulated CPU time (s) 293.36 Current children cumulated vsize (Kb) 200932 [startup+310.013 s] Raw data (loadavg): 1.02 0.99 0.94 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 79815 0 0 0 29785 522 0 0 25 0 1 0 21340892 205918208 44650 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50273 44650 364 364 0 49909 0 [pid=8038] vsize: 201092 Current children cumulated CPU time (s) 303.07 Current children cumulated vsize (Kb) 201092 [startup+320.013 s] Raw data (loadavg): 1.02 0.99 0.94 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 79843 0 0 0 30754 532 0 0 25 0 1 0 21340892 206082048 44678 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50313 44678 364 364 0 49949 0 [pid=8038] vsize: 201252 Current children cumulated CPU time (s) 312.86 Current children cumulated vsize (Kb) 201252 [startup+330.013 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 80781 0 0 0 31725 543 0 0 25 0 1 0 21340892 206245888 44704 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50353 44704 364 364 0 49989 0 [pid=8038] vsize: 201412 Current children cumulated CPU time (s) 322.68 Current children cumulated vsize (Kb) 201412 [startup+340.014 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 81733 0 0 0 32689 557 0 0 25 0 1 0 21340892 206409728 44744 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50393 44744 364 364 0 50029 0 [pid=8038] vsize: 201572 Current children cumulated CPU time (s) 332.46 Current children cumulated vsize (Kb) 201572 [startup+350.014 s] Raw data (loadavg): 1.01 0.99 0.94 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 81951 0 0 0 33659 568 0 0 25 0 1 0 21340892 207523840 44962 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50665 44962 364 364 0 50301 0 [pid=8038] vsize: 202660 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (Kb) 202660 [startup+360.013 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 83082 0 0 0 34633 579 0 0 25 0 1 0 21340892 208793600 45181 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 50975 45181 364 364 0 50611 0 [pid=8038] vsize: 203900 Current children cumulated CPU time (s) 352.12 Current children cumulated vsize (Kb) 203900 [startup+370.013 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 83341 0 0 0 35604 588 0 0 25 0 1 0 21340892 210059264 45440 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 51284 45440 364 364 0 50920 0 [pid=8038] vsize: 205136 Current children cumulated CPU time (s) 361.92 Current children cumulated vsize (Kb) 205136 [startup+380.014 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 84341 0 0 0 36561 605 0 0 25 0 1 0 21340892 210587648 45528 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51413 45528 364 364 0 51049 0 [pid=8038] vsize: 205652 Current children cumulated CPU time (s) 371.66 Current children cumulated vsize (Kb) 205652 [startup+390.015 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 84496 0 0 0 37520 621 0 0 25 0 1 0 21340892 211447808 45683 4294967295 134512640 135987407 3221224576 3221223264 134811835 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 51623 45683 364 364 0 51259 0 [pid=8038] vsize: 206492 Current children cumulated CPU time (s) 381.41 Current children cumulated vsize (Kb) 206492 [startup+400.015 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 85463 0 0 0 38485 633 0 0 25 0 1 0 21340892 211644416 45738 4294967295 134512640 135987407 3221224576 3221223264 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51671 45738 364 364 0 51307 0 [pid=8038] vsize: 206684 Current children cumulated CPU time (s) 391.18 Current children cumulated vsize (Kb) 206684 [startup+410.014 s] Raw data (loadavg): 1.08 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 86402 0 0 0 39453 647 0 0 25 0 1 0 21340892 211841024 45765 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51719 45765 364 364 0 51355 0 [pid=8038] vsize: 206876 Current children cumulated CPU time (s) 401 Current children cumulated vsize (Kb) 206876 [startup+420.014 s] Raw data (loadavg): 1.06 1.00 0.95 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 86439 0 0 0 40425 656 0 0 25 0 1 0 21340892 211841024 45802 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51719 45802 364 364 0 51355 0 [pid=8038] vsize: 206876 Current children cumulated CPU time (s) 410.81 Current children cumulated vsize (Kb) 206876 [startup+430.014 s] Raw data (loadavg): 1.05 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 87403 0 0 0 41375 674 0 0 25 0 1 0 21340892 212037632 45854 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51767 45854 364 364 0 51403 0 [pid=8038] vsize: 207068 Current children cumulated CPU time (s) 420.49 Current children cumulated vsize (Kb) 207068 [startup+440.015 s] Raw data (loadavg): 1.04 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 87480 0 0 0 42348 682 0 0 25 0 1 0 21340892 212430848 45931 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51863 45931 364 364 0 51499 0 [pid=8038] vsize: 207452 Current children cumulated CPU time (s) 430.3 Current children cumulated vsize (Kb) 207452 [startup+450.015 s] Raw data (loadavg): 1.04 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 88447 0 0 0 43318 696 0 0 25 0 1 0 21340892 212627456 45986 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51911 45986 364 364 0 51547 0 [pid=8038] vsize: 207644 Current children cumulated CPU time (s) 440.14 Current children cumulated vsize (Kb) 207644 [startup+460.014 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 88486 0 0 0 44290 705 0 0 25 0 1 0 21340892 212824064 46025 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 51959 46025 364 364 0 51595 0 [pid=8038] vsize: 207836 Current children cumulated CPU time (s) 449.95 Current children cumulated vsize (Kb) 207836 [startup+470.015 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 89439 0 0 0 45254 719 0 0 25 0 1 0 21340892 213020672 46066 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 52007 46066 364 364 0 51643 0 [pid=8038] vsize: 208028 Current children cumulated CPU time (s) 459.73 Current children cumulated vsize (Kb) 208028 [startup+480.015 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 90411 0 0 0 46229 729 0 0 25 0 1 0 21340892 213413888 46126 4294967295 134512640 135987407 3221224576 3221223440 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 52103 46126 364 364 0 51739 0 [pid=8038] vsize: 208412 Current children cumulated CPU time (s) 469.58 Current children cumulated vsize (Kb) 208412 [startup+490.016 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 90440 0 0 0 47200 739 0 0 25 0 1 0 21340892 213413888 46155 4294967295 134512640 135987407 3221224576 3221223192 134776765 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 52103 46155 364 364 0 51739 0 [pid=8038] vsize: 208412 Current children cumulated CPU time (s) 479.39 Current children cumulated vsize (Kb) 208412 [startup+500.016 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 91637 0 0 0 48158 755 0 0 25 0 1 0 21340892 214618112 46391 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 52397 46391 364 364 0 52033 0 [pid=8038] vsize: 209588 Current children cumulated CPU time (s) 489.13 Current children cumulated vsize (Kb) 209588 [startup+510.016 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 92591 0 0 0 49130 766 0 0 25 0 1 0 21340892 218550272 47345 4294967295 134512640 135987407 3221224576 3221222936 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 53357 47345 364 364 0 52993 0 [pid=8038] vsize: 213428 Current children cumulated CPU time (s) 498.96 Current children cumulated vsize (Kb) 213428 [startup+520.017 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 92624 0 0 0 50097 776 0 0 25 0 1 0 21340892 215011328 46466 4294967295 134512640 135987407 3221224576 3221223296 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 52493 46466 364 364 0 52129 0 [pid=8038] vsize: 209972 Current children cumulated CPU time (s) 508.73 Current children cumulated vsize (Kb) 209972 [startup+530.018 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 93595 0 0 0 51063 789 0 0 25 0 1 0 21340892 215207936 46525 4294967295 134512640 135987407 3221224576 3221223424 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 52541 46525 364 364 0 52177 0 [pid=8038] vsize: 210164 Current children cumulated CPU time (s) 518.52 Current children cumulated vsize (Kb) 210164 [startup+540.019 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 93825 0 0 0 52036 799 0 0 25 0 1 0 21340892 216338432 46755 4294967295 134512640 135987407 3221224576 3221223392 134816700 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 52817 46755 364 364 0 52453 0 [pid=8038] vsize: 211268 Current children cumulated CPU time (s) 528.35 Current children cumulated vsize (Kb) 211268 [startup+550.018 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 93854 0 0 0 53009 809 0 0 25 0 1 0 21340892 216473600 46784 4294967295 134512640 135987407 3221224576 3221223216 134789466 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 52850 46784 364 364 0 52486 0 [pid=8038] vsize: 211400 Current children cumulated CPU time (s) 538.18 Current children cumulated vsize (Kb) 211400 [startup+560.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 94790 0 0 0 53984 818 0 0 25 0 1 0 21340892 216473600 46808 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 52850 46808 364 364 0 52486 0 [pid=8038] vsize: 211400 Current children cumulated CPU time (s) 548.02 Current children cumulated vsize (Kb) 211400 [startup+570.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 94968 0 0 0 54953 828 0 0 25 0 1 0 21340892 217145344 46953 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53014 46953 364 364 0 52650 0 [pid=8038] vsize: 212056 Current children cumulated CPU time (s) 557.81 Current children cumulated vsize (Kb) 212056 [startup+580.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 95951 0 0 0 55913 843 0 0 23 0 1 0 21340892 217477120 47024 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53095 47024 364 364 0 52731 0 [pid=8038] vsize: 212380 Current children cumulated CPU time (s) 567.56 Current children cumulated vsize (Kb) 212380 [startup+590.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 96030 0 0 0 56852 865 0 0 25 0 1 0 21340892 217808896 47103 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53176 47103 364 364 0 52812 0 [pid=8038] vsize: 212704 Current children cumulated CPU time (s) 577.17 Current children cumulated vsize (Kb) 212704 [startup+600.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 96950 0 0 0 57824 876 0 0 25 0 1 0 21340892 217808896 47111 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53176 47111 364 364 0 52812 0 [pid=8038] vsize: 212704 Current children cumulated CPU time (s) 587 Current children cumulated vsize (Kb) 212704 [startup+610.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 97112 0 0 0 58791 887 0 0 25 0 1 0 21340892 218890240 47273 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53440 47273 364 364 0 53076 0 [pid=8038] vsize: 213760 Current children cumulated CPU time (s) 596.78 Current children cumulated vsize (Kb) 213760 [startup+620.022 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 98025 0 0 0 59728 909 0 0 25 0 1 0 21340892 218890240 47274 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53440 47274 364 364 0 53076 0 [pid=8038] vsize: 213760 Current children cumulated CPU time (s) 606.37 Current children cumulated vsize (Kb) 213760 [startup+630.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 98039 0 0 0 60698 920 0 0 25 0 1 0 21340892 218890240 47288 4294967295 134512640 135987407 3221224576 3221223216 134789452 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 53440 47288 364 364 0 53076 0 [pid=8038] vsize: 213760 Current children cumulated CPU time (s) 616.18 Current children cumulated vsize (Kb) 213760 [startup+640.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 99056 0 0 0 61616 945 0 0 25 0 1 0 21340892 219320320 47360 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53545 47360 364 364 0 53181 0 [pid=8038] vsize: 214180 Current children cumulated CPU time (s) 625.61 Current children cumulated vsize (Kb) 214180 [startup+650.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 99198 0 0 0 62568 960 0 0 25 0 1 0 21340892 219975680 47502 4294967295 134512640 135987407 3221224576 3221223264 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53705 47502 364 364 0 53341 0 [pid=8038] vsize: 214820 Current children cumulated CPU time (s) 635.28 Current children cumulated vsize (Kb) 214820 [startup+660.023 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 99239 0 0 0 63542 970 0 0 25 0 1 0 21340892 220172288 47543 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53753 47543 364 364 0 53389 0 [pid=8038] vsize: 215012 Current children cumulated CPU time (s) 645.12 Current children cumulated vsize (Kb) 215012 [startup+670.023 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 100179 0 0 0 64511 981 0 0 25 0 1 0 21340892 220172288 47571 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53753 47571 364 364 0 53389 0 [pid=8038] vsize: 215012 Current children cumulated CPU time (s) 654.92 Current children cumulated vsize (Kb) 215012 [startup+680.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 100265 0 0 0 65472 994 0 0 25 0 1 0 21340892 220700672 47657 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 53882 47657 364 364 0 53518 0 [pid=8038] vsize: 215528 Current children cumulated CPU time (s) 664.66 Current children cumulated vsize (Kb) 215528 [startup+690.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 100301 0 0 0 66440 1005 0 0 25 0 1 0 21340892 220897280 47693 4294967295 134512640 135987407 3221224576 3221223264 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53930 47693 364 364 0 53566 0 [pid=8038] vsize: 215720 Current children cumulated CPU time (s) 674.45 Current children cumulated vsize (Kb) 215720 [startup+700.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 101235 0 0 0 67412 1016 0 0 25 0 1 0 21340892 220897280 47715 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53930 47715 364 364 0 53566 0 [pid=8038] vsize: 215720 Current children cumulated CPU time (s) 684.28 Current children cumulated vsize (Kb) 215720 [startup+710.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 101243 0 0 0 68376 1028 0 0 25 0 1 0 21340892 220897280 47723 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 53930 47723 364 364 0 53566 0 [pid=8038] vsize: 215720 Current children cumulated CPU time (s) 694.04 Current children cumulated vsize (Kb) 215720 [startup+720.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 102215 0 0 0 69342 1040 0 0 25 0 1 0 21340892 224829440 48695 4294967295 134512640 135987407 3221224576 3221222936 134827485 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54890 48695 364 364 0 54526 0 [pid=8038] vsize: 219560 Current children cumulated CPU time (s) 703.82 Current children cumulated vsize (Kb) 219560 [startup+730.024 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 102261 0 0 0 70310 1051 0 0 25 0 1 0 21340892 221290496 47829 4294967295 134512640 135987407 3221224576 3221223136 134788469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54026 47829 364 364 0 53662 0 [pid=8038] vsize: 216104 Current children cumulated CPU time (s) 713.61 Current children cumulated vsize (Kb) 216104 [startup+740.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 103177 0 0 0 71277 1066 0 0 25 0 1 0 21340892 225026048 48745 4294967295 134512640 135987407 3221224576 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54938 48745 364 364 0 54574 0 [pid=8038] vsize: 219752 Current children cumulated CPU time (s) 723.43 Current children cumulated vsize (Kb) 219752 [startup+750.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 103181 0 0 0 72246 1076 0 0 25 0 1 0 21340892 221290496 47837 4294967295 134512640 135987407 3221224576 3221223360 134812268 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54026 47837 364 364 0 53662 0 [pid=8038] vsize: 216104 Current children cumulated CPU time (s) 733.22 Current children cumulated vsize (Kb) 216104 [startup+760.026 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 104129 0 0 0 73216 1089 0 0 25 0 1 0 21340892 221487104 47873 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54074 47873 364 364 0 53710 0 [pid=8038] vsize: 216296 Current children cumulated CPU time (s) 743.05 Current children cumulated vsize (Kb) 216296 [startup+770.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 104185 0 0 0 74137 1115 0 0 25 0 1 0 21340892 221683712 47929 4294967295 134512640 135987407 3221224576 3221223264 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54122 47929 364 364 0 53758 0 [pid=8038] vsize: 216488 Current children cumulated CPU time (s) 752.52 Current children cumulated vsize (Kb) 216488 [startup+780.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 104231 0 0 0 75098 1129 0 0 25 0 1 0 21340892 221847552 47975 4294967295 134512640 135987407 3221224576 3221223264 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54162 47975 364 364 0 53798 0 [pid=8038] vsize: 216648 Current children cumulated CPU time (s) 762.27 Current children cumulated vsize (Kb) 216648 [startup+790.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8038 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 104248 0 0 0 76067 1141 0 0 25 0 1 0 21340892 222044160 47992 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54210 47992 364 364 0 53846 0 [pid=8038] vsize: 216840 Current children cumulated CPU time (s) 772.08 Current children cumulated vsize (Kb) 216840 [startup+800.028 s] Raw data (loadavg): 1.08 1.02 0.95 2/55 8093 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 105177 0 0 0 77032 1156 0 0 25 0 1 0 21340892 222044160 48009 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54210 48009 364 364 0 53846 0 [pid=8038] vsize: 216840 Current children cumulated CPU time (s) 781.88 Current children cumulated vsize (Kb) 216840 [startup+810.028 s] Raw data (loadavg): 1.07 1.02 0.95 2/55 8093 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 105211 0 0 0 78002 1167 0 0 25 0 1 0 21340892 222240768 48043 4294967295 134512640 135987407 3221224576 3221223392 134816522 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 54258 48043 364 364 0 53894 0 [pid=8038] vsize: 217032 Current children cumulated CPU time (s) 791.69 Current children cumulated vsize (Kb) 217032 [startup+820.029 s] Raw data (loadavg): 1.06 1.01 0.95 2/55 8093 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 106131 0 0 0 78975 1178 0 0 25 0 1 0 21340892 222240768 48051 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54258 48051 364 364 0 53894 0 [pid=8038] vsize: 217032 Current children cumulated CPU time (s) 801.53 Current children cumulated vsize (Kb) 217032 [startup+830.028 s] Raw data (loadavg): 1.05 1.01 0.95 2/55 8093 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 106136 0 0 0 79942 1189 0 0 25 0 1 0 21340892 222240768 48056 4294967295 134512640 135987407 3221224576 3221223360 134812371 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54258 48056 364 364 0 53894 0 [pid=8038] vsize: 217032 Current children cumulated CPU time (s) 811.31 Current children cumulated vsize (Kb) 217032 [startup+840.029 s] Raw data (loadavg): 1.04 1.01 0.95 2/55 8093 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 107109 0 0 0 80917 1200 0 0 25 0 1 0 21340892 222437376 48117 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54306 48117 364 364 0 53942 0 [pid=8038] vsize: 217224 Current children cumulated CPU time (s) 821.17 Current children cumulated vsize (Kb) 217224 [startup+850.03 s] Raw data (loadavg): 1.03 1.01 0.95 1/55 8095 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 107122 0 0 0 81884 1212 0 0 25 0 1 0 21340892 222633984 48130 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54354 48130 364 364 0 53990 0 [pid=8038] vsize: 217416 Current children cumulated CPU time (s) 830.96 Current children cumulated vsize (Kb) 217416 [startup+860.03 s] Raw data (loadavg): 1.03 1.01 0.95 2/55 8095 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 108057 0 0 0 82854 1224 0 0 25 0 1 0 21340892 222633984 48153 4294967295 134512640 135987407 3221224576 3221223264 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 54354 48153 364 364 0 53990 0 [pid=8038] vsize: 217416 Current children cumulated CPU time (s) 840.78 Current children cumulated vsize (Kb) 217416 [startup+870.03 s] Raw data (loadavg): 1.02 1.01 0.95 2/55 8097 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 108132 0 0 0 83821 1235 0 0 25 0 1 0 21340892 223100928 48228 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 54468 48228 364 364 0 54104 0 [pid=8038] vsize: 217872 Current children cumulated CPU time (s) 850.56 Current children cumulated vsize (Kb) 217872 [startup+880.031 s] Raw data (loadavg): 1.02 1.01 0.95 1/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 109209 0 0 0 84772 1254 0 0 23 0 1 0 21340892 224182272 48393 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54732 48393 364 364 0 54368 0 [pid=8038] vsize: 218928 Current children cumulated CPU time (s) 860.26 Current children cumulated vsize (Kb) 218928 [startup+890.032 s] Raw data (loadavg): 1.02 1.01 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 109276 0 0 0 85737 1267 0 0 25 0 1 0 21340892 224317440 48460 4294967295 134512640 135987407 3221224576 3221223136 134788493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54765 48460 364 364 0 54401 0 [pid=8038] vsize: 219060 Current children cumulated CPU time (s) 870.04 Current children cumulated vsize (Kb) 219060 [startup+900.032 s] Raw data (loadavg): 1.01 1.01 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 109313 0 0 0 86712 1278 0 0 25 0 1 0 21340892 224452608 48497 4294967295 134512640 135987407 3221224576 3221223216 134789455 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54798 48497 364 364 0 54434 0 [pid=8038] vsize: 219192 Current children cumulated CPU time (s) 879.9 Current children cumulated vsize (Kb) 219192 [startup+910.032 s] Raw data (loadavg): 1.01 1.01 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 110232 0 0 0 87682 1289 0 0 25 0 1 0 21340892 224452608 48504 4294967295 134512640 135987407 3221224576 3221223424 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54798 48504 364 364 0 54434 0 [pid=8038] vsize: 219192 Current children cumulated CPU time (s) 889.71 Current children cumulated vsize (Kb) 219192 [startup+920.032 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 110240 0 0 0 88650 1301 0 0 25 0 1 0 21340892 224452608 48512 4294967295 134512640 135987407 3221224576 3221223296 134814412 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 54798 48512 364 364 0 54434 0 [pid=8038] vsize: 219192 Current children cumulated CPU time (s) 899.51 Current children cumulated vsize (Kb) 219192 [startup+930.032 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 111156 0 0 0 89617 1313 0 0 25 0 1 0 21340892 224452608 48516 4294967295 134512640 135987407 3221224576 3221223264 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54798 48516 364 364 0 54434 0 [pid=8038] vsize: 219192 Current children cumulated CPU time (s) 909.3 Current children cumulated vsize (Kb) 219192 [startup+940.033 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 111162 0 0 0 90585 1325 0 0 25 0 1 0 21340892 224452608 48522 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54798 48522 364 364 0 54434 0 [pid=8038] vsize: 219192 Current children cumulated CPU time (s) 919.1 Current children cumulated vsize (Kb) 219192 [startup+950.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 112108 0 0 0 91560 1334 0 0 25 0 1 0 21340892 224587776 48556 4294967295 134512640 135987407 3221224576 3221223424 134790016 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54831 48556 364 364 0 54467 0 [pid=8038] vsize: 219324 Current children cumulated CPU time (s) 928.94 Current children cumulated vsize (Kb) 219324 [startup+960.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 112148 0 0 0 92520 1347 0 0 25 0 1 0 21340892 224784384 48596 4294967295 134512640 135987407 3221224576 3221223136 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54879 48596 364 364 0 54515 0 [pid=8038] vsize: 219516 Current children cumulated CPU time (s) 938.67 Current children cumulated vsize (Kb) 219516 [startup+970.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 112149 0 0 0 93489 1357 0 0 25 0 1 0 21340892 224784384 48597 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54879 48597 364 364 0 54515 0 [pid=8038] vsize: 219516 Current children cumulated CPU time (s) 948.46 Current children cumulated vsize (Kb) 219516 [startup+980.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113065 0 0 0 94461 1367 0 0 25 0 1 0 21340892 224784384 48601 4294967295 134512640 135987407 3221224576 3221223264 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54879 48601 364 364 0 54515 0 [pid=8038] vsize: 219516 Current children cumulated CPU time (s) 958.28 Current children cumulated vsize (Kb) 219516 [startup+990.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113070 0 0 0 95427 1380 0 0 25 0 1 0 21340892 224784384 48606 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54879 48606 364 364 0 54515 0 [pid=8038] vsize: 219516 Current children cumulated CPU time (s) 968.07 Current children cumulated vsize (Kb) 219516 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113991 0 0 0 96395 1393 0 0 25 0 1 0 21340892 228519936 49527 4294967295 134512640 135987407 3221224576 3221222936 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55791 49527 364 364 0 55427 0 [pid=8038] vsize: 223164 Current children cumulated CPU time (s) 977.88 Current children cumulated vsize (Kb) 223164 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 113996 0 0 0 97358 1406 0 0 25 0 1 0 21340892 224784384 48620 4294967295 134512640 135987407 3221224576 3221223424 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54879 48620 364 364 0 54515 0 [pid=8038] vsize: 219516 Current children cumulated CPU time (s) 987.64 Current children cumulated vsize (Kb) 219516 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 114918 0 0 0 98324 1418 0 0 25 0 1 0 21340892 228519936 49542 4294967295 134512640 135987407 3221224576 3221222960 134829261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 55791 49542 364 364 0 55427 0 [pid=8038] vsize: 223164 Current children cumulated CPU time (s) 997.42 Current children cumulated vsize (Kb) 223164 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 114999 0 0 0 99278 1435 0 0 25 0 1 0 21340892 225189888 48711 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 54978 48711 364 364 0 54614 0 [pid=8038] vsize: 219912 Current children cumulated CPU time (s) 1007.13 Current children cumulated vsize (Kb) 219912 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 115030 0 0 0 100243 1446 0 0 25 0 1 0 21340892 225325056 48742 4294967295 134512640 135987407 3221224576 3221223424 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48742 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1016.89 Current children cumulated vsize (Kb) 220044 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 115949 0 0 0 101211 1460 0 0 25 0 1 0 21340892 225325056 48749 4294967295 134512640 135987407 3221224576 3221223424 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 55011 48749 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1026.71 Current children cumulated vsize (Kb) 220044 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 115959 0 0 0 102175 1471 0 0 25 0 1 0 21340892 225325056 48759 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8038/statm): 55011 48759 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1036.46 Current children cumulated vsize (Kb) 220044 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 116876 0 0 0 103136 1485 0 0 25 0 1 0 21340892 225325056 48764 4294967295 134512640 135987407 3221224576 3221223396 135479954 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48764 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1046.21 Current children cumulated vsize (Kb) 220044 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 116879 0 0 0 104098 1497 0 0 25 0 1 0 21340892 225325056 48767 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48767 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1055.95 Current children cumulated vsize (Kb) 220044 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 117793 0 0 0 105064 1512 0 0 25 0 1 0 21340892 225325056 48769 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48769 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1065.76 Current children cumulated vsize (Kb) 220044 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 117799 0 0 0 106028 1524 0 0 25 0 1 0 21340892 225325056 48775 4294967295 134512640 135987407 3221224576 3221223216 134789444 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 55011 48775 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1075.52 Current children cumulated vsize (Kb) 220044 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 118713 0 0 0 106995 1537 0 0 25 0 1 0 21340892 225325056 48777 4294967295 134512640 135987407 3221224576 3221223264 134811962 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 55011 48777 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1085.32 Current children cumulated vsize (Kb) 220044 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 119628 0 0 0 107953 1554 0 0 25 0 1 0 21340892 225325056 48780 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48780 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1095.07 Current children cumulated vsize (Kb) 220044 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 119630 0 0 0 108921 1564 0 0 25 0 1 0 21340892 225325056 48782 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48782 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1104.85 Current children cumulated vsize (Kb) 220044 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 120547 0 0 0 109892 1576 0 0 25 0 1 0 21340892 225325056 48787 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48787 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1114.68 Current children cumulated vsize (Kb) 220044 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 120549 0 0 0 110852 1588 0 0 25 0 1 0 21340892 225325056 48789 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55011 48789 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1124.4 Current children cumulated vsize (Kb) 220044 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8099 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 121464 0 0 0 111826 1599 0 0 25 0 1 0 21340892 225325056 48792 4294967295 134512640 135987407 3221224576 3221223264 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8038/statm): 55011 48792 364 364 0 54647 0 [pid=8038] vsize: 220044 Current children cumulated CPU time (s) 1134.25 Current children cumulated vsize (Kb) 220044 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 121490 0 0 0 112790 1611 0 0 25 0 1 0 21340892 225460224 48818 4294967295 134512640 135987407 3221224576 3221223136 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55044 48818 364 364 0 54680 0 [pid=8038] vsize: 220176 Current children cumulated CPU time (s) 1144.01 Current children cumulated vsize (Kb) 220176 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) T 8037 8038 4005 0 -1 0 122408 0 0 0 113757 1624 0 0 25 0 1 0 21340892 225460224 48824 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55044 48824 364 364 0 54680 0 [pid=8038] vsize: 220176 Current children cumulated CPU time (s) 1153.81 Current children cumulated vsize (Kb) 220176 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 122416 0 0 0 114725 1635 0 0 25 0 1 0 21340892 225460224 48832 4294967295 134512640 135987407 3221224576 3221223440 134812650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55044 48832 364 364 0 54680 0 [pid=8038] vsize: 220176 Current children cumulated CPU time (s) 1163.6 Current children cumulated vsize (Kb) 220176 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 123335 0 0 0 115695 1646 0 0 25 0 1 0 21340892 225460224 48839 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55044 48839 364 364 0 54680 0 [pid=8038] vsize: 220176 Current children cumulated CPU time (s) 1173.41 Current children cumulated vsize (Kb) 220176 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 124257 0 0 0 116660 1659 0 0 25 0 1 0 21340892 229195776 49761 4294967295 134512640 135987407 3221224576 3221222936 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55956 49761 364 364 0 55592 0 [pid=8038] vsize: 223824 Current children cumulated CPU time (s) 1183.19 Current children cumulated vsize (Kb) 223824 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 124266 0 0 0 117624 1671 0 0 25 0 1 0 21340892 225460224 48858 4294967295 134512640 135987407 3221224576 3221223392 134816659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55044 48858 364 364 0 54680 0 [pid=8038] vsize: 220176 Current children cumulated CPU time (s) 1192.95 Current children cumulated vsize (Kb) 220176 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 125207 0 0 0 118589 1685 0 0 25 0 1 0 21340892 225726464 48887 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55109 48887 364 364 0 54745 0 [pid=8038] vsize: 220436 Current children cumulated CPU time (s) 1202.74 Current children cumulated vsize (Kb) 220436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8101 Raw data (/proc/8038/stat): 8038 (pb2sat) R 8037 8038 4005 0 -1 0 125207 0 0 0 118589 1685 0 0 25 0 1 0 21340892 225726464 48887 4294967295 134512640 135987407 3221224576 3221223264 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8038/statm): 55109 48887 364 364 0 54745 0 [pid=8038] vsize: 220436 Current children cumulated CPU time (s) 1202.74 Current children cumulated vsize (Kb) 220436 Sending SIGTERM to -8038 Sleeping 2 seconds One traced child (pid=8038) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1230.85 CPU time (s): 1203.55 CPU user time (s): 1186.59 CPU system time (s): 16.9554 CPU usage (%): 97.7819 Max. virtual memory (cumulated for all children) (Kb): 223824
ERROR: no interpretation found !