Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUMfa6454a9831f2da4180d8bfab7c0a21b
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 2304
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 178464600
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 178464600
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables3288
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 constraint14
Maximum length of a constraint123

Trace number 10561

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 18:40:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9263 boxname=wulflinc8 idbench=1059 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 9263
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
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.023
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918004 kB
Buffers:         13768 kB
Cached:          85512 kB
SwapCached:          0 kB
Active:          45744 kB
Inactive:        56424 kB
HighTotal:      131008 kB
HighFree:        42448 kB
LowTotal:       903652 kB
LowFree:        875556 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8860 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:01:58 (client local time) WITH STATUS 0 IN 1204.28 SECONDS
stats: 9263 7 1204.28 0

Solver Data

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

c Decision: 1092/85892	Time: 7.58085/86400
c Decision: 1116/85892	Time: 10.4844/86400
c Decision: 1118/85892	Time: 13.085/86400
c Decision: 1118/85892	Time: 15.4606/86400
c Decision: 1126/85892	Time: 18.7272/86400
c Decision: 1141/85892	Time: 23.4184/86400
c Decision: 1141/85892	Time: 25.4321/86400
c Decision: 1141/85892	Time: 27.6748/86400
c Decision: 1141/85892	Time: 29.8195/86400
c Decision: 1141/85892	Time: 32.3201/86400
c Decision: 1141/85892	Time: 35.1357/86400
c Decision: 1141/85892	Time: 37.6563/86400
c Decision: 1141/85892	Time: 40.0799/86400
c Decision: 1141/85892	Time: 42.6995/86400
c Decision: 1192/85892	Time: 52.326/86400
c Decision: 1192/85892	Time: 55.4196/86400
c Decision: 1201/85892	Time: 58.6781/86400
c Decision: 1201/85892	Time: 62.3945/86400
c Decision: 1201/85892	Time: 65.1211/86400
c Decision: 1215/85892	Time: 72.399/86400
c Decision: 1215/85892	Time: 76.3194/86400
c Decision: 1215/85892	Time: 79.3809/86400
c Decision: 1238/85892	Time: 88.8095/86400
c Decision: 1238/85892	Time: 91.0342/86400
c Decision: 1238/85892	Time: 94.4706/86400
c Decision: 1257/85892	Time: 99.4519/86400
c Decision: 1257/85892	Time: 102.671/86400
c Decision: 1257/85892	Time: 105.808/86400
c Decision: 1260/85892	Time: 109.166/86400
c Decision: 1260/85892	Time: 112.354/86400
c Decision: 1260/85892	Time: 115.923/86400
c Decision: 1260/85892	Time: 119.362/86400
c Decision: 1267/85892	Time: 122.82/86400
c Decision: 1278/85892	Time: 133.794/86400
c Decision: 1278/85892	Time: 137.676/86400
c Decision: 1278/85892	Time: 141.689/86400
c Decision: 1289/85892	Time: 148.942/86400
c Decision: 1303/85892	Time: 160.031/86400
c Decision: 1313/85892	Time: 169.843/86400
c Decision: 1320/85892	Time: 178.832/86400
c Decision: 1333/85892	Time: 187.859/86400
c Decision: 1355/85892	Time: 195.742/86400
c Decision: 1355/85892	Time: 200.231/86400
c Decision: 1355/85892	Time: 204.443/86400
c Decision: 1357/85892	Time: 208.932/86400
c Decision: 1375/85892	Time: 223.076/86400
c Decision: 1377/85892	Time: 228.83/86400
c Decision: 1377/85892	Time: 233.519/86400
c Decision: 1386/85892	Time: 242/86400
c Decision: 1386/85892	Time: 246.95/86400
c Decision: 1388/85892	Time: 255.544/86400
c Decision: 1389/85892	Time: 262.164/86400
c Decision: 1400/85892	Time: 271.153/86400
c Decision: 1400/85892	Time: 276.417/86400
c Decision: 1400/85892	Time: 282.085/86400
c Decision: 1404/85892	Time: 293.9/86400
c Decision: 1407/85892	Time: 300.096/86400
c Decision: 1407/85892	Time: 305.685/86400
c Decision: 1407/85892	Time: 311.118/86400
c Decision: 1407/85892	Time: 317.152/86400
c Decision: 1455/85892	Time: 333.966/86400
c Decision: 1455/85892	Time: 339.099/86400
c Decision: 1466/85892	Time: 351.276/86400
c Decision: 1485/85892	Time: 363.14/86400
c Decision: 1500/85892	Time: 376.109/86400
c Decision: 1517/85892	Time: 398.383/86400
c Decision: 1517/85892	Time: 405.659/86400
c Decision: 1517/85892	Time: 409.38/86400
c Decision: 1519/85892	Time: 412.79/86400
c Decision: 1522/85892	Time: 417.484/86400
c Decision: 1522/85892	Time: 421.125/86400
c Decision: 1561/85892	Time: 431.81/86400
c Decision: 1561/85892	Time: 434.739/86400
c Decision: 1561/85892	Time: 438.539/86400
c Decision: 1561/85892	Time: 441.62/86400
c Decision: 1561/85892	Time: 445.472/86400
c Decision: 1561/85892	Time: 448.486/86400
c Decision: 1561/85892	Time: 451.784/86400
c Decision: 1561/85892	Time: 455.795/86400
c Decision: 1565/85892	Time: 462.769/86400
c Decision: 1565/85892	Time: 467.377/86400
c Decision: 1565/85892	Time: 472.084/86400
c Decision: 1565/85892	Time: 476.298/86400
c Decision: 1565/85892	Time: 481.71/86400
c Decision: 1568/85892	Time: 488.885/86400
c Decision: 1568/85892	Time: 495.236/86400
c Decision: 1568/85892	Time: 499.456/86400
c Decision: 1568/85892	Time: 504.758/86400
c Decision: 1572/85892	Time: 514.771/86400
c Decision: 1574/85892	Time: 525.604/86400
c Decision: 1574/85892	Time: 531.5/86400
c Decision: 1587/85892	Time: 540.182/86400
c Decision: 1587/85892	Time: 546.749/86400
c Decision: 1592/85892	Time: 558.988/86400
c Decision: 1598/85892	Time: 572.018/86400
c Decision: 1600/85892	Time: 584.591/86400
c Decision: 1600/85892	Time: 591.774/86400
c Decision: 1613/85892	Time: 604.384/86400
c Decision: 1615/85892	Time: 615.97/86400
c Decision: 1615/85892	Time: 622.453/86400
c Decision: 1618/85892	Time: 633.215/86400
c Decision: 1634/85892	Time: 648.648/86400
c Decision: 1634/85892	Time: 655.976/86400
c Decision: 1640/85892	Time: 669.033/86400
c Decision: 1640/85892	Time: 676.704/86400
c Decision: 1640/85892	Time: 685.15/86400
c Decision: 1640/85892	Time: 692.328/86400
c Decision: 1640/85892	Time: 700.276/86400
c Decision: 1658/85892	Time: 710.831/86400
c Decision: 1658/85892	Time: 716.235/86400
c Decision: 1658/85892	Time: 723.645/86400
c Decision: 1673/85892	Time: 733.952/86400
c Decision: 1674/85892	Time: 742.902/86400
c Decision: 1674/85892	Time: 749.34/86400
c Decision: 1674/85892	Time: 754.533/86400
c Decision: 1674/85892	Time: 761.771/86400
c Decision: 1674/85892	Time: 767.565/86400
c Decision: 1674/85892	Time: 773.461/86400
c Decision: 1674/85892	Time: 780.511/86400
c Decision: 1674/85892	Time: 787.642/86400
c Decision: 1674/85892	Time: 795.769/86400
c Decision: 1674/85892	Time: 803.63/86400
c Decision: 1675/85892	Time: 816.442/86400
c Decision: 1675/85892	Time: 824.228/86400
c Decision: 1697/85892	Time: 840.666/86400
c Decision: 1697/85892	Time: 847.986/86400
c Decision: 1697/85892	Time: 855.189/86400
c Decision: 1697/85892	Time: 862.416/86400
c Decision: 1697/85892	Time: 869.218/86400
c Decision: 1703/85892	Time: 882.414/86400
c Decision: 1703/85892	Time: 889.363/86400
c Decision: 1703/85892	Time: 897.271/86400
c Decision: 1709/85892	Time: 906.166/86400
c Decision: 1709/85892	Time: 912.351/86400
c Decision: 1709/85892	Time: 918.714/86400
c Decision: 1735/85892	Time: 932.692/86400
c Decision: 1735/85892	Time: 938.837/86400
c Decision: 1751/85892	Time: 949.39/86400
c Decision: 1751/85892	Time: 955.427/86400
c Decision: 1757/85892	Time: 967.331/86400
c Decision: 1757/85892	Time: 974.941/86400
c Decision: 1757/85892	Time: 981.498/86400
c Decision: 1757/85892	Time: 988.378/86400
c Decision: 1772/85892	Time: 1004.63/86400
c Decision: 1803/85892	Time: 1035.18/86400
c Decision: 1808/85892	Time: 1049.81/86400
c Decision: 1814/85892	Time: 1061.61/86400
c Decision: 1826/85892	Time: 1085.56/86400
c Decision: 1829/85892	Time: 1095.09/86400
c Decision: 1833/85892	Time: 1109.5/86400
c Decision: 1833/85892	Time: 1118.1/86400
c Decision: 1839/85892	Time: 1133.97/86400
c Decision: 1874/85892	Time: 1153.23/86400
c Decision: 1874/85892	Time: 1161.43/86400
c Decision: 1874/85892	Time: 1168.94/86400
c Decision: 1874/85892	Time: 1176.24/86400
c Decision: 1899/85892	Time: 1197.14/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/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22435532 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 373 2 364 364 0 9 0
[pid=10552] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-pp08aCUTS.opb

[startup+10.0012 s]
Raw data (loadavg): 0.93 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 13029 0 0 0 812 79 0 0 21 0 1 0 22435532 39723008 7353 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 9698 7353 364 364 0 9334 0
[pid=10552] vsize: 38792
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (Kb) 38792

[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 13806 0 0 0 1662 131 0 0 25 0 1 0 22435532 44744704 7626 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 10924 7626 364 364 0 10560 0
[pid=10552] vsize: 43696
Current children cumulated CPU time (s) 17.93
Current children cumulated vsize (Kb) 43696

[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 14241 0 0 0 2507 180 0 0 25 0 1 0 22435532 45031424 7725 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 10994 7725 364 364 0 10630 0
[pid=10552] vsize: 43976
Current children cumulated CPU time (s) 26.87
Current children cumulated vsize (Kb) 43976

[startup+40.0036 s]
Raw data (loadavg): 0.95 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 14825 0 0 0 3384 222 0 0 25 0 1 0 22435532 45166592 7805 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11027 7805 364 364 0 10663 0
[pid=10552] vsize: 44108
Current children cumulated CPU time (s) 36.06
Current children cumulated vsize (Kb) 44108

[startup+50.0043 s]
Raw data (loadavg): 0.96 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 15584 0 0 0 4264 262 0 0 25 0 1 0 22435532 45305856 7892 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11061 7892 364 364 0 10697 0
[pid=10552] vsize: 44244
Current children cumulated CPU time (s) 45.26
Current children cumulated vsize (Kb) 44244

[startup+60.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 15868 0 0 0 5133 303 0 0 25 0 1 0 22435532 45572096 8008 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11126 8008 364 364 0 10762 0
[pid=10552] vsize: 44504
Current children cumulated CPU time (s) 54.36
Current children cumulated vsize (Kb) 44504

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 16464 0 0 0 6004 347 0 0 22 0 1 0 22435532 45838336 8100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11191 8100 364 364 0 10827 0
[pid=10552] vsize: 44764
Current children cumulated CPU time (s) 63.51
Current children cumulated vsize (Kb) 44764

[startup+80.0057 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 16902 0 0 0 6874 389 0 0 25 0 1 0 22435532 45973504 8202 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11224 8202 364 364 0 10860 0
[pid=10552] vsize: 44896
Current children cumulated CPU time (s) 72.63
Current children cumulated vsize (Kb) 44896

[startup+90.0065 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 17349 0 0 0 7759 426 0 0 25 0 1 0 22435532 46239744 8313 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11289 8313 364 364 0 10925 0
[pid=10552] vsize: 45156
Current children cumulated CPU time (s) 81.85
Current children cumulated vsize (Kb) 45156

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 17601 0 0 0 8639 470 0 0 25 0 1 0 22435532 46526464 8397 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11359 8397 364 364 0 10995 0
[pid=10552] vsize: 45436
Current children cumulated CPU time (s) 91.09
Current children cumulated vsize (Kb) 45436

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 18212 0 0 0 9529 507 0 0 25 0 1 0 22435532 46673920 8504 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11395 8504 364 364 0 11031 0
[pid=10552] vsize: 45580
Current children cumulated CPU time (s) 100.36
Current children cumulated vsize (Kb) 45580

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 18619 0 0 0 10417 545 0 0 25 0 1 0 22435532 46817280 8575 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11430 8575 364 364 0 11066 0
[pid=10552] vsize: 45720
Current children cumulated CPU time (s) 109.62
Current children cumulated vsize (Kb) 45720

[startup+130.008 s]
Raw data (loadavg): 1.07 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 19202 0 0 0 11294 587 0 0 25 0 1 0 22435532 47104000 8654 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11500 8654 364 364 0 11136 0
[pid=10552] vsize: 46000
Current children cumulated CPU time (s) 118.81
Current children cumulated vsize (Kb) 46000

[startup+140.008 s]
Raw data (loadavg): 1.06 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 19772 0 0 0 12183 623 0 0 25 0 1 0 22435532 47239168 8720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11533 8720 364 364 0 11169 0
[pid=10552] vsize: 46132
Current children cumulated CPU time (s) 128.06
Current children cumulated vsize (Kb) 46132

[startup+150.009 s]
Raw data (loadavg): 1.05 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 19873 0 0 0 13065 661 0 0 25 0 1 0 22435532 47374336 8821 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11566 8821 364 364 0 11202 0
[pid=10552] vsize: 46264
Current children cumulated CPU time (s) 137.26
Current children cumulated vsize (Kb) 46264

[startup+160.009 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 20462 0 0 0 13966 693 0 0 25 0 1 0 22435532 47648768 8906 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11633 8906 364 364 0 11269 0
[pid=10552] vsize: 46532
Current children cumulated CPU time (s) 146.59
Current children cumulated vsize (Kb) 46532

[startup+170.01 s]
Raw data (loadavg): 1.03 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 20680 0 0 0 14849 734 0 0 25 0 1 0 22435532 47783936 8956 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11666 8956 364 364 0 11302 0
[pid=10552] vsize: 46664
Current children cumulated CPU time (s) 155.83
Current children cumulated vsize (Kb) 46664

[startup+180.01 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 20904 0 0 0 15733 770 0 0 25 0 1 0 22435532 47915008 9012 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11698 9012 364 364 0 11334 0
[pid=10552] vsize: 46792
Current children cumulated CPU time (s) 165.03
Current children cumulated vsize (Kb) 46792

[startup+190.011 s]
Raw data (loadavg): 1.02 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 21151 0 0 0 16609 811 0 0 25 0 1 0 22435532 48062464 9091 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11734 9091 364 364 0 11370 0
[pid=10552] vsize: 46936
Current children cumulated CPU time (s) 174.2
Current children cumulated vsize (Kb) 46936

[startup+200.011 s]
Raw data (loadavg): 1.02 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 21386 0 0 0 17488 854 0 0 25 0 1 0 22435532 48205824 9158 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11769 9158 364 364 0 11405 0
[pid=10552] vsize: 47076
Current children cumulated CPU time (s) 183.42
Current children cumulated vsize (Kb) 47076

[startup+210.012 s]
Raw data (loadavg): 1.02 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 21623 0 0 0 18381 890 0 0 25 0 1 0 22435532 48205824 9227 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11769 9227 364 364 0 11405 0
[pid=10552] vsize: 47076
Current children cumulated CPU time (s) 192.71
Current children cumulated vsize (Kb) 47076

[startup+220.013 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 21843 0 0 0 19270 928 0 0 25 0 1 0 22435532 48345088 9279 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11803 9279 364 364 0 11439 0
[pid=10552] vsize: 47212
Current children cumulated CPU time (s) 201.98
Current children cumulated vsize (Kb) 47212

[startup+230.012 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 22236 0 0 0 20174 958 0 0 25 0 1 0 22435532 48476160 9336 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11835 9336 364 364 0 11471 0
[pid=10552] vsize: 47340
Current children cumulated CPU time (s) 211.32
Current children cumulated vsize (Kb) 47340

[startup+240.013 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 22463 0 0 0 21069 993 0 0 25 0 1 0 22435532 48611328 9395 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11868 9395 364 364 0 11504 0
[pid=10552] vsize: 47472
Current children cumulated CPU time (s) 220.62
Current children cumulated vsize (Kb) 47472

[startup+250.014 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 22683 0 0 0 21966 1027 0 0 25 0 1 0 22435532 48611328 9447 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11868 9447 364 364 0 11504 0
[pid=10552] vsize: 47472
Current children cumulated CPU time (s) 229.93
Current children cumulated vsize (Kb) 47472

[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 23046 0 0 0 22856 1063 0 0 25 0 1 0 22435532 48758784 9474 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 11904 9474 364 364 0 11540 0
[pid=10552] vsize: 47616
Current children cumulated CPU time (s) 239.19
Current children cumulated vsize (Kb) 47616

[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 23259 0 0 0 23751 1097 0 0 25 0 1 0 22435532 48889856 9519 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11936 9519 364 364 0 11572 0
[pid=10552] vsize: 47744
Current children cumulated CPU time (s) 248.48
Current children cumulated vsize (Kb) 47744

[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 23483 0 0 0 24646 1131 0 0 25 0 1 0 22435532 48889856 9575 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11936 9575 364 364 0 11572 0
[pid=10552] vsize: 47744
Current children cumulated CPU time (s) 257.77
Current children cumulated vsize (Kb) 47744

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 23847 0 0 0 25555 1159 0 0 25 0 1 0 22435532 49020928 9603 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11968 9603 364 364 0 11604 0
[pid=10552] vsize: 47872
Current children cumulated CPU time (s) 267.14
Current children cumulated vsize (Kb) 47872

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 24067 0 0 0 26458 1188 0 0 25 0 1 0 22435532 49020928 9655 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 11968 9655 364 364 0 11604 0
[pid=10552] vsize: 47872
Current children cumulated CPU time (s) 276.46
Current children cumulated vsize (Kb) 47872

[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 24284 0 0 0 27359 1222 0 0 25 0 1 0 22435532 49152000 9704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12000 9704 364 364 0 11636 0
[pid=10552] vsize: 48000
Current children cumulated CPU time (s) 285.81
Current children cumulated vsize (Kb) 48000

[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 24504 0 0 0 28265 1254 0 0 25 0 1 0 22435532 49287168 9756 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 12033 9756 364 364 0 11669 0
[pid=10552] vsize: 48132
Current children cumulated CPU time (s) 295.19
Current children cumulated vsize (Kb) 48132

[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 24876 0 0 0 29174 1282 0 0 25 0 1 0 22435532 49287168 9792 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12033 9792 364 364 0 11669 0
[pid=10552] vsize: 48132
Current children cumulated CPU time (s) 304.56
Current children cumulated vsize (Kb) 48132

[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 25080 0 0 0 30069 1318 0 0 25 0 1 0 22435532 49422336 9828 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 12066 9828 364 364 0 11702 0
[pid=10552] vsize: 48264
Current children cumulated CPU time (s) 313.87
Current children cumulated vsize (Kb) 48264

[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 25468 0 0 0 30977 1347 0 0 25 0 1 0 22435532 49553408 9880 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12098 9880 364 364 0 11734 0
[pid=10552] vsize: 48392
Current children cumulated CPU time (s) 323.24
Current children cumulated vsize (Kb) 48392

[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 25522 0 0 0 31876 1381 0 0 25 0 1 0 22435532 49553408 9934 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 12098 9934 364 364 0 11734 0
[pid=10552] vsize: 48392
Current children cumulated CPU time (s) 332.57
Current children cumulated vsize (Kb) 48392

[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 25731 0 0 0 32782 1411 0 0 25 0 1 0 22435532 49688576 9975 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12131 9975 364 364 0 11767 0
[pid=10552] vsize: 48524
Current children cumulated CPU time (s) 341.93
Current children cumulated vsize (Kb) 48524

[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 25928 0 0 0 33694 1444 0 0 25 0 1 0 22435532 49688576 10004 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12131 10004 364 364 0 11767 0
[pid=10552] vsize: 48524
Current children cumulated CPU time (s) 351.38
Current children cumulated vsize (Kb) 48524

[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 26129 0 0 0 34595 1479 0 0 25 0 1 0 22435532 49819648 10037 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 12163 10037 364 364 0 11799 0
[pid=10552] vsize: 48652
Current children cumulated CPU time (s) 360.74
Current children cumulated vsize (Kb) 48652

[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 26348 0 0 0 35491 1514 0 0 25 0 1 0 22435532 49819648 10088 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12163 10088 364 364 0 11799 0
[pid=10552] vsize: 48652
Current children cumulated CPU time (s) 370.05
Current children cumulated vsize (Kb) 48652

[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 26397 0 0 0 36386 1547 0 0 25 0 1 0 22435532 49971200 10137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 12200 10137 364 364 0 11836 0
[pid=10552] vsize: 48800
Current children cumulated CPU time (s) 379.33
Current children cumulated vsize (Kb) 48800

[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 26618 0 0 0 37297 1578 0 0 25 0 1 0 22435532 49971200 10190 4294967295 134512640 135987407 3221224560 3221223248 134811912 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12200 10190 364 364 0 11836 0
[pid=10552] vsize: 48800
Current children cumulated CPU time (s) 388.75
Current children cumulated vsize (Kb) 48800

[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 26671 0 0 0 38197 1612 0 0 25 0 1 0 22435532 50106368 10243 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12233 10243 364 364 0 11869 0
[pid=10552] vsize: 48932
Current children cumulated CPU time (s) 398.09
Current children cumulated vsize (Kb) 48932

[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 26923 0 0 0 39118 1637 0 0 25 0 1 0 22435532 50376704 10327 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12299 10327 364 364 0 11935 0
[pid=10552] vsize: 49196
Current children cumulated CPU time (s) 407.55
Current children cumulated vsize (Kb) 49196

[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 27326 0 0 0 40001 1674 0 0 25 0 1 0 22435532 50651136 10394 4294967295 134512640 135987407 3221224560 3221223280 134814092 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12366 10394 364 364 0 12002 0
[pid=10552] vsize: 49464
Current children cumulated CPU time (s) 416.75
Current children cumulated vsize (Kb) 49464

[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 27860 0 0 0 40894 1711 0 0 25 0 1 0 22435532 50651136 10424 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12366 10424 364 364 0 12002 0
[pid=10552] vsize: 49464
Current children cumulated CPU time (s) 426.05
Current children cumulated vsize (Kb) 49464

[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 27906 0 0 0 41767 1754 0 0 25 0 1 0 22435532 50786304 10470 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12399 10470 364 364 0 12035 0
[pid=10552] vsize: 49596
Current children cumulated CPU time (s) 435.21
Current children cumulated vsize (Kb) 49596

[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 28459 0 0 0 42670 1788 0 0 25 0 1 0 22435532 50921472 10519 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 12432 10519 364 364 0 12068 0
[pid=10552] vsize: 49728
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (Kb) 49728

[startup+490.024 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 29012 0 0 0 43572 1820 0 0 25 0 1 0 22435532 59445248 10568 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14513 10568 364 364 0 14149 0
[pid=10552] vsize: 58052
Current children cumulated CPU time (s) 453.92
Current children cumulated vsize (Kb) 58052

[startup+500.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 29407 0 0 0 44467 1856 0 0 25 0 1 0 22435532 59576320 10627 4294967295 134512640 135987407 3221224560 3221223120 134788443 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14545 10627 364 364 0 14181 0
[pid=10552] vsize: 58180
Current children cumulated CPU time (s) 463.23
Current children cumulated vsize (Kb) 58180

[startup+510.023 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 29799 0 0 0 45370 1888 0 0 25 0 1 0 22435532 59719680 10683 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14580 10683 364 364 0 14216 0
[pid=10552] vsize: 58320
Current children cumulated CPU time (s) 472.58
Current children cumulated vsize (Kb) 58320

[startup+520.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 30176 0 0 0 46269 1924 0 0 25 0 1 0 22435532 59719680 10724 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14580 10724 364 364 0 14216 0
[pid=10552] vsize: 58320
Current children cumulated CPU time (s) 481.93
Current children cumulated vsize (Kb) 58320

[startup+530.024 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 30390 0 0 0 47172 1957 0 0 25 0 1 0 22435532 59858944 10770 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14614 10770 364 364 0 14250 0
[pid=10552] vsize: 58456
Current children cumulated CPU time (s) 491.29
Current children cumulated vsize (Kb) 58456

[startup+540.025 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 30755 0 0 0 48083 1987 0 0 25 0 1 0 22435532 59858944 10799 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14614 10799 364 364 0 14250 0
[pid=10552] vsize: 58456
Current children cumulated CPU time (s) 500.7
Current children cumulated vsize (Kb) 58456

[startup+550.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 31136 0 0 0 48991 2016 0 0 25 0 1 0 22435532 59990016 10844 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14646 10844 364 364 0 14282 0
[pid=10552] vsize: 58584
Current children cumulated CPU time (s) 510.07
Current children cumulated vsize (Kb) 58584

[startup+560.026 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 31346 0 0 0 49893 2047 0 0 25 0 1 0 22435532 59990016 10886 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14646 10886 364 364 0 14282 0
[pid=10552] vsize: 58584
Current children cumulated CPU time (s) 519.4
Current children cumulated vsize (Kb) 58584

[startup+570.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 31392 0 0 0 50778 2086 0 0 25 0 1 0 22435532 60125184 10932 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14679 10932 364 364 0 14315 0
[pid=10552] vsize: 58716
Current children cumulated CPU time (s) 528.64
Current children cumulated vsize (Kb) 58716

[startup+580.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 31759 0 0 0 51684 2117 0 0 25 0 1 0 22435532 60125184 10963 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14679 10963 364 364 0 14315 0
[pid=10552] vsize: 58716
Current children cumulated CPU time (s) 538.01
Current children cumulated vsize (Kb) 58716

[startup+590.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 31953 0 0 0 52584 2150 0 0 25 0 1 0 22435532 60125184 10989 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14679 10989 364 364 0 14315 0
[pid=10552] vsize: 58716
Current children cumulated CPU time (s) 547.34
Current children cumulated vsize (Kb) 58716

[startup+600.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 32160 0 0 0 53479 2183 0 0 25 0 1 0 22435532 60260352 11028 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14712 11028 364 364 0 14348 0
[pid=10552] vsize: 58848
Current children cumulated CPU time (s) 556.62
Current children cumulated vsize (Kb) 58848

[startup+610.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 32372 0 0 0 54381 2217 0 0 25 0 1 0 22435532 60260352 11072 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14712 11072 364 364 0 14348 0
[pid=10552] vsize: 58848
Current children cumulated CPU time (s) 565.98
Current children cumulated vsize (Kb) 58848

[startup+620.029 s]
Raw data (loadavg): 1.01 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 32409 0 0 0 55275 2252 0 0 25 0 1 0 22435532 60395520 11109 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14745 11109 364 364 0 14381 0
[pid=10552] vsize: 58980
Current children cumulated CPU time (s) 575.27
Current children cumulated vsize (Kb) 58980

[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 32616 0 0 0 56169 2287 0 0 25 0 1 0 22435532 60395520 11148 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14745 11148 364 364 0 14381 0
[pid=10552] vsize: 58980
Current children cumulated CPU time (s) 584.56
Current children cumulated vsize (Kb) 58980

[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 32811 0 0 0 57065 2322 0 0 25 0 1 0 22435532 60530688 11175 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14778 11175 364 364 0 14414 0
[pid=10552] vsize: 59112
Current children cumulated CPU time (s) 593.87
Current children cumulated vsize (Kb) 59112

[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 32996 0 0 0 57969 2355 0 0 25 0 1 0 22435532 60530688 11192 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14778 11192 364 364 0 14414 0
[pid=10552] vsize: 59112
Current children cumulated CPU time (s) 603.24
Current children cumulated vsize (Kb) 59112

[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 33201 0 0 0 58872 2386 0 0 25 0 1 0 22435532 60530688 11229 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14778 11229 364 364 0 14414 0
[pid=10552] vsize: 59112
Current children cumulated CPU time (s) 612.58
Current children cumulated vsize (Kb) 59112

[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 33414 0 0 0 59774 2419 0 0 25 0 1 0 22435532 60669952 11274 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14812 11274 364 364 0 14448 0
[pid=10552] vsize: 59248
Current children cumulated CPU time (s) 621.93
Current children cumulated vsize (Kb) 59248

[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 33627 0 0 0 60683 2447 0 0 25 0 1 0 22435532 60669952 11319 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14812 11319 364 364 0 14448 0
[pid=10552] vsize: 59248
Current children cumulated CPU time (s) 631.3
Current children cumulated vsize (Kb) 59248

[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 33828 0 0 0 61594 2478 0 0 25 0 1 0 22435532 60817408 11352 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14848 11352 364 364 0 14484 0
[pid=10552] vsize: 59392
Current children cumulated CPU time (s) 640.72
Current children cumulated vsize (Kb) 59392

[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 33860 0 0 0 62500 2508 0 0 25 0 1 0 22435532 60817408 11384 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14848 11384 364 364 0 14484 0
[pid=10552] vsize: 59392
Current children cumulated CPU time (s) 650.08
Current children cumulated vsize (Kb) 59392

[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 34070 0 0 0 63411 2538 0 0 25 0 1 0 22435532 60952576 11426 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14881 11426 364 364 0 14517 0
[pid=10552] vsize: 59524
Current children cumulated CPU time (s) 659.49
Current children cumulated vsize (Kb) 59524

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 34311 0 0 0 64323 2566 0 0 25 0 1 0 22435532 61087744 11499 4294967295 134512640 135987407 3221224560 3221223376 134815372 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14914 11499 364 364 0 14550 0
[pid=10552] vsize: 59656
Current children cumulated CPU time (s) 668.89
Current children cumulated vsize (Kb) 59656

[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 34513 0 0 0 65226 2596 0 0 25 0 1 0 22435532 61227008 11533 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14948 11533 364 364 0 14584 0
[pid=10552] vsize: 59792
Current children cumulated CPU time (s) 678.22
Current children cumulated vsize (Kb) 59792

[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 34716 0 0 0 66133 2627 0 0 25 0 1 0 22435532 61227008 11568 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 14948 11568 364 364 0 14584 0
[pid=10552] vsize: 59792
Current children cumulated CPU time (s) 687.6
Current children cumulated vsize (Kb) 59792

[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 35068 0 0 0 67059 2652 0 0 25 0 1 0 22435532 61227008 11584 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14948 11584 364 364 0 14584 0
[pid=10552] vsize: 59792
Current children cumulated CPU time (s) 697.11
Current children cumulated vsize (Kb) 59792

[startup+760.035 s]
Raw data (loadavg): 1.08 1.02 1.01 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 35255 0 0 0 67976 2680 0 0 25 0 1 0 22435532 61362176 11603 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14981 11603 364 364 0 14617 0
[pid=10552] vsize: 59924
Current children cumulated CPU time (s) 706.56
Current children cumulated vsize (Kb) 59924

[startup+770.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 35457 0 0 0 68886 2709 0 0 25 0 1 0 22435532 61362176 11637 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 14981 11637 364 364 0 14617 0
[pid=10552] vsize: 59924
Current children cumulated CPU time (s) 715.95
Current children cumulated vsize (Kb) 59924

[startup+780.035 s]
Raw data (loadavg): 1.06 1.01 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 35670 0 0 0 69800 2739 0 0 25 0 1 0 22435532 61497344 11682 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15014 11682 364 364 0 14650 0
[pid=10552] vsize: 60056
Current children cumulated CPU time (s) 725.39
Current children cumulated vsize (Kb) 60056

[startup+790.036 s]
Raw data (loadavg): 1.05 1.01 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 35865 0 0 0 70706 2770 0 0 25 0 1 0 22435532 61497344 11709 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15014 11709 364 364 0 14650 0
[pid=10552] vsize: 60056
Current children cumulated CPU time (s) 734.76
Current children cumulated vsize (Kb) 60056

[startup+800.037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 36073 0 0 0 71613 2803 0 0 25 0 1 0 22435532 61628416 11749 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15046 11749 364 364 0 14682 0
[pid=10552] vsize: 60184
Current children cumulated CPU time (s) 744.16
Current children cumulated vsize (Kb) 60184

[startup+810.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 36452 0 0 0 72525 2833 0 0 25 0 1 0 22435532 62316544 11960 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15214 11960 364 364 0 14850 0
[pid=10552] vsize: 60856
Current children cumulated CPU time (s) 753.58
Current children cumulated vsize (Kb) 60856

[startup+820.037 s]
Raw data (loadavg): 1.03 1.01 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 36663 0 0 0 73433 2865 0 0 25 0 1 0 22435532 61763584 11835 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15079 11835 364 364 0 14715 0
[pid=10552] vsize: 60316
Current children cumulated CPU time (s) 762.98
Current children cumulated vsize (Kb) 60316

[startup+830.037 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 37027 0 0 0 74345 2894 0 0 25 0 1 0 22435532 61763584 11863 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15079 11863 364 364 0 14715 0
[pid=10552] vsize: 60316
Current children cumulated CPU time (s) 772.39
Current children cumulated vsize (Kb) 60316

[startup+840.038 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 37232 0 0 0 75258 2925 0 0 25 0 1 0 22435532 61894656 11900 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15111 11900 364 364 0 14747 0
[pid=10552] vsize: 60444
Current children cumulated CPU time (s) 781.83
Current children cumulated vsize (Kb) 60444

[startup+850.038 s]
Raw data (loadavg): 1.09 1.02 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 37438 0 0 0 76171 2955 0 0 25 0 1 0 22435532 61894656 11938 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15111 11938 364 364 0 14747 0
[pid=10552] vsize: 60444
Current children cumulated CPU time (s) 791.26
Current children cumulated vsize (Kb) 60444

[startup+860.038 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 37805 0 0 0 77090 2981 0 0 25 0 1 0 22435532 62029824 11969 4294967295 134512640 135987407 3221224560 3221223248 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15144 11969 364 364 0 14780 0
[pid=10552] vsize: 60576
Current children cumulated CPU time (s) 800.71
Current children cumulated vsize (Kb) 60576

[startup+870.038 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 37988 0 0 0 78008 3010 0 0 25 0 1 0 22435532 62029824 11984 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15144 11984 364 364 0 14780 0
[pid=10552] vsize: 60576
Current children cumulated CPU time (s) 810.18
Current children cumulated vsize (Kb) 60576

[startup+880.039 s]
Raw data (loadavg): 1.13 1.04 1.01 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 38024 0 0 0 78921 3040 0 0 25 0 1 0 22435532 62029824 12020 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15144 12020 364 364 0 14780 0
[pid=10552] vsize: 60576
Current children cumulated CPU time (s) 819.61
Current children cumulated vsize (Kb) 60576

[startup+890.04 s]
Raw data (loadavg): 1.11 1.04 1.01 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 38399 0 0 0 79837 3069 0 0 25 0 1 0 22435532 62164992 12059 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15177 12059 364 364 0 14813 0
[pid=10552] vsize: 60708
Current children cumulated CPU time (s) 829.06
Current children cumulated vsize (Kb) 60708

[startup+900.04 s]
Raw data (loadavg): 1.09 1.03 1.01 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 38464 0 0 0 80721 3107 0 0 25 0 1 0 22435532 62300160 12124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15210 12124 364 364 0 14846 0
[pid=10552] vsize: 60840
Current children cumulated CPU time (s) 838.28
Current children cumulated vsize (Kb) 60840

[startup+910.04 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 38669 0 0 0 81622 3139 0 0 25 0 1 0 22435532 62300160 12161 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15210 12161 364 364 0 14846 0
[pid=10552] vsize: 60840
Current children cumulated CPU time (s) 847.61
Current children cumulated vsize (Kb) 60840

[startup+920.041 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 38866 0 0 0 82537 3167 0 0 25 0 1 0 22435532 62435328 12190 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15243 12190 364 364 0 14879 0
[pid=10552] vsize: 60972
Current children cumulated CPU time (s) 857.04
Current children cumulated vsize (Kb) 60972

[startup+930.041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 39055 0 0 0 83448 3195 0 0 25 0 1 0 22435532 62435328 12211 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15243 12211 364 364 0 14879 0
[pid=10552] vsize: 60972
Current children cumulated CPU time (s) 866.43
Current children cumulated vsize (Kb) 60972

[startup+940.043 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 39417 0 0 0 84364 3226 0 0 25 0 1 0 22435532 62574592 12237 4294967295 134512640 135987407 3221224560 3221223248 134811879 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15277 12237 364 364 0 14913 0
[pid=10552] vsize: 61108
Current children cumulated CPU time (s) 875.9
Current children cumulated vsize (Kb) 61108

[startup+950.044 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 39461 0 0 0 85249 3264 0 0 25 0 1 0 22435532 62574592 12281 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15277 12281 364 364 0 14913 0
[pid=10552] vsize: 61108
Current children cumulated CPU time (s) 885.13
Current children cumulated vsize (Kb) 61108

[startup+960.043 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 39833 0 0 0 86162 3292 0 0 25 0 1 0 22435532 62709760 12317 4294967295 134512640 135987407 3221224560 3221223376 134816524 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15310 12317 364 364 0 14946 0
[pid=10552] vsize: 61240
Current children cumulated CPU time (s) 894.54
Current children cumulated vsize (Kb) 61240

[startup+970.044 s]
Raw data (loadavg): 1.03 1.02 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 40040 0 0 0 87067 3326 0 0 25 0 1 0 22435532 62709760 12356 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15310 12356 364 364 0 14946 0
[pid=10552] vsize: 61240
Current children cumulated CPU time (s) 903.93
Current children cumulated vsize (Kb) 61240

[startup+980.045 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 40255 0 0 0 87966 3358 0 0 25 0 1 0 22435532 62844928 12403 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15343 12403 364 364 0 14979 0
[pid=10552] vsize: 61372
Current children cumulated CPU time (s) 913.24
Current children cumulated vsize (Kb) 61372

[startup+990.046 s]
Raw data (loadavg): 1.09 1.04 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 40460 0 0 0 88862 3394 0 0 25 0 1 0 22435532 62844928 12440 4294967295 134512640 135987407 3221224560 3221223280 134814041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15343 12440 364 364 0 14979 0
[pid=10552] vsize: 61372
Current children cumulated CPU time (s) 922.56
Current children cumulated vsize (Kb) 61372

[startup+1000.05 s]
Raw data (loadavg): 1.08 1.04 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 40667 0 0 0 89761 3429 0 0 25 0 1 0 22435532 62980096 12479 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15376 12479 364 364 0 15012 0
[pid=10552] vsize: 61504
Current children cumulated CPU time (s) 931.9
Current children cumulated vsize (Kb) 61504

[startup+1010.05 s]
Raw data (loadavg): 1.07 1.04 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 40867 0 0 0 90670 3458 0 0 25 0 1 0 22435532 62980096 12511 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15376 12511 364 364 0 15012 0
[pid=10552] vsize: 61504
Current children cumulated CPU time (s) 941.28
Current children cumulated vsize (Kb) 61504

[startup+1020.05 s]
Raw data (loadavg): 1.06 1.03 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 41059 0 0 0 91569 3495 0 0 25 0 1 0 22435532 63115264 12535 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15409 12535 364 364 0 15045 0
[pid=10552] vsize: 61636
Current children cumulated CPU time (s) 950.64
Current children cumulated vsize (Kb) 61636

[startup+1030.05 s]
Raw data (loadavg): 1.05 1.03 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 41440 0 0 0 92480 3525 0 0 25 0 1 0 22435532 63115264 12580 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15409 12580 364 364 0 15045 0
[pid=10552] vsize: 61636
Current children cumulated CPU time (s) 960.05
Current children cumulated vsize (Kb) 61636

[startup+1040.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 41480 0 0 0 93382 3558 0 0 25 0 1 0 22435532 63250432 12620 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15442 12620 364 364 0 15078 0
[pid=10552] vsize: 61768
Current children cumulated CPU time (s) 969.4
Current children cumulated vsize (Kb) 61768

[startup+1050.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 41853 0 0 0 94296 3587 0 0 25 0 1 0 22435532 63250432 12657 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15442 12657 364 364 0 15078 0
[pid=10552] vsize: 61768
Current children cumulated CPU time (s) 978.83
Current children cumulated vsize (Kb) 61768

[startup+1060.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 42040 0 0 0 95212 3615 0 0 25 0 1 0 22435532 63250432 12676 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15442 12676 364 364 0 15078 0
[pid=10552] vsize: 61768
Current children cumulated CPU time (s) 988.27
Current children cumulated vsize (Kb) 61768

[startup+1070.05 s]
Raw data (loadavg): 1.02 1.03 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 42243 0 0 0 96127 3644 0 0 25 0 1 0 22435532 63385600 12711 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15475 12711 364 364 0 15111 0
[pid=10552] vsize: 61900
Current children cumulated CPU time (s) 997.71
Current children cumulated vsize (Kb) 61900

[startup+1080.05 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 42280 0 0 0 97034 3671 0 0 25 0 1 0 22435532 63385600 12748 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15475 12748 364 364 0 15111 0
[pid=10552] vsize: 61900
Current children cumulated CPU time (s) 1007.05
Current children cumulated vsize (Kb) 61900

[startup+1090.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 42486 0 0 0 97946 3699 0 0 25 0 1 0 22435532 63385600 12786 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15475 12786 364 364 0 15111 0
[pid=10552] vsize: 61900
Current children cumulated CPU time (s) 1016.45
Current children cumulated vsize (Kb) 61900

[startup+1100.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 42524 0 0 0 98855 3730 0 0 25 0 1 0 22435532 63520768 12824 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15508 12824 364 364 0 15144 0
[pid=10552] vsize: 62032
Current children cumulated CPU time (s) 1025.85
Current children cumulated vsize (Kb) 62032

[startup+1110.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 42561 0 0 0 99761 3761 0 0 21 0 1 0 22435532 63520768 12861 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15508 12861 364 364 0 15144 0
[pid=10552] vsize: 62032
Current children cumulated CPU time (s) 1035.22
Current children cumulated vsize (Kb) 62032

[startup+1120.05 s]
Raw data (loadavg): 1.08 1.04 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 42761 0 0 0 100669 3794 0 0 25 0 1 0 22435532 63651840 12893 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15540 12893 364 364 0 15176 0
[pid=10552] vsize: 62160
Current children cumulated CPU time (s) 1044.63
Current children cumulated vsize (Kb) 62160

[startup+1130.05 s]
Raw data (loadavg): 1.07 1.04 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 42961 0 0 0 101584 3824 0 0 25 0 1 0 22435532 63651840 12925 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15540 12925 364 364 0 15176 0
[pid=10552] vsize: 62160
Current children cumulated CPU time (s) 1054.08
Current children cumulated vsize (Kb) 62160

[startup+1140.05 s]
Raw data (loadavg): 1.06 1.03 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 42986 0 0 0 102490 3854 0 0 25 0 1 0 22435532 63651840 12950 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15540 12950 364 364 0 15176 0
[pid=10552] vsize: 62160
Current children cumulated CPU time (s) 1063.44
Current children cumulated vsize (Kb) 62160

[startup+1150.05 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 43186 0 0 0 103399 3885 0 0 25 0 1 0 22435532 63787008 12982 4294967295 134512640 135987407 3221224560 3221223248 134811867 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15573 12982 364 364 0 15209 0
[pid=10552] vsize: 62292
Current children cumulated CPU time (s) 1072.84
Current children cumulated vsize (Kb) 62292

[startup+1160.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 43212 0 0 0 104298 3915 0 0 25 0 1 0 22435532 63787008 13008 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15573 13008 364 364 0 15209 0
[pid=10552] vsize: 62292
Current children cumulated CPU time (s) 1082.13
Current children cumulated vsize (Kb) 62292

[startup+1170.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 10552
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 43411 0 0 0 105215 3944 0 0 25 0 1 0 22435532 63787008 13039 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15573 13039 364 364 0 15209 0
[pid=10552] vsize: 62292
Current children cumulated CPU time (s) 1091.59
Current children cumulated vsize (Kb) 62292

[startup+1180.06 s]
Raw data (loadavg): 1.10 1.04 1.00 1/55 10607
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 43619 0 0 0 106125 3976 0 0 24 0 1 0 22435532 63922176 13079 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15606 13079 364 364 0 15242 0
[pid=10552] vsize: 62424
Current children cumulated CPU time (s) 1101.01
Current children cumulated vsize (Kb) 62424

[startup+1190.06 s]
Raw data (loadavg): 1.08 1.04 1.00 1/55 10607
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 43652 0 0 0 107021 4011 0 0 25 0 1 0 22435532 63922176 13112 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15606 13112 364 364 0 15242 0
[pid=10552] vsize: 62424
Current children cumulated CPU time (s) 1110.32
Current children cumulated vsize (Kb) 62424

[startup+1200.06 s]
Raw data (loadavg): 1.07 1.04 1.00 2/55 10607
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 43855 0 0 0 107931 4041 0 0 25 0 1 0 22435532 64057344 13147 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15639 13147 364 364 0 15275 0
[pid=10552] vsize: 62556
Current children cumulated CPU time (s) 1119.72
Current children cumulated vsize (Kb) 62556

[startup+1210.06 s]
Raw data (loadavg): 1.06 1.04 1.00 2/55 10607
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 44045 0 0 0 108844 4071 0 0 25 0 1 0 22435532 64057344 13169 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15639 13169 364 364 0 15275 0
[pid=10552] vsize: 62556
Current children cumulated CPU time (s) 1129.15
Current children cumulated vsize (Kb) 62556

[startup+1220.06 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 10607
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 44227 0 0 0 109740 4106 0 0 25 0 1 0 22435532 64057344 13183 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15639 13183 364 364 0 15275 0
[pid=10552] vsize: 62556
Current children cumulated CPU time (s) 1138.46
Current children cumulated vsize (Kb) 62556

[startup+1230.06 s]
Raw data (loadavg): 1.04 1.03 1.00 1/55 10607
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 44248 0 0 0 110643 4138 0 0 25 0 1 0 22435532 64192512 13204 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15672 13204 364 364 0 15308 0
[pid=10552] vsize: 62688
Current children cumulated CPU time (s) 1147.81
Current children cumulated vsize (Kb) 62688

[startup+1240.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 10609
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 44279 0 0 0 111547 4169 0 0 25 0 1 0 22435532 64192512 13235 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15672 13235 364 364 0 15308 0
[pid=10552] vsize: 62688
Current children cumulated CPU time (s) 1157.16
Current children cumulated vsize (Kb) 62688

[startup+1250.06 s]
Raw data (loadavg): 1.11 1.05 1.01 2/55 10611
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 44660 0 0 0 112466 4197 0 0 25 0 1 0 22435532 64327680 13280 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15705 13280 364 364 0 15341 0
[pid=10552] vsize: 62820
Current children cumulated CPU time (s) 1166.63
Current children cumulated vsize (Kb) 62820

[startup+1260.06 s]
Raw data (loadavg): 1.09 1.04 1.00 2/55 10613
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 44862 0 0 0 113373 4228 0 0 25 0 1 0 22435532 64327680 13314 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15705 13314 364 364 0 15341 0
[pid=10552] vsize: 62820
Current children cumulated CPU time (s) 1176.01
Current children cumulated vsize (Kb) 62820

[startup+1270.06 s]
Raw data (loadavg): 1.08 1.04 1.00 1/55 10613
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 45052 0 0 0 114288 4257 0 0 25 0 1 0 22435532 64327680 13336 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15705 13336 364 364 0 15341 0
[pid=10552] vsize: 62820
Current children cumulated CPU time (s) 1185.45
Current children cumulated vsize (Kb) 62820

[startup+1280.06 s]
Raw data (loadavg): 1.07 1.04 1.00 2/55 10613
Raw data (/proc/10552/stat): 10552 (pb2sat) R 10551 10552 4060 0 -1 0 45067 0 0 0 115177 4294 0 0 25 0 1 0 22435532 64462848 13351 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10552/statm): 15738 13351 364 364 0 15374 0
[pid=10552] vsize: 62952
Current children cumulated CPU time (s) 1194.71
Current children cumulated vsize (Kb) 62952

[startup+1290.06 s]
Raw data (loadavg): 1.06 1.04 1.00 1/55 10613
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 45250 0 0 0 116086 4325 0 0 25 0 1 0 22435532 64462848 13366 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15738 13366 364 364 0 15374 0
[pid=10552] vsize: 62952
Current children cumulated CPU time (s) 1204.11
Current children cumulated vsize (Kb) 62952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.06 s]
Raw data (loadavg): 1.06 1.04 1.00 1/55 10613
Raw data (/proc/10552/stat): 10552 (pb2sat) T 10551 10552 4060 0 -1 0 45250 0 0 0 116086 4325 0 0 25 0 1 0 22435532 64462848 13366 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10552/statm): 15738 13366 364 364 0 15374 0
[pid=10552] vsize: 62952
Current children cumulated CPU time (s) 1204.11
Current children cumulated vsize (Kb) 62952

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

Child status: 0
Real time (s): 1290.23
CPU time (s): 1204.28
CPU user time (s): 1161
CPU system time (s): 43.2834
CPU usage (%): 93.3385
Max. virtual memory (cumulated for all children) (Kb): 62952

Verifier Data

ERROR: no interpretation found !