Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pp08aCUTS.opb
MD5SUM0b9c67a532f4b918575cbec793117378
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4600
Total number of constraints310
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 constraints310
Minimum length of a constraint17
Maximum length of a constraint147

Trace number 10173

Launcher Data

LAUNCH ON wulflinc14 THE 2005-09-23 17:03:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8880 boxname=wulflinc14 idbench=676 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0b9c67a532f4b918575cbec793117378  /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-20-10-pp08aCUTS.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-20-10-pp08aCUTS.opb
IDLAUNCH: 8880
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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.058
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:        989028 kB
Buffers:          2356 kB
Cached:          26204 kB
SwapCached:          0 kB
Active:          17588 kB
Inactive:        13816 kB
HighTotal:      131008 kB
HighFree:       100604 kB
LowTotal:       903652 kB
LowFree:        888424 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8708 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:25:19 (client local time) WITH STATUS 0 IN 1208.56 SECONDS
stats: 8880 7 1208.56 0

Solver Data

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

c Decision: 1098/120917	Time: 6.75797/86400
c Decision: 1098/120917	Time: 9.77151/86400
c Decision: 1100/120917	Time: 12.2911/86400
c Decision: 1125/120917	Time: 18.0922/86400
c Decision: 1125/120917	Time: 20.3919/86400
c Decision: 1125/120917	Time: 23.5514/86400
c Decision: 1131/120917	Time: 28.7776/86400
c Decision: 1131/120917	Time: 31.4922/86400
c Decision: 1131/120917	Time: 34.2688/86400
c Decision: 1131/120917	Time: 36.8454/86400
c Decision: 1131/120917	Time: 40.4109/86400
c Decision: 1131/120917	Time: 43.1564/86400
c Decision: 1131/120917	Time: 46.144/86400
c Decision: 1131/120917	Time: 49.1475/86400
c Decision: 1131/120917	Time: 52.324/86400
c Decision: 1131/120917	Time: 55.7235/86400
c Decision: 1131/120917	Time: 58.6091/86400
c Decision: 1131/120917	Time: 61.6696/86400
c Decision: 1131/120917	Time: 64.7502/86400
c Decision: 1131/120917	Time: 67.9757/86400
c Decision: 1131/120917	Time: 71.5231/86400
c Decision: 1139/120917	Time: 76.3624/86400
c Decision: 1139/120917	Time: 79.4309/86400
c Decision: 1139/120917	Time: 82.5285/86400
c Decision: 1153/120917	Time: 86.1339/86400
c Decision: 1153/120917	Time: 89.8743/86400
c Decision: 1153/120917	Time: 93.2328/86400
c Decision: 1153/120917	Time: 96.5113/86400
c Decision: 1153/120917	Time: 99.5679/86400
c Decision: 1153/120917	Time: 102.876/86400
c Decision: 1166/120917	Time: 108.419/86400
c Decision: 1166/120917	Time: 111.383/86400
c Decision: 1205/120917	Time: 120.54/86400
c Decision: 1209/120917	Time: 125.766/86400
c Decision: 1212/120917	Time: 131.058/86400
c Decision: 1247/120917	Time: 144.41/86400
c Decision: 1247/120917	Time: 148.27/86400
c Decision: 1258/120917	Time: 157.652/86400
c Decision: 1286/120917	Time: 167.155/86400
c Decision: 1286/120917	Time: 171.898/86400
c Decision: 1286/120917	Time: 176.973/86400
c Decision: 1293/120917	Time: 182.265/86400
c Decision: 1302/120917	Time: 187.751/86400
c Decision: 1302/120917	Time: 192.631/86400
c Decision: 1302/120917	Time: 197.379/86400
c Decision: 1302/120917	Time: 202.096/86400
c Decision: 1302/120917	Time: 206.608/86400
c Decision: 1302/120917	Time: 211.527/86400
c Decision: 1302/120917	Time: 215.925/86400
c Decision: 1302/120917	Time: 220.305/86400
c Decision: 1310/120917	Time: 226.876/86400
c Decision: 1310/120917	Time: 231.431/86400
c Decision: 1310/120917	Time: 236.319/86400
c Decision: 1310/120917	Time: 241.582/86400
c Decision: 1310/120917	Time: 246.674/86400
c Decision: 1310/120917	Time: 252.592/86400
c Decision: 1310/120917	Time: 258.136/86400
c Decision: 1310/120917	Time: 262.84/86400
c Decision: 1310/120917	Time: 268.09/86400
c Decision: 1310/120917	Time: 276.545/86400
c Decision: 1310/120917	Time: 281.904/86400
c Decision: 1310/120917	Time: 286.788/86400
c Decision: 1320/120917	Time: 298.113/86400
c Decision: 1320/120917	Time: 303.159/86400
c Decision: 1320/120917	Time: 308.451/86400
c Decision: 1320/120917	Time: 313.938/86400
c Decision: 1322/120917	Time: 323.385/86400
c Decision: 1324/120917	Time: 332.223/86400
c Decision: 1324/120917	Time: 337.845/86400
c Decision: 1324/120917	Time: 343.322/86400
c Decision: 1324/120917	Time: 349.264/86400
c Decision: 1324/120917	Time: 354.657/86400
c Decision: 1325/120917	Time: 362.599/86400
c Decision: 1331/120917	Time: 371.834/86400
c Decision: 1331/120917	Time: 377.902/86400
c Decision: 1331/120917	Time: 384.072/86400
c Decision: 1331/120917	Time: 389.589/86400
c Decision: 1331/120917	Time: 395.292/86400
c Decision: 1331/120917	Time: 400.889/86400
c Decision: 1331/120917	Time: 406.14/86400
c Decision: 1331/120917	Time: 411.778/86400
c Decision: 1331/120917	Time: 417.086/86400
c Decision: 1331/120917	Time: 421.975/86400
c Decision: 1331/120917	Time: 426.955/86400
c Decision: 1331/120917	Time: 431.396/86400
c Decision: 1331/120917	Time: 436.556/86400
c Decision: 1335/120917	Time: 443.38/86400
c Decision: 1335/120917	Time: 448.165/86400
c Decision: 1335/120917	Time: 452.844/86400
c Decision: 1335/120917	Time: 458.149/86400
c Decision: 1335/120917	Time: 463.605/86400
c Decision: 1335/120917	Time: 469.021/86400
c Decision: 1335/120917	Time: 474.191/86400
c Decision: 1335/120917	Time: 478.139/86400
c Decision: 1335/120917	Time: 483.349/86400
c Decision: 1335/120917	Time: 489.023/86400
c Decision: 1335/120917	Time: 494.617/86400
c Decision: 1335/120917	Time: 500.735/86400
c Decision: 1335/120917	Time: 506.623/86400
c Decision: 1335/120917	Time: 511.869/86400
c Decision: 1336/120917	Time: 519.806/86400
c Decision: 1336/120917	Time: 526.091/86400
c Decision: 1336/120917	Time: 532.101/86400
c Decision: 1336/120917	Time: 537.951/86400
c Decision: 1358/120917	Time: 552.302/86400
c Decision: 1358/120917	Time: 559.262/86400
c Decision: 1399/120917	Time: 570.426/86400
c Decision: 1425/120917	Time: 585.917/86400
c Decision: 1425/120917	Time: 593.496/86400
c Decision: 1434/120917	Time: 605.7/86400
c Decision: 1437/120917	Time: 616.284/86400
c Decision: 1437/120917	Time: 623.98/86400
c Decision: 1445/120917	Time: 639.22/86400
c Decision: 1445/120917	Time: 646.025/86400
c Decision: 1445/120917	Time: 653.438/86400
c Decision: 1445/120917	Time: 661.83/86400
c Decision: 1458/120917	Time: 672.433/86400
c Decision: 1458/120917	Time: 679.852/86400
c Decision: 1458/120917	Time: 687.783/86400
c Decision: 1458/120917	Time: 694.742/86400
c Decision: 1458/120917	Time: 702.053/86400
c Decision: 1491/120917	Time: 729.596/86400
c Decision: 1532/120917	Time: 740.459/86400
c Decision: 1532/120917	Time: 748.292/86400
c Decision: 1532/120917	Time: 756.463/86400
c Decision: 1539/120917	Time: 773.183/86400
c Decision: 1539/120917	Time: 780.962/86400
c Decision: 1541/120917	Time: 794.287/86400
c Decision: 1541/120917	Time: 802.577/86400
c Decision: 1541/120917	Time: 810.15/86400
c Decision: 1543/120917	Time: 822.515/86400
c Decision: 1549/120917	Time: 835.53/86400
c Decision: 1549/120917	Time: 844.661/86400
c Decision: 1549/120917	Time: 853.444/86400
c Decision: 1549/120917	Time: 862.411/86400
c Decision: 1549/120917	Time: 872.39/86400
c Decision: 1560/120917	Time: 887.608/86400
c Decision: 1560/120917	Time: 894.593/86400
c Decision: 1560/120917	Time: 902.775/86400
c Decision: 1560/120917	Time: 911.854/86400
c Decision: 1560/120917	Time: 921.024/86400
c Decision: 1560/120917	Time: 930.07/86400
c Decision: 1560/120917	Time: 938.779/86400
c Decision: 1560/120917	Time: 945.614/86400
c Decision: 1560/120917	Time: 952.757/86400
c Decision: 1574/120917	Time: 970.52/86400
c Decision: 1574/120917	Time: 979.479/86400
c Decision: 1574/120917	Time: 988.358/86400
c Decision: 1574/120917	Time: 997.514/86400
c Decision: 1574/120917	Time: 1007.5/86400
c Decision: 1574/120917	Time: 1017.26/86400
c Decision: 1574/120917	Time: 1026.09/86400
c Decision: 1574/120917	Time: 1035.05/86400
c Decision: 1574/120917	Time: 1043.06/86400
c Decision: 1574/120917	Time: 1052.39/86400
c Decision: 1574/120917	Time: 1062.07/86400
c Decision: 1603/120917	Time: 1086.55/86400
c Decision: 1603/120917	Time: 1094.56/86400
c Decision: 1603/120917	Time: 1102.99/86400
c Decision: 1609/120917	Time: 1116.94/86400
c Decision: 1743/120917	Time: 1154.95/86400
c Decision: 1743/120917	Time: 1165.66/86400
c Decision: 1743/120917	Time: 1174.7/86400
c Decision: 1743/120917	Time: 1183.17/86400
c Decision: 1751/120917	Time: 1193.59/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/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 18 0 0 0 0 0 0 0 21 0 1 0 21840575 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 373 2 364 364 0 9 0
[pid=8842] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-20-10-pp08aCUTS.opb

[startup+10.0019 s]
Raw data (loadavg): 0.93 0.96 0.95 2/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 15199 0 0 0 851 73 0 0 17 0 1 0 21840575 45125632 9420 4294967295 134512640 135987407 3221224560 3221223292 134789032 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 11017 9420 364 364 0 10653 0
[pid=8842] vsize: 44068
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (Kb) 44068

[startup+20.0026 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 16066 0 0 0 1694 126 0 0 24 0 1 0 21840575 46608384 9813 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11379 9813 364 364 0 11015 0
[pid=8842] vsize: 45516
Current children cumulated CPU time (s) 18.2
Current children cumulated vsize (Kb) 45516

[startup+30.0043 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 16479 0 0 0 2544 175 0 0 21 0 1 0 21840575 47165440 9989 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 11515 9989 364 364 0 11151 0
[pid=8842] vsize: 46060
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (Kb) 46060

[startup+40.0039 s]
Raw data (loadavg): 0.96 0.96 0.95 1/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 17012 0 0 0 3417 218 0 0 22 0 1 0 21840575 47304704 10048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11549 10048 364 364 0 11185 0
[pid=8842] vsize: 46196
Current children cumulated CPU time (s) 36.35
Current children cumulated vsize (Kb) 46196

[startup+50.0056 s]
Raw data (loadavg): 0.96 0.96 0.95 1/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 17809 0 0 0 4297 261 0 0 21 0 1 0 21840575 47443968 10134 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11583 10134 364 364 0 11219 0
[pid=8842] vsize: 46332
Current children cumulated CPU time (s) 45.58
Current children cumulated vsize (Kb) 46332

[startup+60.0053 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 18582 0 0 0 5177 298 0 0 24 0 1 0 21840575 47583232 10196 4294967295 134512640 135987407 3221224560 3221223280 134813826 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11617 10196 364 364 0 11253 0
[pid=8842] vsize: 46468
Current children cumulated CPU time (s) 54.75
Current children cumulated vsize (Kb) 46468

[startup+70.006 s]
Raw data (loadavg): 0.97 0.97 0.95 1/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 19360 0 0 0 6055 339 0 0 20 0 1 0 21840575 47722496 10263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11651 10263 364 364 0 11287 0
[pid=8842] vsize: 46604
Current children cumulated CPU time (s) 63.94
Current children cumulated vsize (Kb) 46604

[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.95 1/55 8842
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 20166 0 0 0 6937 378 0 0 25 0 1 0 21840575 47996928 10358 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11718 10358 364 364 0 11354 0
[pid=8842] vsize: 46872
Current children cumulated CPU time (s) 73.15
Current children cumulated vsize (Kb) 46872

[startup+90.0073 s]
Raw data (loadavg): 1.05 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 20964 0 0 0 7827 417 0 0 24 0 1 0 21840575 48279552 10445 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 11787 10445 364 364 0 11423 0
[pid=8842] vsize: 47148
Current children cumulated CPU time (s) 82.44
Current children cumulated vsize (Kb) 47148

[startup+100.008 s]
Raw data (loadavg): 1.04 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 21508 0 0 0 8708 455 0 0 22 0 1 0 21840575 48418816 10515 4294967295 134512640 135987407 3221224560 3221223248 134811867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 11821 10515 364 364 0 11457 0
[pid=8842] vsize: 47284
Current children cumulated CPU time (s) 91.63
Current children cumulated vsize (Kb) 47284

[startup+110.009 s]
Raw data (loadavg): 1.04 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 22283 0 0 0 9605 489 0 0 20 0 1 0 21840575 48553984 10579 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 11854 10579 364 364 0 11490 0
[pid=8842] vsize: 47416
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (Kb) 47416

[startup+120.009 s]
Raw data (loadavg): 1.03 0.98 0.95 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 22838 0 0 0 10499 524 0 0 23 0 1 0 21840575 48824320 10660 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11920 10660 364 364 0 11556 0
[pid=8842] vsize: 47680
Current children cumulated CPU time (s) 110.23
Current children cumulated vsize (Kb) 47680

[startup+130.01 s]
Raw data (loadavg): 1.03 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 23385 0 0 0 11396 561 0 0 25 0 1 0 21840575 48959488 10733 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11953 10733 364 364 0 11589 0
[pid=8842] vsize: 47812
Current children cumulated CPU time (s) 119.57
Current children cumulated vsize (Kb) 47812

[startup+140.01 s]
Raw data (loadavg): 1.02 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 23697 0 0 0 12278 600 0 0 24 0 1 0 21840575 49094656 10808 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 11986 10808 364 364 0 11622 0
[pid=8842] vsize: 47944
Current children cumulated CPU time (s) 128.78
Current children cumulated vsize (Kb) 47944

[startup+150.011 s]
Raw data (loadavg): 1.02 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 24254 0 0 0 13172 637 0 0 21 0 1 0 21840575 49233920 10891 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12020 10891 364 364 0 11656 0
[pid=8842] vsize: 48080
Current children cumulated CPU time (s) 138.09
Current children cumulated vsize (Kb) 48080

[startup+160.012 s]
Raw data (loadavg): 1.01 0.98 0.95 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 24325 0 0 0 14044 677 0 0 25 0 1 0 21840575 49369088 10962 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12053 10962 364 364 0 11689 0
[pid=8842] vsize: 48212
Current children cumulated CPU time (s) 147.21
Current children cumulated vsize (Kb) 48212

[startup+170.013 s]
Raw data (loadavg): 1.01 0.98 0.95 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 24845 0 0 0 14931 713 0 0 19 0 1 0 21840575 49504256 11008 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12086 11008 364 364 0 11722 0
[pid=8842] vsize: 48344
Current children cumulated CPU time (s) 156.44
Current children cumulated vsize (Kb) 48344

[startup+180.013 s]
Raw data (loadavg): 1.01 0.98 0.95 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 25113 0 0 0 15819 751 0 0 18 0 1 0 21840575 49504256 11039 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12086 11039 364 364 0 11722 0
[pid=8842] vsize: 48344
Current children cumulated CPU time (s) 165.7
Current children cumulated vsize (Kb) 48344

[startup+190.014 s]
Raw data (loadavg): 1.08 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 25378 0 0 0 16697 791 0 0 25 0 1 0 21840575 49635328 11067 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12118 11067 364 364 0 11754 0
[pid=8842] vsize: 48472
Current children cumulated CPU time (s) 174.88
Current children cumulated vsize (Kb) 48472

[startup+200.015 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 25906 0 0 0 17597 827 0 0 21 0 1 0 21840575 49770496 11121 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12151 11121 364 364 0 11787 0
[pid=8842] vsize: 48604
Current children cumulated CPU time (s) 184.24
Current children cumulated vsize (Kb) 48604

[startup+210.015 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 26167 0 0 0 18488 863 0 0 25 0 1 0 21840575 49770496 11145 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12151 11145 364 364 0 11787 0
[pid=8842] vsize: 48604
Current children cumulated CPU time (s) 193.51
Current children cumulated vsize (Kb) 48604

[startup+220.016 s]
Raw data (loadavg): 1.05 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 26697 0 0 0 19384 897 0 0 25 0 1 0 21840575 49905664 11201 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12184 11201 364 364 0 11820 0
[pid=8842] vsize: 48736
Current children cumulated CPU time (s) 202.81
Current children cumulated vsize (Kb) 48736

[startup+230.017 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 27226 0 0 0 20280 933 0 0 18 0 1 0 21840575 50040832 11256 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12217 11256 364 364 0 11853 0
[pid=8842] vsize: 48868
Current children cumulated CPU time (s) 212.13
Current children cumulated vsize (Kb) 48868

[startup+240.016 s]
Raw data (loadavg): 1.03 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 27761 0 0 0 21174 969 0 0 25 0 1 0 21840575 50184192 11317 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12252 11317 364 364 0 11888 0
[pid=8842] vsize: 49008
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (Kb) 49008

[startup+250.017 s]
Raw data (loadavg): 1.03 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 28287 0 0 0 22075 1003 0 0 21 0 1 0 21840575 50184192 11369 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12252 11369 364 364 0 11888 0
[pid=8842] vsize: 49008
Current children cumulated CPU time (s) 230.78
Current children cumulated vsize (Kb) 49008

[startup+260.018 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 28801 0 0 0 22986 1034 0 0 25 0 1 0 21840575 50327552 11409 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12287 11409 364 364 0 11923 0
[pid=8842] vsize: 49148
Current children cumulated CPU time (s) 240.2
Current children cumulated vsize (Kb) 49148

[startup+270.018 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 29318 0 0 0 23892 1067 0 0 25 0 1 0 21840575 50327552 11452 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12287 11452 364 364 0 11923 0
[pid=8842] vsize: 49148
Current children cumulated CPU time (s) 249.59
Current children cumulated vsize (Kb) 49148

[startup+280.019 s]
Raw data (loadavg): 1.02 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 29844 0 0 0 24799 1099 0 0 25 0 1 0 21840575 50458624 11504 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12319 11504 364 364 0 11955 0
[pid=8842] vsize: 49276
Current children cumulated CPU time (s) 258.98
Current children cumulated vsize (Kb) 49276

[startup+290.02 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 30129 0 0 0 25705 1132 0 0 25 0 1 0 21840575 50601984 11552 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12354 11552 364 364 0 11990 0
[pid=8842] vsize: 49416
Current children cumulated CPU time (s) 268.37
Current children cumulated vsize (Kb) 49416

[startup+300.02 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 30747 0 0 0 26563 1178 0 0 19 0 1 0 21840575 51007488 11696 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12453 11696 364 364 0 12089 0
[pid=8842] vsize: 49812
Current children cumulated CPU time (s) 277.41
Current children cumulated vsize (Kb) 49812

[startup+310.021 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 31123 0 0 0 27438 1221 0 0 21 0 1 0 21840575 51548160 11835 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12585 11835 364 364 0 12221 0
[pid=8842] vsize: 50340
Current children cumulated CPU time (s) 286.59
Current children cumulated vsize (Kb) 50340

[startup+320.021 s]
Raw data (loadavg): 1.09 1.02 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 31618 0 0 0 28318 1261 0 0 25 0 1 0 21840575 51548160 11856 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12585 11856 364 364 0 12221 0
[pid=8842] vsize: 50340
Current children cumulated CPU time (s) 295.79
Current children cumulated vsize (Kb) 50340

[startup+330.022 s]
Raw data (loadavg): 1.07 1.02 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 31889 0 0 0 29196 1300 0 0 25 0 1 0 21840575 51683328 11890 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12618 11890 364 364 0 12254 0
[pid=8842] vsize: 50472
Current children cumulated CPU time (s) 304.96
Current children cumulated vsize (Kb) 50472

[startup+340.022 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 32136 0 0 0 30083 1337 0 0 24 0 1 0 21840575 51683328 11900 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12618 11900 364 364 0 12254 0
[pid=8842] vsize: 50472
Current children cumulated CPU time (s) 314.2
Current children cumulated vsize (Kb) 50472

[startup+350.024 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 32629 0 0 0 30982 1369 0 0 20 0 1 0 21840575 51822592 11919 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 12652 11919 364 364 0 12288 0
[pid=8842] vsize: 50608
Current children cumulated CPU time (s) 323.51
Current children cumulated vsize (Kb) 50608

[startup+360.024 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 32904 0 0 0 31860 1413 0 0 21 0 1 0 21840575 51961856 11957 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 12686 11957 364 364 0 12322 0
[pid=8842] vsize: 50744
Current children cumulated CPU time (s) 332.73
Current children cumulated vsize (Kb) 50744

[startup+370.024 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 33197 0 0 0 32744 1451 0 0 25 0 1 0 21840575 60497920 12013 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 14770 12013 364 364 0 14406 0
[pid=8842] vsize: 59080
Current children cumulated CPU time (s) 341.95
Current children cumulated vsize (Kb) 59080

[startup+380.025 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 33719 0 0 0 33628 1492 0 0 25 0 1 0 21840575 60497920 12061 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 14770 12061 364 364 0 14406 0
[pid=8842] vsize: 59080
Current children cumulated CPU time (s) 351.2
Current children cumulated vsize (Kb) 59080

[startup+390.025 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 34215 0 0 0 34517 1530 0 0 25 0 1 0 21840575 61603840 12320 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15040 12320 364 364 0 14676 0
[pid=8842] vsize: 60160
Current children cumulated CPU time (s) 360.47
Current children cumulated vsize (Kb) 60160

[startup+400.026 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 34502 0 0 0 35413 1566 0 0 23 0 1 0 21840575 60772352 12133 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 14837 12133 364 364 0 14473 0
[pid=8842] vsize: 59348
Current children cumulated CPU time (s) 369.79
Current children cumulated vsize (Kb) 59348

[startup+410.027 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 34793 0 0 0 36294 1610 0 0 25 0 1 0 21840575 60772352 12187 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 14837 12187 364 364 0 14473 0
[pid=8842] vsize: 59348
Current children cumulated CPU time (s) 379.04
Current children cumulated vsize (Kb) 59348

[startup+420.026 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 35079 0 0 0 37173 1649 0 0 19 0 1 0 21840575 60911616 12236 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 14871 12236 364 364 0 14507 0
[pid=8842] vsize: 59484
Current children cumulated CPU time (s) 388.22
Current children cumulated vsize (Kb) 59484

[startup+430.027 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 35592 0 0 0 38073 1684 0 0 25 0 1 0 21840575 61050880 12275 4294967295 134512640 135987407 3221224560 3221223020 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 14905 12275 364 364 0 14541 0
[pid=8842] vsize: 59620
Current children cumulated CPU time (s) 397.57
Current children cumulated vsize (Kb) 59620

[startup+440.027 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 36113 0 0 0 38959 1723 0 0 22 0 1 0 21840575 62156800 12559 4294967295 134512640 135987407 3221224560 3221222920 134827502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15175 12559 364 364 0 14811 0
[pid=8842] vsize: 60700
Current children cumulated CPU time (s) 406.82
Current children cumulated vsize (Kb) 60700

[startup+450.028 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 36397 0 0 0 39848 1759 0 0 23 0 1 0 21840575 61186048 12369 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 14938 12369 364 364 0 14574 0
[pid=8842] vsize: 59752
Current children cumulated CPU time (s) 416.07
Current children cumulated vsize (Kb) 59752

[startup+460.029 s]
Raw data (loadavg): 1.01 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 36902 0 0 0 40739 1798 0 0 25 0 1 0 21840575 61321216 12400 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 14971 12400 364 364 0 14607 0
[pid=8842] vsize: 59884
Current children cumulated CPU time (s) 425.37
Current children cumulated vsize (Kb) 59884

[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 37411 0 0 0 41626 1833 0 0 25 0 1 0 21840575 61468672 12435 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15007 12435 364 364 0 14643 0
[pid=8842] vsize: 60028
Current children cumulated CPU time (s) 434.59
Current children cumulated vsize (Kb) 60028

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 37936 0 0 0 42530 1864 0 0 25 0 1 0 21840575 61620224 12486 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 15044 12486 364 364 0 14680 0
[pid=8842] vsize: 60176
Current children cumulated CPU time (s) 443.94
Current children cumulated vsize (Kb) 60176

[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 38214 0 0 0 43421 1897 0 0 20 0 1 0 21840575 61620224 12527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15044 12527 364 364 0 14680 0
[pid=8842] vsize: 60176
Current children cumulated CPU time (s) 453.18
Current children cumulated vsize (Kb) 60176

[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 38725 0 0 0 44317 1929 0 0 18 0 1 0 21840575 61755392 12564 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15077 12564 364 364 0 14713 0
[pid=8842] vsize: 60308
Current children cumulated CPU time (s) 462.46
Current children cumulated vsize (Kb) 60308

[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 39235 0 0 0 45222 1961 0 0 25 0 1 0 21840575 61755392 12600 4294967295 134512640 135987407 3221224560 3221223376 134812451 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15077 12600 364 364 0 14713 0
[pid=8842] vsize: 60308
Current children cumulated CPU time (s) 471.83
Current children cumulated vsize (Kb) 60308

[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 39752 0 0 0 46121 1997 0 0 25 0 1 0 21840575 61902848 12643 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15113 12643 364 364 0 14749 0
[pid=8842] vsize: 60452
Current children cumulated CPU time (s) 481.18
Current children cumulated vsize (Kb) 60452

[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 40270 0 0 0 47028 2030 0 0 25 0 1 0 21840575 61902848 12687 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15113 12687 364 364 0 14749 0
[pid=8842] vsize: 60452
Current children cumulated CPU time (s) 490.58
Current children cumulated vsize (Kb) 60452

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 40550 0 0 0 47929 2064 0 0 23 0 1 0 21840575 62033920 12730 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15145 12730 364 364 0 14781 0
[pid=8842] vsize: 60580
Current children cumulated CPU time (s) 499.93
Current children cumulated vsize (Kb) 60580

[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 41060 0 0 0 48826 2098 0 0 24 0 1 0 21840575 62164992 12766 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 15177 12766 364 364 0 14813 0
[pid=8842] vsize: 60708
Current children cumulated CPU time (s) 509.24
Current children cumulated vsize (Kb) 60708

[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 41578 0 0 0 49724 2131 0 0 24 0 1 0 21840575 62164992 12810 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15177 12810 364 364 0 14813 0
[pid=8842] vsize: 60708
Current children cumulated CPU time (s) 518.55
Current children cumulated vsize (Kb) 60708

[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 41851 0 0 0 50624 2166 0 0 25 0 1 0 21840575 62300160 12846 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15210 12846 364 364 0 14846 0
[pid=8842] vsize: 60840
Current children cumulated CPU time (s) 527.9
Current children cumulated vsize (Kb) 60840

[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 42114 0 0 0 51530 2198 0 0 19 0 1 0 21840575 62300160 12872 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15210 12872 364 364 0 14846 0
[pid=8842] vsize: 60840
Current children cumulated CPU time (s) 537.28
Current children cumulated vsize (Kb) 60840

[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 42611 0 0 0 52423 2235 0 0 25 0 1 0 21840575 62300160 12895 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15210 12895 364 364 0 14846 0
[pid=8842] vsize: 60840
Current children cumulated CPU time (s) 546.58
Current children cumulated vsize (Kb) 60840

[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 42647 0 0 0 53313 2272 0 0 25 0 1 0 21840575 62435328 12931 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15243 12931 364 364 0 14879 0
[pid=8842] vsize: 60972
Current children cumulated CPU time (s) 555.85
Current children cumulated vsize (Kb) 60972

[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 43152 0 0 0 54220 2305 0 0 25 0 1 0 21840575 62435328 12962 4294967295 134512640 135987407 3221224560 3221223376 134876811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15243 12962 364 364 0 14879 0
[pid=8842] vsize: 60972
Current children cumulated CPU time (s) 565.25
Current children cumulated vsize (Kb) 60972

[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 43172 0 0 0 55111 2343 0 0 23 0 1 0 21840575 62435328 12982 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15243 12982 364 364 0 14879 0
[pid=8842] vsize: 60972
Current children cumulated CPU time (s) 574.54
Current children cumulated vsize (Kb) 60972

[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 43442 0 0 0 56013 2379 0 0 25 0 1 0 21840575 62566400 13015 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15275 13015 364 364 0 14911 0
[pid=8842] vsize: 61100
Current children cumulated CPU time (s) 583.92
Current children cumulated vsize (Kb) 61100

[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 43712 0 0 0 56920 2409 0 0 25 0 1 0 21840575 62566400 13048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15275 13048 364 364 0 14911 0
[pid=8842] vsize: 61100
Current children cumulated CPU time (s) 593.29
Current children cumulated vsize (Kb) 61100

[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 43994 0 0 0 57829 2442 0 0 20 0 1 0 21840575 62713856 13093 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 15311 13093 364 364 0 14947 0
[pid=8842] vsize: 61244
Current children cumulated CPU time (s) 602.71
Current children cumulated vsize (Kb) 61244

[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 44263 0 0 0 58730 2474 0 0 25 0 1 0 21840575 62713856 13125 4294967295 134512640 135987407 3221224560 3221223248 134788850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15311 13125 364 364 0 14947 0
[pid=8842] vsize: 61244
Current children cumulated CPU time (s) 612.04
Current children cumulated vsize (Kb) 61244

[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 44302 0 0 0 59628 2507 0 0 25 0 1 0 21840575 62849024 13164 4294967295 134512640 135987407 3221224560 3221223280 134813795 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15344 13164 364 364 0 14980 0
[pid=8842] vsize: 61376
Current children cumulated CPU time (s) 621.35
Current children cumulated vsize (Kb) 61376

[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 44791 0 0 0 60546 2537 0 0 25 0 1 0 21840575 62849024 13179 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15344 13179 364 364 0 14980 0
[pid=8842] vsize: 61376
Current children cumulated CPU time (s) 630.83
Current children cumulated vsize (Kb) 61376

[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 44813 0 0 0 61449 2571 0 0 25 0 1 0 21840575 62980096 13201 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15376 13201 364 364 0 15012 0
[pid=8842] vsize: 61504
Current children cumulated CPU time (s) 640.2
Current children cumulated vsize (Kb) 61504

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 45084 0 0 0 62356 2602 0 0 17 0 1 0 21840575 62980096 13235 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8842/statm): 15376 13235 364 364 0 15012 0
[pid=8842] vsize: 61504
Current children cumulated CPU time (s) 649.58
Current children cumulated vsize (Kb) 61504

[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 45355 0 0 0 63261 2635 0 0 25 0 1 0 21840575 62980096 13269 4294967295 134512640 135987407 3221224560 3221223280 134813795 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 15376 13269 364 364 0 15012 0
[pid=8842] vsize: 61504
Current children cumulated CPU time (s) 658.96
Current children cumulated vsize (Kb) 61504

[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 45857 0 0 0 64181 2662 0 0 17 0 1 0 21840575 63115264 13297 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8842/statm): 15409 13297 364 364 0 15045 0
[pid=8842] vsize: 61636
Current children cumulated CPU time (s) 668.43
Current children cumulated vsize (Kb) 61636

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 48948 0 0 0 65081 2699 0 0 25 0 1 0 21840575 75698176 13315 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18481 13315 364 364 0 18117 0
[pid=8842] vsize: 73924
Current children cumulated CPU time (s) 677.8
Current children cumulated vsize (Kb) 73924

[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 49444 0 0 0 65985 2734 0 0 25 0 1 0 21840575 75837440 13337 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18515 13337 364 364 0 18151 0
[pid=8842] vsize: 74060
Current children cumulated CPU time (s) 687.19
Current children cumulated vsize (Kb) 74060

[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 49702 0 0 0 66885 2771 0 0 21 0 1 0 21840575 75837440 13358 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18515 13358 364 364 0 18151 0
[pid=8842] vsize: 74060
Current children cumulated CPU time (s) 696.56
Current children cumulated vsize (Kb) 74060

[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 49974 0 0 0 67788 2804 0 0 25 0 1 0 21840575 75837440 13393 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18515 13393 364 364 0 18151 0
[pid=8842] vsize: 74060
Current children cumulated CPU time (s) 705.92
Current children cumulated vsize (Kb) 74060

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 50233 0 0 0 68706 2832 0 0 25 0 1 0 21840575 75976704 13415 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18549 13415 364 364 0 18185 0
[pid=8842] vsize: 74196
Current children cumulated CPU time (s) 715.38
Current children cumulated vsize (Kb) 74196

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 50250 0 0 0 69627 2859 0 0 25 0 1 0 21840575 75976704 13432 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18549 13432 364 364 0 18185 0
[pid=8842] vsize: 74196
Current children cumulated CPU time (s) 724.86
Current children cumulated vsize (Kb) 74196

[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 50291 0 0 0 70543 2888 0 0 18 0 1 0 21840575 75976704 13473 4294967295 134512640 135987407 3221224560 3221223376 134815363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18549 13473 364 364 0 18185 0
[pid=8842] vsize: 74196
Current children cumulated CPU time (s) 734.31
Current children cumulated vsize (Kb) 74196

[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 50570 0 0 0 71455 2918 0 0 25 0 1 0 21840575 76107776 13515 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18581 13515 364 364 0 18217 0
[pid=8842] vsize: 74324
Current children cumulated CPU time (s) 743.73
Current children cumulated vsize (Kb) 74324

[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 50846 0 0 0 72362 2950 0 0 25 0 1 0 21840575 76107776 13554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18581 13554 364 364 0 18217 0
[pid=8842] vsize: 74324
Current children cumulated CPU time (s) 753.12
Current children cumulated vsize (Kb) 74324

[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 51355 0 0 0 73280 2979 0 0 25 0 1 0 21840575 76242944 13589 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18614 13589 364 364 0 18250 0
[pid=8842] vsize: 74456
Current children cumulated CPU time (s) 762.59
Current children cumulated vsize (Kb) 74456

[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 51396 0 0 0 74192 3008 0 0 25 0 1 0 21840575 76242944 13630 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18614 13630 364 364 0 18250 0
[pid=8842] vsize: 74456
Current children cumulated CPU time (s) 772
Current children cumulated vsize (Kb) 74456

[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 51662 0 0 0 75118 3033 0 0 25 0 1 0 21840575 76378112 13659 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18647 13659 364 364 0 18283 0
[pid=8842] vsize: 74588
Current children cumulated CPU time (s) 781.51
Current children cumulated vsize (Kb) 74588

[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 51916 0 0 0 76036 3061 0 0 25 0 1 0 21840575 76378112 13676 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18647 13676 364 364 0 18283 0
[pid=8842] vsize: 74588
Current children cumulated CPU time (s) 790.97
Current children cumulated vsize (Kb) 74588

[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 52172 0 0 0 76956 3088 0 0 25 0 1 0 21840575 76378112 13695 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18647 13695 364 364 0 18283 0
[pid=8842] vsize: 74588
Current children cumulated CPU time (s) 800.44
Current children cumulated vsize (Kb) 74588

[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 52435 0 0 0 77884 3113 0 0 25 0 1 0 21840575 76525568 13721 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18683 13721 364 364 0 18319 0
[pid=8842] vsize: 74732
Current children cumulated CPU time (s) 809.97
Current children cumulated vsize (Kb) 74732

[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 52710 0 0 0 78796 3143 0 0 25 0 1 0 21840575 76525568 13759 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18683 13759 364 364 0 18319 0
[pid=8842] vsize: 74732
Current children cumulated CPU time (s) 819.39
Current children cumulated vsize (Kb) 74732

[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 52978 0 0 0 79718 3169 0 0 19 0 1 0 21840575 76685312 13790 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18722 13790 364 364 0 18358 0
[pid=8842] vsize: 74888
Current children cumulated CPU time (s) 828.87
Current children cumulated vsize (Kb) 74888

[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 52991 0 0 0 80635 3196 0 0 25 0 1 0 21840575 76685312 13803 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18722 13803 364 364 0 18358 0
[pid=8842] vsize: 74888
Current children cumulated CPU time (s) 838.31
Current children cumulated vsize (Kb) 74888

[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 53243 0 0 0 81558 3224 0 0 25 0 1 0 21840575 76685312 13818 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18722 13818 364 364 0 18358 0
[pid=8842] vsize: 74888
Current children cumulated CPU time (s) 847.82
Current children cumulated vsize (Kb) 74888

[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 53507 0 0 0 82481 3248 0 0 22 0 1 0 21840575 76685312 13845 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18722 13845 364 364 0 18358 0
[pid=8842] vsize: 74888
Current children cumulated CPU time (s) 857.29
Current children cumulated vsize (Kb) 74888

[startup+930.046 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 53801 0 0 0 83398 3273 0 0 25 0 1 0 21840575 76963840 13902 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18790 13902 364 364 0 18426 0
[pid=8842] vsize: 75160
Current children cumulated CPU time (s) 866.71
Current children cumulated vsize (Kb) 75160

[startup+940.045 s]
Raw data (loadavg): 1.06 1.02 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 54062 0 0 0 84319 3301 0 0 25 0 1 0 21840575 76963840 13926 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18790 13926 364 364 0 18426 0
[pid=8842] vsize: 75160
Current children cumulated CPU time (s) 876.2
Current children cumulated vsize (Kb) 75160

[startup+950.046 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 54307 0 0 0 85238 3328 0 0 17 0 1 0 21840575 76963840 13934 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18790 13934 364 364 0 18426 0
[pid=8842] vsize: 75160
Current children cumulated CPU time (s) 885.66
Current children cumulated vsize (Kb) 75160

[startup+960.047 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 54559 0 0 0 86154 3355 0 0 25 0 1 0 21840575 76963840 13949 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18790 13949 364 364 0 18426 0
[pid=8842] vsize: 75160
Current children cumulated CPU time (s) 895.09
Current children cumulated vsize (Kb) 75160

[startup+970.046 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 54816 0 0 0 87073 3383 0 0 25 0 1 0 21840575 77099008 13969 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18823 13969 364 364 0 18459 0
[pid=8842] vsize: 75292
Current children cumulated CPU time (s) 904.56
Current children cumulated vsize (Kb) 75292

[startup+980.048 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 55081 0 0 0 87995 3410 0 0 25 0 1 0 21840575 77099008 13997 4294967295 134512640 135987407 3221224560 3221223248 134811983 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18823 13997 364 364 0 18459 0
[pid=8842] vsize: 75292
Current children cumulated CPU time (s) 914.05
Current children cumulated vsize (Kb) 75292

[startup+990.049 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 55355 0 0 0 88916 3438 0 0 25 0 1 0 21840575 77099008 14034 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18823 14034 364 364 0 18459 0
[pid=8842] vsize: 75292
Current children cumulated CPU time (s) 923.54
Current children cumulated vsize (Kb) 75292

[startup+1000.05 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 55611 0 0 0 89843 3463 0 0 25 0 1 0 21840575 77230080 14053 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18855 14053 364 364 0 18491 0
[pid=8842] vsize: 75420
Current children cumulated CPU time (s) 933.06
Current children cumulated vsize (Kb) 75420

[startup+1010.06 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 55870 0 0 0 90767 3489 0 0 19 0 1 0 21840575 77230080 14075 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18855 14075 364 364 0 18491 0
[pid=8842] vsize: 75420
Current children cumulated CPU time (s) 942.56
Current children cumulated vsize (Kb) 75420

[startup+1020.06 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 56379 0 0 0 91691 3514 0 0 25 0 1 0 21840575 77230080 14110 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18855 14110 364 364 0 18491 0
[pid=8842] vsize: 75420
Current children cumulated CPU time (s) 952.05
Current children cumulated vsize (Kb) 75420

[startup+1030.06 s]
Raw data (loadavg): 1.01 1.01 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 56654 0 0 0 92614 3538 0 0 24 0 1 0 21840575 77365248 14148 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18888 14148 364 364 0 18524 0
[pid=8842] vsize: 75552
Current children cumulated CPU time (s) 961.52
Current children cumulated vsize (Kb) 75552

[startup+1040.06 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 56688 0 0 0 93527 3566 0 0 25 0 1 0 21840575 77365248 14182 4294967295 134512640 135987407 3221224560 3221223248 134811899 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18888 14182 364 364 0 18524 0
[pid=8842] vsize: 75552
Current children cumulated CPU time (s) 970.93
Current children cumulated vsize (Kb) 75552

[startup+1050.06 s]
Raw data (loadavg): 1.01 1.00 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 56949 0 0 0 94449 3593 0 0 25 0 1 0 21840575 77365248 14206 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18888 14206 364 364 0 18524 0
[pid=8842] vsize: 75552
Current children cumulated CPU time (s) 980.42
Current children cumulated vsize (Kb) 75552

[startup+1060.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 57199 0 0 0 95373 3618 0 0 25 0 1 0 21840575 77365248 14219 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18888 14219 364 364 0 18524 0
[pid=8842] vsize: 75552
Current children cumulated CPU time (s) 989.91
Current children cumulated vsize (Kb) 75552

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 57459 0 0 0 96299 3643 0 0 25 0 1 0 21840575 77500416 14242 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18921 14242 364 364 0 18557 0
[pid=8842] vsize: 75684
Current children cumulated CPU time (s) 999.42
Current children cumulated vsize (Kb) 75684

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 57723 0 0 0 97226 3668 0 0 25 0 1 0 21840575 77500416 14269 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18921 14269 364 364 0 18557 0
[pid=8842] vsize: 75684
Current children cumulated CPU time (s) 1008.94
Current children cumulated vsize (Kb) 75684

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 57997 0 0 0 98151 3693 0 0 25 0 1 0 21840575 77643776 14306 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18956 14306 364 364 0 18592 0
[pid=8842] vsize: 75824
Current children cumulated CPU time (s) 1018.44
Current children cumulated vsize (Kb) 75824

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 58251 0 0 0 99080 3716 0 0 25 0 1 0 21840575 77643776 14323 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18956 14323 364 364 0 18592 0
[pid=8842] vsize: 75824
Current children cumulated CPU time (s) 1027.96
Current children cumulated vsize (Kb) 75824

[startup+1110.06 s]
Raw data (loadavg): 1.08 1.02 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 58502 0 0 0 100000 3740 0 0 25 0 1 0 21840575 77643776 14337 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18956 14337 364 364 0 18592 0
[pid=8842] vsize: 75824
Current children cumulated CPU time (s) 1037.4
Current children cumulated vsize (Kb) 75824

[startup+1120.06 s]
Raw data (loadavg): 1.07 1.02 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 58756 0 0 0 100924 3766 0 0 22 0 1 0 21840575 77643776 14354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18956 14354 364 364 0 18592 0
[pid=8842] vsize: 75824
Current children cumulated CPU time (s) 1046.9
Current children cumulated vsize (Kb) 75824

[startup+1130.06 s]
Raw data (loadavg): 1.06 1.01 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 59004 0 0 0 101842 3792 0 0 25 0 1 0 21840575 77778944 14365 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18989 14365 364 364 0 18625 0
[pid=8842] vsize: 75956
Current children cumulated CPU time (s) 1056.34
Current children cumulated vsize (Kb) 75956

[startup+1140.06 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 59257 0 0 0 102763 3817 0 0 17 0 1 0 21840575 77778944 14381 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 18989 14381 364 364 0 18625 0
[pid=8842] vsize: 75956
Current children cumulated CPU time (s) 1065.8
Current children cumulated vsize (Kb) 75956

[startup+1150.06 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 59512 0 0 0 103692 3843 0 0 25 0 1 0 21840575 77778944 14399 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18989 14399 364 364 0 18625 0
[pid=8842] vsize: 75956
Current children cumulated CPU time (s) 1075.35
Current children cumulated vsize (Kb) 75956

[startup+1160.06 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 59547 0 0 0 104606 3872 0 0 25 0 1 0 21840575 77778944 14434 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 18989 14434 364 364 0 18625 0
[pid=8842] vsize: 75956
Current children cumulated CPU time (s) 1084.78
Current children cumulated vsize (Kb) 75956

[startup+1170.06 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 59827 0 0 0 105536 3896 0 0 25 0 1 0 21840575 77914112 14477 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19022 14477 364 364 0 18658 0
[pid=8842] vsize: 76088
Current children cumulated CPU time (s) 1094.32
Current children cumulated vsize (Kb) 76088

[startup+1180.07 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 60102 0 0 0 106464 3919 0 0 25 0 1 0 21840575 77914112 14515 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19022 14515 364 364 0 18658 0
[pid=8842] vsize: 76088
Current children cumulated CPU time (s) 1103.83
Current children cumulated vsize (Kb) 76088

[startup+1190.07 s]
Raw data (loadavg): 1.02 1.01 0.97 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 60375 0 0 0 107382 3946 0 0 25 0 1 0 21840575 78057472 14551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19057 14551 364 364 0 18693 0
[pid=8842] vsize: 76228
Current children cumulated CPU time (s) 1113.28
Current children cumulated vsize (Kb) 76228

[startup+1200.07 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 60408 0 0 0 108297 3975 0 0 25 0 1 0 21840575 78057472 14584 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19057 14584 364 364 0 18693 0
[pid=8842] vsize: 76228
Current children cumulated CPU time (s) 1122.72
Current children cumulated vsize (Kb) 76228

[startup+1210.07 s]
Raw data (loadavg): 1.09 1.02 0.98 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 60678 0 0 0 109224 3998 0 0 25 0 1 0 21840575 78057472 14617 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 19057 14617 364 364 0 18693 0
[pid=8842] vsize: 76228
Current children cumulated CPU time (s) 1132.22
Current children cumulated vsize (Kb) 76228

[startup+1220.07 s]
Raw data (loadavg): 1.07 1.02 0.98 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 60710 0 0 0 110153 4023 0 0 25 0 1 0 21840575 78188544 14649 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19089 14649 364 364 0 18725 0
[pid=8842] vsize: 76356
Current children cumulated CPU time (s) 1141.76
Current children cumulated vsize (Kb) 76356

[startup+1230.07 s]
Raw data (loadavg): 1.06 1.02 0.98 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 60741 0 0 0 111076 4049 0 0 25 0 1 0 21840575 78188544 14680 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19089 14680 364 364 0 18725 0
[pid=8842] vsize: 76356
Current children cumulated CPU time (s) 1151.25
Current children cumulated vsize (Kb) 76356

[startup+1240.07 s]
Raw data (loadavg): 1.05 1.02 0.98 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 61019 0 0 0 112007 4074 0 0 25 0 1 0 21840575 78188544 14721 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19089 14721 364 364 0 18725 0
[pid=8842] vsize: 76356
Current children cumulated CPU time (s) 1160.81
Current children cumulated vsize (Kb) 76356

[startup+1250.07 s]
Raw data (loadavg): 1.04 1.02 0.98 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 61032 0 0 0 112929 4099 0 0 25 0 1 0 21840575 78323712 14734 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19122 14734 364 364 0 18758 0
[pid=8842] vsize: 76488
Current children cumulated CPU time (s) 1170.28
Current children cumulated vsize (Kb) 76488

[startup+1260.07 s]
Raw data (loadavg): 1.04 1.02 0.98 2/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) R 8841 8842 4060 0 -1 0 61284 0 0 0 113859 4121 0 0 23 0 1 0 21840575 78323712 14749 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8842/statm): 19122 14749 364 364 0 18758 0
[pid=8842] vsize: 76488
Current children cumulated CPU time (s) 1179.8
Current children cumulated vsize (Kb) 76488

[startup+1270.07 s]
Raw data (loadavg): 1.03 1.02 0.98 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 61777 0 0 0 114789 4145 0 0 25 0 1 0 21840575 78323712 14768 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8842/statm): 19122 14768 364 364 0 18758 0
[pid=8842] vsize: 76488
Current children cumulated CPU time (s) 1189.34
Current children cumulated vsize (Kb) 76488

[startup+1280.07 s]
Raw data (loadavg): 1.02 1.02 0.98 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 61790 0 0 0 115710 4174 0 0 25 0 1 0 21840575 78458880 14781 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19155 14781 364 364 0 18791 0
[pid=8842] vsize: 76620
Current children cumulated CPU time (s) 1198.84
Current children cumulated vsize (Kb) 76620

[startup+1290.07 s]
Raw data (loadavg): 1.02 1.02 0.98 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 62041 0 0 0 116635 4199 0 0 25 0 1 0 21840575 78458880 14795 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19155 14795 364 364 0 18791 0
[pid=8842] vsize: 76620
Current children cumulated CPU time (s) 1208.34
Current children cumulated vsize (Kb) 76620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.08 s]
Raw data (loadavg): 1.02 1.02 0.98 1/55 8844
Raw data (/proc/8842/stat): 8842 (pb2sat) T 8841 8842 4060 0 -1 0 62041 0 0 0 116635 4199 0 0 25 0 1 0 21840575 78458880 14795 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8842/statm): 19155 14795 364 364 0 18791 0
[pid=8842] vsize: 76620
Current children cumulated CPU time (s) 1208.34
Current children cumulated vsize (Kb) 76620

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

Child status: 0
Real time (s): 1290.29
CPU time (s): 1208.56
CPU user time (s): 1166.54
CPU system time (s): 42.0266
CPU usage (%): 93.666
Max. virtual memory (cumulated for all children) (Kb): 76620

Verifier Data

ERROR: no interpretation found !