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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM3be753912a1804561d804d0545fc341d
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 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 13633395
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9232
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint260

Trace number 10635

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 19:07:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9331 boxname=wulflinc27 idbench=1127 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3be753912a1804561d804d0545fc341d  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-bienst1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-bienst1.opb
IDLAUNCH: 9331
/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:        926652 kB
Buffers:         12792 kB
Cached:          78056 kB
SwapCached:          0 kB
Active:          45704 kB
Inactive:        48044 kB
HighTotal:      131008 kB
HighFree:        48552 kB
LowTotal:       903652 kB
LowFree:        878100 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8676 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:28:08 (client local time) WITH STATUS 0 IN 1208.61 SECONDS
stats: 9331 7 1208.61 0

Solver Data

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

c Decision: 187279/792202	Time: 168.626/86400
c Decision: 187279/792202	Time: 204.076/86400
c Decision: 187279/792202	Time: 233.001/86400
c Decision: 187279/792202	Time: 259.24/86400
c Decision: 187279/792202	Time: 284.051/86400
c Decision: 187279/792202	Time: 314.563/86400
c Decision: 187279/792202	Time: 338.788/86400
c Decision: 187483/792202	Time: 374.348/86400
c Decision: 187950/792202	Time: 472.147/86400
c Decision: 187950/792202	Time: 500.355/86400
c Decision: 187950/792202	Time: 533.98/86400
c Decision: 188233/792202	Time: 621.434/86400
c Decision: 188236/792202	Time: 657.002/86400
c Decision: 188325/792202	Time: 709.277/86400
c Decision: 188325/792202	Time: 750.458/86400
c Decision: 188427/792202	Time: 776.209/86400
c Decision: 188427/792202	Time: 807.873/86400
c Decision: 188494/792202	Time: 870.122/86400
c Decision: 188494/792202	Time: 891.884/86400
c Decision: 188494/792202	Time: 927.71/86400
c Decision: 188494/792202	Time: 964.973/86400
c Decision: 188494/792202	Time: 988.317/86400
c Decision: 188579/792202	Time: 1027.79/86400
c Decision: 188579/792202	Time: 1043.59/86400
c Decision: 188579/792202	Time: 1072.41/86400
c Decision: 188579/792202	Time: 1130.23/86400
c Decision: 188579/792202	Time: 1154.85/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/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22548098 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 373 2 364 364 0 9 0
[pid=11755] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-bienst1.opb

[startup+10.0018 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 29065 0 0 0 926 70 0 0 25 0 1 0 22548098 80195584 17888 4294967295 134512640 135987407 3221224560 3221221952 134616348 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 19579 17888 364 364 0 19215 0
[pid=11755] vsize: 78316
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78316

[startup+20.0026 s]
Raw data (loadavg): 0.94 0.95 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 58047 0 0 0 1856 139 0 0 25 0 1 0 22548098 158179328 35610 4294967295 134512640 135987407 3221224560 3221221952 134616293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 38618 35610 364 364 0 38254 0
[pid=11755] vsize: 154472
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 154472

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.95 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 98336 0 0 0 2768 225 0 0 25 0 1 0 22548098 309280768 53674 4294967295 134512640 135987407 3221224560 3221215628 135477857 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 75508 53674 364 364 0 75144 0
[pid=11755] vsize: 302032
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 302032

[startup+40.0043 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 107536 0 0 0 3728 254 0 0 25 0 1 0 22548098 325586944 60994 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 79489 60994 364 364 0 79125 0
[pid=11755] vsize: 317956
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 317956

[startup+50.0051 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 107902 0 0 0 4719 257 0 0 25 0 1 0 22548098 327077888 61360 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 79853 61360 364 364 0 79489 0
[pid=11755] vsize: 319412
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 319412

[startup+60.0059 s]
Raw data (loadavg): 0.97 0.96 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 109376 0 0 0 5699 265 0 0 25 0 1 0 22548098 333254656 62579 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 81361 62579 364 364 0 80997 0
[pid=11755] vsize: 325444
Current children cumulated CPU time (s) 59.64
Current children cumulated vsize (Kb) 325444

[startup+70.0067 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 110035 0 0 0 6693 268 0 0 25 0 1 0 22548098 336044032 63205 4294967295 134512640 135987407 3221224560 3221223020 135480721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 82042 63205 364 364 0 81678 0
[pid=11755] vsize: 328168
Current children cumulated CPU time (s) 69.61
Current children cumulated vsize (Kb) 328168

[startup+80.0066 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 111142 0 0 0 7684 272 0 0 25 0 1 0 22548098 340639744 64024 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 83164 64024 364 364 0 82800 0
[pid=11755] vsize: 332656
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 332656

[startup+90.0074 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 112597 0 0 0 8669 279 0 0 25 0 1 0 22548098 346357760 65052 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 84560 65052 364 364 0 84196 0
[pid=11755] vsize: 338240
Current children cumulated CPU time (s) 89.48
Current children cumulated vsize (Kb) 338240

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 114570 0 0 0 9656 286 0 0 25 0 1 0 22548098 352956416 66361 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 86171 66361 364 364 0 85807 0
[pid=11755] vsize: 344684
Current children cumulated CPU time (s) 99.42
Current children cumulated vsize (Kb) 344684

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 115690 0 0 0 10638 294 0 0 25 0 1 0 22548098 357175296 67057 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 87201 67057 364 364 0 86837 0
[pid=11755] vsize: 348804
Current children cumulated CPU time (s) 109.32
Current children cumulated vsize (Kb) 348804

[startup+120.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 116759 0 0 0 11615 304 0 0 25 0 1 0 22548098 361881600 67994 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 88350 67994 364 364 0 87986 0
[pid=11755] vsize: 353400
Current children cumulated CPU time (s) 119.19
Current children cumulated vsize (Kb) 353400

[startup+130.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 117734 0 0 0 12594 312 0 0 25 0 1 0 22548098 365502464 68771 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 89234 68771 364 364 0 88870 0
[pid=11755] vsize: 356936
Current children cumulated CPU time (s) 129.06
Current children cumulated vsize (Kb) 356936

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 118238 0 0 0 13570 321 0 0 25 0 1 0 22548098 367452160 69144 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 89710 69144 364 364 0 89346 0
[pid=11755] vsize: 358840
Current children cumulated CPU time (s) 138.91
Current children cumulated vsize (Kb) 358840

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 118807 0 0 0 14552 328 0 0 25 0 1 0 22548098 369168384 69517 4294967295 134512640 135987407 3221224560 3221223424 134812752 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 90129 69517 364 364 0 89765 0
[pid=11755] vsize: 360516
Current children cumulated CPU time (s) 148.8
Current children cumulated vsize (Kb) 360516

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 119643 0 0 0 15536 336 0 0 25 0 1 0 22548098 371945472 70026 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 90807 70026 364 364 0 90443 0
[pid=11755] vsize: 363228
Current children cumulated CPU time (s) 158.72
Current children cumulated vsize (Kb) 363228

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 119904 0 0 0 16505 346 0 0 25 0 1 0 22548098 372875264 70189 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 91034 70189 364 364 0 90670 0
[pid=11755] vsize: 364136
Current children cumulated CPU time (s) 168.51
Current children cumulated vsize (Kb) 364136

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 119918 0 0 0 17477 354 0 0 25 0 1 0 22548098 372875264 70203 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 91034 70203 364 364 0 90670 0
[pid=11755] vsize: 364136
Current children cumulated CPU time (s) 178.31
Current children cumulated vsize (Kb) 364136

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 119927 0 0 0 18442 366 0 0 25 0 1 0 22548098 372875264 70212 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 91034 70212 364 364 0 90670 0
[pid=11755] vsize: 364136
Current children cumulated CPU time (s) 188.08
Current children cumulated vsize (Kb) 364136

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 121517 0 0 0 19413 379 0 0 25 0 1 0 22548098 379351040 71802 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 92615 71802 364 364 0 92251 0
[pid=11755] vsize: 370460
Current children cumulated CPU time (s) 197.92
Current children cumulated vsize (Kb) 370460

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 122406 0 0 0 20400 384 0 0 25 0 1 0 22548098 376352768 70847 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 91883 70847 364 364 0 91519 0
[pid=11755] vsize: 367532
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (Kb) 367532

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 122797 0 0 0 21382 390 0 0 25 0 1 0 22548098 377417728 71107 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 92143 71107 364 364 0 91779 0
[pid=11755] vsize: 368572
Current children cumulated CPU time (s) 217.72
Current children cumulated vsize (Kb) 368572

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 123556 0 0 0 22370 395 0 0 25 0 1 0 22548098 379953152 71603 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 92762 71603 364 364 0 92398 0
[pid=11755] vsize: 371048
Current children cumulated CPU time (s) 227.65
Current children cumulated vsize (Kb) 371048

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 125434 0 0 0 23352 404 0 0 25 0 1 0 22548098 380887040 71834 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 92990 71834 364 364 0 92626 0
[pid=11755] vsize: 371960
Current children cumulated CPU time (s) 237.56
Current children cumulated vsize (Kb) 371960

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 125794 0 0 0 24337 410 0 0 25 0 1 0 22548098 381952000 72062 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 93250 72062 364 364 0 92886 0
[pid=11755] vsize: 373000
Current children cumulated CPU time (s) 247.47
Current children cumulated vsize (Kb) 373000

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 126464 0 0 0 25316 417 0 0 25 0 1 0 22548098 383664128 72373 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 93668 72373 364 364 0 93304 0
[pid=11755] vsize: 374672
Current children cumulated CPU time (s) 257.33
Current children cumulated vsize (Kb) 374672

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 128358 0 0 0 26299 424 0 0 25 0 1 0 22548098 384856064 72555 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 93959 72555 364 364 0 93595 0
[pid=11755] vsize: 375836
Current children cumulated CPU time (s) 267.23
Current children cumulated vsize (Kb) 375836

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 128904 0 0 0 27290 428 0 0 25 0 1 0 22548098 386310144 72839 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 94314 72839 364 364 0 93950 0
[pid=11755] vsize: 377256
Current children cumulated CPU time (s) 277.18
Current children cumulated vsize (Kb) 377256

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 128913 0 0 0 28262 438 0 0 25 0 1 0 22548098 386310144 72848 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 94314 72848 364 364 0 93950 0
[pid=11755] vsize: 377256
Current children cumulated CPU time (s) 287
Current children cumulated vsize (Kb) 377256

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 130707 0 0 0 29250 446 0 0 25 0 1 0 22548098 386973696 72995 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 94476 72995 364 364 0 94112 0
[pid=11755] vsize: 377904
Current children cumulated CPU time (s) 296.96
Current children cumulated vsize (Kb) 377904

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 131280 0 0 0 30222 457 0 0 25 0 1 0 22548098 388423680 73273 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 94830 73273 364 364 0 94466 0
[pid=11755] vsize: 379320
Current children cumulated CPU time (s) 306.79
Current children cumulated vsize (Kb) 379320

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 132837 0 0 0 31202 467 0 0 25 0 1 0 22548098 388423680 73282 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 94830 73282 364 364 0 94466 0
[pid=11755] vsize: 379320
Current children cumulated CPU time (s) 316.69
Current children cumulated vsize (Kb) 379320

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 132945 0 0 0 32177 475 0 0 25 0 1 0 22548098 388689920 73390 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 94895 73390 364 364 0 94531 0
[pid=11755] vsize: 379580
Current children cumulated CPU time (s) 326.52
Current children cumulated vsize (Kb) 379580

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 133141 0 0 0 33162 481 0 0 25 0 1 0 22548098 389087232 73520 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 94992 73520 364 364 0 94628 0
[pid=11755] vsize: 379968
Current children cumulated CPU time (s) 336.43
Current children cumulated vsize (Kb) 379968

[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 134836 0 0 0 34154 486 0 0 25 0 1 0 22548098 389615616 73601 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 95121 73601 364 364 0 94757 0
[pid=11755] vsize: 380484
Current children cumulated CPU time (s) 346.4
Current children cumulated vsize (Kb) 380484

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 135134 0 0 0 35144 490 0 0 25 0 1 0 22548098 390270976 73735 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 95281 73735 364 364 0 94917 0
[pid=11755] vsize: 381124
Current children cumulated CPU time (s) 356.34
Current children cumulated vsize (Kb) 381124

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 135259 0 0 0 36120 499 0 0 25 0 1 0 22548098 390668288 73795 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 95378 73795 364 364 0 95014 0
[pid=11755] vsize: 381512
Current children cumulated CPU time (s) 366.19
Current children cumulated vsize (Kb) 381512

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 136933 0 0 0 37103 508 0 0 25 0 1 0 22548098 390930432 73856 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 95442 73856 364 364 0 95078 0
[pid=11755] vsize: 381768
Current children cumulated CPU time (s) 376.11
Current children cumulated vsize (Kb) 381768

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 137612 0 0 0 38095 512 0 0 25 0 1 0 22548098 393302016 74144 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 96021 74144 364 364 0 95657 0
[pid=11755] vsize: 384084
Current children cumulated CPU time (s) 386.07
Current children cumulated vsize (Kb) 384084

[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 137909 0 0 0 39075 518 0 0 25 0 1 0 22548098 394227712 74343 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 96247 74343 364 364 0 95883 0
[pid=11755] vsize: 384988
Current children cumulated CPU time (s) 395.93
Current children cumulated vsize (Kb) 384988

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 139537 0 0 0 40059 527 0 0 25 0 1 0 22548098 400699392 75938 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 97827 75938 364 364 0 97463 0
[pid=11755] vsize: 391308
Current children cumulated CPU time (s) 405.86
Current children cumulated vsize (Kb) 391308

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 139542 0 0 0 41043 533 0 0 25 0 1 0 22548098 394358784 74395 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 96279 74395 364 364 0 95915 0
[pid=11755] vsize: 385116
Current children cumulated CPU time (s) 415.76
Current children cumulated vsize (Kb) 385116

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 139778 0 0 0 42018 541 0 0 25 0 1 0 22548098 395706368 74598 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 96608 74598 364 364 0 96244 0
[pid=11755] vsize: 386432
Current children cumulated CPU time (s) 425.59
Current children cumulated vsize (Kb) 386432

[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 139923 0 0 0 43010 545 0 0 25 0 1 0 22548098 396103680 74710 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 96705 74710 364 364 0 96341 0
[pid=11755] vsize: 386820
Current children cumulated CPU time (s) 435.55
Current children cumulated vsize (Kb) 386820

[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 140287 0 0 0 43995 550 0 0 25 0 1 0 22548098 397426688 74878 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 97028 74878 364 364 0 96664 0
[pid=11755] vsize: 388112
Current children cumulated CPU time (s) 445.45
Current children cumulated vsize (Kb) 388112

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 140368 0 0 0 44976 556 0 0 25 0 1 0 22548098 397557760 74926 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 97060 74926 364 364 0 96696 0
[pid=11755] vsize: 388240
Current children cumulated CPU time (s) 455.32
Current children cumulated vsize (Kb) 388240

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 140642 0 0 0 45966 561 0 0 25 0 1 0 22548098 398213120 75037 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 97220 75037 364 364 0 96856 0
[pid=11755] vsize: 388880
Current children cumulated CPU time (s) 465.27
Current children cumulated vsize (Kb) 388880

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 140964 0 0 0 46949 567 0 0 25 0 1 0 22548098 399396864 75196 4294967295 134512640 135987407 3221224560 3221223244 135500012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 97509 75205 364 364 0 97145 0
[pid=11755] vsize: 390036
Current children cumulated CPU time (s) 475.16
Current children cumulated vsize (Kb) 390036

[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 141214 0 0 0 47939 571 0 0 25 0 1 0 22548098 399659008 75316 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 97573 75316 364 364 0 97209 0
[pid=11755] vsize: 390292
Current children cumulated CPU time (s) 485.1
Current children cumulated vsize (Kb) 390292

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 141369 0 0 0 48926 576 0 0 25 0 1 0 22548098 400052224 75373 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 97669 75373 364 364 0 97305 0
[pid=11755] vsize: 390676
Current children cumulated CPU time (s) 495.02
Current children cumulated vsize (Kb) 390676

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 143130 0 0 0 49916 582 0 0 25 0 1 0 22548098 400576512 75456 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 97797 75456 364 364 0 97433 0
[pid=11755] vsize: 391188
Current children cumulated CPU time (s) 504.98
Current children cumulated vsize (Kb) 391188

[startup+520.026 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 143345 0 0 0 50903 586 0 0 25 0 1 0 22548098 401100800 75541 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 97925 75541 364 364 0 97561 0
[pid=11755] vsize: 391700
Current children cumulated CPU time (s) 514.89
Current children cumulated vsize (Kb) 391700

[startup+530.026 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 143432 0 0 0 51880 594 0 0 25 0 1 0 22548098 401362944 75563 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 97989 75563 364 364 0 97625 0
[pid=11755] vsize: 391956
Current children cumulated CPU time (s) 524.74
Current children cumulated vsize (Kb) 391956

[startup+540.028 s]
Raw data (loadavg): 1.05 0.99 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 145174 0 0 0 52859 604 0 0 25 0 1 0 22548098 401756160 75659 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 98085 75659 364 364 0 97721 0
[pid=11755] vsize: 392340
Current children cumulated CPU time (s) 534.63
Current children cumulated vsize (Kb) 392340

[startup+550.028 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 145265 0 0 0 53838 610 0 0 25 0 1 0 22548098 402018304 75685 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 98149 75685 364 364 0 97785 0
[pid=11755] vsize: 392596
Current children cumulated CPU time (s) 544.48
Current children cumulated vsize (Kb) 392596

[startup+560.027 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 145277 0 0 0 54812 619 0 0 25 0 1 0 22548098 402018304 75697 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98149 75697 364 364 0 97785 0
[pid=11755] vsize: 392596
Current children cumulated CPU time (s) 554.31
Current children cumulated vsize (Kb) 392596

[startup+570.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 146899 0 0 0 55800 625 0 0 25 0 1 0 22548098 402280448 75706 4294967295 134512640 135987407 3221224560 3221223372 134877026 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98213 75706 364 364 0 97849 0
[pid=11755] vsize: 392852
Current children cumulated CPU time (s) 564.25
Current children cumulated vsize (Kb) 392852

[startup+580.029 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 146909 0 0 0 56782 632 0 0 25 0 1 0 22548098 402280448 75716 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98213 75716 364 364 0 97849 0
[pid=11755] vsize: 392852
Current children cumulated CPU time (s) 574.14
Current children cumulated vsize (Kb) 392852

[startup+590.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 146912 0 0 0 57760 638 0 0 25 0 1 0 22548098 402280448 75719 4294967295 134512640 135987407 3221224560 3221223020 135481128 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98213 75719 364 364 0 97849 0
[pid=11755] vsize: 392852
Current children cumulated CPU time (s) 583.98
Current children cumulated vsize (Kb) 392852

[startup+600.031 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 147143 0 0 0 58740 646 0 0 25 0 1 0 22548098 402804736 75820 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98341 75820 364 364 0 97977 0
[pid=11755] vsize: 393364
Current children cumulated CPU time (s) 593.86
Current children cumulated vsize (Kb) 393364

[startup+610.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 147156 0 0 0 59725 652 0 0 25 0 1 0 22548098 402804736 75833 4294967295 134512640 135987407 3221224560 3221223248 134811986 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 98341 75833 364 364 0 97977 0
[pid=11755] vsize: 393364
Current children cumulated CPU time (s) 603.77
Current children cumulated vsize (Kb) 393364

[startup+620.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 147186 0 0 0 60713 657 0 0 25 0 1 0 22548098 402804736 75863 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98341 75863 364 364 0 97977 0
[pid=11755] vsize: 393364
Current children cumulated CPU time (s) 613.7
Current children cumulated vsize (Kb) 393364

[startup+630.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 147291 0 0 0 61704 660 0 0 25 0 1 0 22548098 403070976 75968 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98406 75968 364 364 0 98042 0
[pid=11755] vsize: 393624
Current children cumulated CPU time (s) 623.64
Current children cumulated vsize (Kb) 393624

[startup+640.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 147295 0 0 0 62695 663 0 0 25 0 1 0 22548098 403070976 75972 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98406 75972 364 364 0 98042 0
[pid=11755] vsize: 393624
Current children cumulated CPU time (s) 633.58
Current children cumulated vsize (Kb) 393624

[startup+650.035 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 147322 0 0 0 63672 671 0 0 25 0 1 0 22548098 403070976 75999 4294967295 134512640 135987407 3221224560 3221223176 135293361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98406 75999 364 364 0 98042 0
[pid=11755] vsize: 393624
Current children cumulated CPU time (s) 643.43
Current children cumulated vsize (Kb) 393624

[startup+660.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 148872 0 0 0 64645 682 0 0 25 0 1 0 22548098 409411584 77549 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 99954 77549 364 364 0 99590 0
[pid=11755] vsize: 399816
Current children cumulated CPU time (s) 653.27
Current children cumulated vsize (Kb) 399816

[startup+670.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 149578 0 0 0 65636 685 0 0 25 0 1 0 22548098 404905984 76254 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 98854 76254 364 364 0 98490 0
[pid=11755] vsize: 395416
Current children cumulated CPU time (s) 663.21
Current children cumulated vsize (Kb) 395416

[startup+680.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 149583 0 0 0 66618 692 0 0 25 0 1 0 22548098 404905984 76259 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 98854 76259 364 364 0 98490 0
[pid=11755] vsize: 395416
Current children cumulated CPU time (s) 673.1
Current children cumulated vsize (Kb) 395416

[startup+690.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 149592 0 0 0 67590 701 0 0 25 0 1 0 22548098 404905984 76268 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 98854 76268 364 364 0 98490 0
[pid=11755] vsize: 395416
Current children cumulated CPU time (s) 682.91
Current children cumulated vsize (Kb) 395416

[startup+700.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 151372 0 0 0 68573 710 0 0 25 0 1 0 22548098 405561344 76337 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99014 76337 364 364 0 98650 0
[pid=11755] vsize: 396056
Current children cumulated CPU time (s) 692.83
Current children cumulated vsize (Kb) 396056

[startup+710.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 151390 0 0 0 69555 717 0 0 25 0 1 0 22548098 405561344 76355 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99014 76355 364 364 0 98650 0
[pid=11755] vsize: 396056
Current children cumulated CPU time (s) 702.72
Current children cumulated vsize (Kb) 396056

[startup+720.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 151698 0 0 0 70542 721 0 0 25 0 1 0 22548098 406478848 76435 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99238 76435 364 364 0 98874 0
[pid=11755] vsize: 396952
Current children cumulated CPU time (s) 712.63
Current children cumulated vsize (Kb) 396952

[startup+730.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 151728 0 0 0 71512 731 0 0 25 0 1 0 22548098 406478848 76465 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99238 76465 364 364 0 98874 0
[pid=11755] vsize: 396952
Current children cumulated CPU time (s) 722.43
Current children cumulated vsize (Kb) 396952

[startup+740.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 151746 0 0 0 72486 739 0 0 25 0 1 0 22548098 406478848 76483 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99238 76483 364 364 0 98874 0
[pid=11755] vsize: 396952
Current children cumulated CPU time (s) 732.25
Current children cumulated vsize (Kb) 396952

[startup+750.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 153315 0 0 0 73465 750 0 0 25 0 1 0 22548098 406478848 76504 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99238 76504 364 364 0 98874 0
[pid=11755] vsize: 396952
Current children cumulated CPU time (s) 742.15
Current children cumulated vsize (Kb) 396952

[startup+760.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 153318 0 0 0 74455 753 0 0 25 0 1 0 22548098 406478848 76507 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99238 76507 364 364 0 98874 0
[pid=11755] vsize: 396952
Current children cumulated CPU time (s) 752.08
Current children cumulated vsize (Kb) 396952

[startup+770.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 153411 0 0 0 75443 757 0 0 25 0 1 0 22548098 406740992 76535 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99302 76535 364 364 0 98938 0
[pid=11755] vsize: 397208
Current children cumulated CPU time (s) 762
Current children cumulated vsize (Kb) 397208

[startup+780.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 153576 0 0 0 76428 763 0 0 25 0 1 0 22548098 407134208 76602 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 99398 76602 364 364 0 99034 0
[pid=11755] vsize: 397592
Current children cumulated CPU time (s) 771.91
Current children cumulated vsize (Kb) 397592

[startup+790.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 155311 0 0 0 77413 770 0 0 25 0 1 0 22548098 413999104 78207 4294967295 134512640 135987407 3221224560 3221222928 134828866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101074 78207 364 364 0 100710 0
[pid=11755] vsize: 404296
Current children cumulated CPU time (s) 781.83
Current children cumulated vsize (Kb) 404296

[startup+800.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 155323 0 0 0 78396 775 0 0 25 0 1 0 22548098 407658496 76671 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 99526 76671 364 364 0 99162 0
[pid=11755] vsize: 398104
Current children cumulated CPU time (s) 791.71
Current children cumulated vsize (Kb) 398104

[startup+810.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 155511 0 0 0 79377 782 0 0 25 0 1 0 22548098 408182784 76729 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 99654 76729 364 364 0 99290 0
[pid=11755] vsize: 398616
Current children cumulated CPU time (s) 801.59
Current children cumulated vsize (Kb) 398616

[startup+820.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 157484 0 0 0 80367 788 0 0 25 0 1 0 22548098 409231360 76894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 99910 76894 364 364 0 99546 0
[pid=11755] vsize: 399640
Current children cumulated CPU time (s) 811.55
Current children cumulated vsize (Kb) 399640

[startup+830.046 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 157695 0 0 0 81358 791 0 0 25 0 1 0 22548098 409755648 76975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100038 76975 364 364 0 99674 0
[pid=11755] vsize: 400152
Current children cumulated CPU time (s) 821.49
Current children cumulated vsize (Kb) 400152

[startup+840.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 157804 0 0 0 82341 797 0 0 25 0 1 0 22548098 410017792 77019 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100102 77019 364 364 0 99738 0
[pid=11755] vsize: 400408
Current children cumulated CPU time (s) 831.38
Current children cumulated vsize (Kb) 400408

[startup+850.046 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 159381 0 0 0 83322 806 0 0 25 0 1 0 22548098 410017792 77048 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100102 77048 364 364 0 99738 0
[pid=11755] vsize: 400408
Current children cumulated CPU time (s) 841.28
Current children cumulated vsize (Kb) 400408

[startup+860.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 159498 0 0 0 84316 808 0 0 25 0 1 0 22548098 410279936 77100 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100166 77100 364 364 0 99802 0
[pid=11755] vsize: 400664
Current children cumulated CPU time (s) 851.24
Current children cumulated vsize (Kb) 400664

[startup+870.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 160077 0 0 0 85301 815 0 0 25 0 1 0 22548098 411590656 77354 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100486 77354 364 364 0 100122 0
[pid=11755] vsize: 401944
Current children cumulated CPU time (s) 861.16
Current children cumulated vsize (Kb) 401944

[startup+880.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 160129 0 0 0 86284 821 0 0 25 0 1 0 22548098 411721728 77373 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100518 77373 364 364 0 100154 0
[pid=11755] vsize: 402072
Current children cumulated CPU time (s) 871.05
Current children cumulated vsize (Kb) 402072

[startup+890.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 160153 0 0 0 87278 823 0 0 25 0 1 0 22548098 411721728 77397 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100518 77397 364 364 0 100154 0
[pid=11755] vsize: 402072
Current children cumulated CPU time (s) 881.01
Current children cumulated vsize (Kb) 402072

[startup+900.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 160260 0 0 0 88267 827 0 0 25 0 1 0 22548098 411983872 77439 4294967295 134512640 135987407 3221224560 3221223344 134812394 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100582 77439 364 364 0 100218 0
[pid=11755] vsize: 402328
Current children cumulated CPU time (s) 890.94
Current children cumulated vsize (Kb) 402328

[startup+910.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 161810 0 0 0 89245 836 0 0 25 0 1 0 22548098 418324480 78989 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 102130 78989 364 364 0 101766 0
[pid=11755] vsize: 408520
Current children cumulated CPU time (s) 900.81
Current children cumulated vsize (Kb) 408520

[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 161811 0 0 0 90230 841 0 0 25 0 1 0 22548098 411983872 77442 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 100582 77442 364 364 0 100218 0
[pid=11755] vsize: 402328
Current children cumulated CPU time (s) 910.71
Current children cumulated vsize (Kb) 402328

[startup+930.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 161829 0 0 0 91199 851 0 0 25 0 1 0 22548098 411983872 77460 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 100582 77460 364 364 0 100218 0
[pid=11755] vsize: 402328
Current children cumulated CPU time (s) 920.5
Current children cumulated vsize (Kb) 402328

[startup+940.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 163464 0 0 0 92184 859 0 0 25 0 1 0 22548098 412246016 77482 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 100646 77482 364 364 0 100282 0
[pid=11755] vsize: 402584
Current children cumulated CPU time (s) 930.43
Current children cumulated vsize (Kb) 402584

[startup+950.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 163489 0 0 0 93165 865 0 0 25 0 1 0 22548098 412246016 77507 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 100646 77507 364 364 0 100282 0
[pid=11755] vsize: 402584
Current children cumulated CPU time (s) 940.3
Current children cumulated vsize (Kb) 402584

[startup+960.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 163530 0 0 0 94143 873 0 0 25 0 1 0 22548098 412381184 77548 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 100679 77548 364 364 0 100315 0
[pid=11755] vsize: 402716
Current children cumulated CPU time (s) 950.16
Current children cumulated vsize (Kb) 402716

[startup+970.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 165596 0 0 0 95122 882 0 0 25 0 1 0 22548098 413966336 77772 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101066 77772 364 364 0 100702 0
[pid=11755] vsize: 404264
Current children cumulated CPU time (s) 960.04
Current children cumulated vsize (Kb) 404264

[startup+980.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 165603 0 0 0 96104 888 0 0 25 0 1 0 22548098 413966336 77779 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101066 77779 364 364 0 100702 0
[pid=11755] vsize: 404264
Current children cumulated CPU time (s) 969.92
Current children cumulated vsize (Kb) 404264

[startup+990.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 165651 0 0 0 97089 893 0 0 25 0 1 0 22548098 414236672 77827 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101132 77827 364 364 0 100768 0
[pid=11755] vsize: 404528
Current children cumulated CPU time (s) 979.82
Current children cumulated vsize (Kb) 404528

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 165759 0 0 0 98083 895 0 0 25 0 1 0 22548098 414498816 77870 4294967295 134512640 135987407 3221224560 3221223316 134812117 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101196 77870 364 364 0 100832 0
[pid=11755] vsize: 404784
Current children cumulated CPU time (s) 989.78
Current children cumulated vsize (Kb) 404784

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 167366 0 0 0 99074 900 0 0 25 0 1 0 22548098 414629888 77896 4294967295 134512640 135987407 3221224560 3221223020 135480545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101228 77896 364 364 0 100864 0
[pid=11755] vsize: 404912
Current children cumulated CPU time (s) 999.74
Current children cumulated vsize (Kb) 404912

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 167375 0 0 0 100044 911 0 0 24 0 1 0 22548098 414629888 77905 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101228 77905 364 364 0 100864 0
[pid=11755] vsize: 404912
Current children cumulated CPU time (s) 1009.55
Current children cumulated vsize (Kb) 404912

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 168926 0 0 0 101012 924 0 0 25 0 1 0 22548098 420970496 79456 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 102776 79456 364 364 0 102412 0
[pid=11755] vsize: 411104
Current children cumulated CPU time (s) 1019.36
Current children cumulated vsize (Kb) 411104

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 168943 0 0 0 102001 927 0 0 25 0 1 0 22548098 414629888 77925 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101228 77925 364 364 0 100864 0
[pid=11755] vsize: 404912
Current children cumulated CPU time (s) 1029.28
Current children cumulated vsize (Kb) 404912

[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 169179 0 0 0 102987 931 0 0 25 0 1 0 22548098 415154176 78031 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101356 78031 364 364 0 100992 0
[pid=11755] vsize: 405424
Current children cumulated CPU time (s) 1039.18
Current children cumulated vsize (Kb) 405424

[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 169191 0 0 0 103959 939 0 0 25 0 1 0 22548098 415154176 78043 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101356 78043 364 364 0 100992 0
[pid=11755] vsize: 405424
Current children cumulated CPU time (s) 1048.98
Current children cumulated vsize (Kb) 405424

[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 170741 0 0 0 104933 952 0 0 25 0 1 0 22548098 421494784 79593 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 102904 79593 364 364 0 102540 0
[pid=11755] vsize: 411616
Current children cumulated CPU time (s) 1058.85
Current children cumulated vsize (Kb) 411616

[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 170748 0 0 0 105908 961 0 0 25 0 1 0 22548098 415154176 78052 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101356 78052 364 364 0 100992 0
[pid=11755] vsize: 405424
Current children cumulated CPU time (s) 1068.69
Current children cumulated vsize (Kb) 405424

[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 172305 0 0 0 106884 971 0 0 25 0 1 0 22548098 415154176 78061 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101356 78061 364 364 0 100992 0
[pid=11755] vsize: 405424
Current children cumulated CPU time (s) 1078.55
Current children cumulated vsize (Kb) 405424

[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 172452 0 0 0 107865 977 0 0 25 0 1 0 22548098 415686656 78143 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101486 78143 364 364 0 101122 0
[pid=11755] vsize: 405944
Current children cumulated CPU time (s) 1088.42
Current children cumulated vsize (Kb) 405944

[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 172638 0 0 0 108848 983 0 0 25 0 1 0 22548098 416215040 78264 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101615 78264 364 364 0 101251 0
[pid=11755] vsize: 406460
Current children cumulated CPU time (s) 1098.31
Current children cumulated vsize (Kb) 406460

[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 174281 0 0 0 109839 989 0 0 25 0 1 0 22548098 416477184 78294 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101679 78294 364 364 0 101315 0
[pid=11755] vsize: 406716
Current children cumulated CPU time (s) 1108.28
Current children cumulated vsize (Kb) 406716

[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 174404 0 0 0 110827 994 0 0 25 0 1 0 22548098 416739328 78352 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101743 78352 364 364 0 101379 0
[pid=11755] vsize: 406972
Current children cumulated CPU time (s) 1118.21
Current children cumulated vsize (Kb) 406972

[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 174409 0 0 0 111820 996 0 0 25 0 1 0 22548098 416739328 78357 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101743 78357 364 364 0 101379 0
[pid=11755] vsize: 406972
Current children cumulated CPU time (s) 1128.16
Current children cumulated vsize (Kb) 406972

[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 174526 0 0 0 112814 998 0 0 25 0 1 0 22548098 417001472 78409 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101807 78409 364 364 0 101443 0
[pid=11755] vsize: 407228
Current children cumulated CPU time (s) 1138.12
Current children cumulated vsize (Kb) 407228

[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 174686 0 0 0 113809 1000 0 0 25 0 1 0 22548098 417263616 78504 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101871 78504 364 364 0 101507 0
[pid=11755] vsize: 407484
Current children cumulated CPU time (s) 1148.09
Current children cumulated vsize (Kb) 407484

[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 174779 0 0 0 114801 1003 0 0 25 0 1 0 22548098 417525760 78532 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101935 78532 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1158.04
Current children cumulated vsize (Kb) 407740

[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 176328 0 0 0 115789 1009 0 0 25 0 1 0 22548098 417525760 78533 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101935 78533 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1167.98
Current children cumulated vsize (Kb) 407740

[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 176330 0 0 0 116760 1019 0 0 25 0 1 0 22548098 417525760 78535 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101935 78535 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1177.79
Current children cumulated vsize (Kb) 407740

[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 177882 0 0 0 117735 1031 0 0 25 0 1 0 22548098 417525760 78539 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101935 78539 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1187.66
Current children cumulated vsize (Kb) 407740

[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) R 11754 11755 4005 0 -1 0 177884 0 0 0 118722 1035 0 0 25 0 1 0 22548098 417525760 78541 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11755/statm): 101935 78541 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1197.57
Current children cumulated vsize (Kb) 407740

[startup+1220.07 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 177894 0 0 0 119691 1044 0 0 25 0 1 0 22548098 417525760 78551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101935 78551 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1207.35
Current children cumulated vsize (Kb) 407740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 11755
Raw data (/proc/11755/stat): 11755 (pb2sat) T 11754 11755 4005 0 -1 0 177894 0 0 0 119691 1044 0 0 25 0 1 0 22548098 417525760 78551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11755/statm): 101935 78551 364 364 0 101571 0
[pid=11755] vsize: 407740
Current children cumulated CPU time (s) 1207.35
Current children cumulated vsize (Kb) 407740

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

Child status: 0
Real time (s): 1221.34
CPU time (s): 1208.61
CPU user time (s): 1198
CPU system time (s): 10.6104
CPU usage (%): 98.958
Max. virtual memory (cumulated for all children) (Kb): 411616

Verifier Data

ERROR: no interpretation found !