Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-set1cl.opb |
MD5SUM | fa4a7fbdb8e29a803b111007243b55e8 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26591232 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 10737418240 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 1616008034847 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 10737418240 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 1616008034847 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1227.47 |
Number of variables | 14400 |
Total number of constraints | 732 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 240 |
Number of constraints which are nor clauses,nor cardinality constraints | 492 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 630 |
LAUNCH ON wulflinc25 THE 2005-09-23 16:23:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8747 boxname=wulflinc25 idbench=543 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: fa4a7fbdb8e29a803b111007243b55e8 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-set1cl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-set1cl.opb IDLAUNCH: 8747 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.002 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.002 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: 924972 kB Buffers: 17308 kB Cached: 72860 kB SwapCached: 0 kB Active: 46268 kB Inactive: 46756 kB HighTotal: 131008 kB HighFree: 54264 kB LowTotal: 903652 kB LowFree: 870708 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11056 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:45:06 (client local time) WITH STATUS 0 IN 1206.36 SECONDS stats: 8747 7 1206.36 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... 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/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21562664 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 373 2 364 364 0 9 0 [pid=8243] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-set1cl.opb [startup+10.0022 s] Raw data (loadavg): 0.92 0.94 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 26399 0 0 0 934 63 0 0 25 0 1 0 21562664 82354176 15273 4294967295 134512640 135987407 3221224560 3221043280 134537503 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 20106 15273 364 364 0 19742 0 [pid=8243] vsize: 80424 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 80424 [startup+20.0028 s] Raw data (loadavg): 0.93 0.94 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 50982 0 0 0 1866 125 0 0 24 0 1 0 21562664 162664448 27897 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 39713 27897 364 364 0 39349 0 [pid=8243] vsize: 158852 Current children cumulated CPU time (s) 19.91 Current children cumulated vsize (Kb) 158852 [startup+30.0034 s] Raw data (loadavg): 0.94 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 51456 0 0 0 2739 167 0 0 25 0 1 0 21562664 164564992 28371 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 40177 28371 364 364 0 39813 0 [pid=8243] vsize: 160708 Current children cumulated CPU time (s) 29.06 Current children cumulated vsize (Kb) 160708 [startup+40.004 s] Raw data (loadavg): 0.95 0.95 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 51688 0 0 0 3641 199 0 0 25 0 1 0 21562664 165421056 28603 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 40386 28603 364 364 0 40022 0 [pid=8243] vsize: 161544 Current children cumulated CPU time (s) 38.4 Current children cumulated vsize (Kb) 161544 [startup+50.0046 s] Raw data (loadavg): 0.96 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 51799 0 0 0 4532 237 0 0 25 0 1 0 21562664 165826560 28714 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 40485 28714 364 364 0 40121 0 [pid=8243] vsize: 161940 Current children cumulated CPU time (s) 47.69 Current children cumulated vsize (Kb) 161940 [startup+60.0052 s] Raw data (loadavg): 0.96 0.95 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 51879 0 0 0 5426 271 0 0 25 0 1 0 21562664 166236160 28794 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 40585 28794 364 364 0 40221 0 [pid=8243] vsize: 162340 Current children cumulated CPU time (s) 56.97 Current children cumulated vsize (Kb) 162340 [startup+70.0048 s] Raw data (loadavg): 0.97 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52046 0 0 0 6311 309 0 0 25 0 1 0 21562664 166932480 28961 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 40755 28961 364 364 0 40391 0 [pid=8243] vsize: 163020 Current children cumulated CPU time (s) 66.2 Current children cumulated vsize (Kb) 163020 [startup+80.0054 s] Raw data (loadavg): 0.97 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52119 0 0 0 7207 344 0 0 25 0 1 0 21562664 167227392 29034 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 40827 29034 364 364 0 40463 0 [pid=8243] vsize: 163308 Current children cumulated CPU time (s) 75.51 Current children cumulated vsize (Kb) 163308 [startup+90.005 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52205 0 0 0 8104 379 0 0 25 0 1 0 21562664 167538688 29120 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 40903 29120 364 364 0 40539 0 [pid=8243] vsize: 163612 Current children cumulated CPU time (s) 84.83 Current children cumulated vsize (Kb) 163612 [startup+100.006 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52269 0 0 0 8993 415 0 0 25 0 1 0 21562664 167825408 29184 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 40973 29184 364 364 0 40609 0 [pid=8243] vsize: 163892 Current children cumulated CPU time (s) 94.08 Current children cumulated vsize (Kb) 163892 [startup+110.006 s] Raw data (loadavg): 0.98 0.95 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 52504 0 0 0 9875 454 0 0 25 0 1 0 21562664 168824832 29419 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41217 29419 364 364 0 40853 0 [pid=8243] vsize: 164868 Current children cumulated CPU time (s) 103.29 Current children cumulated vsize (Kb) 164868 [startup+120.007 s] Raw data (loadavg): 0.98 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52590 0 0 0 10761 489 0 0 25 0 1 0 21562664 169119744 29505 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41289 29505 364 364 0 40925 0 [pid=8243] vsize: 165156 Current children cumulated CPU time (s) 112.5 Current children cumulated vsize (Kb) 165156 [startup+130.007 s] Raw data (loadavg): 0.99 0.95 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52683 0 0 0 11646 527 0 0 25 0 1 0 21562664 169553920 29598 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41395 29598 364 364 0 41031 0 [pid=8243] vsize: 165580 Current children cumulated CPU time (s) 121.73 Current children cumulated vsize (Kb) 165580 [startup+140.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52779 0 0 0 12538 561 0 0 25 0 1 0 21562664 169996288 29694 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41503 29694 364 364 0 41139 0 [pid=8243] vsize: 166012 Current children cumulated CPU time (s) 130.99 Current children cumulated vsize (Kb) 166012 [startup+150.008 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52822 0 0 0 13426 598 0 0 25 0 1 0 21562664 170143744 29737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41539 29737 364 364 0 41175 0 [pid=8243] vsize: 166156 Current children cumulated CPU time (s) 140.24 Current children cumulated vsize (Kb) 166156 [startup+160.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52907 0 0 0 14317 633 0 0 25 0 1 0 21562664 170426368 29822 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41608 29822 364 364 0 41244 0 [pid=8243] vsize: 166432 Current children cumulated CPU time (s) 149.5 Current children cumulated vsize (Kb) 166432 [startup+170.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 52982 0 0 0 15210 668 0 0 25 0 1 0 21562664 170737664 29897 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41684 29897 364 364 0 41320 0 [pid=8243] vsize: 166736 Current children cumulated CPU time (s) 158.78 Current children cumulated vsize (Kb) 166736 [startup+180.007 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53160 0 0 0 16089 709 0 0 25 0 1 0 21562664 171565056 30075 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 41886 30075 364 364 0 41522 0 [pid=8243] vsize: 167544 Current children cumulated CPU time (s) 167.98 Current children cumulated vsize (Kb) 167544 [startup+190.008 s] Raw data (loadavg): 0.99 0.96 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53240 0 0 0 16978 746 0 0 25 0 1 0 21562664 171839488 30155 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 41953 30155 364 364 0 41589 0 [pid=8243] vsize: 167812 Current children cumulated CPU time (s) 177.24 Current children cumulated vsize (Kb) 167812 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53333 0 0 0 17870 783 0 0 25 0 1 0 21562664 172118016 30248 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42021 30248 364 364 0 41657 0 [pid=8243] vsize: 168084 Current children cumulated CPU time (s) 186.53 Current children cumulated vsize (Kb) 168084 [startup+210.009 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53471 0 0 0 18761 818 0 0 25 0 1 0 21562664 172695552 30386 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42162 30386 364 364 0 41798 0 [pid=8243] vsize: 168648 Current children cumulated CPU time (s) 195.79 Current children cumulated vsize (Kb) 168648 [startup+220.01 s] Raw data (loadavg): 0.99 0.96 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53513 0 0 0 19647 855 0 0 24 0 1 0 21562664 172982272 30428 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42232 30428 364 364 0 41868 0 [pid=8243] vsize: 168928 Current children cumulated CPU time (s) 205.02 Current children cumulated vsize (Kb) 168928 [startup+230.01 s] Raw data (loadavg): 0.99 0.96 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53575 0 0 0 20526 896 0 0 25 0 1 0 21562664 173277184 30490 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42304 30490 364 364 0 41940 0 [pid=8243] vsize: 169216 Current children cumulated CPU time (s) 214.22 Current children cumulated vsize (Kb) 169216 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53650 0 0 0 21417 933 0 0 25 0 1 0 21562664 173563904 30565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42374 30565 364 364 0 42010 0 [pid=8243] vsize: 169496 Current children cumulated CPU time (s) 223.5 Current children cumulated vsize (Kb) 169496 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53696 0 0 0 22306 967 0 0 25 0 1 0 21562664 173703168 30611 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42408 30611 364 364 0 42044 0 [pid=8243] vsize: 169632 Current children cumulated CPU time (s) 232.73 Current children cumulated vsize (Kb) 169632 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53773 0 0 0 23195 1002 0 0 25 0 1 0 21562664 174145536 30688 4294967295 134512640 135987407 3221224560 3221223344 134812325 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42516 30688 364 364 0 42152 0 [pid=8243] vsize: 170064 Current children cumulated CPU time (s) 241.97 Current children cumulated vsize (Kb) 170064 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 53882 0 0 0 24060 1049 0 0 25 0 1 0 21562664 174563328 30797 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42618 30797 364 364 0 42254 0 [pid=8243] vsize: 170472 Current children cumulated CPU time (s) 251.09 Current children cumulated vsize (Kb) 170472 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53930 0 0 0 24948 1085 0 0 25 0 1 0 21562664 174702592 30845 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42652 30845 364 364 0 42288 0 [pid=8243] vsize: 170608 Current children cumulated CPU time (s) 260.33 Current children cumulated vsize (Kb) 170608 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 53979 0 0 0 25834 1120 0 0 25 0 1 0 21562664 174845952 30894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42687 30894 364 364 0 42323 0 [pid=8243] vsize: 170748 Current children cumulated CPU time (s) 269.54 Current children cumulated vsize (Kb) 170748 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54022 0 0 0 26726 1161 0 0 25 0 1 0 21562664 174985216 30937 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42721 30937 364 364 0 42357 0 [pid=8243] vsize: 170884 Current children cumulated CPU time (s) 278.87 Current children cumulated vsize (Kb) 170884 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54050 0 0 0 27616 1199 0 0 25 0 1 0 21562664 175124480 30965 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42755 30965 364 364 0 42391 0 [pid=8243] vsize: 171020 Current children cumulated CPU time (s) 288.15 Current children cumulated vsize (Kb) 171020 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54118 0 0 0 28508 1236 0 0 25 0 1 0 21562664 175419392 31033 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42827 31033 364 364 0 42463 0 [pid=8243] vsize: 171308 Current children cumulated CPU time (s) 297.44 Current children cumulated vsize (Kb) 171308 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54137 0 0 0 29397 1273 0 0 25 0 1 0 21562664 175419392 31052 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42827 31052 364 364 0 42463 0 [pid=8243] vsize: 171308 Current children cumulated CPU time (s) 306.7 Current children cumulated vsize (Kb) 171308 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54167 0 0 0 30288 1310 0 0 25 0 1 0 21562664 175554560 31082 4294967295 134512640 135987407 3221224560 3221223248 134811784 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42860 31082 364 364 0 42496 0 [pid=8243] vsize: 171440 Current children cumulated CPU time (s) 315.98 Current children cumulated vsize (Kb) 171440 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54203 0 0 0 31181 1344 0 0 25 0 1 0 21562664 175689728 31118 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42893 31118 364 364 0 42529 0 [pid=8243] vsize: 171572 Current children cumulated CPU time (s) 325.25 Current children cumulated vsize (Kb) 171572 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54227 0 0 0 32079 1377 0 0 25 0 1 0 21562664 175689728 31142 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 42893 31142 364 364 0 42529 0 [pid=8243] vsize: 171572 Current children cumulated CPU time (s) 334.56 Current children cumulated vsize (Kb) 171572 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54272 0 0 0 32963 1416 0 0 25 0 1 0 21562664 175960064 31187 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42959 31187 364 364 0 42595 0 [pid=8243] vsize: 171836 Current children cumulated CPU time (s) 343.79 Current children cumulated vsize (Kb) 171836 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54294 0 0 0 33846 1457 0 0 25 0 1 0 21562664 175960064 31209 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42959 31209 364 364 0 42595 0 [pid=8243] vsize: 171836 Current children cumulated CPU time (s) 353.03 Current children cumulated vsize (Kb) 171836 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54333 0 0 0 34740 1492 0 0 25 0 1 0 21562664 176099328 31248 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 42993 31248 364 364 0 42629 0 [pid=8243] vsize: 171972 Current children cumulated CPU time (s) 362.32 Current children cumulated vsize (Kb) 171972 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54396 0 0 0 35616 1531 0 0 25 0 1 0 21562664 176377856 31311 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43061 31311 364 364 0 42697 0 [pid=8243] vsize: 172244 Current children cumulated CPU time (s) 371.47 Current children cumulated vsize (Kb) 172244 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54462 0 0 0 36499 1571 0 0 25 0 1 0 21562664 176680960 31377 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43135 31377 364 364 0 42771 0 [pid=8243] vsize: 172540 Current children cumulated CPU time (s) 380.7 Current children cumulated vsize (Kb) 172540 [startup+420.016 s] Raw data (loadavg): 1.07 0.99 0.93 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54539 0 0 0 37374 1611 0 0 25 0 1 0 21562664 176984064 31454 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43209 31454 364 364 0 42845 0 [pid=8243] vsize: 172836 Current children cumulated CPU time (s) 389.85 Current children cumulated vsize (Kb) 172836 [startup+430.017 s] Raw data (loadavg): 1.06 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54560 0 0 0 38257 1653 0 0 25 0 1 0 21562664 176984064 31475 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43209 31475 364 364 0 42845 0 [pid=8243] vsize: 172836 Current children cumulated CPU time (s) 399.1 Current children cumulated vsize (Kb) 172836 [startup+440.017 s] Raw data (loadavg): 1.05 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54658 0 0 0 39133 1694 0 0 25 0 1 0 21562664 177418240 31573 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43315 31573 364 364 0 42951 0 [pid=8243] vsize: 173260 Current children cumulated CPU time (s) 408.27 Current children cumulated vsize (Kb) 173260 [startup+450.018 s] Raw data (loadavg): 1.04 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54710 0 0 0 40015 1731 0 0 23 0 1 0 21562664 177553408 31625 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43348 31625 364 364 0 42984 0 [pid=8243] vsize: 173392 Current children cumulated CPU time (s) 417.46 Current children cumulated vsize (Kb) 173392 [startup+460.017 s] Raw data (loadavg): 1.04 0.99 0.93 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54723 0 0 0 40901 1767 0 0 25 0 1 0 21562664 177553408 31638 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43348 31638 364 364 0 42984 0 [pid=8243] vsize: 173392 Current children cumulated CPU time (s) 426.68 Current children cumulated vsize (Kb) 173392 [startup+470.018 s] Raw data (loadavg): 1.03 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54745 0 0 0 41790 1802 0 0 25 0 1 0 21562664 177688576 31660 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43381 31660 364 364 0 43017 0 [pid=8243] vsize: 173524 Current children cumulated CPU time (s) 435.92 Current children cumulated vsize (Kb) 173524 [startup+480.019 s] Raw data (loadavg): 1.03 0.99 0.93 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54795 0 0 0 42669 1841 0 0 25 0 1 0 21562664 177823744 31710 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43414 31710 364 364 0 43050 0 [pid=8243] vsize: 173656 Current children cumulated CPU time (s) 445.1 Current children cumulated vsize (Kb) 173656 [startup+490.018 s] Raw data (loadavg): 1.02 0.99 0.93 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 54844 0 0 0 43532 1887 0 0 25 0 1 0 21562664 177958912 31759 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43447 31759 364 364 0 43083 0 [pid=8243] vsize: 173788 Current children cumulated CPU time (s) 454.19 Current children cumulated vsize (Kb) 173788 [startup+500.02 s] Raw data (loadavg): 1.02 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54870 0 0 0 44406 1930 0 0 23 0 1 0 21562664 177958912 31785 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43447 31785 364 364 0 43083 0 [pid=8243] vsize: 173788 Current children cumulated CPU time (s) 463.36 Current children cumulated vsize (Kb) 173788 [startup+510.019 s] Raw data (loadavg): 1.01 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54924 0 0 0 45282 1971 0 0 25 0 1 0 21562664 178233344 31839 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43514 31839 364 364 0 43150 0 [pid=8243] vsize: 174056 Current children cumulated CPU time (s) 472.53 Current children cumulated vsize (Kb) 174056 [startup+520.019 s] Raw data (loadavg): 1.01 0.99 0.93 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 54973 0 0 0 46161 2012 0 0 25 0 1 0 21562664 178372608 31888 4294967295 134512640 135987407 3221224560 3221223136 134801555 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43548 31888 364 364 0 43184 0 [pid=8243] vsize: 174192 Current children cumulated CPU time (s) 481.73 Current children cumulated vsize (Kb) 174192 [startup+530.019 s] Raw data (loadavg): 1.08 1.00 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55008 0 0 0 47037 2051 0 0 25 0 1 0 21562664 178569216 31923 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43596 31923 364 364 0 43232 0 [pid=8243] vsize: 174384 Current children cumulated CPU time (s) 490.88 Current children cumulated vsize (Kb) 174384 [startup+540.02 s] Raw data (loadavg): 1.07 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55050 0 0 0 47928 2084 0 0 25 0 1 0 21562664 178708480 31965 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43630 31965 364 364 0 43266 0 [pid=8243] vsize: 174520 Current children cumulated CPU time (s) 500.12 Current children cumulated vsize (Kb) 174520 [startup+550.021 s] Raw data (loadavg): 1.06 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55073 0 0 0 48807 2125 0 0 25 0 1 0 21562664 178708480 31988 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43630 31988 364 364 0 43266 0 [pid=8243] vsize: 174520 Current children cumulated CPU time (s) 509.32 Current children cumulated vsize (Kb) 174520 [startup+560.021 s] Raw data (loadavg): 1.05 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55086 0 0 0 49696 2160 0 0 25 0 1 0 21562664 178843648 32001 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43663 32001 364 364 0 43299 0 [pid=8243] vsize: 174652 Current children cumulated CPU time (s) 518.56 Current children cumulated vsize (Kb) 174652 [startup+570.022 s] Raw data (loadavg): 1.04 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55119 0 0 0 50579 2196 0 0 25 0 1 0 21562664 178843648 32034 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43663 32034 364 364 0 43299 0 [pid=8243] vsize: 174652 Current children cumulated CPU time (s) 527.75 Current children cumulated vsize (Kb) 174652 [startup+580.023 s] Raw data (loadavg): 1.03 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55152 0 0 0 51455 2236 0 0 25 0 1 0 21562664 178982912 32067 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43697 32067 364 364 0 43333 0 [pid=8243] vsize: 174788 Current children cumulated CPU time (s) 536.91 Current children cumulated vsize (Kb) 174788 [startup+590.022 s] Raw data (loadavg): 1.03 1.00 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55204 0 0 0 52321 2281 0 0 25 0 1 0 21562664 179113984 32119 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43729 32119 364 364 0 43365 0 [pid=8243] vsize: 174916 Current children cumulated CPU time (s) 546.02 Current children cumulated vsize (Kb) 174916 [startup+600.023 s] Raw data (loadavg): 1.02 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55252 0 0 0 53196 2324 0 0 22 0 1 0 21562664 179404800 32167 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43800 32167 364 364 0 43436 0 [pid=8243] vsize: 175200 Current children cumulated CPU time (s) 555.2 Current children cumulated vsize (Kb) 175200 [startup+610.023 s] Raw data (loadavg): 1.02 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55272 0 0 0 54075 2362 0 0 25 0 1 0 21562664 179404800 32187 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43800 32187 364 364 0 43436 0 [pid=8243] vsize: 175200 Current children cumulated CPU time (s) 564.37 Current children cumulated vsize (Kb) 175200 [startup+620.024 s] Raw data (loadavg): 1.02 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55344 0 0 0 54957 2400 0 0 25 0 1 0 21562664 179699712 32259 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43872 32259 364 364 0 43508 0 [pid=8243] vsize: 175488 Current children cumulated CPU time (s) 573.57 Current children cumulated vsize (Kb) 175488 [startup+630.025 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55359 0 0 0 55843 2441 0 0 25 0 1 0 21562664 179699712 32274 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43872 32274 364 364 0 43508 0 [pid=8243] vsize: 175488 Current children cumulated CPU time (s) 582.84 Current children cumulated vsize (Kb) 175488 [startup+640.025 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55398 0 0 0 56721 2485 0 0 25 0 1 0 21562664 179834880 32313 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43905 32313 364 364 0 43541 0 [pid=8243] vsize: 175620 Current children cumulated CPU time (s) 592.06 Current children cumulated vsize (Kb) 175620 [startup+650.026 s] Raw data (loadavg): 1.01 1.00 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55434 0 0 0 57606 2523 0 0 25 0 1 0 21562664 179974144 32349 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 43939 32349 364 364 0 43575 0 [pid=8243] vsize: 175756 Current children cumulated CPU time (s) 601.29 Current children cumulated vsize (Kb) 175756 [startup+660.026 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55457 0 0 0 58488 2562 0 0 23 0 1 0 21562664 179974144 32372 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 43939 32372 364 364 0 43575 0 [pid=8243] vsize: 175756 Current children cumulated CPU time (s) 610.5 Current children cumulated vsize (Kb) 175756 [startup+670.026 s] Raw data (loadavg): 1.01 1.00 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55521 0 0 0 59365 2600 0 0 25 0 1 0 21562664 180244480 32436 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44005 32436 364 364 0 43641 0 [pid=8243] vsize: 176020 Current children cumulated CPU time (s) 619.65 Current children cumulated vsize (Kb) 176020 [startup+680.027 s] Raw data (loadavg): 1.08 1.02 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55536 0 0 0 60244 2642 0 0 25 0 1 0 21562664 180244480 32451 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44005 32451 364 364 0 43641 0 [pid=8243] vsize: 176020 Current children cumulated CPU time (s) 628.86 Current children cumulated vsize (Kb) 176020 [startup+690.026 s] Raw data (loadavg): 1.07 1.02 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55572 0 0 0 61126 2682 0 0 25 0 1 0 21562664 180244480 32487 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44005 32487 364 364 0 43641 0 [pid=8243] vsize: 176020 Current children cumulated CPU time (s) 638.08 Current children cumulated vsize (Kb) 176020 [startup+700.027 s] Raw data (loadavg): 1.06 1.01 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55582 0 0 0 62005 2718 0 0 25 0 1 0 21562664 180383744 32497 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44039 32497 364 364 0 43675 0 [pid=8243] vsize: 176156 Current children cumulated CPU time (s) 647.23 Current children cumulated vsize (Kb) 176156 [startup+710.027 s] Raw data (loadavg): 1.05 1.01 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55666 0 0 0 62876 2762 0 0 24 0 1 0 21562664 180654080 32581 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44105 32581 364 364 0 43741 0 [pid=8243] vsize: 176420 Current children cumulated CPU time (s) 656.38 Current children cumulated vsize (Kb) 176420 [startup+720.028 s] Raw data (loadavg): 1.04 1.01 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55703 0 0 0 63749 2804 0 0 25 0 1 0 21562664 180793344 32618 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44139 32618 364 364 0 43775 0 [pid=8243] vsize: 176556 Current children cumulated CPU time (s) 665.53 Current children cumulated vsize (Kb) 176556 [startup+730.029 s] Raw data (loadavg): 1.03 1.01 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55727 0 0 0 64631 2843 0 0 25 0 1 0 21562664 180793344 32642 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44139 32642 364 364 0 43775 0 [pid=8243] vsize: 176556 Current children cumulated CPU time (s) 674.74 Current children cumulated vsize (Kb) 176556 [startup+740.029 s] Raw data (loadavg): 1.03 1.01 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55780 0 0 0 65507 2884 0 0 25 0 1 0 21562664 181071872 32695 4294967295 134512640 135987407 3221224560 3221223376 134816700 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44207 32695 364 364 0 43843 0 [pid=8243] vsize: 176828 Current children cumulated CPU time (s) 683.91 Current children cumulated vsize (Kb) 176828 [startup+750.03 s] Raw data (loadavg): 1.02 1.01 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55808 0 0 0 66387 2923 0 0 24 0 1 0 21562664 181071872 32723 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44207 32723 364 364 0 43843 0 [pid=8243] vsize: 176828 Current children cumulated CPU time (s) 693.1 Current children cumulated vsize (Kb) 176828 [startup+760.03 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 55838 0 0 0 67256 2968 0 0 25 0 1 0 21562664 181207040 32753 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44240 32753 364 364 0 43876 0 [pid=8243] vsize: 176960 Current children cumulated CPU time (s) 702.24 Current children cumulated vsize (Kb) 176960 [startup+770.03 s] Raw data (loadavg): 1.02 1.01 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55894 0 0 0 68123 3014 0 0 25 0 1 0 21562664 181477376 32809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44306 32809 364 364 0 43942 0 [pid=8243] vsize: 177224 Current children cumulated CPU time (s) 711.37 Current children cumulated vsize (Kb) 177224 [startup+780.031 s] Raw data (loadavg): 1.01 1.01 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 55912 0 0 0 69005 3053 0 0 25 0 1 0 21562664 181477376 32827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44306 32827 364 364 0 43942 0 [pid=8243] vsize: 177224 Current children cumulated CPU time (s) 720.58 Current children cumulated vsize (Kb) 177224 [startup+790.03 s] Raw data (loadavg): 1.01 1.01 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 56016 0 0 0 69884 3092 0 0 25 0 1 0 21562664 181952512 32931 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44422 32931 364 364 0 44058 0 [pid=8243] vsize: 177688 Current children cumulated CPU time (s) 729.76 Current children cumulated vsize (Kb) 177688 [startup+800.031 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56117 0 0 0 70761 3134 0 0 25 0 1 0 21562664 182444032 33032 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44542 33032 364 364 0 44178 0 [pid=8243] vsize: 178168 Current children cumulated CPU time (s) 738.95 Current children cumulated vsize (Kb) 178168 [startup+810.031 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 56292 0 0 0 71646 3172 0 0 25 0 1 0 21562664 183263232 33207 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 44742 33207 364 364 0 44378 0 [pid=8243] vsize: 178968 Current children cumulated CPU time (s) 748.18 Current children cumulated vsize (Kb) 178968 [startup+820.031 s] Raw data (loadavg): 1.00 1.00 0.94 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 56404 0 0 0 72527 3209 0 0 25 0 1 0 21562664 183918592 33319 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 44902 33319 364 364 0 44538 0 [pid=8243] vsize: 179608 Current children cumulated CPU time (s) 757.36 Current children cumulated vsize (Kb) 179608 [startup+830.032 s] Raw data (loadavg): 1.08 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56518 0 0 0 73408 3248 0 0 25 0 1 0 21562664 184410112 33433 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45022 33433 364 364 0 44658 0 [pid=8243] vsize: 180088 Current children cumulated CPU time (s) 766.56 Current children cumulated vsize (Kb) 180088 [startup+840.032 s] Raw data (loadavg): 1.07 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56622 0 0 0 74297 3285 0 0 25 0 1 0 21562664 184901632 33537 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45142 33537 364 364 0 44778 0 [pid=8243] vsize: 180568 Current children cumulated CPU time (s) 775.82 Current children cumulated vsize (Kb) 180568 [startup+850.033 s] Raw data (loadavg): 1.14 1.03 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56711 0 0 0 75175 3325 0 0 25 0 1 0 21562664 185393152 33626 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45262 33626 364 364 0 44898 0 [pid=8243] vsize: 181048 Current children cumulated CPU time (s) 785 Current children cumulated vsize (Kb) 181048 [startup+860.033 s] Raw data (loadavg): 1.11 1.03 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56783 0 0 0 76044 3367 0 0 25 0 1 0 21562664 185720832 33698 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45342 33698 364 364 0 44978 0 [pid=8243] vsize: 181368 Current children cumulated CPU time (s) 794.11 Current children cumulated vsize (Kb) 181368 [startup+870.033 s] Raw data (loadavg): 1.10 1.03 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56879 0 0 0 76934 3406 0 0 25 0 1 0 21562664 186048512 33794 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45422 33794 364 364 0 45058 0 [pid=8243] vsize: 181688 Current children cumulated CPU time (s) 803.4 Current children cumulated vsize (Kb) 181688 [startup+880.034 s] Raw data (loadavg): 1.08 1.03 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 56963 0 0 0 77812 3448 0 0 25 0 1 0 21562664 186540032 33878 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45542 33878 364 364 0 45178 0 [pid=8243] vsize: 182168 Current children cumulated CPU time (s) 812.6 Current children cumulated vsize (Kb) 182168 [startup+890.033 s] Raw data (loadavg): 1.07 1.03 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57065 0 0 0 78678 3495 0 0 25 0 1 0 21562664 187031552 33980 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45662 33980 364 364 0 45298 0 [pid=8243] vsize: 182648 Current children cumulated CPU time (s) 821.73 Current children cumulated vsize (Kb) 182648 [startup+900.034 s] Raw data (loadavg): 1.06 1.03 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57126 0 0 0 79551 3537 0 0 24 0 1 0 21562664 187195392 34041 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45702 34041 364 364 0 45338 0 [pid=8243] vsize: 182808 Current children cumulated CPU time (s) 830.88 Current children cumulated vsize (Kb) 182808 [startup+910.034 s] Raw data (loadavg): 1.05 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57200 0 0 0 80432 3576 0 0 25 0 1 0 21562664 187658240 34115 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45815 34115 364 364 0 45451 0 [pid=8243] vsize: 183260 Current children cumulated CPU time (s) 840.08 Current children cumulated vsize (Kb) 183260 [startup+920.035 s] Raw data (loadavg): 1.04 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57262 0 0 0 81298 3620 0 0 25 0 1 0 21562664 187985920 34177 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 45895 34177 364 364 0 45531 0 [pid=8243] vsize: 183580 Current children cumulated CPU time (s) 849.18 Current children cumulated vsize (Kb) 183580 [startup+930.036 s] Raw data (loadavg): 1.03 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57303 0 0 0 82166 3665 0 0 25 0 1 0 21562664 188149760 34218 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 45935 34218 364 364 0 45571 0 [pid=8243] vsize: 183740 Current children cumulated CPU time (s) 858.31 Current children cumulated vsize (Kb) 183740 [startup+940.035 s] Raw data (loadavg): 1.03 1.02 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57349 0 0 0 83040 3707 0 0 25 0 1 0 21562664 188477440 34264 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46015 34264 364 364 0 45651 0 [pid=8243] vsize: 184060 Current children cumulated CPU time (s) 867.47 Current children cumulated vsize (Kb) 184060 [startup+950.036 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57428 0 0 0 83909 3748 0 0 25 0 1 0 21562664 188805120 34343 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46095 34343 364 364 0 45731 0 [pid=8243] vsize: 184380 Current children cumulated CPU time (s) 876.57 Current children cumulated vsize (Kb) 184380 [startup+960.036 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57478 0 0 0 84783 3788 0 0 19 0 1 0 21562664 189132800 34393 4294967295 134512640 135987407 3221224560 3221223392 134812773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46175 34393 364 364 0 45811 0 [pid=8243] vsize: 184700 Current children cumulated CPU time (s) 885.71 Current children cumulated vsize (Kb) 184700 [startup+970.036 s] Raw data (loadavg): 1.02 1.02 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57521 0 0 0 85658 3830 0 0 25 0 1 0 21562664 189296640 34436 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46215 34436 364 364 0 45851 0 [pid=8243] vsize: 184860 Current children cumulated CPU time (s) 894.88 Current children cumulated vsize (Kb) 184860 [startup+980.037 s] Raw data (loadavg): 1.01 1.02 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57598 0 0 0 86536 3869 0 0 25 0 1 0 21562664 189788160 34513 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46335 34513 364 364 0 45971 0 [pid=8243] vsize: 185340 Current children cumulated CPU time (s) 904.05 Current children cumulated vsize (Kb) 185340 [startup+990.037 s] Raw data (loadavg): 1.01 1.02 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57632 0 0 0 87410 3912 0 0 25 0 1 0 21562664 189952000 34547 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46375 34547 364 364 0 46011 0 [pid=8243] vsize: 185500 Current children cumulated CPU time (s) 913.22 Current children cumulated vsize (Kb) 185500 [startup+1000.04 s] Raw data (loadavg): 1.01 1.02 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57695 0 0 0 88277 3954 0 0 25 0 1 0 21562664 190279680 34610 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46455 34610 364 364 0 46091 0 [pid=8243] vsize: 185820 Current children cumulated CPU time (s) 922.31 Current children cumulated vsize (Kb) 185820 [startup+1010.04 s] Raw data (loadavg): 1.01 1.02 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57763 0 0 0 89150 3996 0 0 25 0 1 0 21562664 190771200 34678 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46575 34678 364 364 0 46211 0 [pid=8243] vsize: 186300 Current children cumulated CPU time (s) 931.46 Current children cumulated vsize (Kb) 186300 [startup+1020.04 s] Raw data (loadavg): 1.00 1.01 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57845 0 0 0 90033 4037 0 0 25 0 1 0 21562664 191262720 34760 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46695 34760 364 364 0 46331 0 [pid=8243] vsize: 186780 Current children cumulated CPU time (s) 940.7 Current children cumulated vsize (Kb) 186780 [startup+1030.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57887 0 0 0 90906 4079 0 0 25 0 1 0 21562664 191426560 34802 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46735 34802 364 364 0 46371 0 [pid=8243] vsize: 186940 Current children cumulated CPU time (s) 949.85 Current children cumulated vsize (Kb) 186940 [startup+1040.04 s] Raw data (loadavg): 1.00 1.01 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 57923 0 0 0 91795 4114 0 0 25 0 1 0 21562664 191590400 34838 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46775 34838 364 364 0 46411 0 [pid=8243] vsize: 187100 Current children cumulated CPU time (s) 959.09 Current children cumulated vsize (Kb) 187100 [startup+1050.04 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 57959 0 0 0 92672 4153 0 0 25 0 1 0 21562664 191754240 34874 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46815 34874 364 364 0 46451 0 [pid=8243] vsize: 187260 Current children cumulated CPU time (s) 968.25 Current children cumulated vsize (Kb) 187260 [startup+1060.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58000 0 0 0 93548 4193 0 0 25 0 1 0 21562664 191918080 34915 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46855 34915 364 364 0 46491 0 [pid=8243] vsize: 187420 Current children cumulated CPU time (s) 977.41 Current children cumulated vsize (Kb) 187420 [startup+1070.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58022 0 0 0 94412 4240 0 0 25 0 1 0 21562664 192081920 34937 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46895 34937 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 986.52 Current children cumulated vsize (Kb) 187580 [startup+1080.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58029 0 0 0 95294 4279 0 0 25 0 1 0 21562664 192081920 34944 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46895 34944 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 995.73 Current children cumulated vsize (Kb) 187580 [startup+1090.05 s] Raw data (loadavg): 1.00 1.01 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58038 0 0 0 96164 4322 0 0 25 0 1 0 21562664 192081920 34953 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46895 34953 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 1004.86 Current children cumulated vsize (Kb) 187580 [startup+1100.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58046 0 0 0 97036 4365 0 0 18 0 1 0 21562664 192081920 34961 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46895 34961 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 1014.01 Current children cumulated vsize (Kb) 187580 [startup+1110.05 s] Raw data (loadavg): 1.00 1.01 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58053 0 0 0 97896 4412 0 0 25 0 1 0 21562664 192081920 34968 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46895 34968 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 1023.08 Current children cumulated vsize (Kb) 187580 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58058 0 0 0 98765 4454 0 0 25 0 1 0 21562664 192081920 34973 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46895 34973 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 1032.19 Current children cumulated vsize (Kb) 187580 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58091 0 0 0 99635 4494 0 0 25 0 1 0 21562664 192081920 35006 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46895 35006 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 1041.29 Current children cumulated vsize (Kb) 187580 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58099 0 0 0 100505 4538 0 0 25 0 1 0 21562664 192081920 35014 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46895 35014 364 364 0 46531 0 [pid=8243] vsize: 187580 Current children cumulated CPU time (s) 1050.43 Current children cumulated vsize (Kb) 187580 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.95 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58110 0 0 0 101374 4582 0 0 25 0 1 0 21562664 192245760 35025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46935 35025 364 364 0 46571 0 [pid=8243] vsize: 187740 Current children cumulated CPU time (s) 1059.56 Current children cumulated vsize (Kb) 187740 [startup+1160.05 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58116 0 0 0 102240 4627 0 0 25 0 1 0 21562664 192245760 35031 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46935 35031 364 364 0 46571 0 [pid=8243] vsize: 187740 Current children cumulated CPU time (s) 1068.67 Current children cumulated vsize (Kb) 187740 [startup+1170.05 s] Raw data (loadavg): 1.06 1.02 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58121 0 0 0 103113 4668 0 0 25 0 1 0 21562664 192245760 35036 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46935 35036 364 364 0 46571 0 [pid=8243] vsize: 187740 Current children cumulated CPU time (s) 1077.81 Current children cumulated vsize (Kb) 187740 [startup+1180.05 s] Raw data (loadavg): 1.05 1.02 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58129 0 0 0 103975 4713 0 0 25 0 1 0 21562664 192245760 35044 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46935 35044 364 364 0 46571 0 [pid=8243] vsize: 187740 Current children cumulated CPU time (s) 1086.88 Current children cumulated vsize (Kb) 187740 [startup+1190.05 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58141 0 0 0 104852 4755 0 0 25 0 1 0 21562664 192245760 35056 4294967295 134512640 135987407 3221224560 3221223020 135481620 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 46935 35056 364 364 0 46571 0 [pid=8243] vsize: 187740 Current children cumulated CPU time (s) 1096.07 Current children cumulated vsize (Kb) 187740 [startup+1200.05 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58188 0 0 0 105725 4796 0 0 25 0 1 0 21562664 192409600 35103 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8243/statm): 46975 35103 364 364 0 46611 0 [pid=8243] vsize: 187900 Current children cumulated CPU time (s) 1105.21 Current children cumulated vsize (Kb) 187900 [startup+1210.05 s] Raw data (loadavg): 1.03 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58212 0 0 0 106599 4839 0 0 25 0 1 0 21562664 192548864 35127 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47009 35127 364 364 0 46645 0 [pid=8243] vsize: 188036 Current children cumulated CPU time (s) 1114.38 Current children cumulated vsize (Kb) 188036 [startup+1220.05 s] Raw data (loadavg): 1.02 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58252 0 0 0 107477 4879 0 0 25 0 1 0 21562664 192688128 35167 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47043 35167 364 364 0 46679 0 [pid=8243] vsize: 188172 Current children cumulated CPU time (s) 1123.56 Current children cumulated vsize (Kb) 188172 [startup+1230.05 s] Raw data (loadavg): 1.02 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58302 0 0 0 108350 4919 0 0 25 0 1 0 21562664 192835584 35217 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47079 35217 364 364 0 46715 0 [pid=8243] vsize: 188316 Current children cumulated CPU time (s) 1132.69 Current children cumulated vsize (Kb) 188316 [startup+1240.05 s] Raw data (loadavg): 1.02 1.01 0.96 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58362 0 0 0 109223 4962 0 0 25 0 1 0 21562664 193122304 35277 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 47149 35277 364 364 0 46785 0 [pid=8243] vsize: 188596 Current children cumulated CPU time (s) 1141.85 Current children cumulated vsize (Kb) 188596 [startup+1250.05 s] Raw data (loadavg): 1.01 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58392 0 0 0 110092 5007 0 0 25 0 1 0 21562664 193122304 35307 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47149 35307 364 364 0 46785 0 [pid=8243] vsize: 188596 Current children cumulated CPU time (s) 1150.99 Current children cumulated vsize (Kb) 188596 [startup+1260.05 s] Raw data (loadavg): 1.01 1.01 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58409 0 0 0 110968 5046 0 0 25 0 1 0 21562664 193261568 35324 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47183 35324 364 364 0 46819 0 [pid=8243] vsize: 188732 Current children cumulated CPU time (s) 1160.14 Current children cumulated vsize (Kb) 188732 [startup+1270.05 s] Raw data (loadavg): 1.01 1.01 0.96 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58430 0 0 0 111835 5088 0 0 25 0 1 0 21562664 193261568 35345 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47183 35345 364 364 0 46819 0 [pid=8243] vsize: 188732 Current children cumulated CPU time (s) 1169.23 Current children cumulated vsize (Kb) 188732 [startup+1280.05 s] Raw data (loadavg): 1.08 1.02 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58446 0 0 0 112709 5128 0 0 25 0 1 0 21562664 193261568 35361 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47183 35361 364 364 0 46819 0 [pid=8243] vsize: 188732 Current children cumulated CPU time (s) 1178.37 Current children cumulated vsize (Kb) 188732 [startup+1290.05 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) R 8242 8243 4004 0 -1 0 58479 0 0 0 113586 5169 0 0 25 0 1 0 21562664 193425408 35394 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8243/statm): 47223 35394 364 364 0 46859 0 [pid=8243] vsize: 188892 Current children cumulated CPU time (s) 1187.55 Current children cumulated vsize (Kb) 188892 [startup+1300.05 s] Raw data (loadavg): 1.06 1.02 0.96 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58511 0 0 0 114455 5212 0 0 25 0 1 0 21562664 193572864 35426 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 47259 35426 364 364 0 46895 0 [pid=8243] vsize: 189036 Current children cumulated CPU time (s) 1196.67 Current children cumulated vsize (Kb) 189036 [startup+1310.05 s] Raw data (loadavg): 1.05 1.02 0.96 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58525 0 0 0 115319 5256 0 0 25 0 1 0 21562664 193572864 35440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 47259 35440 364 364 0 46895 0 [pid=8243] vsize: 189036 Current children cumulated CPU time (s) 1205.75 Current children cumulated vsize (Kb) 189036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1310.06 s] Raw data (loadavg): 1.05 1.02 0.96 1/55 8243 Raw data (/proc/8243/stat): 8243 (pb2sat) T 8242 8243 4004 0 -1 0 58525 0 0 0 115319 5256 0 0 25 0 1 0 21562664 193572864 35440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8243/statm): 47259 35440 364 364 0 46895 0 [pid=8243] vsize: 189036 Current children cumulated CPU time (s) 1205.75 Current children cumulated vsize (Kb) 189036 Sending SIGTERM to -8243 Sleeping 2 seconds One traced child (pid=8243) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1310.66 CPU time (s): 1206.36 CPU user time (s): 1153.73 CPU system time (s): 52.634 CPU usage (%): 92.0423 Max. virtual memory (cumulated for all children) (Kb): 189036
ERROR: no interpretation found !