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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
MD5SUM375b355299c9fbf8170e172bcbc73eb2
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9786
Optimality of the best value was proved NO
Number of terms in the objective function 140
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 7340025
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 7340025
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.36
Number of variables242
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint1
Maximum length of a constraint122

Trace number 10607

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 18:56:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9304 boxname=wulflinc11 idbench=1100 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  375b355299c9fbf8170e172bcbc73eb2  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare2_1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare2_1.opb
IDLAUNCH: 9304
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        901620 kB
Buffers:          9944 kB
Cached:          98040 kB
SwapCached:          0 kB
Active:          56132 kB
Inactive:        61412 kB
HighTotal:      131008 kB
HighFree:        30688 kB
LowTotal:       903652 kB
LowFree:        870932 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9808 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:16:59 (client local time) WITH STATUS 0 IN 1211.77 SECONDS
stats: 9304 0 1211.77 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 46334
c small objective detected
c CONFLICT during preprocess 
c [startup+68.3779 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+73.4057 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+78.4285 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+83.4544 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+88.4774 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+93.5033 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+98.5261 s]  setting bit 16 to 0
s SATISFIABLE
v s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit2 -s01_bit3 s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_2 s01_bit_3 s01_bit_4 s01_bit_5 s01_bit_6 -s01_bit_7 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 s11_bit2 -s11_bit3 -s11_bit4 s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 s11_bit_1 -s11_bit_2 -s11_bit_3 s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 -s21_bit_3 -s21_bit_4 s21_bit_5 s21_bit_6 -s21_bit_7 s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit2 s31_bit3 s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 s31_bit_2 -s31_bit_3 s31_bit_4 s31_bit_5 -s31_bit_6 -s31_bit_7 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 s41_bit2 -s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 s41_bit_1 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 s41_bit_6 -s41_bit_7 -s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 s51_bit_1 -s51_bit_2 s51_bit_3 s51_bit_4 s51_bit_5 -s51_bit_6 -s51_bit_7 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 s61_bit2 s61_bit3 s61_bit4 -s61_bit5 s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 s61_bit_1 -s61_bit_2 -s61_bit_3 s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -x0_bit0 -x10_bit0 x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x1_bit0 -x20_bit0 x21_bit0 x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 -x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 -x54_bit_1 -x54_bit_2 -x54_bit_3 -x54_bit_4 -x54_bit_5 -x54_bit_6 -x54_bit_7 x55_bit0 -x55_bit_1 -x55_bit_2 -x55_bit_3 -x55_bit_4 -x55_bit_5 -x55_bit_6 -x55_bit_7 x56_bit0 -x56_bit_1 -x56_bit_2 -x56_bit_3 -x56_bit_4 -x56_bit_5 -x56_bit_6 -x56_bit_7 -x57_bit0 -x57_bit_1 -x57_bit_2 -x57_bit_3 x57_bit_4 -x57_bit_5 -x57_bit_6 -x57_bit_7 -x58_bit0 -x58_bit_1 -x58_bit_2 -x58_bit_3 -x58_bit_4 -x58_bit_5 x58_bit_6 -x58_bit_7 x59_bit0 -x59_bit_1 -x59_bit_2 -x59_bit_3 -x59_bit_4 -x59_bit_5 -x59_bit_6 -x59_bit_7 x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 

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/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22519939 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 373 2 364 364 0 9 0
[pid=11844] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare2_1.opb

[startup+10.002 s]
Raw data (loadavg): 0.85 0.92 0.90 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 29627 0 0 0 929 67 0 0 25 0 1 0 22519939 87498752 18474 4294967295 134512640 135987407 3221224560 3221211884 134637029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 21362 18474 364 364 0 20998 0
[pid=11844] vsize: 85448
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 85448

[startup+20.0028 s]
Raw data (loadavg): 0.87 0.92 0.90 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 56433 0 0 0 1869 126 0 0 25 0 1 0 22519939 163995648 34054 4294967295 134512640 135987407 3221224560 3221199680 134876574 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 40038 34054 364 364 0 39674 0
[pid=11844] vsize: 160152
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 160152

[startup+30.0036 s]
Raw data (loadavg): 0.89 0.92 0.90 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 95265 0 0 0 2786 207 0 0 25 0 1 0 22519939 314286080 50691 4294967295 134512640 135987407 3221224560 3221199488 135486717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 76730 50691 364 364 0 76366 0
[pid=11844] vsize: 306920
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 306920

[startup+40.0034 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 110671 0 0 0 3754 239 0 0 25 0 1 0 22519939 318611456 65839 4294967295 134512640 135987407 3221224560 3221206396 135480517 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 77786 65839 364 364 0 77422 0
[pid=11844] vsize: 311144
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 311144

[startup+50.0042 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 152643 0 0 0 4668 320 0 0 25 0 1 0 22519939 448581632 88188 4294967295 134512640 135987407 3221224560 3221204080 134893007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 109517 88188 364 364 0 109153 0
[pid=11844] vsize: 438068
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 438068

[startup+60.0039 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 188894 0 0 0 5594 394 0 0 25 0 1 0 22519939 566521856 97309 4294967295 134512640 135987407 3221224560 3221223300 135478210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 138311 97309 364 364 0 137947 0
[pid=11844] vsize: 553244
Current children cumulated CPU time (s) 59.88
Current children cumulated vsize (Kb) 553244

[startup+70.0038 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 198559 0 0 0 6571 416 0 0 25 0 1 0 22519939 596738048 101763 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 145688 101763 364 364 0 145324 0
[pid=11844] vsize: 582752
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 582752

[startup+80.0045 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 203089 0 0 0 7560 428 0 0 25 0 1 0 22519939 596738048 101763 4294967295 134512640 135987407 3221224560 3221222952 134827502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 145688 101763 364 364 0 145324 0
[pid=11844] vsize: 582752
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 582752

[startup+90.0043 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 207619 0 0 0 8549 439 0 0 25 0 1 0 22519939 596738048 101763 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 145688 101763 364 364 0 145324 0
[pid=11844] vsize: 582752
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (Kb) 582752

[startup+100.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 212149 0 0 0 9538 449 0 0 25 0 1 0 22519939 596738048 101763 4294967295 134512640 135987407 3221224560 3221222960 134828866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 145688 101763 364 364 0 145324 0
[pid=11844] vsize: 582752
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 582752

[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 212921 0 0 0 10536 452 0 0 25 0 1 0 22519939 589774848 99819 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 143988 99819 364 364 0 143624 0
[pid=11844] vsize: 575952
Current children cumulated CPU time (s) 109.88
Current children cumulated vsize (Kb) 575952

[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 213145 0 0 0 11535 452 0 0 25 0 1 0 22519939 590589952 99914 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 144187 99914 364 364 0 143823 0
[pid=11844] vsize: 576748
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (Kb) 576748

[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 213229 0 0 0 12535 452 0 0 25 0 1 0 22519939 590589952 99998 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 144187 99998 364 364 0 143823 0
[pid=11844] vsize: 576748
Current children cumulated CPU time (s) 129.87
Current children cumulated vsize (Kb) 576748

[startup+140.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 213408 0 0 0 13534 453 0 0 25 0 1 0 22519939 591122432 100111 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 144317 100111 364 364 0 143953 0
[pid=11844] vsize: 577268
Current children cumulated CPU time (s) 139.87
Current children cumulated vsize (Kb) 577268

[startup+150.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 213519 0 0 0 14534 453 0 0 25 0 1 0 22519939 591552512 100157 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 144422 100157 364 364 0 144058 0
[pid=11844] vsize: 577688
Current children cumulated CPU time (s) 149.87
Current children cumulated vsize (Kb) 577688

[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 215488 0 0 0 15528 457 0 0 25 0 1 0 22519939 598048768 101426 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 146008 101426 364 364 0 145644 0
[pid=11844] vsize: 584032
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (Kb) 584032

[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 217252 0 0 0 16524 460 0 0 25 0 1 0 22519939 603557888 102391 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 147353 102391 364 364 0 146989 0
[pid=11844] vsize: 589412
Current children cumulated CPU time (s) 169.84
Current children cumulated vsize (Kb) 589412

[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 217745 0 0 0 17522 462 0 0 25 0 1 0 22519939 605696000 102786 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 147875 102786 364 364 0 147511 0
[pid=11844] vsize: 591500
Current children cumulated CPU time (s) 179.84
Current children cumulated vsize (Kb) 591500

[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11844
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 218372 0 0 0 18520 463 0 0 25 0 1 0 22519939 607940608 103121 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 148423 103121 364 364 0 148059 0
[pid=11844] vsize: 593692
Current children cumulated CPU time (s) 189.83
Current children cumulated vsize (Kb) 593692

[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 3/58 11891
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 219830 0 0 0 19517 466 0 0 25 0 1 0 22519939 612159488 103895 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 149453 103895 364 364 0 149089 0
[pid=11844] vsize: 597812
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (Kb) 597812

[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11899
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 220553 0 0 0 20514 468 0 0 25 0 1 0 22519939 614531072 104230 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 150032 104230 364 364 0 149668 0
[pid=11844] vsize: 600128
Current children cumulated CPU time (s) 209.82
Current children cumulated vsize (Kb) 600128

[startup+220.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11899
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 221569 0 0 0 21512 470 0 0 25 0 1 0 22519939 617562112 104758 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 150772 104758 364 364 0 150408 0
[pid=11844] vsize: 603088
Current children cumulated CPU time (s) 219.82
Current children cumulated vsize (Kb) 603088

[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11899
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 221822 0 0 0 22511 470 0 0 25 0 1 0 22519939 618217472 104913 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 150932 104913 364 364 0 150568 0
[pid=11844] vsize: 603728
Current children cumulated CPU time (s) 229.81
Current children cumulated vsize (Kb) 603728

[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11899
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 222264 0 0 0 23510 471 0 0 25 0 1 0 22519939 619266048 105096 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 151188 105096 364 364 0 150824 0
[pid=11844] vsize: 604752
Current children cumulated CPU time (s) 239.81
Current children cumulated vsize (Kb) 604752

[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11899
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 223394 0 0 0 24506 474 0 0 25 0 1 0 22519939 623198208 105763 4294967295 134512640 135987407 3221224560 3221223280 134812638 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 152148 105763 364 364 0 151784 0
[pid=11844] vsize: 608592
Current children cumulated CPU time (s) 249.8
Current children cumulated vsize (Kb) 608592

[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 11901
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 223574 0 0 0 25505 475 0 0 25 0 1 0 22519939 623722496 105814 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 152276 105814 364 364 0 151912 0
[pid=11844] vsize: 609104
Current children cumulated CPU time (s) 259.8
Current children cumulated vsize (Kb) 609104

[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11903
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 223747 0 0 0 26503 476 0 0 25 0 1 0 22519939 624513024 105858 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 152469 105858 364 364 0 152105 0
[pid=11844] vsize: 609876
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (Kb) 609876

[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 225063 0 0 0 27500 479 0 0 25 0 1 0 22519939 628461568 106462 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 153433 106462 364 364 0 153069 0
[pid=11844] vsize: 613732
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (Kb) 613732

[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 225498 0 0 0 28499 480 0 0 25 0 1 0 22519939 629776384 106638 4294967295 134512640 135987407 3221224560 3221223200 134812349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 153754 106638 364 364 0 153390 0
[pid=11844] vsize: 615016
Current children cumulated CPU time (s) 289.79
Current children cumulated vsize (Kb) 615016

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 225809 0 0 0 29498 481 0 0 25 0 1 0 22519939 630562816 106755 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 153946 106755 364 364 0 153582 0
[pid=11844] vsize: 615784
Current children cumulated CPU time (s) 299.79
Current children cumulated vsize (Kb) 615784

[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 226020 0 0 0 30497 481 0 0 25 0 1 0 22519939 631087104 106837 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154074 106837 364 364 0 153710 0
[pid=11844] vsize: 616296
Current children cumulated CPU time (s) 309.78
Current children cumulated vsize (Kb) 616296

[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 226272 0 0 0 31496 482 0 0 25 0 1 0 22519939 631611392 106960 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154202 106960 364 364 0 153838 0
[pid=11844] vsize: 616808
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (Kb) 616808

[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 226456 0 0 0 32496 483 0 0 25 0 1 0 22519939 632135680 107015 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154330 107015 364 364 0 153966 0
[pid=11844] vsize: 617320
Current children cumulated CPU time (s) 329.79
Current children cumulated vsize (Kb) 617320

[startup+340.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 226558 0 0 0 33496 483 0 0 25 0 1 0 22519939 632664064 107117 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154459 107118 364 364 0 154095 0
[pid=11844] vsize: 617836
Current children cumulated CPU time (s) 339.79
Current children cumulated vsize (Kb) 617836

[startup+350.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 226935 0 0 0 34495 484 0 0 25 0 1 0 22519939 633974784 107300 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154779 107300 364 364 0 154415 0
[pid=11844] vsize: 619116
Current children cumulated CPU time (s) 349.79
Current children cumulated vsize (Kb) 619116

[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227004 0 0 0 35495 484 0 0 25 0 1 0 22519939 633974784 107369 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154779 107369 364 364 0 154415 0
[pid=11844] vsize: 619116
Current children cumulated CPU time (s) 359.79
Current children cumulated vsize (Kb) 619116

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227007 0 0 0 36494 484 0 0 25 0 1 0 22519939 633974784 107372 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 154779 107372 364 364 0 154415 0
[pid=11844] vsize: 619116
Current children cumulated CPU time (s) 369.78
Current children cumulated vsize (Kb) 619116

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227329 0 0 0 37493 485 0 0 25 0 1 0 22519939 634892288 107532 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155003 107532 364 364 0 154639 0
[pid=11844] vsize: 620012
Current children cumulated CPU time (s) 379.78
Current children cumulated vsize (Kb) 620012

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227531 0 0 0 38492 486 0 0 25 0 1 0 22519939 635416576 107605 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155131 107605 364 364 0 154767 0
[pid=11844] vsize: 620524
Current children cumulated CPU time (s) 389.78
Current children cumulated vsize (Kb) 620524

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227543 0 0 0 39492 486 0 0 25 0 1 0 22519939 635416576 107617 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155131 107617 364 364 0 154767 0
[pid=11844] vsize: 620524
Current children cumulated CPU time (s) 399.78
Current children cumulated vsize (Kb) 620524

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227569 0 0 0 40491 486 0 0 25 0 1 0 22519939 635416576 107643 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155131 107643 364 364 0 154767 0
[pid=11844] vsize: 620524
Current children cumulated CPU time (s) 409.77
Current children cumulated vsize (Kb) 620524

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227577 0 0 0 41491 486 0 0 25 0 1 0 22519939 635416576 107651 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155131 107651 364 364 0 154767 0
[pid=11844] vsize: 620524
Current children cumulated CPU time (s) 419.77
Current children cumulated vsize (Kb) 620524

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227654 0 0 0 42490 487 0 0 25 0 1 0 22519939 635944960 107728 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155260 107728 364 364 0 154896 0
[pid=11844] vsize: 621040
Current children cumulated CPU time (s) 429.77
Current children cumulated vsize (Kb) 621040

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227676 0 0 0 43490 487 0 0 25 0 1 0 22519939 635944960 107750 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155260 107750 364 364 0 154896 0
[pid=11844] vsize: 621040
Current children cumulated CPU time (s) 439.77
Current children cumulated vsize (Kb) 621040

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227823 0 0 0 44490 488 0 0 25 0 1 0 22519939 636469248 107768 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107768 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 449.78
Current children cumulated vsize (Kb) 621552

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227882 0 0 0 45490 488 0 0 25 0 1 0 22519939 636469248 107827 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107827 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 459.78
Current children cumulated vsize (Kb) 621552

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227889 0 0 0 46489 488 0 0 25 0 1 0 22519939 636469248 107834 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107834 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 469.77
Current children cumulated vsize (Kb) 621552

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227940 0 0 0 47489 489 0 0 25 0 1 0 22519939 636469248 107885 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107885 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 479.78
Current children cumulated vsize (Kb) 621552

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227942 0 0 0 48488 489 0 0 25 0 1 0 22519939 636469248 107887 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107887 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 489.77
Current children cumulated vsize (Kb) 621552

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227946 0 0 0 49488 489 0 0 25 0 1 0 22519939 636469248 107891 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107891 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 499.77
Current children cumulated vsize (Kb) 621552

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 227950 0 0 0 50488 489 0 0 25 0 1 0 22519939 636469248 107895 4294967295 134512640 135987407 3221224560 3221223280 134812711 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155388 107895 364 364 0 155024 0
[pid=11844] vsize: 621552
Current children cumulated CPU time (s) 509.77
Current children cumulated vsize (Kb) 621552

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228123 0 0 0 51486 490 0 0 25 0 1 0 22519939 637259776 108003 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108003 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (Kb) 622324

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228127 0 0 0 52485 491 0 0 25 0 1 0 22519939 637259776 108007 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108007 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 529.76
Current children cumulated vsize (Kb) 622324

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228129 0 0 0 53485 491 0 0 25 0 1 0 22519939 637259776 108009 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108009 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 539.76
Current children cumulated vsize (Kb) 622324

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11905
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228132 0 0 0 54485 491 0 0 25 0 1 0 22519939 637259776 108012 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108012 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 549.76
Current children cumulated vsize (Kb) 622324

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228136 0 0 0 55484 491 0 0 25 0 1 0 22519939 637259776 108016 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108016 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 559.75
Current children cumulated vsize (Kb) 622324

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228139 0 0 0 56484 491 0 0 25 0 1 0 22519939 637259776 108019 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108019 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 569.75
Current children cumulated vsize (Kb) 622324

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228198 0 0 0 57484 491 0 0 25 0 1 0 22519939 637259776 108078 4294967295 134512640 135987407 3221224560 3221223104 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155581 108078 364 364 0 155217 0
[pid=11844] vsize: 622324
Current children cumulated CPU time (s) 579.75
Current children cumulated vsize (Kb) 622324

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228357 0 0 0 58483 492 0 0 25 0 1 0 22519939 637784064 108108 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108108 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 589.75
Current children cumulated vsize (Kb) 622836

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228371 0 0 0 59483 492 0 0 25 0 1 0 22519939 637784064 108122 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108122 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 599.75
Current children cumulated vsize (Kb) 622836

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228383 0 0 0 60483 492 0 0 25 0 1 0 22519939 637784064 108134 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108134 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 609.75
Current children cumulated vsize (Kb) 622836

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228385 0 0 0 61483 493 0 0 25 0 1 0 22519939 637784064 108136 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108136 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 619.76
Current children cumulated vsize (Kb) 622836

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228390 0 0 0 62482 493 0 0 25 0 1 0 22519939 637784064 108141 4294967295 134512640 135987407 3221224560 3221223232 134812261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108141 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 629.75
Current children cumulated vsize (Kb) 622836

[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228428 0 0 0 63482 493 0 0 25 0 1 0 22519939 637784064 108179 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108179 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 639.75
Current children cumulated vsize (Kb) 622836

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228430 0 0 0 64482 493 0 0 25 0 1 0 22519939 637784064 108181 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108181 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 649.75
Current children cumulated vsize (Kb) 622836

[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228433 0 0 0 65482 493 0 0 25 0 1 0 22519939 637784064 108184 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155709 108184 364 364 0 155345 0
[pid=11844] vsize: 622836
Current children cumulated CPU time (s) 659.75
Current children cumulated vsize (Kb) 622836

[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228629 0 0 0 66481 494 0 0 25 0 1 0 22519939 638308352 108251 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155837 108251 364 364 0 155473 0
[pid=11844] vsize: 623348
Current children cumulated CPU time (s) 669.75
Current children cumulated vsize (Kb) 623348

[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228650 0 0 0 67481 494 0 0 25 0 1 0 22519939 638308352 108272 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155837 108272 364 364 0 155473 0
[pid=11844] vsize: 623348
Current children cumulated CPU time (s) 679.75
Current children cumulated vsize (Kb) 623348

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228652 0 0 0 68480 494 0 0 25 0 1 0 22519939 638308352 108274 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155837 108274 364 364 0 155473 0
[pid=11844] vsize: 623348
Current children cumulated CPU time (s) 689.74
Current children cumulated vsize (Kb) 623348

[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228893 0 0 0 69479 495 0 0 25 0 1 0 22519939 638832640 108386 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108386 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 699.74
Current children cumulated vsize (Kb) 623860

[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228896 0 0 0 70478 495 0 0 25 0 1 0 22519939 638832640 108389 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108389 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 709.73
Current children cumulated vsize (Kb) 623860

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228898 0 0 0 71478 496 0 0 25 0 1 0 22519939 638832640 108391 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108391 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 719.74
Current children cumulated vsize (Kb) 623860

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228902 0 0 0 72478 496 0 0 25 0 1 0 22519939 638832640 108395 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108395 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 729.74
Current children cumulated vsize (Kb) 623860

[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228905 0 0 0 73477 496 0 0 25 0 1 0 22519939 638832640 108398 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108398 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 739.73
Current children cumulated vsize (Kb) 623860

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228924 0 0 0 74476 497 0 0 25 0 1 0 22519939 638832640 108417 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108417 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 749.73
Current children cumulated vsize (Kb) 623860

[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228926 0 0 0 75476 497 0 0 25 0 1 0 22519939 638832640 108419 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108419 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 759.73
Current children cumulated vsize (Kb) 623860

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228929 0 0 0 76476 497 0 0 25 0 1 0 22519939 638832640 108422 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108422 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 769.73
Current children cumulated vsize (Kb) 623860

[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228937 0 0 0 77476 497 0 0 25 0 1 0 22519939 638832640 108430 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108430 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 779.73
Current children cumulated vsize (Kb) 623860

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228947 0 0 0 78476 497 0 0 25 0 1 0 22519939 638832640 108440 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108440 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 789.73
Current children cumulated vsize (Kb) 623860

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228962 0 0 0 79476 497 0 0 25 0 1 0 22519939 638832640 108455 4294967295 134512640 135987407 3221224560 3221223104 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108455 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 799.73
Current children cumulated vsize (Kb) 623860

[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228965 0 0 0 80476 497 0 0 25 0 1 0 22519939 638832640 108458 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108458 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 809.73
Current children cumulated vsize (Kb) 623860

[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 228967 0 0 0 81475 498 0 0 25 0 1 0 22519939 638832640 108460 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 155965 108460 364 364 0 155601 0
[pid=11844] vsize: 623860
Current children cumulated CPU time (s) 819.73
Current children cumulated vsize (Kb) 623860

[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229063 0 0 0 82474 498 0 0 25 0 1 0 22519939 639225856 108523 4294967295 134512640 135987407 3221224560 3221223184 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156061 108523 364 364 0 155697 0
[pid=11844] vsize: 624244
Current children cumulated CPU time (s) 829.72
Current children cumulated vsize (Kb) 624244

[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229066 0 0 0 83474 498 0 0 25 0 1 0 22519939 639225856 108526 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156061 108526 364 364 0 155697 0
[pid=11844] vsize: 624244
Current children cumulated CPU time (s) 839.72
Current children cumulated vsize (Kb) 624244

[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229068 0 0 0 84472 499 0 0 25 0 1 0 22519939 639225856 108528 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156061 108528 364 364 0 155697 0
[pid=11844] vsize: 624244
Current children cumulated CPU time (s) 849.71
Current children cumulated vsize (Kb) 624244

[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229071 0 0 0 85472 500 0 0 25 0 1 0 22519939 639225856 108531 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156061 108531 364 364 0 155697 0
[pid=11844] vsize: 624244
Current children cumulated CPU time (s) 859.72
Current children cumulated vsize (Kb) 624244

[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229107 0 0 0 86471 500 0 0 25 0 1 0 22519939 639225856 108567 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156061 108567 364 364 0 155697 0
[pid=11844] vsize: 624244
Current children cumulated CPU time (s) 869.71
Current children cumulated vsize (Kb) 624244

[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229259 0 0 0 87471 500 0 0 25 0 1 0 22519939 639750144 108590 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156189 108590 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 879.71
Current children cumulated vsize (Kb) 624756

[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229261 0 0 0 88470 500 0 0 25 0 1 0 22519939 639750144 108592 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156189 108592 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 889.7
Current children cumulated vsize (Kb) 624756

[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229263 0 0 0 89470 500 0 0 25 0 1 0 22519939 639750144 108594 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11844/statm): 156189 108594 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 899.7
Current children cumulated vsize (Kb) 624756

[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229266 0 0 0 90470 501 0 0 25 0 1 0 22519939 639750144 108597 4294967295 134512640 135987407 3221224560 3221223280 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108597 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 909.71
Current children cumulated vsize (Kb) 624756

[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229326 0 0 0 91470 501 0 0 25 0 1 0 22519939 639750144 108657 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108657 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 919.71
Current children cumulated vsize (Kb) 624756

[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229328 0 0 0 92469 501 0 0 25 0 1 0 22519939 639750144 108659 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108659 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 929.7
Current children cumulated vsize (Kb) 624756

[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229330 0 0 0 93469 501 0 0 25 0 1 0 22519939 639750144 108661 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108661 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 939.7
Current children cumulated vsize (Kb) 624756

[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229331 0 0 0 94469 502 0 0 25 0 1 0 22519939 639750144 108662 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108662 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 949.71
Current children cumulated vsize (Kb) 624756

[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229335 0 0 0 95468 502 0 0 25 0 1 0 22519939 639750144 108666 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108666 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 959.7
Current children cumulated vsize (Kb) 624756

[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229339 0 0 0 96468 502 0 0 25 0 1 0 22519939 639750144 108670 4294967295 134512640 135987407 3221224560 3221223264 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108670 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 969.7
Current children cumulated vsize (Kb) 624756

[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229340 0 0 0 97467 502 0 0 25 0 1 0 22519939 639750144 108671 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108671 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 979.69
Current children cumulated vsize (Kb) 624756

[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229342 0 0 0 98467 503 0 0 25 0 1 0 22519939 639750144 108673 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108673 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 989.7
Current children cumulated vsize (Kb) 624756

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229344 0 0 0 99467 503 0 0 25 0 1 0 22519939 639750144 108675 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108675 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 999.7
Current children cumulated vsize (Kb) 624756

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229376 0 0 0 100466 503 0 0 25 0 1 0 22519939 639750144 108707 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108707 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 1009.69
Current children cumulated vsize (Kb) 624756

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229378 0 0 0 101466 503 0 0 25 0 1 0 22519939 639750144 108709 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108709 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 1019.69
Current children cumulated vsize (Kb) 624756

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229380 0 0 0 102466 503 0 0 25 0 1 0 22519939 639750144 108711 4294967295 134512640 135987407 3221224560 3221223104 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108711 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 1029.69
Current children cumulated vsize (Kb) 624756

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229382 0 0 0 103466 503 0 0 25 0 1 0 22519939 639750144 108713 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156189 108713 364 364 0 155825 0
[pid=11844] vsize: 624756
Current children cumulated CPU time (s) 1039.69
Current children cumulated vsize (Kb) 624756

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229460 0 0 0 104466 504 0 0 25 0 1 0 22519939 640012288 108726 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156253 108726 364 364 0 155889 0
[pid=11844] vsize: 625012
Current children cumulated CPU time (s) 1049.7
Current children cumulated vsize (Kb) 625012

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229462 0 0 0 105465 504 0 0 25 0 1 0 22519939 640012288 108728 4294967295 134512640 135987407 3221224560 3221223168 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156253 108728 364 364 0 155889 0
[pid=11844] vsize: 625012
Current children cumulated CPU time (s) 1059.69
Current children cumulated vsize (Kb) 625012

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229803 0 0 0 106464 505 0 0 25 0 1 0 22519939 641458176 108907 4294967295 134512640 135987407 3221224560 3221223088 134812237 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 108907 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1069.69
Current children cumulated vsize (Kb) 626424

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229903 0 0 0 107464 505 0 0 25 0 1 0 22519939 641458176 109007 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109007 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1079.69
Current children cumulated vsize (Kb) 626424

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229917 0 0 0 108463 505 0 0 25 0 1 0 22519939 641458176 109021 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109021 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1089.68
Current children cumulated vsize (Kb) 626424

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 229924 0 0 0 109463 505 0 0 25 0 1 0 22519939 641458176 109028 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109028 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1099.68
Current children cumulated vsize (Kb) 626424

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230044 0 0 0 110463 505 0 0 25 0 1 0 22519939 641458176 109148 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109148 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1109.68
Current children cumulated vsize (Kb) 626424

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230045 0 0 0 111463 505 0 0 25 0 1 0 22519939 641458176 109149 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109149 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1119.68
Current children cumulated vsize (Kb) 626424

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230048 0 0 0 112463 505 0 0 25 0 1 0 22519939 641458176 109152 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109152 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1129.68
Current children cumulated vsize (Kb) 626424

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230052 0 0 0 113462 506 0 0 25 0 1 0 22519939 641458176 109156 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109156 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1139.68
Current children cumulated vsize (Kb) 626424

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230054 0 0 0 114462 506 0 0 25 0 1 0 22519939 641458176 109158 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109158 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1149.68
Current children cumulated vsize (Kb) 626424

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230056 0 0 0 115462 506 0 0 25 0 1 0 22519939 641458176 109160 4294967295 134512640 135987407 3221224560 3221223156 135478210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109160 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1159.68
Current children cumulated vsize (Kb) 626424

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230058 0 0 0 116462 506 0 0 25 0 1 0 22519939 641458176 109162 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109162 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1169.68
Current children cumulated vsize (Kb) 626424

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230061 0 0 0 117462 506 0 0 25 0 1 0 22519939 641458176 109165 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109165 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1179.68
Current children cumulated vsize (Kb) 626424

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230063 0 0 0 118461 506 0 0 25 0 1 0 22519939 641458176 109167 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109167 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1189.67
Current children cumulated vsize (Kb) 626424

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230065 0 0 0 119461 506 0 0 25 0 1 0 22519939 641458176 109169 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109169 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1199.67
Current children cumulated vsize (Kb) 626424

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230067 0 0 0 120461 506 0 0 25 0 1 0 22519939 641458176 109171 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109171 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1209.67
Current children cumulated vsize (Kb) 626424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11907
Raw data (/proc/11844/stat): 11844 (pb2sat) R 11843 11844 4060 0 -1 0 230067 0 0 0 120461 506 0 0 25 0 1 0 22519939 641458176 109171 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11844/statm): 156606 109171 364 364 0 156242 0
[pid=11844] vsize: 626424
Current children cumulated CPU time (s) 1209.67
Current children cumulated vsize (Kb) 626424

Sending SIGTERM to -11844
Sleeping 2 seconds
Sending SIGKILL to -11844
One traced child (pid=11844) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.14
CPU time (s): 1211.77
CPU user time (s): 1206.49
CPU system time (s): 5.2852
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (Kb): 626424

Verifier Data

Verifier:	OK	46334