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/MIPLIB/miplib/normalized-mps-v2-13-7-set1ch.opb
MD5SUM5de4850b53e2079c6374cbb1ea845dc3
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 71225856
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1662757407
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1662757407
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1259.51
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 10434

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 17:58:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9130 boxname=wulflinc1 idbench=926 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5de4850b53e2079c6374cbb1ea845dc3  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 9130
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        880672 kB
Buffers:         13648 kB
Cached:         122692 kB
SwapCached:          0 kB
Active:          77760 kB
Inactive:        61480 kB
HighTotal:      131008 kB
HighFree:        11956 kB
LowTotal:       903652 kB
LowFree:        868716 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             9224 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:20:06 (client local time) WITH STATUS 0 IN 1203.35 SECONDS
stats: 9130 7 1203.35 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN

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/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22186572 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 373 2 364 364 0 9 0
[pid=11142] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-set1ch.opb

[startup+10.0025 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 26561 0 0 0 935 62 0 0 25 0 1 0 22186572 81002496 15424 4294967295 134512640 135987407 3221224560 3221215856 134878186 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 19776 15424 364 364 0 19412 0
[pid=11142] vsize: 79104
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79104

[startup+20.0033 s]
Raw data (loadavg): 0.92 0.93 0.91 2/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 28746 0 0 0 1789 114 0 0 25 0 1 0 22186572 85655552 17158 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 20912 17158 364 364 0 20548 0
[pid=11142] vsize: 83648
Current children cumulated CPU time (s) 19.03
Current children cumulated vsize (Kb) 83648

[startup+30.0041 s]
Raw data (loadavg): 0.93 0.93 0.91 1/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 28892 0 0 0 2659 159 0 0 25 0 1 0 22186572 86196224 17304 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21044 17304 364 364 0 20680 0
[pid=11142] vsize: 84176
Current children cumulated CPU time (s) 28.18
Current children cumulated vsize (Kb) 84176

[startup+40.0049 s]
Raw data (loadavg): 0.94 0.93 0.91 1/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 28993 0 0 0 3534 201 0 0 25 0 1 0 22186572 86478848 17405 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 21113 17405 364 364 0 20749 0
[pid=11142] vsize: 84452
Current children cumulated CPU time (s) 37.35
Current children cumulated vsize (Kb) 84452

[startup+50.0057 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 29088 0 0 0 4400 246 0 0 24 0 1 0 22186572 86888448 17500 4294967295 134512640 135987407 3221224560 3221223100 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 21213 17500 364 364 0 20849 0
[pid=11142] vsize: 84852
Current children cumulated CPU time (s) 46.46
Current children cumulated vsize (Kb) 84852

[startup+60.0065 s]
Raw data (loadavg): 0.96 0.94 0.91 1/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 29218 0 0 0 5276 288 0 0 21 0 1 0 22186572 87302144 17630 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21314 17630 364 364 0 20950 0
[pid=11142] vsize: 85256
Current children cumulated CPU time (s) 55.64
Current children cumulated vsize (Kb) 85256

[startup+70.0073 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 29281 0 0 0 6154 327 0 0 25 0 1 0 22186572 87580672 17693 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 21382 17693 364 364 0 21018 0
[pid=11142] vsize: 85528
Current children cumulated CPU time (s) 64.81
Current children cumulated vsize (Kb) 85528

[startup+80.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 29371 0 0 0 7028 370 0 0 25 0 1 0 22186572 87851008 17783 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21448 17783 364 364 0 21084 0
[pid=11142] vsize: 85792
Current children cumulated CPU time (s) 73.98
Current children cumulated vsize (Kb) 85792

[startup+90.0078 s]
Raw data (loadavg): 1.05 0.96 0.91 2/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 29424 0 0 0 7902 411 0 0 25 0 1 0 22186572 87990272 17836 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 21482 17836 364 364 0 21118 0
[pid=11142] vsize: 85928
Current children cumulated CPU time (s) 83.13
Current children cumulated vsize (Kb) 85928

[startup+100.008 s]
Raw data (loadavg): 1.04 0.96 0.91 1/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 29519 0 0 0 8765 458 0 0 25 0 1 0 22186572 88408064 17931 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21584 17931 364 364 0 21220 0
[pid=11142] vsize: 86336
Current children cumulated CPU time (s) 92.23
Current children cumulated vsize (Kb) 86336

[startup+110.008 s]
Raw data (loadavg): 1.04 0.96 0.91 1/55 11142
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 29630 0 0 0 9632 503 0 0 24 0 1 0 22186572 88834048 18042 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21688 18042 364 364 0 21324 0
[pid=11142] vsize: 86752
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (Kb) 86752

[startup+120.009 s]
Raw data (loadavg): 1.03 0.96 0.91 1/56 11143
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 29697 0 0 0 10501 550 0 0 22 0 1 0 22186572 88973312 18109 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21722 18109 364 364 0 21358 0
[pid=11142] vsize: 86888
Current children cumulated CPU time (s) 110.51
Current children cumulated vsize (Kb) 86888

[startup+130.009 s]
Raw data (loadavg): 1.10 0.98 0.92 2/55 11197
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 29757 0 0 0 11371 589 0 0 25 0 1 0 22186572 89251840 18169 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 21790 18169 364 364 0 21426 0
[pid=11142] vsize: 87160
Current children cumulated CPU time (s) 119.6
Current children cumulated vsize (Kb) 87160

[startup+140.01 s]
Raw data (loadavg): 1.08 0.98 0.92 1/55 11197
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 29815 0 0 0 12244 635 0 0 25 0 1 0 22186572 89387008 18227 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 21823 18227 364 364 0 21459 0
[pid=11142] vsize: 87292
Current children cumulated CPU time (s) 128.79
Current children cumulated vsize (Kb) 87292

[startup+150.011 s]
Raw data (loadavg): 1.07 0.98 0.92 2/55 11197
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 29919 0 0 0 13123 676 0 0 25 0 1 0 22186572 89829376 18331 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 21931 18331 364 364 0 21567 0
[pid=11142] vsize: 87724
Current children cumulated CPU time (s) 137.99
Current children cumulated vsize (Kb) 87724

[startup+160.011 s]
Raw data (loadavg): 1.06 0.98 0.92 1/55 11197
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 30015 0 0 0 13995 722 0 0 25 0 1 0 22186572 90140672 18427 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 22007 18427 364 364 0 21643 0
[pid=11142] vsize: 88028
Current children cumulated CPU time (s) 147.17
Current children cumulated vsize (Kb) 88028

[startup+170.011 s]
Raw data (loadavg): 1.05 0.98 0.92 2/55 11197
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30145 0 0 0 14860 768 0 0 25 0 1 0 22186572 90718208 18557 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 22148 18557 364 364 0 21784 0
[pid=11142] vsize: 88592
Current children cumulated CPU time (s) 156.28
Current children cumulated vsize (Kb) 88592

[startup+180.012 s]
Raw data (loadavg): 1.12 1.00 0.93 2/55 11199
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30194 0 0 0 15723 815 0 0 25 0 1 0 22186572 90857472 18606 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 22182 18606 364 364 0 21818 0
[pid=11142] vsize: 88728
Current children cumulated CPU time (s) 165.38
Current children cumulated vsize (Kb) 88728

[startup+190.013 s]
Raw data (loadavg): 1.10 1.00 0.93 2/55 11201
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30271 0 0 0 16593 859 0 0 25 0 1 0 22186572 91271168 18683 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 22283 18683 364 364 0 21919 0
[pid=11142] vsize: 89132
Current children cumulated CPU time (s) 174.52
Current children cumulated vsize (Kb) 89132

[startup+200.013 s]
Raw data (loadavg): 1.09 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30362 0 0 0 17459 903 0 0 25 0 1 0 22186572 91561984 18774 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 22354 18774 364 364 0 21990 0
[pid=11142] vsize: 89416
Current children cumulated CPU time (s) 183.62
Current children cumulated vsize (Kb) 89416

[startup+210.013 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30469 0 0 0 18341 945 0 0 25 0 1 0 22186572 92004352 18881 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 22462 18881 364 364 0 22098 0
[pid=11142] vsize: 89848
Current children cumulated CPU time (s) 192.86
Current children cumulated vsize (Kb) 89848

[startup+220.014 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30551 0 0 0 19214 984 0 0 25 0 1 0 22186572 92299264 18963 4294967295 134512640 135987407 3221224560 3221223376 134825122 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 22534 18963 364 364 0 22170 0
[pid=11142] vsize: 90136
Current children cumulated CPU time (s) 201.98
Current children cumulated vsize (Kb) 90136

[startup+230.014 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30622 0 0 0 20094 1025 0 0 25 0 1 0 22186572 92741632 19034 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 22642 19034 364 364 0 22278 0
[pid=11142] vsize: 90568
Current children cumulated CPU time (s) 211.19
Current children cumulated vsize (Kb) 90568

[startup+240.015 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 30696 0 0 0 20970 1067 0 0 25 0 1 0 22186572 93036544 19108 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 22714 19108 364 364 0 22350 0
[pid=11142] vsize: 90856
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (Kb) 90856

[startup+250.015 s]
Raw data (loadavg): 1.04 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 30791 0 0 0 21856 1105 0 0 25 0 1 0 22186572 93495296 19203 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 22826 19203 364 364 0 22462 0
[pid=11142] vsize: 91304
Current children cumulated CPU time (s) 229.61
Current children cumulated vsize (Kb) 91304

[startup+260.016 s]
Raw data (loadavg): 1.03 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 30915 0 0 0 22735 1144 0 0 25 0 1 0 22186572 93954048 19327 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 22938 19327 364 364 0 22574 0
[pid=11142] vsize: 91752
Current children cumulated CPU time (s) 238.79
Current children cumulated vsize (Kb) 91752

[startup+270.016 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31041 0 0 0 23612 1185 0 0 25 0 1 0 22186572 94593024 19453 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23094 19453 364 364 0 22730 0
[pid=11142] vsize: 92376
Current children cumulated CPU time (s) 247.97
Current children cumulated vsize (Kb) 92376

[startup+280.016 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31133 0 0 0 24489 1226 0 0 25 0 1 0 22186572 95035392 19545 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23202 19545 364 364 0 22838 0
[pid=11142] vsize: 92808
Current children cumulated CPU time (s) 257.15
Current children cumulated vsize (Kb) 92808

[startup+290.017 s]
Raw data (loadavg): 1.02 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31214 0 0 0 25361 1268 0 0 25 0 1 0 22186572 95330304 19626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23274 19626 364 364 0 22910 0
[pid=11142] vsize: 93096
Current children cumulated CPU time (s) 266.29
Current children cumulated vsize (Kb) 93096

[startup+300.017 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31304 0 0 0 26243 1307 0 0 25 0 1 0 22186572 95805440 19716 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23390 19716 364 364 0 23026 0
[pid=11142] vsize: 93560
Current children cumulated CPU time (s) 275.5
Current children cumulated vsize (Kb) 93560

[startup+310.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31375 0 0 0 27107 1355 0 0 25 0 1 0 22186572 96133120 19787 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23470 19787 364 364 0 23106 0
[pid=11142] vsize: 93880
Current children cumulated CPU time (s) 284.62
Current children cumulated vsize (Kb) 93880

[startup+320.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31400 0 0 0 27971 1401 0 0 25 0 1 0 22186572 96133120 19812 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23470 19812 364 364 0 23106 0
[pid=11142] vsize: 93880
Current children cumulated CPU time (s) 293.72
Current children cumulated vsize (Kb) 93880

[startup+330.018 s]
Raw data (loadavg): 1.01 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31410 0 0 0 28834 1448 0 0 25 0 1 0 22186572 96133120 19822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23470 19822 364 364 0 23106 0
[pid=11142] vsize: 93880
Current children cumulated CPU time (s) 302.82
Current children cumulated vsize (Kb) 93880

[startup+340.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31419 0 0 0 29702 1492 0 0 25 0 1 0 22186572 96133120 19831 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23470 19831 364 364 0 23106 0
[pid=11142] vsize: 93880
Current children cumulated CPU time (s) 311.94
Current children cumulated vsize (Kb) 93880

[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31459 0 0 0 30566 1540 0 0 25 0 1 0 22186572 96268288 19871 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23503 19871 364 364 0 23139 0
[pid=11142] vsize: 94012
Current children cumulated CPU time (s) 321.06
Current children cumulated vsize (Kb) 94012

[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31532 0 0 0 31440 1582 0 0 25 0 1 0 22186572 96542720 19911 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23570 19911 364 364 0 23206 0
[pid=11142] vsize: 94280
Current children cumulated CPU time (s) 330.22
Current children cumulated vsize (Kb) 94280

[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31554 0 0 0 32317 1622 0 0 25 0 1 0 22186572 96686080 19933 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23605 19933 364 364 0 23241 0
[pid=11142] vsize: 94420
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (Kb) 94420

[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31603 0 0 0 33174 1669 0 0 25 0 1 0 22186572 96817152 19982 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23637 19982 364 364 0 23273 0
[pid=11142] vsize: 94548
Current children cumulated CPU time (s) 348.43
Current children cumulated vsize (Kb) 94548

[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31660 0 0 0 34052 1713 0 0 25 0 1 0 22186572 96964608 20039 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23673 20039 364 364 0 23309 0
[pid=11142] vsize: 94692
Current children cumulated CPU time (s) 357.65
Current children cumulated vsize (Kb) 94692

[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31694 0 0 0 34930 1754 0 0 25 0 1 0 22186572 97112064 20073 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23709 20073 364 364 0 23345 0
[pid=11142] vsize: 94836
Current children cumulated CPU time (s) 366.84
Current children cumulated vsize (Kb) 94836

[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31773 0 0 0 35801 1800 0 0 25 0 1 0 22186572 97394688 20152 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23778 20152 364 364 0 23414 0
[pid=11142] vsize: 95112
Current children cumulated CPU time (s) 376.01
Current children cumulated vsize (Kb) 95112

[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31806 0 0 0 36667 1843 0 0 25 0 1 0 22186572 97529856 20185 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23811 20185 364 364 0 23447 0
[pid=11142] vsize: 95244
Current children cumulated CPU time (s) 385.1
Current children cumulated vsize (Kb) 95244

[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31852 0 0 0 37530 1891 0 0 25 0 1 0 22186572 97665024 20231 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23844 20231 364 364 0 23480 0
[pid=11142] vsize: 95376
Current children cumulated CPU time (s) 394.21
Current children cumulated vsize (Kb) 95376

[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 11203
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31909 0 0 0 38400 1934 0 0 25 0 1 0 22186572 97939456 20288 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23911 20288 364 364 0 23547 0
[pid=11142] vsize: 95644
Current children cumulated CPU time (s) 403.34
Current children cumulated vsize (Kb) 95644

[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 31931 0 0 0 39265 1977 0 0 25 0 1 0 22186572 97939456 20310 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 23911 20310 364 364 0 23547 0
[pid=11142] vsize: 95644
Current children cumulated CPU time (s) 412.42
Current children cumulated vsize (Kb) 95644

[startup+460.024 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 31995 0 0 0 40122 2025 0 0 25 0 1 0 22186572 98222080 20374 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23980 20374 364 364 0 23616 0
[pid=11142] vsize: 95920
Current children cumulated CPU time (s) 421.47
Current children cumulated vsize (Kb) 95920

[startup+470.025 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32034 0 0 0 40994 2068 0 0 25 0 1 0 22186572 98222080 20413 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 23980 20413 364 364 0 23616 0
[pid=11142] vsize: 95920
Current children cumulated CPU time (s) 430.62
Current children cumulated vsize (Kb) 95920

[startup+480.025 s]
Raw data (loadavg): 1.06 1.01 0.93 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 32147 0 0 0 41867 2109 0 0 25 0 1 0 22186572 98840576 20526 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 24131 20526 364 364 0 23767 0
[pid=11142] vsize: 96524
Current children cumulated CPU time (s) 439.76
Current children cumulated vsize (Kb) 96524

[startup+490.025 s]
Raw data (loadavg): 1.12 1.03 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 32204 0 0 0 42742 2152 0 0 25 0 1 0 22186572 99004416 20583 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 24171 20583 364 364 0 23807 0
[pid=11142] vsize: 96684
Current children cumulated CPU time (s) 448.94
Current children cumulated vsize (Kb) 96684

[startup+500.025 s]
Raw data (loadavg): 1.10 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32241 0 0 0 43612 2197 0 0 25 0 1 0 22186572 99151872 20620 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24207 20620 364 364 0 23843 0
[pid=11142] vsize: 96828
Current children cumulated CPU time (s) 458.09
Current children cumulated vsize (Kb) 96828

[startup+510.026 s]
Raw data (loadavg): 1.09 1.02 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 32281 0 0 0 44477 2244 0 0 25 0 1 0 22186572 99291136 20660 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24241 20660 364 364 0 23877 0
[pid=11142] vsize: 96964
Current children cumulated CPU time (s) 467.21
Current children cumulated vsize (Kb) 96964

[startup+520.027 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32344 0 0 0 45353 2286 0 0 25 0 1 0 22186572 99573760 20723 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 24310 20723 364 364 0 23946 0
[pid=11142] vsize: 97240
Current children cumulated CPU time (s) 476.39
Current children cumulated vsize (Kb) 97240

[startup+530.027 s]
Raw data (loadavg): 1.06 1.02 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 32402 0 0 0 46229 2327 0 0 25 0 1 0 22186572 99713024 20781 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24344 20781 364 364 0 23980 0
[pid=11142] vsize: 97376
Current children cumulated CPU time (s) 485.56
Current children cumulated vsize (Kb) 97376

[startup+540.027 s]
Raw data (loadavg): 1.05 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32428 0 0 0 47099 2374 0 0 25 0 1 0 22186572 99713024 20807 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24344 20807 364 364 0 23980 0
[pid=11142] vsize: 97376
Current children cumulated CPU time (s) 494.73
Current children cumulated vsize (Kb) 97376

[startup+550.028 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32468 0 0 0 47971 2418 0 0 25 0 1 0 22186572 99860480 20847 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24380 20847 364 364 0 24016 0
[pid=11142] vsize: 97520
Current children cumulated CPU time (s) 503.89
Current children cumulated vsize (Kb) 97520

[startup+560.029 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32519 0 0 0 48832 2463 0 0 25 0 1 0 22186572 100130816 20898 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24446 20898 364 364 0 24082 0
[pid=11142] vsize: 97784
Current children cumulated CPU time (s) 512.95
Current children cumulated vsize (Kb) 97784

[startup+570.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32563 0 0 0 49705 2503 0 0 25 0 1 0 22186572 100265984 20942 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24479 20942 364 364 0 24115 0
[pid=11142] vsize: 97916
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (Kb) 97916

[startup+580.029 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32654 0 0 0 50562 2552 0 0 23 0 1 0 22186572 100560896 21033 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24551 21033 364 364 0 24187 0
[pid=11142] vsize: 98204
Current children cumulated CPU time (s) 531.14
Current children cumulated vsize (Kb) 98204

[startup+590.029 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32737 0 0 0 51418 2598 0 0 25 0 1 0 22186572 100835328 21116 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24618 21116 364 364 0 24254 0
[pid=11142] vsize: 98472
Current children cumulated CPU time (s) 540.16
Current children cumulated vsize (Kb) 98472

[startup+600.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32819 0 0 0 52280 2641 0 0 25 0 1 0 22186572 101109760 21198 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 24685 21198 364 364 0 24321 0
[pid=11142] vsize: 98740
Current children cumulated CPU time (s) 549.21
Current children cumulated vsize (Kb) 98740

[startup+610.031 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 32863 0 0 0 53138 2687 0 0 25 0 1 0 22186572 101404672 21242 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24757 21242 364 364 0 24393 0
[pid=11142] vsize: 99028
Current children cumulated CPU time (s) 558.25
Current children cumulated vsize (Kb) 99028

[startup+620.032 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 32909 0 0 0 54007 2733 0 0 25 0 1 0 22186572 101552128 21288 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 24793 21288 364 364 0 24429 0
[pid=11142] vsize: 99172
Current children cumulated CPU time (s) 567.4
Current children cumulated vsize (Kb) 99172

[startup+630.031 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 32991 0 0 0 54880 2775 0 0 24 0 1 0 22186572 101834752 21370 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24862 21370 364 364 0 24498 0
[pid=11142] vsize: 99448
Current children cumulated CPU time (s) 576.55
Current children cumulated vsize (Kb) 99448

[startup+640.032 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33030 0 0 0 55737 2821 0 0 25 0 1 0 22186572 101978112 21409 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 24897 21409 364 364 0 24533 0
[pid=11142] vsize: 99588
Current children cumulated CPU time (s) 585.58
Current children cumulated vsize (Kb) 99588

[startup+650.033 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33098 0 0 0 56599 2868 0 0 25 0 1 0 22186572 102273024 21477 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 24969 21477 364 364 0 24605 0
[pid=11142] vsize: 99876
Current children cumulated CPU time (s) 594.67
Current children cumulated vsize (Kb) 99876

[startup+660.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33180 0 0 0 57471 2909 0 0 25 0 1 0 22186572 102567936 21559 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25041 21559 364 364 0 24677 0
[pid=11142] vsize: 100164
Current children cumulated CPU time (s) 603.8
Current children cumulated vsize (Kb) 100164

[startup+670.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33231 0 0 0 58329 2954 0 0 25 0 1 0 22186572 102862848 21610 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25113 21610 364 364 0 24749 0
[pid=11142] vsize: 100452
Current children cumulated CPU time (s) 612.83
Current children cumulated vsize (Kb) 100452

[startup+680.033 s]
Raw data (loadavg): 1.00 1.01 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33292 0 0 0 59186 3002 0 0 25 0 1 0 22186572 102998016 21671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25146 21671 364 364 0 24782 0
[pid=11142] vsize: 100584
Current children cumulated CPU time (s) 621.88
Current children cumulated vsize (Kb) 100584

[startup+690.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33319 0 0 0 60053 3046 0 0 25 0 1 0 22186572 103145472 21698 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25182 21698 364 364 0 24818 0
[pid=11142] vsize: 100728
Current children cumulated CPU time (s) 630.99
Current children cumulated vsize (Kb) 100728

[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33371 0 0 0 60910 3095 0 0 25 0 1 0 22186572 103292928 21750 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25218 21750 364 364 0 24854 0
[pid=11142] vsize: 100872
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 100872

[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33415 0 0 0 61774 3139 0 0 25 0 1 0 22186572 103440384 21794 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25254 21794 364 364 0 24890 0
[pid=11142] vsize: 101016
Current children cumulated CPU time (s) 649.13
Current children cumulated vsize (Kb) 101016

[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33451 0 0 0 62642 3183 0 0 18 0 1 0 22186572 103587840 21830 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25290 21830 364 364 0 24926 0
[pid=11142] vsize: 101160
Current children cumulated CPU time (s) 658.25
Current children cumulated vsize (Kb) 101160

[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33477 0 0 0 63505 3233 0 0 25 0 1 0 22186572 103735296 21856 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25326 21856 364 364 0 24962 0
[pid=11142] vsize: 101304
Current children cumulated CPU time (s) 667.38
Current children cumulated vsize (Kb) 101304

[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33546 0 0 0 64363 3282 0 0 25 0 1 0 22186572 103882752 21925 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25362 21925 364 364 0 24998 0
[pid=11142] vsize: 101448
Current children cumulated CPU time (s) 676.45
Current children cumulated vsize (Kb) 101448

[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33630 0 0 0 65227 3326 0 0 25 0 1 0 22186572 104312832 22009 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25467 22009 364 364 0 25103 0
[pid=11142] vsize: 101868
Current children cumulated CPU time (s) 685.53
Current children cumulated vsize (Kb) 101868

[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33656 0 0 0 66079 3376 0 0 25 0 1 0 22186572 104312832 22035 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25467 22035 364 364 0 25103 0
[pid=11142] vsize: 101868
Current children cumulated CPU time (s) 694.55
Current children cumulated vsize (Kb) 101868

[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33687 0 0 0 66949 3419 0 0 25 0 1 0 22186572 104460288 22066 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25503 22066 364 364 0 25139 0
[pid=11142] vsize: 102012
Current children cumulated CPU time (s) 703.68
Current children cumulated vsize (Kb) 102012

[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33759 0 0 0 67817 3464 0 0 25 0 1 0 22186572 104755200 22138 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25575 22138 364 364 0 25211 0
[pid=11142] vsize: 102300
Current children cumulated CPU time (s) 712.81
Current children cumulated vsize (Kb) 102300

[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33797 0 0 0 68673 3508 0 0 25 0 1 0 22186572 104902656 22176 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25611 22176 364 364 0 25247 0
[pid=11142] vsize: 102444
Current children cumulated CPU time (s) 721.81
Current children cumulated vsize (Kb) 102444

[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33843 0 0 0 69538 3552 0 0 25 0 1 0 22186572 105050112 22222 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25647 22222 364 364 0 25283 0
[pid=11142] vsize: 102588
Current children cumulated CPU time (s) 730.9
Current children cumulated vsize (Kb) 102588

[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33873 0 0 0 70402 3598 0 0 25 0 1 0 22186572 105050112 22252 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25647 22252 364 364 0 25283 0
[pid=11142] vsize: 102588
Current children cumulated CPU time (s) 740
Current children cumulated vsize (Kb) 102588

[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 33942 0 0 0 71269 3640 0 0 22 0 1 0 22186572 105345024 22321 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25719 22321 364 364 0 25355 0
[pid=11142] vsize: 102876
Current children cumulated CPU time (s) 749.09
Current children cumulated vsize (Kb) 102876

[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 33970 0 0 0 72115 3695 0 0 25 0 1 0 22186572 105484288 22349 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25753 22349 364 364 0 25389 0
[pid=11142] vsize: 103012
Current children cumulated CPU time (s) 758.1
Current children cumulated vsize (Kb) 103012

[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34021 0 0 0 72976 3744 0 0 25 0 1 0 22186572 105623552 22400 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25787 22400 364 364 0 25423 0
[pid=11142] vsize: 103148
Current children cumulated CPU time (s) 767.2
Current children cumulated vsize (Kb) 103148

[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34054 0 0 0 73839 3790 0 0 25 0 1 0 22186572 105771008 22433 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25823 22433 364 364 0 25459 0
[pid=11142] vsize: 103292
Current children cumulated CPU time (s) 776.29
Current children cumulated vsize (Kb) 103292

[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34093 0 0 0 74700 3833 0 0 25 0 1 0 22186572 105771008 22472 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25823 22472 364 364 0 25459 0
[pid=11142] vsize: 103292
Current children cumulated CPU time (s) 785.33
Current children cumulated vsize (Kb) 103292

[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34130 0 0 0 75554 3881 0 0 25 0 1 0 22186572 105918464 22509 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25859 22509 364 364 0 25495 0
[pid=11142] vsize: 103436
Current children cumulated CPU time (s) 794.35
Current children cumulated vsize (Kb) 103436

[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34171 0 0 0 76414 3931 0 0 25 0 1 0 22186572 106065920 22550 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25895 22550 364 364 0 25531 0
[pid=11142] vsize: 103580
Current children cumulated CPU time (s) 803.45
Current children cumulated vsize (Kb) 103580

[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34208 0 0 0 77276 3977 0 0 25 0 1 0 22186572 106205184 22587 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 25929 22587 364 364 0 25565 0
[pid=11142] vsize: 103716
Current children cumulated CPU time (s) 812.53
Current children cumulated vsize (Kb) 103716

[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34235 0 0 0 78123 4029 0 0 25 0 1 0 22186572 106340352 22614 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25962 22614 364 364 0 25598 0
[pid=11142] vsize: 103848
Current children cumulated CPU time (s) 821.52
Current children cumulated vsize (Kb) 103848

[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34270 0 0 0 78971 4081 0 0 25 0 1 0 22186572 106475520 22649 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 25995 22649 364 364 0 25631 0
[pid=11142] vsize: 103980
Current children cumulated CPU time (s) 830.52
Current children cumulated vsize (Kb) 103980

[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34329 0 0 0 79840 4127 0 0 24 0 1 0 22186572 106622976 22708 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26031 22708 364 364 0 25667 0
[pid=11142] vsize: 104124
Current children cumulated CPU time (s) 839.67
Current children cumulated vsize (Kb) 104124

[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34368 0 0 0 80701 4174 0 0 25 0 1 0 22186572 106770432 22747 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26067 22747 364 364 0 25703 0
[pid=11142] vsize: 104268
Current children cumulated CPU time (s) 848.75
Current children cumulated vsize (Kb) 104268

[startup+940.042 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34400 0 0 0 81570 4218 0 0 25 0 1 0 22186572 106917888 22779 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26103 22779 364 364 0 25739 0
[pid=11142] vsize: 104412
Current children cumulated CPU time (s) 857.88
Current children cumulated vsize (Kb) 104412

[startup+950.042 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34456 0 0 0 82431 4266 0 0 25 0 1 0 22186572 107065344 22835 4294967295 134512640 135987407 3221224560 3221223424 134812752 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26139 22835 364 364 0 25775 0
[pid=11142] vsize: 104556
Current children cumulated CPU time (s) 866.97
Current children cumulated vsize (Kb) 104556

[startup+960.043 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34496 0 0 0 83297 4310 0 0 25 0 1 0 22186572 107200512 22875 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26172 22875 364 364 0 25808 0
[pid=11142] vsize: 104688
Current children cumulated CPU time (s) 876.07
Current children cumulated vsize (Kb) 104688

[startup+970.043 s]
Raw data (loadavg): 1.05 1.01 0.94 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34526 0 0 0 84162 4354 0 0 25 0 1 0 22186572 107339776 22905 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26206 22905 364 364 0 25842 0
[pid=11142] vsize: 104824
Current children cumulated CPU time (s) 885.16
Current children cumulated vsize (Kb) 104824

[startup+980.043 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34571 0 0 0 85029 4396 0 0 25 0 1 0 22186572 107483136 22950 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26241 22950 364 364 0 25877 0
[pid=11142] vsize: 104964
Current children cumulated CPU time (s) 894.25
Current children cumulated vsize (Kb) 104964

[startup+990.044 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34626 0 0 0 85893 4440 0 0 25 0 1 0 22186572 107622400 23005 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26275 23005 364 364 0 25911 0
[pid=11142] vsize: 105100
Current children cumulated CPU time (s) 903.33
Current children cumulated vsize (Kb) 105100

[startup+1000.04 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34647 0 0 0 86742 4492 0 0 25 0 1 0 22186572 107757568 23026 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26308 23026 364 364 0 25944 0
[pid=11142] vsize: 105232
Current children cumulated CPU time (s) 912.34
Current children cumulated vsize (Kb) 105232

[startup+1010.05 s]
Raw data (loadavg): 1.08 1.03 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34685 0 0 0 87604 4540 0 0 25 0 1 0 22186572 107896832 23064 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26342 23064 364 364 0 25978 0
[pid=11142] vsize: 105368
Current children cumulated CPU time (s) 921.44
Current children cumulated vsize (Kb) 105368

[startup+1020.05 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34721 0 0 0 88470 4586 0 0 25 0 1 0 22186572 108044288 23100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26378 23100 364 364 0 26014 0
[pid=11142] vsize: 105512
Current children cumulated CPU time (s) 930.56
Current children cumulated vsize (Kb) 105512

[startup+1030.05 s]
Raw data (loadavg): 1.06 1.02 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34730 0 0 0 89331 4630 0 0 25 0 1 0 22186572 108044288 23109 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26378 23109 364 364 0 26014 0
[pid=11142] vsize: 105512
Current children cumulated CPU time (s) 939.61
Current children cumulated vsize (Kb) 105512

[startup+1040.05 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34753 0 0 0 90194 4677 0 0 25 0 1 0 22186572 108183552 23132 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26412 23132 364 364 0 26048 0
[pid=11142] vsize: 105648
Current children cumulated CPU time (s) 948.71
Current children cumulated vsize (Kb) 105648

[startup+1050.05 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34789 0 0 0 91057 4722 0 0 25 0 1 0 22186572 108318720 23168 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26445 23168 364 364 0 26081 0
[pid=11142] vsize: 105780
Current children cumulated CPU time (s) 957.79
Current children cumulated vsize (Kb) 105780

[startup+1060.05 s]
Raw data (loadavg): 1.04 1.02 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34852 0 0 0 91921 4767 0 0 25 0 1 0 22186572 108589056 23231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26511 23231 364 364 0 26147 0
[pid=11142] vsize: 106044
Current children cumulated CPU time (s) 966.88
Current children cumulated vsize (Kb) 106044

[startup+1070.05 s]
Raw data (loadavg): 1.03 1.02 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34881 0 0 0 92790 4812 0 0 25 0 1 0 22186572 108589056 23260 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26511 23260 364 364 0 26147 0
[pid=11142] vsize: 106044
Current children cumulated CPU time (s) 976.02
Current children cumulated vsize (Kb) 106044

[startup+1080.05 s]
Raw data (loadavg): 1.02 1.02 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34930 0 0 0 93647 4858 0 0 25 0 1 0 22186572 108736512 23309 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26547 23309 364 364 0 26183 0
[pid=11142] vsize: 106188
Current children cumulated CPU time (s) 985.05
Current children cumulated vsize (Kb) 106188

[startup+1090.05 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 34940 0 0 0 94515 4904 0 0 25 0 1 0 22186572 108736512 23319 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26547 23319 364 364 0 26183 0
[pid=11142] vsize: 106188
Current children cumulated CPU time (s) 994.19
Current children cumulated vsize (Kb) 106188

[startup+1100.05 s]
Raw data (loadavg): 1.02 1.02 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 34970 0 0 0 95374 4950 0 0 25 0 1 0 22186572 108900352 23349 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26587 23349 364 364 0 26223 0
[pid=11142] vsize: 106348
Current children cumulated CPU time (s) 1003.24
Current children cumulated vsize (Kb) 106348

[startup+1110.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35034 0 0 0 96228 5002 0 0 25 0 1 0 22186572 109182976 23413 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26656 23413 364 364 0 26292 0
[pid=11142] vsize: 106624
Current children cumulated CPU time (s) 1012.3
Current children cumulated vsize (Kb) 106624

[startup+1120.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35083 0 0 0 97089 5049 0 0 25 0 1 0 22186572 109346816 23462 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26696 23462 364 364 0 26332 0
[pid=11142] vsize: 106784
Current children cumulated CPU time (s) 1021.38
Current children cumulated vsize (Kb) 106784

[startup+1130.05 s]
Raw data (loadavg): 1.01 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35088 0 0 0 97960 5092 0 0 25 0 1 0 22186572 109346816 23467 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26696 23467 364 364 0 26332 0
[pid=11142] vsize: 106784
Current children cumulated CPU time (s) 1030.52
Current children cumulated vsize (Kb) 106784

[startup+1140.05 s]
Raw data (loadavg): 1.01 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35099 0 0 0 98827 5138 0 0 25 0 1 0 22186572 109486080 23478 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26730 23478 364 364 0 26366 0
[pid=11142] vsize: 106920
Current children cumulated CPU time (s) 1039.65
Current children cumulated vsize (Kb) 106920

[startup+1150.05 s]
Raw data (loadavg): 1.01 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35149 0 0 0 99695 5184 0 0 25 0 1 0 22186572 109641728 23528 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26768 23528 364 364 0 26404 0
[pid=11142] vsize: 107072
Current children cumulated CPU time (s) 1048.79
Current children cumulated vsize (Kb) 107072

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35194 0 0 0 100564 5225 0 0 25 0 1 0 22186572 109776896 23573 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26801 23573 364 364 0 26437 0
[pid=11142] vsize: 107204
Current children cumulated CPU time (s) 1057.89
Current children cumulated vsize (Kb) 107204

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35219 0 0 0 101421 5272 0 0 25 0 1 0 22186572 109916160 23598 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26835 23598 364 364 0 26471 0
[pid=11142] vsize: 107340
Current children cumulated CPU time (s) 1066.93
Current children cumulated vsize (Kb) 107340

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35230 0 0 0 102272 5323 0 0 25 0 1 0 22186572 109916160 23609 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26835 23609 364 364 0 26471 0
[pid=11142] vsize: 107340
Current children cumulated CPU time (s) 1075.95
Current children cumulated vsize (Kb) 107340

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35247 0 0 0 103124 5372 0 0 25 0 1 0 22186572 109916160 23626 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26835 23626 364 364 0 26471 0
[pid=11142] vsize: 107340
Current children cumulated CPU time (s) 1084.96
Current children cumulated vsize (Kb) 107340

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35270 0 0 0 103983 5421 0 0 22 0 1 0 22186572 110055424 23649 4294967295 134512640 135987407 3221224560 3221223020 135481254 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26869 23649 364 364 0 26505 0
[pid=11142] vsize: 107476
Current children cumulated CPU time (s) 1094.04
Current children cumulated vsize (Kb) 107476

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35281 0 0 0 104852 5463 0 0 25 0 1 0 22186572 110055424 23660 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26869 23660 364 364 0 26505 0
[pid=11142] vsize: 107476
Current children cumulated CPU time (s) 1103.15
Current children cumulated vsize (Kb) 107476

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35302 0 0 0 105715 5509 0 0 25 0 1 0 22186572 110055424 23681 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26869 23681 364 364 0 26505 0
[pid=11142] vsize: 107476
Current children cumulated CPU time (s) 1112.24
Current children cumulated vsize (Kb) 107476

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35361 0 0 0 106581 5550 0 0 25 0 1 0 22186572 110329856 23740 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26936 23740 364 364 0 26572 0
[pid=11142] vsize: 107744
Current children cumulated CPU time (s) 1121.31
Current children cumulated vsize (Kb) 107744

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35368 0 0 0 107431 5602 0 0 25 0 1 0 22186572 110329856 23747 4294967295 134512640 135987407 3221224560 3221223376 134824730 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 26936 23747 364 364 0 26572 0
[pid=11142] vsize: 107744
Current children cumulated CPU time (s) 1130.33
Current children cumulated vsize (Kb) 107744

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35391 0 0 0 108295 5644 0 0 25 0 1 0 22186572 110329856 23770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 26936 23770 364 364 0 26572 0
[pid=11142] vsize: 107744
Current children cumulated CPU time (s) 1139.39
Current children cumulated vsize (Kb) 107744

[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35432 0 0 0 109155 5689 0 0 25 0 1 0 22186572 110616576 23811 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 27006 23811 364 364 0 26642 0
[pid=11142] vsize: 108024
Current children cumulated CPU time (s) 1148.44
Current children cumulated vsize (Kb) 108024

[startup+1270.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35454 0 0 0 110009 5736 0 0 25 0 1 0 22186572 110616576 23833 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 27006 23833 364 364 0 26642 0
[pid=11142] vsize: 108024
Current children cumulated CPU time (s) 1157.45
Current children cumulated vsize (Kb) 108024

[startup+1280.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35491 0 0 0 110879 5778 0 0 25 0 1 0 22186572 110780416 23870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 27046 23870 364 364 0 26682 0
[pid=11142] vsize: 108184
Current children cumulated CPU time (s) 1166.57
Current children cumulated vsize (Kb) 108184

[startup+1290.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) T 11141 11142 4704 0 -1 0 35512 0 0 0 111749 5820 0 0 25 0 1 0 22186572 110780416 23891 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11142/statm): 27046 23891 364 364 0 26682 0
[pid=11142] vsize: 108184
Current children cumulated CPU time (s) 1175.69
Current children cumulated vsize (Kb) 108184

[startup+1300.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35538 0 0 0 112616 5863 0 0 25 0 1 0 22186572 110936064 23917 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 27084 23917 364 364 0 26720 0
[pid=11142] vsize: 108336
Current children cumulated CPU time (s) 1184.79
Current children cumulated vsize (Kb) 108336

[startup+1310.06 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35559 0 0 0 113477 5907 0 0 25 0 1 0 22186572 110936064 23938 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11142/statm): 27084 23938 364 364 0 26720 0
[pid=11142] vsize: 108336
Current children cumulated CPU time (s) 1193.84
Current children cumulated vsize (Kb) 108336

[startup+1320.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35579 0 0 0 114341 5956 0 0 25 0 1 0 22186572 110936064 23958 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 27084 23958 364 364 0 26720 0
[pid=11142] vsize: 108336
Current children cumulated CPU time (s) 1202.97
Current children cumulated vsize (Kb) 108336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 11205
Raw data (/proc/11142/stat): 11142 (pb2sat) R 11141 11142 4704 0 -1 0 35579 0 0 0 114341 5956 0 0 25 0 1 0 22186572 110936064 23958 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11142/statm): 27084 23958 364 364 0 26720 0
[pid=11142] vsize: 108336
Current children cumulated CPU time (s) 1202.97
Current children cumulated vsize (Kb) 108336

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

Child status: 0
Real time (s): 1320.43
CPU time (s): 1203.35
CPU user time (s): 1143.74
CPU system time (s): 59.6099
CPU usage (%): 91.1327
Max. virtual memory (cumulated for all children) (Kb): 108336

Verifier Data

ERROR: no interpretation found !