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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 20
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 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 8388608
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark12.5581
Number of variables4060
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint20
Maximum length of a constraint80

Trace number 10391

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        932120 kB
Buffers:         12328 kB
Cached:          73352 kB
SwapCached:          0 kB
Active:          46024 kB
Inactive:        42584 kB
HighTotal:      131008 kB
HighFree:        53228 kB
LowTotal:       903652 kB
LowFree:        878892 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8496 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:08:18 (client local time) WITH STATUS 0 IN 1202.57 SECONDS
stats: 9042 7 1202.57 0

Solver Data

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

c Decision: 4630/91653	Time: 4.48732/86400
c Decision: 5446/91653	Time: 9.33358/86400
c Decision: 5885/91653	Time: 16.6675/86400
c Decision: 5885/91653	Time: 21.0048/86400
c Decision: 5885/91653	Time: 25.0822/86400
c Decision: 5885/91653	Time: 30.1404/86400
c Decision: 5889/91653	Time: 36.3655/86400
c Decision: 5889/91653	Time: 40.4349/86400
c Decision: 5889/91653	Time: 44.5722/86400
c Decision: 5893/91653	Time: 51.9991/86400
c Decision: 6334/91653	Time: 58.4391/86400
c Decision: 6338/91653	Time: 66.4899/86400
c Decision: 6338/91653	Time: 71.1812/86400
c Decision: 6607/91653	Time: 77.8722/86400
c Decision: 6607/91653	Time: 83.0174/86400
c Decision: 6609/91653	Time: 88.6995/86400
c Decision: 41386/91653	Time: 124.913/86400
c Decision: 41679/91653	Time: 155.367/86400
c Decision: 41684/91653	Time: 161.754/86400
c Decision: 41684/91653	Time: 165.54/86400
c Decision: 41743/91653	Time: 174.442/86400
c Decision: 41854/91653	Time: 179.626/86400
c Decision: 41857/91653	Time: 184.45/86400
c Decision: 41860/91653	Time: 188.474/86400
c Decision: 41879/91653	Time: 197.509/86400
c Decision: 41893/91653	Time: 206.875/86400
c Decision: 41896/91653	Time: 210.433/86400
c Decision: 41906/91653	Time: 218.195/86400
c Decision: 42028/91653	Time: 257.194/86400
c Decision: 42054/91653	Time: 268.394/86400
c Decision: 42060/91653	Time: 278.168/86400
c Decision: 42074/91653	Time: 288.668/86400
c Decision: 42074/91653	Time: 294.87/86400
c Decision: 42112/91653	Time: 308.915/86400
c Decision: 42190/91653	Time: 325.809/86400
c Decision: 42200/91653	Time: 338.411/86400
c Decision: 42347/91653	Time: 366.149/86400
c Decision: 42374/91653	Time: 391.083/86400
c Decision: 42374/91653	Time: 396.766/86400
c Decision: 42586/91653	Time: 485.466/86400
c Decision: 42586/91653	Time: 493.918/86400
c Decision: 42586/91653	Time: 500.957/86400
c Decision: 42592/91653	Time: 519.289/86400
c Decision: 42627/91653	Time: 540.925/86400
c Decision: 42627/91653	Time: 549.143/86400
c Decision: 42681/91653	Time: 570.235/86400
c Decision: 42681/91653	Time: 578.791/86400
c Decision: 42684/91653	Time: 591.528/86400
c Decision: 42684/91653	Time: 599.207/86400
c Decision: 42684/91653	Time: 607.914/86400
c Decision: 42685/91653	Time: 619.584/86400
c Decision: 42738/91653	Time: 657.801/86400
c Decision: 42738/91653	Time: 667.29/86400
c Decision: 42740/91653	Time: 678.241/86400
c Decision: 42743/91653	Time: 686.976/86400
c Decision: 42743/91653	Time: 696.23/86400
c Decision: 42743/91653	Time: 705.274/86400
c Decision: 42743/91653	Time: 714.968/86400
c Decision: 42743/91653	Time: 725.277/86400
c Decision: 42743/91653	Time: 734.904/86400
c Decision: 42743/91653	Time: 745.444/86400
c Decision: 42758/91653	Time: 774.005/86400
c Decision: 42822/91653	Time: 811.898/86400
c Decision: 42981/91653	Time: 939.694/86400
c Decision: 42981/91653	Time: 949.842/86400
c Decision: 42987/91653	Time: 970.169/86400
c Decision: 42987/91653	Time: 981.756/86400
c Decision: 43056/91653	Time: 1043.6/86400
c Decision: 43056/91653	Time: 1054.18/86400
c Decision: 43057/91653	Time: 1075.1/86400
c Decision: 43057/91653	Time: 1087.01/86400
c Decision: 43144/91653	Time: 1159.49/86400
c Decision: 43144/91653	Time: 1172.41/86400
c Decision: 43160/91653	Time: 1193.92/86400s 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/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22102840 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 373 2 364 364 0 9 0
[pid=9252] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-sc205.opb

[startup+10.0025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 13111 0 0 0 956 34 0 0 25 0 1 0 22102840 42942464 7225 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10484 7225 364 364 0 10120 0
[pid=9252] vsize: 41936
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 41936

[startup+20.0033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 13400 0 0 0 1941 39 0 0 25 0 1 0 22102840 43139072 7334 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10532 7334 364 364 0 10168 0
[pid=9252] vsize: 42128
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 42128

[startup+30.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 14116 0 0 0 2925 46 0 0 25 0 1 0 22102840 43696128 7510 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10668 7510 364 364 0 10304 0
[pid=9252] vsize: 42672
Current children cumulated CPU time (s) 29.71
Current children cumulated vsize (Kb) 42672

[startup+40.0038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 14373 0 0 0 3912 51 0 0 25 0 1 0 22102840 43835392 7587 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10702 7587 364 364 0 10338 0
[pid=9252] vsize: 42808
Current children cumulated CPU time (s) 39.63
Current children cumulated vsize (Kb) 42808

[startup+50.0045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 15069 0 0 0 4896 57 0 0 25 0 1 0 22102840 44113920 7743 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10770 7743 364 364 0 10406 0
[pid=9252] vsize: 43080
Current children cumulated CPU time (s) 49.53
Current children cumulated vsize (Kb) 43080

[startup+60.0052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 15354 0 0 0 5886 60 0 0 25 0 1 0 22102840 44277760 7848 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10810 7848 364 364 0 10446 0
[pid=9252] vsize: 43240
Current children cumulated CPU time (s) 59.46
Current children cumulated vsize (Kb) 43240

[startup+70.0059 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 15573 0 0 0 6877 64 0 0 25 0 1 0 22102840 44277760 7887 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10810 7887 364 364 0 10446 0
[pid=9252] vsize: 43240
Current children cumulated CPU time (s) 69.41
Current children cumulated vsize (Kb) 43240

[startup+80.0057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 16012 0 0 0 7864 69 0 0 25 0 1 0 22102840 44441600 7966 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10850 7966 364 364 0 10486 0
[pid=9252] vsize: 43400
Current children cumulated CPU time (s) 79.33
Current children cumulated vsize (Kb) 43400

[startup+90.0064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 16512 0 0 0 8853 74 0 0 25 0 1 0 22102840 44576768 8106 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10883 8106 364 364 0 10519 0
[pid=9252] vsize: 43532
Current children cumulated CPU time (s) 89.27
Current children cumulated vsize (Kb) 43532

[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 16826 0 0 0 9841 79 0 0 25 0 1 0 22102840 44990464 8207 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 10984 8207 364 364 0 10620 0
[pid=9252] vsize: 43936
Current children cumulated CPU time (s) 99.2
Current children cumulated vsize (Kb) 43936

[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 17169 0 0 0 10746 113 0 0 25 0 1 0 22102840 46075904 8517 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 11249 8517 364 364 0 10885 0
[pid=9252] vsize: 44996
Current children cumulated CPU time (s) 108.59
Current children cumulated vsize (Kb) 44996

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 17394 0 0 0 11646 148 0 0 25 0 1 0 22102840 46755840 8742 4294967295 134512640 135987407 3221224560 3221223384 134812453 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 11415 8742 364 364 0 11051 0
[pid=9252] vsize: 45660
Current children cumulated CPU time (s) 117.94
Current children cumulated vsize (Kb) 45660

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 17531 0 0 0 12547 185 0 0 25 0 1 0 22102840 47030272 8879 4294967295 134512640 135987407 3221224560 3221223176 134930867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 11482 8879 364 364 0 11118 0
[pid=9252] vsize: 45928
Current children cumulated CPU time (s) 127.32
Current children cumulated vsize (Kb) 45928

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 17952 0 0 0 13448 221 0 0 25 0 1 0 22102840 47566848 9120 4294967295 134512640 135987407 3221224560 3221223376 134824232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 11613 9120 364 364 0 11249 0
[pid=9252] vsize: 46452
Current children cumulated CPU time (s) 136.69
Current children cumulated vsize (Kb) 46452

[startup+150.01 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 18096 0 0 0 14336 258 0 0 25 0 1 0 22102840 47972352 9264 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 11712 9264 364 364 0 11348 0
[pid=9252] vsize: 46848
Current children cumulated CPU time (s) 145.94
Current children cumulated vsize (Kb) 46848

[startup+160.01 s]
Raw data (loadavg): 1.06 0.99 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 18191 0 0 0 15235 290 0 0 25 0 1 0 22102840 48107520 9359 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9252/statm): 11745 9359 364 364 0 11381 0
[pid=9252] vsize: 46980
Current children cumulated CPU time (s) 155.25
Current children cumulated vsize (Kb) 46980

[startup+170.01 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 18476 0 0 0 16146 322 0 0 25 0 1 0 22102840 48242688 9464 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 11778 9464 364 364 0 11414 0
[pid=9252] vsize: 47112
Current children cumulated CPU time (s) 164.68
Current children cumulated vsize (Kb) 47112

[startup+180.01 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 18974 0 0 0 17046 356 0 0 25 0 1 0 22102840 48373760 9602 4294967295 134512640 135987407 3221224560 3221223200 134823328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 11810 9602 364 364 0 11446 0
[pid=9252] vsize: 47240
Current children cumulated CPU time (s) 174.02
Current children cumulated vsize (Kb) 47240

[startup+190.011 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 19393 0 0 0 17964 384 0 0 25 0 1 0 22102840 57634816 9841 4294967295 134512640 135987407 3221224560 3221223024 134831441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14071 9841 364 364 0 13707 0
[pid=9252] vsize: 56284
Current children cumulated CPU time (s) 183.48
Current children cumulated vsize (Kb) 56284

[startup+200.01 s]
Raw data (loadavg): 1.03 0.99 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 19789 0 0 0 18883 410 0 0 25 0 1 0 22102840 57032704 9697 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 13924 9697 364 364 0 13560 0
[pid=9252] vsize: 55696
Current children cumulated CPU time (s) 192.93
Current children cumulated vsize (Kb) 55696

[startup+210.011 s]
Raw data (loadavg): 1.02 0.99 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 20027 0 0 0 19769 449 0 0 25 0 1 0 22102840 57167872 9755 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9252/statm): 13957 9755 364 364 0 13593 0
[pid=9252] vsize: 55828
Current children cumulated CPU time (s) 202.18
Current children cumulated vsize (Kb) 55828

[startup+220.012 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 20250 0 0 0 20683 479 0 0 25 0 1 0 22102840 57298944 9798 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 13989 9798 364 364 0 13625 0
[pid=9252] vsize: 55956
Current children cumulated CPU time (s) 211.62
Current children cumulated vsize (Kb) 55956

[startup+230.012 s]
Raw data (loadavg): 1.02 0.99 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 20458 0 0 0 21604 506 0 0 25 0 1 0 22102840 57430016 9826 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14021 9826 364 364 0 13657 0
[pid=9252] vsize: 56084
Current children cumulated CPU time (s) 221.1
Current children cumulated vsize (Kb) 56084

[startup+240.011 s]
Raw data (loadavg): 1.09 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 20667 0 0 0 22518 533 0 0 25 0 1 0 22102840 57430016 9855 4294967295 134512640 135987407 3221224560 3221223136 134801587 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14021 9855 364 364 0 13657 0
[pid=9252] vsize: 56084
Current children cumulated CPU time (s) 230.51
Current children cumulated vsize (Kb) 56084

[startup+250.011 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 20719 0 0 0 23410 569 0 0 25 0 1 0 22102840 57712640 9907 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14090 9907 364 364 0 13726 0
[pid=9252] vsize: 56360
Current children cumulated CPU time (s) 239.79
Current children cumulated vsize (Kb) 56360

[startup+260.013 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 20753 0 0 0 24328 597 0 0 25 0 1 0 22102840 57712640 9941 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14090 9941 364 364 0 13726 0
[pid=9252] vsize: 56360
Current children cumulated CPU time (s) 249.25
Current children cumulated vsize (Kb) 56360

[startup+270.012 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 20788 0 0 0 25257 620 0 0 22 0 1 0 22102840 57851904 9976 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14124 9976 364 364 0 13760 0
[pid=9252] vsize: 56496
Current children cumulated CPU time (s) 258.77
Current children cumulated vsize (Kb) 56496

[startup+280.012 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 21000 0 0 0 26169 648 0 0 25 0 1 0 22102840 57987072 10008 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14157 10008 364 364 0 13793 0
[pid=9252] vsize: 56628
Current children cumulated CPU time (s) 268.17
Current children cumulated vsize (Kb) 56628

[startup+290.013 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 21232 0 0 0 27100 672 0 0 25 0 1 0 22102840 58122240 10060 4294967295 134512640 135987407 3221224560 3221223120 134788460 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14190 10060 364 364 0 13826 0
[pid=9252] vsize: 56760
Current children cumulated CPU time (s) 277.72
Current children cumulated vsize (Kb) 56760

[startup+300.013 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 21465 0 0 0 28028 698 0 0 25 0 1 0 22102840 58122240 10113 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14190 10113 364 364 0 13826 0
[pid=9252] vsize: 56760
Current children cumulated CPU time (s) 287.26
Current children cumulated vsize (Kb) 56760

[startup+310.013 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 21683 0 0 0 28964 719 0 0 25 0 1 0 22102840 58257408 10151 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14223 10151 364 364 0 13859 0
[pid=9252] vsize: 56892
Current children cumulated CPU time (s) 296.83
Current children cumulated vsize (Kb) 56892

[startup+320.013 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 21981 0 0 0 29906 739 0 0 25 0 1 0 22102840 58396672 10269 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14257 10269 364 364 0 13893 0
[pid=9252] vsize: 57028
Current children cumulated CPU time (s) 306.45
Current children cumulated vsize (Kb) 57028

[startup+330.014 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 22283 0 0 0 30852 759 0 0 25 0 1 0 22102840 58396672 10391 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14257 10391 364 364 0 13893 0
[pid=9252] vsize: 57028
Current children cumulated CPU time (s) 316.11
Current children cumulated vsize (Kb) 57028

[startup+340.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 22368 0 0 0 31777 781 0 0 25 0 1 0 22102840 58535936 10476 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14291 10476 364 364 0 13927 0
[pid=9252] vsize: 57164
Current children cumulated CPU time (s) 325.58
Current children cumulated vsize (Kb) 57164

[startup+350.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 22651 0 0 0 32713 803 0 0 25 0 1 0 22102840 58683392 10579 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14327 10579 364 364 0 13963 0
[pid=9252] vsize: 57308
Current children cumulated CPU time (s) 335.16
Current children cumulated vsize (Kb) 57308

[startup+360.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 22904 0 0 0 33624 832 0 0 25 0 1 0 22102840 58818560 10652 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14360 10652 364 364 0 13996 0
[pid=9252] vsize: 57440
Current children cumulated CPU time (s) 344.56
Current children cumulated vsize (Kb) 57440

[startup+370.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 22953 0 0 0 34543 859 0 0 25 0 1 0 22102840 58953728 10701 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14393 10701 364 364 0 14029 0
[pid=9252] vsize: 57572
Current children cumulated CPU time (s) 354.02
Current children cumulated vsize (Kb) 57572

[startup+380.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 22977 0 0 0 35445 892 0 0 25 0 1 0 22102840 58953728 10725 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14393 10725 364 364 0 14029 0
[pid=9252] vsize: 57572
Current children cumulated CPU time (s) 363.37
Current children cumulated vsize (Kb) 57572

[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 23193 0 0 0 36367 917 0 0 25 0 1 0 22102840 59092992 10761 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14427 10761 364 364 0 14063 0
[pid=9252] vsize: 57708
Current children cumulated CPU time (s) 372.84
Current children cumulated vsize (Kb) 57708

[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 23272 0 0 0 37303 934 0 0 25 0 1 0 22102840 59228160 10840 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14460 10840 364 364 0 14096 0
[pid=9252] vsize: 57840
Current children cumulated CPU time (s) 382.37
Current children cumulated vsize (Kb) 57840

[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 23338 0 0 0 38230 957 0 0 25 0 1 0 22102840 59228160 10906 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14460 10906 364 364 0 14096 0
[pid=9252] vsize: 57840
Current children cumulated CPU time (s) 391.87
Current children cumulated vsize (Kb) 57840

[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 23777 0 0 0 39167 980 0 0 25 0 1 0 22102840 59363328 10985 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14493 10985 364 364 0 14129 0
[pid=9252] vsize: 57972
Current children cumulated CPU time (s) 401.47
Current children cumulated vsize (Kb) 57972

[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 23876 0 0 0 40106 1000 0 0 25 0 1 0 22102840 59363328 11084 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14493 11084 364 364 0 14129 0
[pid=9252] vsize: 57972
Current children cumulated CPU time (s) 411.06
Current children cumulated vsize (Kb) 57972

[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 23958 0 0 0 41046 1021 0 0 17 0 1 0 22102840 59498496 11166 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14526 11166 364 364 0 14162 0
[pid=9252] vsize: 58104
Current children cumulated CPU time (s) 420.67
Current children cumulated vsize (Kb) 58104

[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24042 0 0 0 41974 1045 0 0 25 0 1 0 22102840 59498496 11250 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14526 11250 364 364 0 14162 0
[pid=9252] vsize: 58104
Current children cumulated CPU time (s) 430.19
Current children cumulated vsize (Kb) 58104

[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24125 0 0 0 42899 1069 0 0 25 0 1 0 22102840 59633664 11333 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14559 11333 364 364 0 14195 0
[pid=9252] vsize: 58236
Current children cumulated CPU time (s) 439.68
Current children cumulated vsize (Kb) 58236

[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24219 0 0 0 43821 1097 0 0 25 0 1 0 22102840 59768832 11427 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14592 11427 364 364 0 14228 0
[pid=9252] vsize: 58368
Current children cumulated CPU time (s) 449.18
Current children cumulated vsize (Kb) 58368

[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24300 0 0 0 44742 1124 0 0 25 0 1 0 22102840 59768832 11508 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14592 11508 364 364 0 14228 0
[pid=9252] vsize: 58368
Current children cumulated CPU time (s) 458.66
Current children cumulated vsize (Kb) 58368

[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24406 0 0 0 45662 1152 0 0 25 0 1 0 22102840 59904000 11614 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14625 11614 364 364 0 14261 0
[pid=9252] vsize: 58500
Current children cumulated CPU time (s) 468.14
Current children cumulated vsize (Kb) 58500

[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24482 0 0 0 46600 1174 0 0 25 0 1 0 22102840 59904000 11690 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14625 11690 364 364 0 14261 0
[pid=9252] vsize: 58500
Current children cumulated CPU time (s) 477.74
Current children cumulated vsize (Kb) 58500

[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24541 0 0 0 47545 1191 0 0 25 0 1 0 22102840 60043264 11749 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14659 11749 364 364 0 14295 0
[pid=9252] vsize: 58636
Current children cumulated CPU time (s) 487.36
Current children cumulated vsize (Kb) 58636

[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 24808 0 0 0 48502 1207 0 0 25 0 1 0 22102840 60043264 11836 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14659 11836 364 364 0 14295 0
[pid=9252] vsize: 58636
Current children cumulated CPU time (s) 497.09
Current children cumulated vsize (Kb) 58636

[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25188 0 0 0 49456 1221 0 0 25 0 1 0 22102840 60182528 11856 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14693 11856 364 364 0 14329 0
[pid=9252] vsize: 58772
Current children cumulated CPU time (s) 506.77
Current children cumulated vsize (Kb) 58772

[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25204 0 0 0 50393 1240 0 0 25 0 1 0 22102840 60182528 11872 4294967295 134512640 135987407 3221224560 3221223312 134801183 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14693 11872 364 364 0 14329 0
[pid=9252] vsize: 58772
Current children cumulated CPU time (s) 516.33
Current children cumulated vsize (Kb) 58772

[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25403 0 0 0 51339 1258 0 0 25 0 1 0 22102840 60321792 11891 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14727 11891 364 364 0 14363 0
[pid=9252] vsize: 58908
Current children cumulated CPU time (s) 525.97
Current children cumulated vsize (Kb) 58908

[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25422 0 0 0 52269 1282 0 0 25 0 1 0 22102840 60321792 11910 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14727 11910 364 364 0 14363 0
[pid=9252] vsize: 58908
Current children cumulated CPU time (s) 535.51
Current children cumulated vsize (Kb) 58908

[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25617 0 0 0 53207 1304 0 0 25 0 1 0 22102840 60321792 11925 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14727 11925 364 364 0 14363 0
[pid=9252] vsize: 58908
Current children cumulated CPU time (s) 545.11
Current children cumulated vsize (Kb) 58908

[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25816 0 0 0 54155 1321 0 0 25 0 1 0 22102840 60456960 11944 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14760 11944 364 364 0 14396 0
[pid=9252] vsize: 59040
Current children cumulated CPU time (s) 554.76
Current children cumulated vsize (Kb) 59040

[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 25830 0 0 0 55099 1341 0 0 25 0 1 0 22102840 60456960 11958 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14760 11958 364 364 0 14396 0
[pid=9252] vsize: 59040
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (Kb) 59040

[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 26070 0 0 0 56052 1357 0 0 25 0 1 0 22102840 60456960 12018 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14760 12018 364 364 0 14396 0
[pid=9252] vsize: 59040
Current children cumulated CPU time (s) 574.09
Current children cumulated vsize (Kb) 59040

[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 26286 0 0 0 57004 1374 0 0 25 0 1 0 22102840 60616704 12054 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14799 12054 364 364 0 14435 0
[pid=9252] vsize: 59196
Current children cumulated CPU time (s) 583.78
Current children cumulated vsize (Kb) 59196

[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 26309 0 0 0 57956 1388 0 0 25 0 1 0 22102840 60616704 12077 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14799 12077 364 364 0 14435 0
[pid=9252] vsize: 59196
Current children cumulated CPU time (s) 593.44
Current children cumulated vsize (Kb) 59196

[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 26746 0 0 0 58912 1402 0 0 25 0 1 0 22102840 60751872 12154 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14832 12154 364 364 0 14468 0
[pid=9252] vsize: 59328
Current children cumulated CPU time (s) 603.14
Current children cumulated vsize (Kb) 59328

[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 26998 0 0 0 59861 1422 0 0 25 0 1 0 22102840 60751872 12226 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14832 12226 364 364 0 14468 0
[pid=9252] vsize: 59328
Current children cumulated CPU time (s) 612.83
Current children cumulated vsize (Kb) 59328

[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 27072 0 0 0 60794 1444 0 0 25 0 1 0 22102840 60891136 12300 4294967295 134512640 135987407 3221224560 3221223424 134812940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14866 12300 364 364 0 14502 0
[pid=9252] vsize: 59464
Current children cumulated CPU time (s) 622.38
Current children cumulated vsize (Kb) 59464

[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 27265 0 0 0 61726 1466 0 0 25 0 1 0 22102840 60891136 12313 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14866 12313 364 364 0 14502 0
[pid=9252] vsize: 59464
Current children cumulated CPU time (s) 631.92
Current children cumulated vsize (Kb) 59464

[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 27304 0 0 0 62635 1496 0 0 25 0 1 0 22102840 61026304 12352 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14899 12352 364 364 0 14535 0
[pid=9252] vsize: 59596
Current children cumulated CPU time (s) 641.31
Current children cumulated vsize (Kb) 59596

[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 27315 0 0 0 63575 1515 0 0 25 0 1 0 22102840 61026304 12363 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14899 12363 364 364 0 14535 0
[pid=9252] vsize: 59596
Current children cumulated CPU time (s) 650.9
Current children cumulated vsize (Kb) 59596

[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 27355 0 0 0 64525 1533 0 0 25 0 1 0 22102840 61026304 12403 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14899 12403 364 364 0 14535 0
[pid=9252] vsize: 59596
Current children cumulated CPU time (s) 660.58
Current children cumulated vsize (Kb) 59596

[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 27617 0 0 0 65483 1548 0 0 25 0 1 0 22102840 61161472 12485 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14932 12485 364 364 0 14568 0
[pid=9252] vsize: 59728
Current children cumulated CPU time (s) 670.31
Current children cumulated vsize (Kb) 59728

[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 27887 0 0 0 66437 1564 0 0 25 0 1 0 22102840 61161472 12575 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14932 12575 364 364 0 14568 0
[pid=9252] vsize: 59728
Current children cumulated CPU time (s) 680.01
Current children cumulated vsize (Kb) 59728

[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 28161 0 0 0 67388 1581 0 0 25 0 1 0 22102840 61296640 12669 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14965 12669 364 364 0 14601 0
[pid=9252] vsize: 59860
Current children cumulated CPU time (s) 689.69
Current children cumulated vsize (Kb) 59860

[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 28422 0 0 0 68348 1593 0 0 25 0 1 0 22102840 61296640 12750 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 14965 12750 364 364 0 14601 0
[pid=9252] vsize: 59860
Current children cumulated CPU time (s) 699.41
Current children cumulated vsize (Kb) 59860

[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 28795 0 0 0 69306 1608 0 0 25 0 1 0 22102840 62169088 12943 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 15178 12943 364 364 0 14814 0
[pid=9252] vsize: 60712
Current children cumulated CPU time (s) 709.14
Current children cumulated vsize (Kb) 60712

[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9252
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 28986 0 0 0 70260 1623 0 0 25 0 1 0 22102840 62169088 12954 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15178 12954 364 364 0 14814 0
[pid=9252] vsize: 60712
Current children cumulated CPU time (s) 718.83
Current children cumulated vsize (Kb) 60712

[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9307
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 28999 0 0 0 71206 1643 0 0 22 0 1 0 22102840 61431808 12787 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14998 12787 364 364 0 14634 0
[pid=9252] vsize: 59992
Current children cumulated CPU time (s) 728.49
Current children cumulated vsize (Kb) 59992

[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9307
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 29194 0 0 0 72157 1660 0 0 25 0 1 0 22102840 61431808 12802 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 14998 12802 364 364 0 14634 0
[pid=9252] vsize: 59992
Current children cumulated CPU time (s) 738.17
Current children cumulated vsize (Kb) 59992

[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9307
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 29392 0 0 0 73112 1676 0 0 25 0 1 0 22102840 61566976 12820 4294967295 134512640 135987407 3221224560 3221223200 134821159 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 15031 12820 364 364 0 14667 0
[pid=9252] vsize: 60124
Current children cumulated CPU time (s) 747.88
Current children cumulated vsize (Kb) 60124

[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9307
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 29586 0 0 0 74069 1691 0 0 25 0 1 0 22102840 61566976 12834 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15031 12834 364 364 0 14667 0
[pid=9252] vsize: 60124
Current children cumulated CPU time (s) 757.6
Current children cumulated vsize (Kb) 60124

[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9307
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 29605 0 0 0 75021 1708 0 0 19 0 1 0 22102840 61706240 12853 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15065 12853 364 364 0 14701 0
[pid=9252] vsize: 60260
Current children cumulated CPU time (s) 767.29
Current children cumulated vsize (Kb) 60260

[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9307
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 29648 0 0 0 75969 1726 0 0 25 0 1 0 22102840 61706240 12896 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 15065 12896 364 364 0 14701 0
[pid=9252] vsize: 60260
Current children cumulated CPU time (s) 776.95
Current children cumulated vsize (Kb) 60260

[startup+820.037 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 9309
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 29905 0 0 0 76924 1742 0 0 25 0 1 0 22102840 61706240 12973 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15065 12973 364 364 0 14701 0
[pid=9252] vsize: 60260
Current children cumulated CPU time (s) 786.66
Current children cumulated vsize (Kb) 60260

[startup+830.036 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 9311
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 29965 0 0 0 77860 1763 0 0 25 0 1 0 22102840 61841408 13033 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15098 13033 364 364 0 14734 0
[pid=9252] vsize: 60392
Current children cumulated CPU time (s) 796.23
Current children cumulated vsize (Kb) 60392

[startup+840.037 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30035 0 0 0 78809 1782 0 0 25 0 1 0 22102840 61841408 13103 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 15098 13103 364 364 0 14734 0
[pid=9252] vsize: 60392
Current children cumulated CPU time (s) 805.91
Current children cumulated vsize (Kb) 60392

[startup+850.038 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30286 0 0 0 79767 1796 0 0 25 0 1 0 22102840 62578688 13354 4294967295 134512640 135987407 3221224560 3221222932 134828865 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15278 13354 364 364 0 14914 0
[pid=9252] vsize: 61112
Current children cumulated CPU time (s) 815.63
Current children cumulated vsize (Kb) 61112

[startup+860.038 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30364 0 0 0 80710 1817 0 0 25 0 1 0 22102840 61976576 13252 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 15131 13252 364 364 0 14767 0
[pid=9252] vsize: 60524
Current children cumulated CPU time (s) 825.27
Current children cumulated vsize (Kb) 60524

[startup+870.038 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30436 0 0 0 81659 1832 0 0 25 0 1 0 22102840 78753792 13324 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19227 13324 364 364 0 18863 0
[pid=9252] vsize: 76908
Current children cumulated CPU time (s) 834.91
Current children cumulated vsize (Kb) 76908

[startup+880.039 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30519 0 0 0 82605 1849 0 0 25 0 1 0 22102840 78753792 13407 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19227 13407 364 364 0 18863 0
[pid=9252] vsize: 76908
Current children cumulated CPU time (s) 844.54
Current children cumulated vsize (Kb) 76908

[startup+890.04 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30580 0 0 0 83545 1871 0 0 25 0 1 0 22102840 78888960 13468 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19260 13468 364 364 0 18896 0
[pid=9252] vsize: 77040
Current children cumulated CPU time (s) 854.16
Current children cumulated vsize (Kb) 77040

[startup+900.039 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30639 0 0 0 84471 1896 0 0 25 0 1 0 22102840 78888960 13527 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19260 13527 364 364 0 18896 0
[pid=9252] vsize: 77040
Current children cumulated CPU time (s) 863.67
Current children cumulated vsize (Kb) 77040

[startup+910.04 s]
Raw data (loadavg): 1.01 1.01 0.95 1/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 30753 0 0 0 85402 1918 0 0 25 0 1 0 22102840 79159296 13641 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19326 13641 364 364 0 18962 0
[pid=9252] vsize: 77304
Current children cumulated CPU time (s) 873.2
Current children cumulated vsize (Kb) 77304

[startup+920.041 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30819 0 0 0 86340 1941 0 0 25 0 1 0 22102840 79294464 13707 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19359 13707 364 364 0 18995 0
[pid=9252] vsize: 77436
Current children cumulated CPU time (s) 882.81
Current children cumulated vsize (Kb) 77436

[startup+930.041 s]
Raw data (loadavg): 1.01 1.01 0.95 1/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 30875 0 0 0 87274 1963 0 0 25 0 1 0 22102840 79294464 13763 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19359 13763 364 364 0 18995 0
[pid=9252] vsize: 77436
Current children cumulated CPU time (s) 892.37
Current children cumulated vsize (Kb) 77436

[startup+940.041 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 30941 0 0 0 88212 1983 0 0 25 0 1 0 22102840 79429632 13829 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19392 13829 364 364 0 19028 0
[pid=9252] vsize: 77568
Current children cumulated CPU time (s) 901.95
Current children cumulated vsize (Kb) 77568

[startup+950.042 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31004 0 0 0 89147 2003 0 0 25 0 1 0 22102840 79429632 13892 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19392 13892 364 364 0 19028 0
[pid=9252] vsize: 77568
Current children cumulated CPU time (s) 911.5
Current children cumulated vsize (Kb) 77568

[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31077 0 0 0 90097 2021 0 0 25 0 1 0 22102840 79429632 13965 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19392 13965 364 364 0 19028 0
[pid=9252] vsize: 77568
Current children cumulated CPU time (s) 921.18
Current children cumulated vsize (Kb) 77568

[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31152 0 0 0 91053 2037 0 0 25 0 1 0 22102840 79568896 14040 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19426 14040 364 364 0 19062 0
[pid=9252] vsize: 77704
Current children cumulated CPU time (s) 930.9
Current children cumulated vsize (Kb) 77704

[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31225 0 0 0 92006 2054 0 0 25 0 1 0 22102840 79568896 14113 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19426 14113 364 364 0 19062 0
[pid=9252] vsize: 77704
Current children cumulated CPU time (s) 940.6
Current children cumulated vsize (Kb) 77704

[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31504 0 0 0 92968 2064 0 0 25 0 1 0 22102840 79704064 14212 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19459 14212 364 364 0 19095 0
[pid=9252] vsize: 77836
Current children cumulated CPU time (s) 950.32
Current children cumulated vsize (Kb) 77836

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31757 0 0 0 93923 2078 0 0 25 0 1 0 22102840 79704064 14285 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19459 14285 364 364 0 19095 0
[pid=9252] vsize: 77836
Current children cumulated CPU time (s) 960.01
Current children cumulated vsize (Kb) 77836

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 31819 0 0 0 94874 2097 0 0 25 0 1 0 22102840 79704064 14347 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19459 14347 364 364 0 19095 0
[pid=9252] vsize: 77836
Current children cumulated CPU time (s) 969.71
Current children cumulated vsize (Kb) 77836

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32024 0 0 0 95838 2108 0 0 25 0 1 0 22102840 79704064 14372 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19459 14372 364 364 0 19095 0
[pid=9252] vsize: 77836
Current children cumulated CPU time (s) 979.46
Current children cumulated vsize (Kb) 77836

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 32245 0 0 0 96791 2125 0 0 25 0 1 0 22102840 79982592 14413 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19527 14413 364 364 0 19163 0
[pid=9252] vsize: 78108
Current children cumulated CPU time (s) 989.16
Current children cumulated vsize (Kb) 78108

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32264 0 0 0 97709 2153 0 0 25 0 1 0 22102840 79982592 14432 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19527 14432 364 364 0 19163 0
[pid=9252] vsize: 78108
Current children cumulated CPU time (s) 998.62
Current children cumulated vsize (Kb) 78108

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32272 0 0 0 98662 2167 0 0 25 0 1 0 22102840 79982592 14440 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19527 14440 364 364 0 19163 0
[pid=9252] vsize: 78108
Current children cumulated CPU time (s) 1008.29
Current children cumulated vsize (Kb) 78108

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32283 0 0 0 99609 2185 0 0 25 0 1 0 22102840 79982592 14451 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19527 14451 364 364 0 19163 0
[pid=9252] vsize: 78108
Current children cumulated CPU time (s) 1017.94
Current children cumulated vsize (Kb) 78108

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32291 0 0 0 100551 2204 0 0 25 0 1 0 22102840 79982592 14459 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19527 14459 364 364 0 19163 0
[pid=9252] vsize: 78108
Current children cumulated CPU time (s) 1027.55
Current children cumulated vsize (Kb) 78108

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32304 0 0 0 101497 2222 0 0 25 0 1 0 22102840 80117760 14472 4294967295 134512640 135987407 3221224560 3221223020 135480906 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19560 14472 364 364 0 19196 0
[pid=9252] vsize: 78240
Current children cumulated CPU time (s) 1037.19
Current children cumulated vsize (Kb) 78240

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32318 0 0 0 102453 2237 0 0 25 0 1 0 22102840 80117760 14486 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19560 14486 364 364 0 19196 0
[pid=9252] vsize: 78240
Current children cumulated CPU time (s) 1046.9
Current children cumulated vsize (Kb) 78240

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32538 0 0 0 103408 2252 0 0 25 0 1 0 22102840 80257024 14526 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19594 14526 364 364 0 19230 0
[pid=9252] vsize: 78376
Current children cumulated CPU time (s) 1056.6
Current children cumulated vsize (Kb) 78376

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 32800 0 0 0 104368 2267 0 0 25 0 1 0 22102840 80257024 14608 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19594 14608 364 364 0 19230 0
[pid=9252] vsize: 78376
Current children cumulated CPU time (s) 1066.35
Current children cumulated vsize (Kb) 78376

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 32883 0 0 0 105322 2282 0 0 25 0 1 0 22102840 80257024 14691 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19594 14691 364 364 0 19230 0
[pid=9252] vsize: 78376
Current children cumulated CPU time (s) 1076.04
Current children cumulated vsize (Kb) 78376

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9313
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33150 0 0 0 106291 2293 0 0 25 0 1 0 22102840 80392192 14778 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19627 14778 364 364 0 19263 0
[pid=9252] vsize: 78508
Current children cumulated CPU time (s) 1085.84
Current children cumulated vsize (Kb) 78508

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33362 0 0 0 107254 2306 0 0 25 0 1 0 22102840 80392192 14810 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19627 14810 364 364 0 19263 0
[pid=9252] vsize: 78508
Current children cumulated CPU time (s) 1095.6
Current children cumulated vsize (Kb) 78508

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33378 0 0 0 108214 2319 0 0 25 0 1 0 22102840 80392192 14826 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19627 14826 364 364 0 19263 0
[pid=9252] vsize: 78508
Current children cumulated CPU time (s) 1105.33
Current children cumulated vsize (Kb) 78508

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33396 0 0 0 109165 2335 0 0 25 0 1 0 22102840 80539648 14844 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19663 14844 364 364 0 19299 0
[pid=9252] vsize: 78652
Current children cumulated CPU time (s) 1115
Current children cumulated vsize (Kb) 78652

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33408 0 0 0 110126 2348 0 0 25 0 1 0 22102840 80539648 14856 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19663 14856 364 364 0 19299 0
[pid=9252] vsize: 78652
Current children cumulated CPU time (s) 1124.74
Current children cumulated vsize (Kb) 78652

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33415 0 0 0 111063 2370 0 0 25 0 1 0 22102840 80539648 14863 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19663 14863 364 364 0 19299 0
[pid=9252] vsize: 78652
Current children cumulated CPU time (s) 1134.33
Current children cumulated vsize (Kb) 78652

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33424 0 0 0 112015 2385 0 0 25 0 1 0 22102840 80539648 14872 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19663 14872 364 364 0 19299 0
[pid=9252] vsize: 78652
Current children cumulated CPU time (s) 1144
Current children cumulated vsize (Kb) 78652

[startup+1200.05 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33435 0 0 0 112963 2403 0 0 25 0 1 0 22102840 80674816 14883 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19696 14883 364 364 0 19332 0
[pid=9252] vsize: 78784
Current children cumulated CPU time (s) 1153.66
Current children cumulated vsize (Kb) 78784

[startup+1210.05 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33639 0 0 0 113923 2416 0 0 25 0 1 0 22102840 80674816 14907 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19696 14907 364 364 0 19332 0
[pid=9252] vsize: 78784
Current children cumulated CPU time (s) 1163.39
Current children cumulated vsize (Kb) 78784

[startup+1220.05 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 33718 0 0 0 114890 2429 0 0 25 0 1 0 22102840 80674816 14986 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19696 14986 364 364 0 19332 0
[pid=9252] vsize: 78784
Current children cumulated CPU time (s) 1173.19
Current children cumulated vsize (Kb) 78784

[startup+1230.05 s]
Raw data (loadavg): 1.04 1.01 0.95 1/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) T 9251 9252 4059 0 -1 0 33968 0 0 0 115845 2446 0 0 25 0 1 0 22102840 80809984 15056 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9252/statm): 19729 15056 364 364 0 19365 0
[pid=9252] vsize: 78916
Current children cumulated CPU time (s) 1182.91
Current children cumulated vsize (Kb) 78916

[startup+1240.05 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 34041 0 0 0 116802 2459 0 0 25 0 1 0 22102840 80809984 15129 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19729 15129 364 364 0 19365 0
[pid=9252] vsize: 78916
Current children cumulated CPU time (s) 1192.61
Current children cumulated vsize (Kb) 78916

[startup+1250.05 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 34289 0 0 0 117770 2469 0 0 25 0 1 0 22102840 80809984 15197 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19729 15197 364 364 0 19365 0
[pid=9252] vsize: 78916
Current children cumulated CPU time (s) 1202.39
Current children cumulated vsize (Kb) 78916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.05 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 9315
Raw data (/proc/9252/stat): 9252 (pb2sat) R 9251 9252 4059 0 -1 0 34289 0 0 0 117770 2469 0 0 25 0 1 0 22102840 80809984 15197 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9252/statm): 19729 15197 364 364 0 19365 0
[pid=9252] vsize: 78916
Current children cumulated CPU time (s) 1202.39
Current children cumulated vsize (Kb) 78916

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

Child status: 0
Real time (s): 1250.23
CPU time (s): 1202.57
CPU user time (s): 1177.85
CPU system time (s): 24.7292
CPU usage (%): 96.188
Max. virtual memory (cumulated for all children) (Kb): 78916

Verifier Data

ERROR: no interpretation found !