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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM7da782a9a5fff983d0dc41e97459b8ae
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8215478
Optimality of the best value was proved NO
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.55
Number of variables7812
Total number of constraints284
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 constraints284
Minimum length of a constraint31
Maximum length of a constraint540

Trace number 10201

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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:        936452 kB
Buffers:         11924 kB
Cached:          68928 kB
SwapCached:          0 kB
Active:          45576 kB
Inactive:        38244 kB
HighTotal:      131008 kB
HighFree:        57568 kB
LowTotal:       903652 kB
LowFree:        878884 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8696 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:38:34 (client local time) WITH STATUS 0 IN 1201.91 SECONDS
stats: 8903 7 1201.91 0

Solver Data

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

c Decision: 26387/271498	Time: 50.6963/86400
c Decision: 26387/271498	Time: 57.5812/86400
c Decision: 26387/271498	Time: 63.8963/86400
c Decision: 26387/271498	Time: 69.9674/86400
c Decision: 26387/271498	Time: 75.2616/86400
c Decision: 26387/271498	Time: 81.3906/86400
c Decision: 26387/271498	Time: 86.5838/86400
c Decision: 26387/271498	Time: 93.3788/86400
c Decision: 26387/271498	Time: 99.0429/86400
c Decision: 26387/271498	Time: 104.472/86400
c Decision: 26387/271498	Time: 111.649/86400
c Decision: 26387/271498	Time: 117.205/86400
c Decision: 26387/271498	Time: 122.871/86400
c Decision: 26387/271498	Time: 128.064/86400
c Decision: 26387/271498	Time: 133.909/86400
c Decision: 26387/271498	Time: 140.038/86400
c Decision: 26387/271498	Time: 145.208/86400
c Decision: 26387/271498	Time: 150.495/86400
c Decision: 26387/271498	Time: 156.455/86400
c Decision: 26387/271498	Time: 162.665/86400
c Decision: 26387/271498	Time: 168.649/86400
c Decision: 26387/271498	Time: 174.252/86400
c Decision: 26387/271498	Time: 179.472/86400
c Decision: 26387/271498	Time: 185.644/86400
c Decision: 26387/271498	Time: 190.615/86400
c Decision: 26387/271498	Time: 197.959/86400
c Decision: 26387/271498	Time: 203.939/86400
c Decision: 26387/271498	Time: 208.716/86400
c Decision: 26387/271498	Time: 214.766/86400
c Decision: 26387/271498	Time: 220.963/86400
c Decision: 26387/271498	Time: 228.519/86400
c Decision: 26387/271498	Time: 233.919/86400
c Decision: 26387/271498	Time: 239.848/86400
c Decision: 26387/271498	Time: 245.812/86400
c Decision: 26387/271498	Time: 252.139/86400
c Decision: 26387/271498	Time: 259.114/86400
c Decision: 26387/271498	Time: 265.346/86400
c Decision: 26387/271498	Time: 271.528/86400
c Decision: 26387/271498	Time: 277.624/86400
c Decision: 26387/271498	Time: 283.976/86400
c Decision: 26387/271498	Time: 291.158/86400
c Decision: 26387/271498	Time: 297.435/86400
c Decision: 26387/271498	Time: 303.085/86400
c Decision: 26387/271498	Time: 308.198/86400
c Decision: 26387/271498	Time: 314.513/86400
c Decision: 26387/271498	Time: 321.913/86400
c Decision: 26387/271498	Time: 327.796/86400
c Decision: 26387/271498	Time: 334.093/86400
c Decision: 26387/271498	Time: 340.666/86400
c Decision: 26387/271498	Time: 346.887/86400
c Decision: 26387/271498	Time: 354.536/86400
c Decision: 26387/271498	Time: 360.739/86400
c Decision: 26387/271498	Time: 366.596/86400
c Decision: 26387/271498	Time: 372.787/86400
c Decision: 26387/271498	Time: 378.433/86400
c Decision: 26387/271498	Time: 385.723/86400
c Decision: 26387/271498	Time: 391.541/86400
c Decision: 26387/271498	Time: 397.257/86400
c Decision: 26387/271498	Time: 403.384/86400
c Decision: 26387/271498	Time: 410.02/86400
c Decision: 26387/271498	Time: 417.045/86400
c Decision: 26387/271498	Time: 423.694/86400
c Decision: 26387/271498	Time: 430.397/86400
c Decision: 26387/271498	Time: 435.694/86400
c Decision: 26387/271498	Time: 442.799/86400
c Decision: 26387/271498	Time: 449.827/86400
c Decision: 26387/271498	Time: 455.782/86400
c Decision: 26387/271498	Time: 461.857/86400
c Decision: 26387/271498	Time: 467.979/86400
c Decision: 26387/271498	Time: 474.349/86400
c Decision: 26387/271498	Time: 481.125/86400
c Decision: 26387/271498	Time: 487.572/86400
c Decision: 26387/271498	Time: 493.669/86400
c Decision: 26387/271498	Time: 499.779/86400
c Decision: 26387/271498	Time: 505.868/86400
c Decision: 26387/271498	Time: 511.846/86400
c Decision: 26387/271498	Time: 517.787/86400
c Decision: 26387/271498	Time: 524.46/86400
c Decision: 26387/271498	Time: 530.844/86400
c Decision: 26387/271498	Time: 536.236/86400
c Decision: 26387/271498	Time: 543.133/86400
c Decision: 26387/271498	Time: 549.422/86400
c Decision: 26387/271498	Time: 556.05/86400
c Decision: 26387/271498	Time: 562.196/86400
c Decision: 26387/271498	Time: 567.683/86400
c Decision: 26387/271498	Time: 575.261/86400
c Decision: 26387/271498	Time: 582.08/86400
c Decision: 26387/271498	Time: 588.191/86400
c Decision: 26387/271498	Time: 594.198/86400
c Decision: 26387/271498	Time: 601.168/86400
c Decision: 26387/271498	Time: 609.217/86400
c Decision: 26387/271498	Time: 616.054/86400
c Decision: 26387/271498	Time: 622.038/86400
c Decision: 26387/271498	Time: 628.951/86400
c Decision: 26387/271498	Time: 634.647/86400
c Decision: 26387/271498	Time: 642.224/86400
c Decision: 26387/271498	Time: 647.595/86400
c Decision: 26387/271498	Time: 653.664/86400
c Decision: 26387/271498	Time: 659.799/86400
c Decision: 26387/271498	Time: 666.426/86400
c Decision: 26387/271498	Time: 673.894/86400
c Decision: 26387/271498	Time: 680.724/86400
c Decision: 26387/271498	Time: 688.02/86400
c Decision: 26387/271498	Time: 693.938/86400
c Decision: 26387/271498	Time: 700.45/86400
c Decision: 26387/271498	Time: 708.609/86400
c Decision: 26387/271498	Time: 714.891/86400
c Decision: 26387/271498	Time: 722.012/86400
c Decision: 26387/271498	Time: 728.317/86400
c Decision: 26387/271498	Time: 735.093/86400
c Decision: 26387/271498	Time: 743.074/86400
c Decision: 26387/271498	Time: 749.592/86400
c Decision: 26387/271498	Time: 755.979/86400
c Decision: 26387/271498	Time: 762.311/86400
c Decision: 26387/271498	Time: 769.285/86400
c Decision: 26387/271498	Time: 776.563/86400
c Decision: 26387/271498	Time: 783.665/86400
c Decision: 26387/271498	Time: 790.074/86400
c Decision: 26387/271498	Time: 797.032/86400
c Decision: 26387/271498	Time: 803.959/86400
c Decision: 26387/271498	Time: 811.691/86400
c Decision: 26387/271498	Time: 818.064/86400
c Decision: 26387/271498	Time: 824.285/86400
c Decision: 26387/271498	Time: 831.071/86400
c Decision: 26387/271498	Time: 837.183/86400
c Decision: 26387/271498	Time: 845.63/86400
c Decision: 26387/271498	Time: 853.276/86400
c Decision: 26387/271498	Time: 859.884/86400
c Decision: 26387/271498	Time: 866.711/86400
c Decision: 26387/271498	Time: 873.787/86400
c Decision: 26387/271498	Time: 881.99/86400
c Decision: 26387/271498	Time: 888.975/86400
c Decision: 26387/271498	Time: 896.212/86400
c Decision: 26387/271498	Time: 904.009/86400
c Decision: 26387/271498	Time: 910.621/86400
c Decision: 26387/271498	Time: 918.918/86400
c Decision: 26387/271498	Time: 925.382/86400
c Decision: 26387/271498	Time: 932.061/86400
c Decision: 26387/271498	Time: 939.797/86400
c Decision: 26387/271498	Time: 947.532/86400
c Decision: 26387/271498	Time: 955.721/86400
c Decision: 26387/271498	Time: 962.462/86400
c Decision: 26387/271498	Time: 970.29/86400
c Decision: 26387/271498	Time: 978.557/86400
c Decision: 26387/271498	Time: 985.812/86400
c Decision: 26387/271498	Time: 993.816/86400
c Decision: 26387/271498	Time: 1000.85/86400
c Decision: 26387/271498	Time: 1008.86/86400
c Decision: 26387/271498	Time: 1016.02/86400
c Decision: 26387/271498	Time: 1022.6/86400
c Decision: 26387/271498	Time: 1029.73/86400
c Decision: 26387/271498	Time: 1035.98/86400
c Decision: 26387/271498	Time: 1042.41/86400
c Decision: 26387/271498	Time: 1050.1/86400
c Decision: 26387/271498	Time: 1057.85/86400
c Decision: 26387/271498	Time: 1066.61/86400
c Decision: 26387/271498	Time: 1073.69/86400
c Decision: 26387/271498	Time: 1080.39/86400
c Decision: 26387/271498	Time: 1087.09/86400
c Decision: 26387/271498	Time: 1094.83/86400
c Decision: 26387/271498	Time: 1103.38/86400
c Decision: 26387/271498	Time: 1110.99/86400
c Decision: 26387/271498	Time: 1117.3/86400
c Decision: 26387/271498	Time: 1125.52/86400
c Decision: 26387/271498	Time: 1134.04/86400
c Decision: 26387/271498	Time: 1143.05/86400
c Decision: 26387/271498	Time: 1150.47/86400
c Decision: 26387/271498	Time: 1158.54/86400
c Decision: 26387/271498	Time: 1166.38/86400
c Decision: 26387/271498	Time: 1174.01/86400
c Decision: 26387/271498	Time: 1183.32/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/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21887670 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 373 2 364 364 0 9 0
[pid=9843] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-ran14x18.opb

[startup+10.0021 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 27206 0 0 0 934 63 0 0 25 0 1 0 21887670 80556032 16060 4294967295 134512640 135987407 3221224560 3221119556 134558630 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 19667 16060 364 364 0 19303 0
[pid=9843] vsize: 78668
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78668

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 40794 0 0 0 1857 107 0 0 25 0 1 0 21887670 122343424 24202 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 29869 24202 364 364 0 29505 0
[pid=9843] vsize: 119476
Current children cumulated CPU time (s) 19.64
Current children cumulated vsize (Kb) 119476

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 41360 0 0 0 2822 118 0 0 25 0 1 0 21887670 124620800 24768 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 30425 24768 364 364 0 30061 0
[pid=9843] vsize: 121700
Current children cumulated CPU time (s) 29.4
Current children cumulated vsize (Kb) 121700

[startup+40.0045 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 41540 0 0 0 3762 140 0 0 25 0 1 0 21887670 125403136 24948 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 30616 24948 364 364 0 30252 0
[pid=9843] vsize: 122464
Current children cumulated CPU time (s) 39.02
Current children cumulated vsize (Kb) 122464

[startup+50.0054 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 41973 0 0 0 4705 158 0 0 25 0 1 0 21887670 127250432 25381 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31067 25381 364 364 0 30703 0
[pid=9843] vsize: 124268
Current children cumulated CPU time (s) 48.63
Current children cumulated vsize (Kb) 124268

[startup+60.0062 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 42149 0 0 0 5650 177 0 0 25 0 1 0 21887670 128012288 25557 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31253 25557 364 364 0 30889 0
[pid=9843] vsize: 125012
Current children cumulated CPU time (s) 58.27
Current children cumulated vsize (Kb) 125012

[startup+70.007 s]
Raw data (loadavg): 1.03 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 42781 0 0 0 6600 194 0 0 25 0 1 0 21887670 128323584 25658 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31329 25658 364 364 0 30965 0
[pid=9843] vsize: 125316
Current children cumulated CPU time (s) 67.94
Current children cumulated vsize (Kb) 125316

[startup+80.0078 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 43911 0 0 0 7544 216 0 0 25 0 1 0 21887670 128471040 25726 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31365 25726 364 364 0 31001 0
[pid=9843] vsize: 125460
Current children cumulated CPU time (s) 77.6
Current children cumulated vsize (Kb) 125460

[startup+90.0087 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 44486 0 0 0 8483 239 0 0 25 0 1 0 21887670 128618496 25770 4294967295 134512640 135987407 3221224560 3221223280 134814260 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31401 25770 364 364 0 31037 0
[pid=9843] vsize: 125604
Current children cumulated CPU time (s) 87.22
Current children cumulated vsize (Kb) 125604

[startup+100.008 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 45596 0 0 0 9437 255 0 0 25 0 1 0 21887670 128782336 25818 4294967295 134512640 135987407 3221224560 3221223344 134812328 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31441 25818 364 364 0 31077 0
[pid=9843] vsize: 125764
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (Kb) 125764

[startup+110.009 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 46709 0 0 0 10379 276 0 0 25 0 1 0 21887670 129060864 25869 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31509 25869 364 364 0 31145 0
[pid=9843] vsize: 126036
Current children cumulated CPU time (s) 106.55
Current children cumulated vsize (Kb) 126036

[startup+120.01 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 47276 0 0 0 11317 299 0 0 25 0 1 0 21887670 129060864 25905 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31509 25905 364 364 0 31145 0
[pid=9843] vsize: 126036
Current children cumulated CPU time (s) 116.16
Current children cumulated vsize (Kb) 126036

[startup+130.011 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 48362 0 0 0 12261 321 0 0 25 0 1 0 21887670 129208320 25929 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31545 25929 364 364 0 31181 0
[pid=9843] vsize: 126180
Current children cumulated CPU time (s) 125.82
Current children cumulated vsize (Kb) 126180

[startup+140.011 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 49464 0 0 0 13196 343 0 0 25 0 1 0 21887670 131383296 26500 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 32076 26500 364 364 0 31712 0
[pid=9843] vsize: 128304
Current children cumulated CPU time (s) 135.39
Current children cumulated vsize (Kb) 128304

[startup+150.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 50040 0 0 0 14133 365 0 0 25 0 1 0 21887670 129355776 26014 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31581 26014 364 364 0 31217 0
[pid=9843] vsize: 126324
Current children cumulated CPU time (s) 144.98
Current children cumulated vsize (Kb) 126324

[startup+160.012 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 51145 0 0 0 15075 387 0 0 25 0 1 0 21887670 129495040 26057 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31615 26057 364 364 0 31251 0
[pid=9843] vsize: 126460
Current children cumulated CPU time (s) 154.62
Current children cumulated vsize (Kb) 126460

[startup+170.013 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 52234 0 0 0 16011 410 0 0 25 0 1 0 21887670 129495040 26084 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31615 26084 364 364 0 31251 0
[pid=9843] vsize: 126460
Current children cumulated CPU time (s) 164.21
Current children cumulated vsize (Kb) 126460

[startup+180.014 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 52804 0 0 0 16940 433 0 0 25 0 1 0 21887670 129630208 26123 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31648 26123 364 364 0 31284 0
[pid=9843] vsize: 126592
Current children cumulated CPU time (s) 173.73
Current children cumulated vsize (Kb) 126592

[startup+190.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 53363 0 0 0 17882 453 0 0 24 0 1 0 21887670 129630208 26151 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31648 26151 364 364 0 31284 0
[pid=9843] vsize: 126592
Current children cumulated CPU time (s) 183.35
Current children cumulated vsize (Kb) 126592

[startup+200.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 54486 0 0 0 18829 471 0 0 25 0 1 0 21887670 129933312 26212 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31722 26212 364 364 0 31358 0
[pid=9843] vsize: 126888
Current children cumulated CPU time (s) 193
Current children cumulated vsize (Kb) 126888

[startup+210.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 55034 0 0 0 19757 497 0 0 25 0 1 0 21887670 129933312 26229 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31722 26229 364 364 0 31358 0
[pid=9843] vsize: 126888
Current children cumulated CPU time (s) 202.54
Current children cumulated vsize (Kb) 126888

[startup+220.016 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 55145 0 0 0 20697 516 0 0 25 0 1 0 21887670 130351104 26340 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31824 26340 364 364 0 31460 0
[pid=9843] vsize: 127296
Current children cumulated CPU time (s) 212.13
Current children cumulated vsize (Kb) 127296

[startup+230.017 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 55700 0 0 0 21619 544 0 0 25 0 1 0 21887670 130351104 26364 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31824 26364 364 364 0 31460 0
[pid=9843] vsize: 127296
Current children cumulated CPU time (s) 221.63
Current children cumulated vsize (Kb) 127296

[startup+240.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 56256 0 0 0 22541 571 0 0 25 0 1 0 21887670 130351104 26389 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31824 26389 364 364 0 31460 0
[pid=9843] vsize: 127296
Current children cumulated CPU time (s) 231.12
Current children cumulated vsize (Kb) 127296

[startup+250.018 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 57343 0 0 0 23472 597 0 0 25 0 1 0 21887670 130351104 26414 4294967295 134512640 135987407 3221224560 3221223292 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31824 26414 364 364 0 31460 0
[pid=9843] vsize: 127296
Current children cumulated CPU time (s) 240.69
Current children cumulated vsize (Kb) 127296

[startup+260.019 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 57903 0 0 0 24407 619 0 0 25 0 1 0 21887670 130482176 26443 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31856 26443 364 364 0 31492 0
[pid=9843] vsize: 127424
Current children cumulated CPU time (s) 250.26
Current children cumulated vsize (Kb) 127424

[startup+270.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 58995 0 0 0 25331 646 0 0 25 0 1 0 21887670 130482176 26473 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31856 26473 364 364 0 31492 0
[pid=9843] vsize: 127424
Current children cumulated CPU time (s) 259.77
Current children cumulated vsize (Kb) 127424

[startup+280.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 59566 0 0 0 26260 671 0 0 25 0 1 0 21887670 130633728 26513 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31893 26513 364 364 0 31529 0
[pid=9843] vsize: 127572
Current children cumulated CPU time (s) 269.31
Current children cumulated vsize (Kb) 127572

[startup+290.021 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 60681 0 0 0 27197 695 0 0 25 0 1 0 21887670 130830336 26566 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31941 26566 364 364 0 31577 0
[pid=9843] vsize: 127764
Current children cumulated CPU time (s) 278.92
Current children cumulated vsize (Kb) 127764

[startup+300.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 61230 0 0 0 28129 719 0 0 25 0 1 0 21887670 130830336 26584 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31941 26584 364 364 0 31577 0
[pid=9843] vsize: 127764
Current children cumulated CPU time (s) 288.48
Current children cumulated vsize (Kb) 127764

[startup+310.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 62321 0 0 0 29061 745 0 0 25 0 1 0 21887670 130830336 26613 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31941 26613 364 364 0 31577 0
[pid=9843] vsize: 127764
Current children cumulated CPU time (s) 298.06
Current children cumulated vsize (Kb) 127764

[startup+320.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 62871 0 0 0 29989 769 0 0 25 0 1 0 21887670 130961408 26632 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31973 26632 364 364 0 31609 0
[pid=9843] vsize: 127892
Current children cumulated CPU time (s) 307.58
Current children cumulated vsize (Kb) 127892

[startup+330.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 63953 0 0 0 30912 796 0 0 25 0 1 0 21887670 130961408 26652 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 31973 26652 364 364 0 31609 0
[pid=9843] vsize: 127892
Current children cumulated CPU time (s) 317.08
Current children cumulated vsize (Kb) 127892

[startup+340.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 63987 0 0 0 31840 820 0 0 25 0 1 0 21887670 130961408 26686 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 31973 26686 364 364 0 31609 0
[pid=9843] vsize: 127892
Current children cumulated CPU time (s) 326.6
Current children cumulated vsize (Kb) 127892

[startup+350.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 65073 0 0 0 32786 839 0 0 25 0 1 0 21887670 131096576 26710 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 32006 26710 364 364 0 31642 0
[pid=9843] vsize: 128024
Current children cumulated CPU time (s) 336.25
Current children cumulated vsize (Kb) 128024

[startup+360.025 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 65631 0 0 0 33712 864 0 0 25 0 1 0 21887670 131096576 26737 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 32006 26737 364 364 0 31642 0
[pid=9843] vsize: 128024
Current children cumulated CPU time (s) 345.76
Current children cumulated vsize (Kb) 128024

[startup+370.025 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 66720 0 0 0 34645 887 0 0 25 0 1 0 21887670 131096576 26764 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 32006 26764 364 364 0 31642 0
[pid=9843] vsize: 128024
Current children cumulated CPU time (s) 355.32
Current children cumulated vsize (Kb) 128024

[startup+380.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 73423 0 0 0 35545 930 0 0 25 0 1 0 21887670 156393472 26791 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38182 26791 364 364 0 37818 0
[pid=9843] vsize: 152728
Current children cumulated CPU time (s) 364.75
Current children cumulated vsize (Kb) 152728

[startup+390.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 74504 0 0 0 36482 950 0 0 25 0 1 0 21887670 156393472 26810 4294967295 134512640 135987407 3221224560 3221223248 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38182 26810 364 364 0 37818 0
[pid=9843] vsize: 152728
Current children cumulated CPU time (s) 374.32
Current children cumulated vsize (Kb) 152728

[startup+400.027 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 75073 0 0 0 37410 973 0 0 25 0 1 0 21887670 156557312 26848 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38222 26848 364 364 0 37858 0
[pid=9843] vsize: 152888
Current children cumulated CPU time (s) 383.83
Current children cumulated vsize (Kb) 152888

[startup+410.028 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 76163 0 0 0 38342 1000 0 0 25 0 1 0 21887670 156557312 26876 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38222 26876 364 364 0 37858 0
[pid=9843] vsize: 152888
Current children cumulated CPU time (s) 393.42
Current children cumulated vsize (Kb) 152888

[startup+420.028 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 76721 0 0 0 39275 1024 0 0 25 0 1 0 21887670 156557312 26903 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38222 26903 364 364 0 37858 0
[pid=9843] vsize: 152888
Current children cumulated CPU time (s) 402.99
Current children cumulated vsize (Kb) 152888

[startup+430.029 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 77819 0 0 0 40205 1049 0 0 25 0 1 0 21887670 156688384 26939 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38254 26939 364 364 0 37890 0
[pid=9843] vsize: 153016
Current children cumulated CPU time (s) 412.54
Current children cumulated vsize (Kb) 153016

[startup+440.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 78376 0 0 0 41139 1071 0 0 25 0 1 0 21887670 156688384 26965 4294967295 134512640 135987407 3221224560 3221223200 134789444 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38254 26965 364 364 0 37890 0
[pid=9843] vsize: 153016
Current children cumulated CPU time (s) 422.1
Current children cumulated vsize (Kb) 153016

[startup+450.029 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 79471 0 0 0 42071 1096 0 0 25 0 1 0 21887670 156823552 26998 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38287 26998 364 364 0 37923 0
[pid=9843] vsize: 153148
Current children cumulated CPU time (s) 431.67
Current children cumulated vsize (Kb) 153148

[startup+460.03 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 80054 0 0 0 43004 1119 0 0 25 0 1 0 21887670 157138944 27050 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38364 27050 364 364 0 38000 0
[pid=9843] vsize: 153456
Current children cumulated CPU time (s) 441.23
Current children cumulated vsize (Kb) 153456

[startup+470.031 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 80602 0 0 0 43935 1144 0 0 25 0 1 0 21887670 157138944 27067 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38364 27067 364 364 0 38000 0
[pid=9843] vsize: 153456
Current children cumulated CPU time (s) 450.79
Current children cumulated vsize (Kb) 153456

[startup+480.032 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 81155 0 0 0 44859 1171 0 0 25 0 1 0 21887670 157138944 27089 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38364 27089 364 364 0 38000 0
[pid=9843] vsize: 153456
Current children cumulated CPU time (s) 460.3
Current children cumulated vsize (Kb) 153456

[startup+490.033 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 82238 0 0 0 45793 1196 0 0 25 0 1 0 21887670 157138944 27110 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38364 27110 364 364 0 38000 0
[pid=9843] vsize: 153456
Current children cumulated CPU time (s) 469.89
Current children cumulated vsize (Kb) 153456

[startup+500.033 s]
Raw data (loadavg): 1.00 0.98 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 82799 0 0 0 46709 1225 0 0 25 0 1 0 21887670 157138944 27140 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38364 27140 364 364 0 38000 0
[pid=9843] vsize: 153456
Current children cumulated CPU time (s) 479.34
Current children cumulated vsize (Kb) 153456

[startup+510.033 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 83888 0 0 0 47640 1250 0 0 25 0 1 0 21887670 157270016 27167 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38396 27167 364 364 0 38032 0
[pid=9843] vsize: 153584
Current children cumulated CPU time (s) 488.9
Current children cumulated vsize (Kb) 153584

[startup+520.034 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 84446 0 0 0 48576 1270 0 0 25 0 1 0 21887670 157270016 27194 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38396 27194 364 364 0 38032 0
[pid=9843] vsize: 153584
Current children cumulated CPU time (s) 498.46
Current children cumulated vsize (Kb) 153584

[startup+530.036 s]
Raw data (loadavg): 1.08 0.99 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 85536 0 0 0 49514 1292 0 0 25 0 1 0 21887670 157270016 27222 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38396 27222 364 364 0 38032 0
[pid=9843] vsize: 153584
Current children cumulated CPU time (s) 508.06
Current children cumulated vsize (Kb) 153584

[startup+540.037 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 86106 0 0 0 50447 1317 0 0 25 0 1 0 21887670 157401088 27261 4294967295 134512640 135987407 3221224560 3221223280 134814105 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38428 27261 364 364 0 38064 0
[pid=9843] vsize: 153712
Current children cumulated CPU time (s) 517.64
Current children cumulated vsize (Kb) 153712

[startup+550.037 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 87206 0 0 0 51389 1337 0 0 25 0 1 0 21887670 157548544 27299 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38464 27299 364 364 0 38100 0
[pid=9843] vsize: 153856
Current children cumulated CPU time (s) 527.26
Current children cumulated vsize (Kb) 153856

[startup+560.038 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 88295 0 0 0 52324 1363 0 0 25 0 1 0 21887670 159723520 27857 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38995 27857 364 364 0 38631 0
[pid=9843] vsize: 155980
Current children cumulated CPU time (s) 536.87
Current children cumulated vsize (Kb) 155980

[startup+570.038 s]
Raw data (loadavg): 1.04 0.99 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 88854 0 0 0 53259 1386 0 0 25 0 1 0 21887670 157679616 27354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38496 27354 364 364 0 38132 0
[pid=9843] vsize: 153984
Current children cumulated CPU time (s) 546.45
Current children cumulated vsize (Kb) 153984

[startup+580.039 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 89940 0 0 0 54203 1405 0 0 25 0 1 0 21887670 157679616 27378 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38496 27378 364 364 0 38132 0
[pid=9843] vsize: 153984
Current children cumulated CPU time (s) 556.08
Current children cumulated vsize (Kb) 153984

[startup+590.04 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 90502 0 0 0 55139 1426 0 0 25 0 1 0 21887670 157679616 27409 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38496 27409 364 364 0 38132 0
[pid=9843] vsize: 153984
Current children cumulated CPU time (s) 565.65
Current children cumulated vsize (Kb) 153984

[startup+600.04 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 91590 0 0 0 56079 1451 0 0 25 0 1 0 21887670 157810688 27435 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38528 27435 364 364 0 38164 0
[pid=9843] vsize: 154112
Current children cumulated CPU time (s) 575.3
Current children cumulated vsize (Kb) 154112

[startup+610.041 s]
Raw data (loadavg): 1.02 0.99 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 92152 0 0 0 57009 1476 0 0 25 0 1 0 21887670 157810688 27466 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38528 27466 364 364 0 38164 0
[pid=9843] vsize: 154112
Current children cumulated CPU time (s) 584.85
Current children cumulated vsize (Kb) 154112

[startup+620.04 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 93229 0 0 0 57954 1498 0 0 25 0 1 0 21887670 159985664 28012 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 39059 28012 364 364 0 38695 0
[pid=9843] vsize: 156236
Current children cumulated CPU time (s) 594.52
Current children cumulated vsize (Kb) 156236

[startup+630.04 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 93796 0 0 0 58886 1521 0 0 25 0 1 0 21887670 157941760 27517 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38560 27517 364 364 0 38196 0
[pid=9843] vsize: 154240
Current children cumulated CPU time (s) 604.07
Current children cumulated vsize (Kb) 154240

[startup+640.041 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 94889 0 0 0 59830 1540 0 0 25 0 1 0 21887670 160116736 28079 4294967295 134512640 135987407 3221224560 3221222928 134829291 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 39091 28079 364 364 0 38727 0
[pid=9843] vsize: 156364
Current children cumulated CPU time (s) 613.7
Current children cumulated vsize (Kb) 156364

[startup+650.042 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 95445 0 0 0 60772 1562 0 0 25 0 1 0 21887670 158076928 27573 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 38593 27573 364 364 0 38229 0
[pid=9843] vsize: 154372
Current children cumulated CPU time (s) 623.34
Current children cumulated vsize (Kb) 154372

[startup+660.043 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 96007 0 0 0 61712 1583 0 0 25 0 1 0 21887670 158076928 27604 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38593 27604 364 364 0 38229 0
[pid=9843] vsize: 154372
Current children cumulated CPU time (s) 632.95
Current children cumulated vsize (Kb) 154372

[startup+670.043 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 97091 0 0 0 62655 1604 0 0 25 0 1 0 21887670 158076928 27626 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 38593 27626 364 364 0 38229 0
[pid=9843] vsize: 154372
Current children cumulated CPU time (s) 642.59
Current children cumulated vsize (Kb) 154372

[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 97665 0 0 0 63594 1625 0 0 25 0 1 0 21887670 174989312 27669 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42722 27669 364 364 0 42358 0
[pid=9843] vsize: 170888
Current children cumulated CPU time (s) 652.19
Current children cumulated vsize (Kb) 170888

[startup+690.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 98220 0 0 0 64541 1644 0 0 25 0 1 0 21887670 174989312 27693 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42722 27693 364 364 0 42358 0
[pid=9843] vsize: 170888
Current children cumulated CPU time (s) 661.85
Current children cumulated vsize (Kb) 170888

[startup+700.044 s]
Raw data (loadavg): 1.08 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 98786 0 0 0 65476 1667 0 0 25 0 1 0 21887670 174989312 27728 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42722 27728 364 364 0 42358 0
[pid=9843] vsize: 170888
Current children cumulated CPU time (s) 671.43
Current children cumulated vsize (Kb) 170888

[startup+710.045 s]
Raw data (loadavg): 1.14 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 99877 0 0 0 66417 1688 0 0 25 0 1 0 21887670 175120384 27757 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42754 27757 364 364 0 42390 0
[pid=9843] vsize: 171016
Current children cumulated CPU time (s) 681.05
Current children cumulated vsize (Kb) 171016

[startup+720.045 s]
Raw data (loadavg): 1.12 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 100432 0 0 0 67354 1712 0 0 25 0 1 0 21887670 175120384 27781 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42754 27781 364 364 0 42390 0
[pid=9843] vsize: 171016
Current children cumulated CPU time (s) 690.66
Current children cumulated vsize (Kb) 171016

[startup+730.045 s]
Raw data (loadavg): 1.10 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 101514 0 0 0 68295 1733 0 0 25 0 1 0 21887670 177295360 28332 4294967295 134512640 135987407 3221224560 3221222924 134827506 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43285 28332 364 364 0 42921 0
[pid=9843] vsize: 173140
Current children cumulated CPU time (s) 700.28
Current children cumulated vsize (Kb) 173140

[startup+740.045 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 101541 0 0 0 69225 1755 0 0 25 0 1 0 21887670 175251456 27828 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42786 27828 364 364 0 42422 0
[pid=9843] vsize: 171144
Current children cumulated CPU time (s) 709.8
Current children cumulated vsize (Kb) 171144

[startup+750.045 s]
Raw data (loadavg): 1.07 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 102096 0 0 0 70165 1778 0 0 25 0 1 0 21887670 175251456 27852 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42786 27852 364 364 0 42422 0
[pid=9843] vsize: 171144
Current children cumulated CPU time (s) 719.43
Current children cumulated vsize (Kb) 171144

[startup+760.046 s]
Raw data (loadavg): 1.06 1.02 0.97 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 103178 0 0 0 71116 1796 0 0 25 0 1 0 21887670 175251456 27872 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42786 27872 364 364 0 42422 0
[pid=9843] vsize: 171144
Current children cumulated CPU time (s) 729.12
Current children cumulated vsize (Kb) 171144

[startup+770.046 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 103739 0 0 0 72045 1823 0 0 25 0 1 0 21887670 175251456 27902 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42786 27902 364 364 0 42422 0
[pid=9843] vsize: 171144
Current children cumulated CPU time (s) 738.68
Current children cumulated vsize (Kb) 171144

[startup+780.046 s]
Raw data (loadavg): 1.04 1.02 0.97 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 104300 0 0 0 72984 1845 0 0 25 0 1 0 21887670 175386624 27932 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42819 27932 364 364 0 42455 0
[pid=9843] vsize: 171276
Current children cumulated CPU time (s) 748.29
Current children cumulated vsize (Kb) 171276

[startup+790.047 s]
Raw data (loadavg): 1.03 1.02 0.97 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 104852 0 0 0 73923 1867 0 0 25 0 1 0 21887670 175386624 27953 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42819 27953 364 364 0 42455 0
[pid=9843] vsize: 171276
Current children cumulated CPU time (s) 757.9
Current children cumulated vsize (Kb) 171276

[startup+800.046 s]
Raw data (loadavg): 1.03 1.02 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 105411 0 0 0 74856 1890 0 0 25 0 1 0 21887670 175386624 27981 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42819 27981 364 364 0 42455 0
[pid=9843] vsize: 171276
Current children cumulated CPU time (s) 767.46
Current children cumulated vsize (Kb) 171276

[startup+810.047 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 106500 0 0 0 75802 1911 0 0 25 0 1 0 21887670 175521792 28008 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42852 28008 364 364 0 42488 0
[pid=9843] vsize: 171408
Current children cumulated CPU time (s) 777.13
Current children cumulated vsize (Kb) 171408

[startup+820.048 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 107066 0 0 0 76738 1935 0 0 25 0 1 0 21887670 175521792 28043 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42852 28043 364 364 0 42488 0
[pid=9843] vsize: 171408
Current children cumulated CPU time (s) 786.73
Current children cumulated vsize (Kb) 171408

[startup+830.049 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 108148 0 0 0 77691 1953 0 0 25 0 1 0 21887670 175665152 28063 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42887 28063 364 364 0 42523 0
[pid=9843] vsize: 171548
Current children cumulated CPU time (s) 796.44
Current children cumulated vsize (Kb) 171548

[startup+840.05 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 108715 0 0 0 78637 1973 0 0 25 0 1 0 21887670 175665152 28099 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42887 28099 364 364 0 42523 0
[pid=9843] vsize: 171548
Current children cumulated CPU time (s) 806.1
Current children cumulated vsize (Kb) 171548

[startup+850.051 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 109272 0 0 0 79572 1998 0 0 25 0 1 0 21887670 175796224 28125 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42919 28125 364 364 0 42555 0
[pid=9843] vsize: 171676
Current children cumulated CPU time (s) 815.7
Current children cumulated vsize (Kb) 171676

[startup+860.051 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 110354 0 0 0 80518 2016 0 0 25 0 1 0 21887670 175796224 28145 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42919 28145 364 364 0 42555 0
[pid=9843] vsize: 171676
Current children cumulated CPU time (s) 825.34
Current children cumulated vsize (Kb) 171676

[startup+870.051 s]
Raw data (loadavg): 1.01 1.01 0.97 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 110379 0 0 0 81449 2038 0 0 25 0 1 0 21887670 175796224 28170 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42919 28170 364 364 0 42555 0
[pid=9843] vsize: 171676
Current children cumulated CPU time (s) 834.87
Current children cumulated vsize (Kb) 171676

[startup+880.051 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 111466 0 0 0 82394 2058 0 0 25 0 1 0 21887670 175796224 28195 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 42919 28195 364 364 0 42555 0
[pid=9843] vsize: 171676
Current children cumulated CPU time (s) 844.52
Current children cumulated vsize (Kb) 171676

[startup+890.052 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 112032 0 0 0 83335 2079 0 0 25 0 1 0 21887670 175927296 28230 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42951 28230 364 364 0 42587 0
[pid=9843] vsize: 171804
Current children cumulated CPU time (s) 854.14
Current children cumulated vsize (Kb) 171804

[startup+900.052 s]
Raw data (loadavg): 1.08 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 112577 0 0 0 84281 2095 0 0 25 0 1 0 21887670 175927296 28244 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42951 28244 364 364 0 42587 0
[pid=9843] vsize: 171804
Current children cumulated CPU time (s) 863.76
Current children cumulated vsize (Kb) 171804

[startup+910.053 s]
Raw data (loadavg): 1.06 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 113667 0 0 0 85227 2117 0 0 25 0 1 0 21887670 175927296 28272 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42951 28272 364 364 0 42587 0
[pid=9843] vsize: 171804
Current children cumulated CPU time (s) 873.44
Current children cumulated vsize (Kb) 171804

[startup+920.053 s]
Raw data (loadavg): 1.05 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 114229 0 0 0 86167 2138 0 0 25 0 1 0 21887670 176091136 28303 4294967295 134512640 135987407 3221224560 3221223136 135486726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42991 28303 364 364 0 42627 0
[pid=9843] vsize: 171964
Current children cumulated CPU time (s) 883.05
Current children cumulated vsize (Kb) 171964

[startup+930.053 s]
Raw data (loadavg): 1.13 1.04 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 114786 0 0 0 87104 2160 0 0 25 0 1 0 21887670 176091136 28329 4294967295 134512640 135987407 3221224560 3221223280 134813847 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42991 28329 364 364 0 42627 0
[pid=9843] vsize: 171964
Current children cumulated CPU time (s) 892.64
Current children cumulated vsize (Kb) 171964

[startup+940.054 s]
Raw data (loadavg): 1.11 1.03 0.98 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 115866 0 0 0 88056 2179 0 0 25 0 1 0 21887670 176091136 28347 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 42991 28347 364 364 0 42627 0
[pid=9843] vsize: 171964
Current children cumulated CPU time (s) 902.35
Current children cumulated vsize (Kb) 171964

[startup+950.055 s]
Raw data (loadavg): 1.09 1.03 0.98 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 116421 0 0 0 89001 2198 0 0 25 0 1 0 21887670 176226304 28371 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43024 28371 364 364 0 42660 0
[pid=9843] vsize: 172096
Current children cumulated CPU time (s) 911.99
Current children cumulated vsize (Kb) 172096

[startup+960.056 s]
Raw data (loadavg): 1.08 1.03 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 116976 0 0 0 89942 2219 0 0 25 0 1 0 21887670 176226304 28395 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43024 28395 364 364 0 42660 0
[pid=9843] vsize: 172096
Current children cumulated CPU time (s) 921.61
Current children cumulated vsize (Kb) 172096

[startup+970.055 s]
Raw data (loadavg): 1.06 1.03 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 117528 0 0 0 90887 2239 0 0 25 0 1 0 21887670 176226304 28416 4294967295 134512640 135987407 3221224560 3221223376 134876869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43024 28416 364 364 0 42660 0
[pid=9843] vsize: 172096
Current children cumulated CPU time (s) 931.26
Current children cumulated vsize (Kb) 172096

[startup+980.055 s]
Raw data (loadavg): 1.05 1.03 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 118083 0 0 0 91819 2259 0 0 25 0 1 0 21887670 176226304 28440 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43024 28440 364 364 0 42660 0
[pid=9843] vsize: 172096
Current children cumulated CPU time (s) 940.78
Current children cumulated vsize (Kb) 172096

[startup+990.056 s]
Raw data (loadavg): 1.04 1.03 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 118652 0 0 0 92760 2283 0 0 25 0 1 0 21887670 176373760 28478 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43060 28478 364 364 0 42696 0
[pid=9843] vsize: 172240
Current children cumulated CPU time (s) 950.43
Current children cumulated vsize (Kb) 172240

[startup+1000.06 s]
Raw data (loadavg): 1.04 1.03 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 119739 0 0 0 93703 2304 0 0 25 0 1 0 21887670 178548736 29034 4294967295 134512640 135987407 3221224560 3221222944 134829272 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43591 29034 364 364 0 43227 0
[pid=9843] vsize: 174364
Current children cumulated CPU time (s) 960.07
Current children cumulated vsize (Kb) 174364

[startup+1010.06 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 120293 0 0 0 94650 2325 0 0 25 0 1 0 21887670 176373760 28526 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43060 28526 364 364 0 42696 0
[pid=9843] vsize: 172240
Current children cumulated CPU time (s) 969.75
Current children cumulated vsize (Kb) 172240

[startup+1020.06 s]
Raw data (loadavg): 1.03 1.02 0.98 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 120314 0 0 0 95585 2346 0 0 25 0 1 0 21887670 176521216 28547 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43096 28547 364 364 0 42732 0
[pid=9843] vsize: 172384
Current children cumulated CPU time (s) 979.31
Current children cumulated vsize (Kb) 172384

[startup+1030.06 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 120878 0 0 0 96524 2365 0 0 25 0 1 0 21887670 176521216 28580 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43096 28580 364 364 0 42732 0
[pid=9843] vsize: 172384
Current children cumulated CPU time (s) 988.89
Current children cumulated vsize (Kb) 172384

[startup+1040.06 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 121964 0 0 0 97471 2384 0 0 25 0 1 0 21887670 176521216 28604 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43096 28604 364 364 0 42732 0
[pid=9843] vsize: 172384
Current children cumulated CPU time (s) 998.55
Current children cumulated vsize (Kb) 172384

[startup+1050.06 s]
Raw data (loadavg): 1.01 1.02 0.98 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 122515 0 0 0 98420 2401 0 0 25 0 1 0 21887670 176685056 28624 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43136 28624 364 364 0 42772 0
[pid=9843] vsize: 172544
Current children cumulated CPU time (s) 1008.21
Current children cumulated vsize (Kb) 172544

[startup+1060.06 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 123065 0 0 0 99364 2420 0 0 25 0 1 0 21887670 176685056 28643 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43136 28643 364 364 0 42772 0
[pid=9843] vsize: 172544
Current children cumulated CPU time (s) 1017.84
Current children cumulated vsize (Kb) 172544

[startup+1070.06 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 123617 0 0 0 100303 2443 0 0 25 0 1 0 21887670 176685056 28664 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43136 28664 364 364 0 42772 0
[pid=9843] vsize: 172544
Current children cumulated CPU time (s) 1027.46
Current children cumulated vsize (Kb) 172544

[startup+1080.06 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 124709 0 0 0 101253 2463 0 0 25 0 1 0 21887670 176685056 28694 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43136 28694 364 364 0 42772 0
[pid=9843] vsize: 172544
Current children cumulated CPU time (s) 1037.16
Current children cumulated vsize (Kb) 172544

[startup+1090.06 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 125262 0 0 0 102201 2483 0 0 25 0 1 0 21887670 176820224 28716 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43169 28716 364 364 0 42805 0
[pid=9843] vsize: 172676
Current children cumulated CPU time (s) 1046.84
Current children cumulated vsize (Kb) 172676

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 126349 0 0 0 103151 2500 0 0 25 0 1 0 21887670 176820224 28741 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43169 28741 364 364 0 42805 0
[pid=9843] vsize: 172676
Current children cumulated CPU time (s) 1056.51
Current children cumulated vsize (Kb) 172676

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 126904 0 0 0 104097 2518 0 0 25 0 1 0 21887670 176820224 28765 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43169 28765 364 364 0 42805 0
[pid=9843] vsize: 172676
Current children cumulated CPU time (s) 1066.15
Current children cumulated vsize (Kb) 172676

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 127462 0 0 0 105040 2538 0 0 25 0 1 0 21887670 176955392 28792 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43202 28792 364 364 0 42838 0
[pid=9843] vsize: 172808
Current children cumulated CPU time (s) 1075.78
Current children cumulated vsize (Kb) 172808

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 128013 0 0 0 105988 2556 0 0 25 0 1 0 21887670 176955392 28812 4294967295 134512640 135987407 3221224560 3221223280 134814092 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43202 28812 364 364 0 42838 0
[pid=9843] vsize: 172808
Current children cumulated CPU time (s) 1085.44
Current children cumulated vsize (Kb) 172808

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 129105 0 0 0 106939 2574 0 0 25 0 1 0 21887670 176955392 28842 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43202 28842 364 364 0 42838 0
[pid=9843] vsize: 172808
Current children cumulated CPU time (s) 1095.13
Current children cumulated vsize (Kb) 172808

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 129678 0 0 0 107887 2591 0 0 25 0 1 0 21887670 177111040 28884 4294967295 134512640 135987407 3221224560 3221223332 134812413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43240 28884 364 364 0 42876 0
[pid=9843] vsize: 172960
Current children cumulated CPU time (s) 1104.78
Current children cumulated vsize (Kb) 172960

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 130229 0 0 0 108835 2611 0 0 25 0 1 0 21887670 177111040 28904 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43240 28904 364 364 0 42876 0
[pid=9843] vsize: 172960
Current children cumulated CPU time (s) 1114.46
Current children cumulated vsize (Kb) 172960

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 131305 0 0 0 109791 2629 0 0 25 0 1 0 21887670 177111040 28918 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43240 28918 364 364 0 42876 0
[pid=9843] vsize: 172960
Current children cumulated CPU time (s) 1124.2
Current children cumulated vsize (Kb) 172960

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 131335 0 0 0 110730 2649 0 0 25 0 1 0 21887670 177246208 28948 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43273 28948 364 364 0 42909 0
[pid=9843] vsize: 173092
Current children cumulated CPU time (s) 1133.79
Current children cumulated vsize (Kb) 173092

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 131886 0 0 0 111680 2669 0 0 25 0 1 0 21887670 177246208 28968 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43273 28968 364 364 0 42909 0
[pid=9843] vsize: 173092
Current children cumulated CPU time (s) 1143.49
Current children cumulated vsize (Kb) 173092

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 0.98 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 132441 0 0 0 112622 2688 0 0 25 0 1 0 21887670 177246208 28992 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43273 28992 364 364 0 42909 0
[pid=9843] vsize: 173092
Current children cumulated CPU time (s) 1153.1
Current children cumulated vsize (Kb) 173092

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 133521 0 0 0 113579 2704 0 0 25 0 1 0 21887670 179421184 29541 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43804 29541 364 364 0 43440 0
[pid=9843] vsize: 175216
Current children cumulated CPU time (s) 1162.83
Current children cumulated vsize (Kb) 175216

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 134080 0 0 0 114526 2722 0 0 25 0 1 0 21887670 177381376 29038 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43306 29038 364 364 0 42942 0
[pid=9843] vsize: 173224
Current children cumulated CPU time (s) 1172.48
Current children cumulated vsize (Kb) 173224

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) T 9842 9843 4005 0 -1 0 134643 0 0 0 115475 2741 0 0 25 0 1 0 21887670 177381376 29070 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9843/statm): 43306 29070 364 364 0 42942 0
[pid=9843] vsize: 173224
Current children cumulated CPU time (s) 1182.16
Current children cumulated vsize (Kb) 173224

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 135204 0 0 0 116416 2760 0 0 25 0 1 0 21887670 177516544 29100 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43339 29100 364 364 0 42975 0
[pid=9843] vsize: 173356
Current children cumulated CPU time (s) 1191.76
Current children cumulated vsize (Kb) 173356

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 135748 0 0 0 117365 2781 0 0 25 0 1 0 21887670 177516544 29113 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43339 29113 364 364 0 42975 0
[pid=9843] vsize: 173356
Current children cumulated CPU time (s) 1201.46
Current children cumulated vsize (Kb) 173356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 9843
Raw data (/proc/9843/stat): 9843 (pb2sat) R 9842 9843 4005 0 -1 0 135748 0 0 0 117365 2781 0 0 25 0 1 0 21887670 177516544 29113 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9843/statm): 43339 29113 364 364 0 42975 0
[pid=9843] vsize: 173356
Current children cumulated CPU time (s) 1201.46
Current children cumulated vsize (Kb) 173356

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

Child status: 0
Real time (s): 1250.52
CPU time (s): 1201.91
CPU user time (s): 1174.04
CPU system time (s): 27.8688
CPU usage (%): 96.1125
Max. virtual memory (cumulated for all children) (Kb): 175216

Verifier Data

ERROR: no interpretation found !