Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
MD5SUM10386fd19d9976c249ce2be861b38a70
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36864
Optimality of the best value was proved NO
Number of terms in the objective function 180
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6442450938
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 6442450938
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.29
Number of variables230
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint80

Trace number 10075

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 16:33:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8776 boxname=wulflinc2 idbench=572 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  10386fd19d9976c249ce2be861b38a70  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 8776
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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:        898020 kB
Buffers:         16732 kB
Cached:         100500 kB
SwapCached:          0 kB
Active:          45252 kB
Inactive:        74848 kB
HighTotal:      131008 kB
HighFree:        34440 kB
LowTotal:       903652 kB
LowFree:        863580 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10888 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:53:26 (client local time) WITH STATUS 10 IN 1210.02 SECONDS
stats: 8776 0 1210.02 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 762880
c small objective detected
c CONFLICT during preprocess 
c [startup+17.5645 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+18.7968 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+20.0303 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+21.2637 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+22.496 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+23.7291 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+24.9624 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+26.1956 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+27.4287 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+28.6619 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+29.895 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+31.1297 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+32.3643 s]  setting bit 20 to 0
c got solution with objective value: 178176
c [startup+42.6082 s]  setting bit 19 to 1
c CONFLICT during preprocess 
c [startup+43.8459 s]  setting bit 18 to 0

c Decision: 3997/304780	Time: 865.463/86400
c Decision: 3997/304780	Time: 949.074/86400
c Decision: 3997/304780	Time: 1025.11/86400
c Decision: 3997/304780	Time: 1106.71/86400s SATISFIABLE
v x11_bit0 -x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 -x11_bit13 -x11_bit14 -x11_bit15 -x11_bit16 -x11_bit17 -x11_bit18 -x11_bit19 -x11_bit2 -x11_bit3 -x11_bit4 x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_10 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 -x11_bit_8 -x11_bit_9 -x13_bit0 x14_bit0 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x1_bit0 -x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_10 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 -x1_bit_8 -x1_bit_9 x20_bit0 -x21_bit0 x22_bit0 x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 -x3_bit2 x3_bit3 x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_10 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x3_bit_8 -x3_bit_9 -x40_bit0 x41_bit0 x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 x49_bit0 x50_bit0 -x51_bit0 x52_bit0 x53_bit0 -x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x5_bit0 -x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 x5_bit2 x5_bit3 x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_10 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x5_bit_8 -x5_bit_9 -x60_bit0 -x61_bit0 -x62_bit0 -x7_bit0 -x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_10 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 -x7_bit_8 -x7_bit_9 x9_bit0 -x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -x9_bit2 -x9_bit3 x9_bit4 -x9_bit5 x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_10 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7 -x9_bit_8 -x9_bit_9

Watcher Data

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/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21677648 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 373 2 364 364 0 9 0
[pid=9382] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare1.opb

[startup+10.002 s]
Raw data (loadavg): 0.92 0.95 0.97 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 27901 0 0 0 928 69 0 0 25 0 1 0 21677648 81432576 16753 4294967295 134512640 135987407 3221224560 3221211632 134887832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 19881 16753 364 364 0 19517 0
[pid=9382] vsize: 79524
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79524

[startup+20.0027 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 51457 0 0 0 1878 118 0 0 25 0 1 0 21677648 149123072 26114 4294967295 134512640 135987407 3221224560 3221223360 134802449 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 36407 26114 364 364 0 36043 0
[pid=9382] vsize: 145628
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 145628

[startup+30.0024 s]
Raw data (loadavg): 0.94 0.95 0.97 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 56226 0 0 0 2864 131 0 0 25 0 1 0 21677648 149123072 26115 4294967295 134512640 135987407 3221224560 3221223232 134789464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 36407 26115 364 364 0 36043 0
[pid=9382] vsize: 145628
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 145628

[startup+40.0031 s]
Raw data (loadavg): 0.95 0.95 0.97 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 58394 0 0 0 3858 137 0 0 25 0 1 0 21677648 150323200 26364 4294967295 134512640 135987407 3221224560 3221223220 135477853 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 36700 26364 364 364 0 36336 0
[pid=9382] vsize: 146800
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 146800

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.95 0.97 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 60400 0 0 0 4852 142 0 0 25 0 1 0 21677648 153620480 27013 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 37505 27013 364 364 0 37141 0
[pid=9382] vsize: 150020
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 150020

[startup+60.0045 s]
Raw data (loadavg): 1.04 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 60899 0 0 0 5851 142 0 0 25 0 1 0 21677648 155074560 27250 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 37860 27250 364 364 0 37496 0
[pid=9382] vsize: 151440
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 151440

[startup+70.0052 s]
Raw data (loadavg): 1.04 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61044 0 0 0 6850 143 0 0 25 0 1 0 21677648 155602944 27330 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 37989 27330 364 364 0 37625 0
[pid=9382] vsize: 151956
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 151956

[startup+80.0059 s]
Raw data (loadavg): 1.03 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61200 0 0 0 7848 145 0 0 25 0 1 0 21677648 156131328 27421 4294967295 134512640 135987407 3221224560 3221223232 135479964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38118 27421 364 364 0 37754 0
[pid=9382] vsize: 152472
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 152472

[startup+90.0066 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61207 0 0 0 8847 145 0 0 25 0 1 0 21677648 156131328 27428 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38118 27428 364 364 0 37754 0
[pid=9382] vsize: 152472
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 152472

[startup+100.006 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61219 0 0 0 9846 146 0 0 25 0 1 0 21677648 156131328 27440 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38118 27440 364 364 0 37754 0
[pid=9382] vsize: 152472
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 152472

[startup+110.006 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61228 0 0 0 10845 146 0 0 25 0 1 0 21677648 156131328 27449 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38118 27449 364 364 0 37754 0
[pid=9382] vsize: 152472
Current children cumulated CPU time (s) 109.91
Current children cumulated vsize (Kb) 152472

[startup+120.007 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61392 0 0 0 11844 146 0 0 25 0 1 0 21677648 156659712 27548 4294967295 134512640 135987407 3221224560 3221223232 134824722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38247 27548 364 364 0 37883 0
[pid=9382] vsize: 152988
Current children cumulated CPU time (s) 119.9
Current children cumulated vsize (Kb) 152988

[startup+130.007 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61552 0 0 0 12843 147 0 0 25 0 1 0 21677648 157188096 27643 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38376 27643 364 364 0 38012 0
[pid=9382] vsize: 153504
Current children cumulated CPU time (s) 129.9
Current children cumulated vsize (Kb) 153504

[startup+140.008 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61556 0 0 0 13843 147 0 0 25 0 1 0 21677648 157188096 27647 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38376 27647 364 364 0 38012 0
[pid=9382] vsize: 153504
Current children cumulated CPU time (s) 139.9
Current children cumulated vsize (Kb) 153504

[startup+150.009 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 61894 0 0 0 14841 148 0 0 25 0 1 0 21677648 158511104 27855 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38699 27855 364 364 0 38335 0
[pid=9382] vsize: 154796
Current children cumulated CPU time (s) 149.89
Current children cumulated vsize (Kb) 154796

[startup+160.009 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62202 0 0 0 15838 150 0 0 25 0 1 0 21677648 159301632 28033 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 38892 28033 364 364 0 38528 0
[pid=9382] vsize: 155568
Current children cumulated CPU time (s) 159.88
Current children cumulated vsize (Kb) 155568

[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62219 0 0 0 16837 150 0 0 25 0 1 0 21677648 176078848 28050 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 42988 28050 364 364 0 42624 0
[pid=9382] vsize: 171952
Current children cumulated CPU time (s) 169.87
Current children cumulated vsize (Kb) 171952

[startup+180.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62244 0 0 0 17836 151 0 0 25 0 1 0 21677648 176078848 28075 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 42988 28075 364 364 0 42624 0
[pid=9382] vsize: 171952
Current children cumulated CPU time (s) 179.87
Current children cumulated vsize (Kb) 171952

[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62266 0 0 0 18835 152 0 0 25 0 1 0 21677648 175943680 28064 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 42955 28064 364 364 0 42591 0
[pid=9382] vsize: 171820
Current children cumulated CPU time (s) 189.87
Current children cumulated vsize (Kb) 171820

[startup+200.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62532 0 0 0 19833 152 0 0 25 0 1 0 21677648 176996352 28201 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43212 28201 364 364 0 42848 0
[pid=9382] vsize: 172848
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (Kb) 172848

[startup+210.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62537 0 0 0 20832 153 0 0 25 0 1 0 21677648 176996352 28206 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43212 28206 364 364 0 42848 0
[pid=9382] vsize: 172848
Current children cumulated CPU time (s) 209.85
Current children cumulated vsize (Kb) 172848

[startup+220.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62544 0 0 0 21832 153 0 0 25 0 1 0 21677648 176996352 28213 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43212 28213 364 364 0 42848 0
[pid=9382] vsize: 172848
Current children cumulated CPU time (s) 219.85
Current children cumulated vsize (Kb) 172848

[startup+230.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62554 0 0 0 22831 154 0 0 25 0 1 0 21677648 176996352 28223 4294967295 134512640 135987407 3221224560 3221223168 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43212 28223 364 364 0 42848 0
[pid=9382] vsize: 172848
Current children cumulated CPU time (s) 229.85
Current children cumulated vsize (Kb) 172848

[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62665 0 0 0 23830 155 0 0 25 0 1 0 21677648 177528832 28334 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28334 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 239.85
Current children cumulated vsize (Kb) 173368

[startup+250.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62677 0 0 0 24828 155 0 0 25 0 1 0 21677648 177528832 28346 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28346 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 249.83
Current children cumulated vsize (Kb) 173368

[startup+260.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62683 0 0 0 25827 156 0 0 25 0 1 0 21677648 177528832 28352 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28352 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 259.83
Current children cumulated vsize (Kb) 173368

[startup+270.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62687 0 0 0 26827 156 0 0 25 0 1 0 21677648 177528832 28356 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28356 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 269.83
Current children cumulated vsize (Kb) 173368

[startup+280.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62691 0 0 0 27826 157 0 0 25 0 1 0 21677648 177528832 28360 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28360 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 279.83
Current children cumulated vsize (Kb) 173368

[startup+290.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62695 0 0 0 28825 157 0 0 25 0 1 0 21677648 177528832 28364 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28364 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 289.82
Current children cumulated vsize (Kb) 173368

[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62703 0 0 0 29824 157 0 0 25 0 1 0 21677648 177528832 28372 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28372 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 299.81
Current children cumulated vsize (Kb) 173368

[startup+310.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62723 0 0 0 30823 158 0 0 25 0 1 0 21677648 177528832 28392 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28392 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 309.81
Current children cumulated vsize (Kb) 173368

[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62732 0 0 0 31823 158 0 0 25 0 1 0 21677648 177528832 28401 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28401 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (Kb) 173368

[startup+330.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62743 0 0 0 32822 158 0 0 25 0 1 0 21677648 177528832 28412 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28412 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 329.8
Current children cumulated vsize (Kb) 173368

[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62755 0 0 0 33822 158 0 0 25 0 1 0 21677648 177528832 28424 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28424 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (Kb) 173368

[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62770 0 0 0 34822 159 0 0 25 0 1 0 21677648 177528832 28439 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28439 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (Kb) 173368

[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62774 0 0 0 35821 159 0 0 25 0 1 0 21677648 177528832 28443 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28443 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 359.8
Current children cumulated vsize (Kb) 173368

[startup+370.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62779 0 0 0 36820 159 0 0 25 0 1 0 21677648 177528832 28448 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28448 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 369.79
Current children cumulated vsize (Kb) 173368

[startup+380.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62781 0 0 0 37819 160 0 0 25 0 1 0 21677648 177528832 28450 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28450 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 379.79
Current children cumulated vsize (Kb) 173368

[startup+390.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62786 0 0 0 38818 160 0 0 25 0 1 0 21677648 177528832 28455 4294967295 134512640 135987407 3221224560 3221223104 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28455 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 389.78
Current children cumulated vsize (Kb) 173368

[startup+400.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62790 0 0 0 39817 161 0 0 25 0 1 0 21677648 177528832 28459 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28459 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 399.78
Current children cumulated vsize (Kb) 173368

[startup+410.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62810 0 0 0 40815 162 0 0 25 0 1 0 21677648 177528832 28479 4294967295 134512640 135987407 3221224560 3221223232 134824266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28479 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 409.77
Current children cumulated vsize (Kb) 173368

[startup+420.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62816 0 0 0 41815 162 0 0 25 0 1 0 21677648 177528832 28485 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28485 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 419.77
Current children cumulated vsize (Kb) 173368

[startup+430.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62827 0 0 0 42815 162 0 0 25 0 1 0 21677648 177528832 28496 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28496 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 429.77
Current children cumulated vsize (Kb) 173368

[startup+440.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62832 0 0 0 43814 162 0 0 25 0 1 0 21677648 177528832 28501 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28501 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 439.76
Current children cumulated vsize (Kb) 173368

[startup+450.016 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62854 0 0 0 44813 162 0 0 25 0 1 0 21677648 177528832 28523 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43342 28523 364 364 0 42978 0
[pid=9382] vsize: 173368
Current children cumulated CPU time (s) 449.75
Current children cumulated vsize (Kb) 173368

[startup+460.016 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62862 0 0 0 45813 163 0 0 25 0 1 0 21677648 177680384 28531 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43379 28531 364 364 0 43015 0
[pid=9382] vsize: 173516
Current children cumulated CPU time (s) 459.76
Current children cumulated vsize (Kb) 173516

[startup+470.016 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62866 0 0 0 46812 163 0 0 25 0 1 0 21677648 177680384 28535 4294967295 134512640 135987407 3221224560 3221223104 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43379 28535 364 364 0 43015 0
[pid=9382] vsize: 173516
Current children cumulated CPU time (s) 469.75
Current children cumulated vsize (Kb) 173516

[startup+480.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62873 0 0 0 47811 164 0 0 25 0 1 0 21677648 177680384 28542 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43379 28542 364 364 0 43015 0
[pid=9382] vsize: 173516
Current children cumulated CPU time (s) 479.75
Current children cumulated vsize (Kb) 173516

[startup+490.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62877 0 0 0 48810 164 0 0 25 0 1 0 21677648 177680384 28546 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43379 28546 364 364 0 43015 0
[pid=9382] vsize: 173516
Current children cumulated CPU time (s) 489.74
Current children cumulated vsize (Kb) 173516

[startup+500.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62885 0 0 0 49808 165 0 0 25 0 1 0 21677648 177680384 28554 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43379 28554 364 364 0 43015 0
[pid=9382] vsize: 173516
Current children cumulated CPU time (s) 499.73
Current children cumulated vsize (Kb) 173516

[startup+510.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 62901 0 0 0 50807 166 0 0 25 0 1 0 21677648 177680384 28570 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43379 28570 364 364 0 43015 0
[pid=9382] vsize: 173516
Current children cumulated CPU time (s) 509.73
Current children cumulated vsize (Kb) 173516

[startup+520.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63029 0 0 0 51807 166 0 0 25 0 1 0 21677648 177942528 28633 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43443 28633 364 364 0 43079 0
[pid=9382] vsize: 173772
Current children cumulated CPU time (s) 519.73
Current children cumulated vsize (Kb) 173772

[startup+530.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63033 0 0 0 52806 166 0 0 25 0 1 0 21677648 177942528 28637 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43443 28637 364 364 0 43079 0
[pid=9382] vsize: 173772
Current children cumulated CPU time (s) 529.72
Current children cumulated vsize (Kb) 173772

[startup+540.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63182 0 0 0 53806 166 0 0 25 0 1 0 21677648 178204672 28721 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28721 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 539.72
Current children cumulated vsize (Kb) 174028

[startup+550.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63186 0 0 0 54805 167 0 0 25 0 1 0 21677648 178204672 28725 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28725 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 549.72
Current children cumulated vsize (Kb) 174028

[startup+560.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63203 0 0 0 55804 168 0 0 25 0 1 0 21677648 178204672 28742 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28742 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 559.72
Current children cumulated vsize (Kb) 174028

[startup+570.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63216 0 0 0 56803 168 0 0 25 0 1 0 21677648 178204672 28755 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28755 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 569.71
Current children cumulated vsize (Kb) 174028

[startup+580.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63221 0 0 0 57803 168 0 0 25 0 1 0 21677648 178204672 28760 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28760 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 579.71
Current children cumulated vsize (Kb) 174028

[startup+590.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63224 0 0 0 58803 168 0 0 25 0 1 0 21677648 178204672 28763 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28763 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 589.71
Current children cumulated vsize (Kb) 174028

[startup+600.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63232 0 0 0 59802 169 0 0 25 0 1 0 21677648 178204672 28771 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28771 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 599.71
Current children cumulated vsize (Kb) 174028

[startup+610.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63237 0 0 0 60801 169 0 0 25 0 1 0 21677648 178204672 28776 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28776 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 609.7
Current children cumulated vsize (Kb) 174028

[startup+620.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63244 0 0 0 61800 170 0 0 25 0 1 0 21677648 178204672 28783 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28783 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 619.7
Current children cumulated vsize (Kb) 174028

[startup+630.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63249 0 0 0 62799 170 0 0 25 0 1 0 21677648 178204672 28788 4294967295 134512640 135987407 3221224560 3221223104 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28788 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 629.69
Current children cumulated vsize (Kb) 174028

[startup+640.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63254 0 0 0 63798 170 0 0 25 0 1 0 21677648 178204672 28793 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28793 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 639.68
Current children cumulated vsize (Kb) 174028

[startup+650.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63280 0 0 0 64796 171 0 0 25 0 1 0 21677648 178204672 28819 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28819 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 649.67
Current children cumulated vsize (Kb) 174028

[startup+660.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63285 0 0 0 65796 171 0 0 25 0 1 0 21677648 178204672 28824 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28824 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 659.67
Current children cumulated vsize (Kb) 174028

[startup+670.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63290 0 0 0 66796 171 0 0 25 0 1 0 21677648 178204672 28829 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28829 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 669.67
Current children cumulated vsize (Kb) 174028

[startup+680.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63294 0 0 0 67795 172 0 0 25 0 1 0 21677648 178204672 28833 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28833 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 679.67
Current children cumulated vsize (Kb) 174028

[startup+690.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63300 0 0 0 68795 172 0 0 25 0 1 0 21677648 178204672 28839 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28839 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 689.67
Current children cumulated vsize (Kb) 174028

[startup+700.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63307 0 0 0 69794 172 0 0 25 0 1 0 21677648 178204672 28846 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28846 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 699.66
Current children cumulated vsize (Kb) 174028

[startup+710.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63314 0 0 0 70794 172 0 0 25 0 1 0 21677648 178204672 28853 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28853 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 709.66
Current children cumulated vsize (Kb) 174028

[startup+720.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63318 0 0 0 71794 173 0 0 25 0 1 0 21677648 178204672 28857 4294967295 134512640 135987407 3221224560 3221223232 134824244 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28857 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 719.67
Current children cumulated vsize (Kb) 174028

[startup+730.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63324 0 0 0 72793 173 0 0 25 0 1 0 21677648 178204672 28863 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28863 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 729.66
Current children cumulated vsize (Kb) 174028

[startup+740.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63329 0 0 0 73793 173 0 0 25 0 1 0 21677648 178204672 28868 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28868 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 739.66
Current children cumulated vsize (Kb) 174028

[startup+750.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63333 0 0 0 74792 173 0 0 25 0 1 0 21677648 178204672 28872 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28872 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 749.65
Current children cumulated vsize (Kb) 174028

[startup+760.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63339 0 0 0 75792 173 0 0 25 0 1 0 21677648 178204672 28878 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43507 28878 364 364 0 43143 0
[pid=9382] vsize: 174028
Current children cumulated CPU time (s) 759.65
Current children cumulated vsize (Kb) 174028

[startup+770.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63347 0 0 0 76791 174 0 0 25 0 1 0 21677648 178339840 28886 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28886 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 769.65
Current children cumulated vsize (Kb) 174160

[startup+780.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63353 0 0 0 77791 174 0 0 25 0 1 0 21677648 178339840 28892 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28892 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 779.65
Current children cumulated vsize (Kb) 174160

[startup+790.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63357 0 0 0 78790 174 0 0 25 0 1 0 21677648 178339840 28896 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28896 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 789.64
Current children cumulated vsize (Kb) 174160

[startup+800.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63362 0 0 0 79790 174 0 0 25 0 1 0 21677648 178339840 28901 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28901 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 799.64
Current children cumulated vsize (Kb) 174160

[startup+810.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63366 0 0 0 80789 175 0 0 25 0 1 0 21677648 178339840 28905 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28905 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 809.64
Current children cumulated vsize (Kb) 174160

[startup+820.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63372 0 0 0 81789 175 0 0 25 0 1 0 21677648 178339840 28911 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28911 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 819.64
Current children cumulated vsize (Kb) 174160

[startup+830.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63378 0 0 0 82788 175 0 0 25 0 1 0 21677648 178339840 28917 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28917 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 829.63
Current children cumulated vsize (Kb) 174160

[startup+840.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63384 0 0 0 83787 176 0 0 25 0 1 0 21677648 178339840 28923 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28923 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 839.63
Current children cumulated vsize (Kb) 174160

[startup+850.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63391 0 0 0 84787 176 0 0 25 0 1 0 21677648 178339840 28930 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28930 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 849.63
Current children cumulated vsize (Kb) 174160

[startup+860.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63404 0 0 0 85786 177 0 0 25 0 1 0 21677648 178339840 28943 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43540 28943 364 364 0 43176 0
[pid=9382] vsize: 174160
Current children cumulated CPU time (s) 859.63
Current children cumulated vsize (Kb) 174160

[startup+870.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63550 0 0 0 86785 177 0 0 25 0 1 0 21677648 178864128 28960 4294967295 134512640 135987407 3221224560 3221223104 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43668 28960 364 364 0 43304 0
[pid=9382] vsize: 174672
Current children cumulated CPU time (s) 869.62
Current children cumulated vsize (Kb) 174672

[startup+880.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63557 0 0 0 87784 177 0 0 25 0 1 0 21677648 178864128 28967 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43668 28967 364 364 0 43304 0
[pid=9382] vsize: 174672
Current children cumulated CPU time (s) 879.61
Current children cumulated vsize (Kb) 174672

[startup+890.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63562 0 0 0 88784 178 0 0 25 0 1 0 21677648 178864128 28972 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43668 28972 364 364 0 43304 0
[pid=9382] vsize: 174672
Current children cumulated CPU time (s) 889.62
Current children cumulated vsize (Kb) 174672

[startup+900.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 63569 0 0 0 89783 178 0 0 25 0 1 0 21677648 178864128 28979 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9382/statm): 43668 28979 364 364 0 43304 0
[pid=9382] vsize: 174672
Current children cumulated CPU time (s) 899.61
Current children cumulated vsize (Kb) 174672

[startup+910.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64188 0 0 0 90781 180 0 0 25 0 1 0 21677648 178864128 29002 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43668 29002 364 364 0 43304 0
[pid=9382] vsize: 174672
Current children cumulated CPU time (s) 909.61
Current children cumulated vsize (Kb) 174672

[startup+920.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64291 0 0 0 91780 180 0 0 25 0 1 0 21677648 179269632 29105 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43767 29105 364 364 0 43403 0
[pid=9382] vsize: 175068
Current children cumulated CPU time (s) 919.6
Current children cumulated vsize (Kb) 175068

[startup+930.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64467 0 0 0 92779 181 0 0 25 0 1 0 21677648 179793920 29151 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43895 29151 364 364 0 43531 0
[pid=9382] vsize: 175580
Current children cumulated CPU time (s) 929.6
Current children cumulated vsize (Kb) 175580

[startup+940.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64549 0 0 0 93778 182 0 0 25 0 1 0 21677648 180056064 29168 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43959 29168 364 364 0 43595 0
[pid=9382] vsize: 175836
Current children cumulated CPU time (s) 939.6
Current children cumulated vsize (Kb) 175836

[startup+950.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64557 0 0 0 94778 182 0 0 25 0 1 0 21677648 180056064 29176 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43959 29176 364 364 0 43595 0
[pid=9382] vsize: 175836
Current children cumulated CPU time (s) 949.6
Current children cumulated vsize (Kb) 175836

[startup+960.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64558 0 0 0 95777 182 0 0 25 0 1 0 21677648 180056064 29177 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43959 29177 364 364 0 43595 0
[pid=9382] vsize: 175836
Current children cumulated CPU time (s) 959.59
Current children cumulated vsize (Kb) 175836

[startup+970.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64573 0 0 0 96777 182 0 0 25 0 1 0 21677648 180056064 29192 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43959 29192 364 364 0 43595 0
[pid=9382] vsize: 175836
Current children cumulated CPU time (s) 969.59
Current children cumulated vsize (Kb) 175836

[startup+980.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64584 0 0 0 97776 183 0 0 25 0 1 0 21677648 180056064 29203 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43959 29203 364 364 0 43595 0
[pid=9382] vsize: 175836
Current children cumulated CPU time (s) 979.59
Current children cumulated vsize (Kb) 175836

[startup+990.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 64602 0 0 0 98775 183 0 0 25 0 1 0 21677648 180056064 29221 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 43959 29221 364 364 0 43595 0
[pid=9382] vsize: 175836
Current children cumulated CPU time (s) 989.58
Current children cumulated vsize (Kb) 175836

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65412 0 0 0 99771 186 0 0 25 0 1 0 21677648 180776960 29304 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29304 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 999.57
Current children cumulated vsize (Kb) 176540

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65420 0 0 0 100770 186 0 0 25 0 1 0 21677648 180776960 29312 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29312 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 1009.56
Current children cumulated vsize (Kb) 176540

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65421 0 0 0 101769 187 0 0 25 0 1 0 21677648 180776960 29313 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29313 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 1019.56
Current children cumulated vsize (Kb) 176540

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65421 0 0 0 102768 187 0 0 25 0 1 0 21677648 180776960 29313 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29313 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 1029.55
Current children cumulated vsize (Kb) 176540

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65422 0 0 0 103768 188 0 0 25 0 1 0 21677648 180776960 29314 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29314 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 1039.56
Current children cumulated vsize (Kb) 176540

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65422 0 0 0 104767 188 0 0 25 0 1 0 21677648 180776960 29314 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29314 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 1049.55
Current children cumulated vsize (Kb) 176540

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 65423 0 0 0 105765 188 0 0 25 0 1 0 21677648 180776960 29315 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44135 29315 364 364 0 43771 0
[pid=9382] vsize: 176540
Current children cumulated CPU time (s) 1059.53
Current children cumulated vsize (Kb) 176540

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66030 0 0 0 106763 190 0 0 25 0 1 0 21677648 180973568 29326 4294967295 134512640 135987407 3221224560 3221223236 135479892 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29326 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1069.53
Current children cumulated vsize (Kb) 176732

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66039 0 0 0 107762 191 0 0 25 0 1 0 21677648 180973568 29335 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29335 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1079.53
Current children cumulated vsize (Kb) 176732

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66039 0 0 0 108761 191 0 0 25 0 1 0 21677648 180973568 29335 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29335 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1089.52
Current children cumulated vsize (Kb) 176732

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66044 0 0 0 109760 192 0 0 25 0 1 0 21677648 180973568 29340 4294967295 134512640 135987407 3221224560 3221223232 134824816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29340 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1099.52
Current children cumulated vsize (Kb) 176732

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66044 0 0 0 110760 192 0 0 25 0 1 0 21677648 180973568 29340 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29340 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1109.52
Current children cumulated vsize (Kb) 176732

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66045 0 0 0 111759 192 0 0 25 0 1 0 21677648 180973568 29341 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29341 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1119.51
Current children cumulated vsize (Kb) 176732

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66045 0 0 0 112758 193 0 0 25 0 1 0 21677648 180973568 29341 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29341 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1129.51
Current children cumulated vsize (Kb) 176732

[startup+1140.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66046 0 0 0 113757 193 0 0 25 0 1 0 21677648 180973568 29342 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29342 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1139.5
Current children cumulated vsize (Kb) 176732

[startup+1150.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66046 0 0 0 114757 193 0 0 25 0 1 0 21677648 180973568 29342 4294967295 134512640 135987407 3221224560 3221223136 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29342 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1149.5
Current children cumulated vsize (Kb) 176732

[startup+1160.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66657 0 0 0 115754 196 0 0 25 0 1 0 21677648 180973568 29357 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44183 29357 364 364 0 43819 0
[pid=9382] vsize: 176732
Current children cumulated CPU time (s) 1159.5
Current children cumulated vsize (Kb) 176732

[startup+1170.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66754 0 0 0 116753 196 0 0 25 0 1 0 21677648 181235712 29389 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44247 29389 364 364 0 43883 0
[pid=9382] vsize: 176988
Current children cumulated CPU time (s) 1169.49
Current children cumulated vsize (Kb) 176988

[startup+1180.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66769 0 0 0 117752 197 0 0 25 0 1 0 21677648 181235712 29404 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44247 29404 364 364 0 43883 0
[pid=9382] vsize: 176988
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (Kb) 176988

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66771 0 0 0 118751 197 0 0 25 0 1 0 21677648 181235712 29406 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44247 29406 364 364 0 43883 0
[pid=9382] vsize: 176988
Current children cumulated CPU time (s) 1189.48
Current children cumulated vsize (Kb) 176988

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66772 0 0 0 119751 197 0 0 25 0 1 0 21677648 181235712 29407 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44247 29407 364 364 0 43883 0
[pid=9382] vsize: 176988
Current children cumulated CPU time (s) 1199.48
Current children cumulated vsize (Kb) 176988

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66772 0 0 0 120750 197 0 0 25 0 1 0 21677648 181235712 29407 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44247 29407 364 364 0 43883 0
[pid=9382] vsize: 176988
Current children cumulated CPU time (s) 1209.47
Current children cumulated vsize (Kb) 176988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9382
Raw data (/proc/9382/stat): 9382 (pb2sat) R 9381 9382 4070 0 -1 0 66772 0 0 0 120750 197 0 0 25 0 1 0 21677648 181235712 29407 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9382/statm): 44247 29407 364 364 0 43883 0
[pid=9382] vsize: 176988
Current children cumulated CPU time (s) 1209.47
Current children cumulated vsize (Kb) 176988

Sending SIGTERM to -9382
Sleeping 2 seconds
One traced child (pid=9382) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.58
CPU time (s): 1210.02
CPU user time (s): 1207.99
CPU system time (s): 2.03469
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (Kb): 176988

Verifier Data

Verifier:	OK	178176