Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
MD5SUMbd41ba4f2ddbc80664ba643e2dc93b96
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576279200
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576279200
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark41.9706
Number of variables204880
Total number of constraints364368
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)210685
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint1
Maximum length of a constraint120

Trace number 10103

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905208 kB
Buffers:         13092 kB
Cached:          98700 kB
SwapCached:          0 kB
Active:          71664 kB
Inactive:        43048 kB
HighTotal:      131008 kB
HighFree:        28364 kB
LowTotal:       903652 kB
LowFree:        876844 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9188 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:01:27 (client local time) WITH STATUS 0 IN 1211.59 SECONDS
stats: 8804 7 1211.59 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 18 0 0 0 0 0 0 0 25 0 1 0 21719092 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 373 2 364 364 0 9 0
[pid=9310] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-stp3d.opb

[startup+10.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 165 0 0 0 993 4 0 0 25 0 1 0 21719092 1806336 146 4294967295 134512640 135987407 3221224560 3221221904 134612788 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 441 146 364 364 0 77 0
[pid=9310] vsize: 1764
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 1764

[startup+20.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 230 0 0 0 1988 8 0 0 25 0 1 0 21719092 1957888 209 4294967295 134512640 135987407 3221224560 3221221952 134616179 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 478 209 364 364 0 114 0
[pid=9310] vsize: 1912
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 1912

[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 2557 0 0 0 2980 15 0 0 25 0 1 0 21719092 9502720 1870 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 2320 1870 364 364 0 1956 0
[pid=9310] vsize: 9280
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 9280

[startup+40.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 4181 0 0 0 3976 19 0 0 25 0 1 0 21719092 15224832 2746 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 3717 2746 364 364 0 3353 0
[pid=9310] vsize: 14868
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 14868

[startup+50.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 4445 0 0 0 4974 21 0 0 25 0 1 0 21719092 15765504 3005 4294967295 134512640 135987407 3221224560 3221221624 134931169 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 3849 3005 364 364 0 3485 0
[pid=9310] vsize: 15396
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 15396

[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 4723 0 0 0 5973 22 0 0 25 0 1 0 21719092 16441344 3278 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4014 3278 364 364 0 3650 0
[pid=9310] vsize: 16056
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 16056

[startup+70.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 4971 0 0 0 6971 23 0 0 25 0 1 0 21719092 17117184 3522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4179 3522 364 364 0 3815 0
[pid=9310] vsize: 16716
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 16716

[startup+80.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 5196 0 0 0 7970 24 0 0 25 0 1 0 21719092 17657856 3743 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4311 3743 364 364 0 3947 0
[pid=9310] vsize: 17244
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 17244

[startup+90.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 5398 0 0 0 8970 25 0 0 25 0 1 0 21719092 18198528 3942 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4443 3942 364 364 0 4079 0
[pid=9310] vsize: 17772
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 17772

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 5586 0 0 0 9969 25 0 0 25 0 1 0 21719092 18604032 4127 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4542 4127 364 364 0 4178 0
[pid=9310] vsize: 18168
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 18168

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 5763 0 0 0 10969 26 0 0 25 0 1 0 21719092 19144704 4301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4674 4301 364 364 0 4310 0
[pid=9310] vsize: 18696
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 18696

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 5931 0 0 0 11968 26 0 0 25 0 1 0 21719092 19550208 4466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 4773 4466 364 364 0 4409 0
[pid=9310] vsize: 19092
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 19092

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 8281 0 0 0 12963 31 0 0 25 0 1 0 21719092 28696576 5339 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 7006 5339 364 364 0 6642 0
[pid=9310] vsize: 28024
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 28024

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 8342 0 0 0 13963 31 0 0 25 0 1 0 21719092 28696576 5397 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 7006 5397 364 364 0 6642 0
[pid=9310] vsize: 28024
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 28024

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 8471 0 0 0 14963 31 0 0 25 0 1 0 21719092 28966912 5523 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 7072 5523 364 364 0 6708 0
[pid=9310] vsize: 28288
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 28288

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 8598 0 0 0 15962 32 0 0 25 0 1 0 21719092 29237248 5648 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 7138 5648 364 364 0 6774 0
[pid=9310] vsize: 28552
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 28552

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 10043 0 0 0 16956 37 0 0 25 0 1 0 21719092 34103296 7079 4294967295 134512640 135987407 3221224560 3221221872 134639837 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 8326 7079 364 364 0 7962 0
[pid=9310] vsize: 33304
Current children cumulated CPU time (s) 169.93
Current children cumulated vsize (Kb) 33304

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 19421 0 0 0 17929 61 0 0 25 0 1 0 21719092 63275008 13912 4294967295 134512640 135987407 3221224560 3221222008 134614933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 15448 13912 364 364 0 15084 0
[pid=9310] vsize: 61792
Current children cumulated CPU time (s) 179.9
Current children cumulated vsize (Kb) 61792

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 37323 0 0 0 18889 99 0 0 25 0 1 0 21719092 116117504 23794 4294967295 134512640 135987407 3221224560 3221221644 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 28349 23794 364 364 0 27985 0
[pid=9310] vsize: 113396
Current children cumulated CPU time (s) 189.88
Current children cumulated vsize (Kb) 113396

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 73638 0 0 0 19802 184 0 0 25 0 1 0 21719092 244490240 40963 4294967295 134512640 135987407 3221224560 3221220128 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 59690 40963 364 364 0 59326 0
[pid=9310] vsize: 238760
Current children cumulated CPU time (s) 199.86
Current children cumulated vsize (Kb) 238760

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 100560 0 0 0 20738 247 0 0 25 0 1 0 21719092 299012096 55342 4294967295 134512640 135987407 3221224560 3221218940 134635432 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 73001 55342 364 364 0 72637 0
[pid=9310] vsize: 292004
Current children cumulated CPU time (s) 209.85
Current children cumulated vsize (Kb) 292004

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 118955 0 0 0 21692 293 0 0 25 0 1 0 21719092 488828928 73393 4294967295 134512640 135987407 3221224560 3221217856 134856505 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 119343 73393 364 364 0 118979 0
[pid=9310] vsize: 477372
Current children cumulated CPU time (s) 219.85
Current children cumulated vsize (Kb) 477372

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 157523 0 0 0 22608 373 0 0 25 0 1 0 21719092 465104896 92406 4294967295 134512640 135987407 3221224560 3221219464 135499869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 113551 92406 364 364 0 113187 0
[pid=9310] vsize: 454204
Current children cumulated CPU time (s) 229.81
Current children cumulated vsize (Kb) 454204

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 195833 0 0 0 23518 462 0 0 25 0 1 0 21719092 569823232 105901 4294967295 134512640 135987407 3221224560 3221221024 134560527 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 139117 105901 364 364 0 138753 0
[pid=9310] vsize: 556468
Current children cumulated CPU time (s) 239.8
Current children cumulated vsize (Kb) 556468

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 207887 0 0 0 24487 492 0 0 25 0 1 0 21719092 606892032 117743 4294967295 134512640 135987407 3221224560 3221220744 135480417 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 148167 117743 364 364 0 147803 0
[pid=9310] vsize: 592668
Current children cumulated CPU time (s) 249.79
Current children cumulated vsize (Kb) 592668

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 215815 0 0 0 25465 512 0 0 25 0 1 0 21719092 609325056 125536 4294967295 134512640 135987407 3221224560 3221221744 134536160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 148761 125536 364 364 0 148397 0
[pid=9310] vsize: 595044
Current children cumulated CPU time (s) 259.77
Current children cumulated vsize (Kb) 595044

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 228450 0 0 0 26432 544 0 0 25 0 1 0 21719092 644288512 138101 4294967295 134512640 135987407 3221224560 3221223152 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 157297 138101 364 364 0 156933 0
[pid=9310] vsize: 629188
Current children cumulated CPU time (s) 269.76
Current children cumulated vsize (Kb) 629188

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) T 9309 9310 4060 0 -1 0 232396 0 0 0 27247 609 0 0 17 0 1 0 21719092 643325952 137823 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9310/statm): 157062 137823 364 364 0 156698 0
[pid=9310] vsize: 628248
Current children cumulated CPU time (s) 278.56
Current children cumulated vsize (Kb) 628248

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) T 9309 9310 4060 0 -1 0 233417 0 0 0 27671 786 0 0 17 0 1 0 21719092 648085504 138844 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9310/statm): 158224 138844 364 364 0 157860 0
[pid=9310] vsize: 632896
Current children cumulated CPU time (s) 284.57
Current children cumulated vsize (Kb) 632896

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 235282 0 0 0 28580 818 0 0 25 0 1 0 21719092 656330752 140676 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 160237 140676 364 364 0 159873 0
[pid=9310] vsize: 640948
Current children cumulated CPU time (s) 293.98
Current children cumulated vsize (Kb) 640948

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 235701 0 0 0 29570 822 0 0 25 0 1 0 21719092 658219008 141095 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 160698 141095 364 364 0 160334 0
[pid=9310] vsize: 642792
Current children cumulated CPU time (s) 303.92
Current children cumulated vsize (Kb) 642792

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 236366 0 0 0 30559 826 0 0 25 0 1 0 21719092 661323776 141760 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 161456 141760 364 364 0 161092 0
[pid=9310] vsize: 645824
Current children cumulated CPU time (s) 313.85
Current children cumulated vsize (Kb) 645824

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 236647 0 0 0 31548 830 0 0 25 0 1 0 21719092 662585344 142041 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 161764 142041 364 364 0 161400 0
[pid=9310] vsize: 647056
Current children cumulated CPU time (s) 323.78
Current children cumulated vsize (Kb) 647056

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 236898 0 0 0 32539 835 0 0 25 0 1 0 21719092 663777280 142292 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162055 142292 364 364 0 161691 0
[pid=9310] vsize: 648220
Current children cumulated CPU time (s) 333.74
Current children cumulated vsize (Kb) 648220

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237051 0 0 0 33530 838 0 0 25 0 1 0 21719092 664760320 142445 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162295 142445 364 364 0 161931 0
[pid=9310] vsize: 649180
Current children cumulated CPU time (s) 343.68
Current children cumulated vsize (Kb) 649180

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237063 0 0 0 34522 841 0 0 25 0 1 0 21719092 664760320 142457 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162295 142457 364 364 0 161931 0
[pid=9310] vsize: 649180
Current children cumulated CPU time (s) 353.63
Current children cumulated vsize (Kb) 649180

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237135 0 0 0 35511 844 0 0 25 0 1 0 21719092 665092096 142529 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162376 142529 364 364 0 162012 0
[pid=9310] vsize: 649504
Current children cumulated CPU time (s) 363.55
Current children cumulated vsize (Kb) 649504

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237207 0 0 0 36503 847 0 0 25 0 1 0 21719092 665362432 142601 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162442 142601 364 364 0 162078 0
[pid=9310] vsize: 649768
Current children cumulated CPU time (s) 373.5
Current children cumulated vsize (Kb) 649768

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237350 0 0 0 37492 851 0 0 25 0 1 0 21719092 666038272 142744 4294967295 134512640 135987407 3221224560 3221223248 134811977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162607 142744 364 364 0 162243 0
[pid=9310] vsize: 650428
Current children cumulated CPU time (s) 383.43
Current children cumulated vsize (Kb) 650428

[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237468 0 0 0 38483 854 0 0 25 0 1 0 21719092 666640384 142862 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162754 142862 364 364 0 162390 0
[pid=9310] vsize: 651016
Current children cumulated CPU time (s) 393.37
Current children cumulated vsize (Kb) 651016

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237581 0 0 0 39473 858 0 0 25 0 1 0 21719092 667181056 142975 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 162886 142975 364 364 0 162522 0
[pid=9310] vsize: 651544
Current children cumulated CPU time (s) 403.31
Current children cumulated vsize (Kb) 651544

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237782 0 0 0 40465 861 0 0 25 0 1 0 21719092 668119040 143143 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 163115 143143 364 364 0 162751 0
[pid=9310] vsize: 652460
Current children cumulated CPU time (s) 413.26
Current children cumulated vsize (Kb) 652460

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 237946 0 0 0 41454 865 0 0 25 0 1 0 21719092 668930048 143307 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 163313 143307 364 364 0 162949 0
[pid=9310] vsize: 653252
Current children cumulated CPU time (s) 423.19
Current children cumulated vsize (Kb) 653252

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 238154 0 0 0 42447 868 0 0 25 0 1 0 21719092 670011392 143515 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 163577 143515 364 364 0 163213 0
[pid=9310] vsize: 654308
Current children cumulated CPU time (s) 433.15
Current children cumulated vsize (Kb) 654308

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 238674 0 0 0 43440 872 0 0 25 0 1 0 21719092 672108544 143522 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164089 143522 364 364 0 163725 0
[pid=9310] vsize: 656356
Current children cumulated CPU time (s) 443.12
Current children cumulated vsize (Kb) 656356

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 238684 0 0 0 44432 874 0 0 25 0 1 0 21719092 672108544 143532 4294967295 134512640 135987407 3221224560 3221223408 134812925 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164089 143532 364 364 0 163725 0
[pid=9310] vsize: 656356
Current children cumulated CPU time (s) 453.06
Current children cumulated vsize (Kb) 656356

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 238710 0 0 0 45425 877 0 0 25 0 1 0 21719092 672243712 143558 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164122 143558 364 364 0 163758 0
[pid=9310] vsize: 656488
Current children cumulated CPU time (s) 463.02
Current children cumulated vsize (Kb) 656488

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 238846 0 0 0 46420 879 0 0 25 0 1 0 21719092 673054720 143694 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164320 143694 364 364 0 163956 0
[pid=9310] vsize: 657280
Current children cumulated CPU time (s) 472.99
Current children cumulated vsize (Kb) 657280

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239059 0 0 0 47413 881 0 0 25 0 1 0 21719092 673984512 143841 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164547 143841 364 364 0 164183 0
[pid=9310] vsize: 658188
Current children cumulated CPU time (s) 482.94
Current children cumulated vsize (Kb) 658188

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239159 0 0 0 48404 883 0 0 25 0 1 0 21719092 674525184 143941 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164679 143941 364 364 0 164315 0
[pid=9310] vsize: 658716
Current children cumulated CPU time (s) 492.87
Current children cumulated vsize (Kb) 658716

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239231 0 0 0 49395 887 0 0 25 0 1 0 21719092 674852864 143980 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164759 143980 364 364 0 164395 0
[pid=9310] vsize: 659036
Current children cumulated CPU time (s) 502.82
Current children cumulated vsize (Kb) 659036

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239350 0 0 0 50387 889 0 0 25 0 1 0 21719092 675315712 144066 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164872 144066 364 364 0 164508 0
[pid=9310] vsize: 659488
Current children cumulated CPU time (s) 512.76
Current children cumulated vsize (Kb) 659488

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239356 0 0 0 51380 892 0 0 25 0 1 0 21719092 675315712 144072 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164872 144072 364 364 0 164508 0
[pid=9310] vsize: 659488
Current children cumulated CPU time (s) 522.72
Current children cumulated vsize (Kb) 659488

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239397 0 0 0 52374 894 0 0 25 0 1 0 21719092 675586048 144113 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 164938 144113 364 364 0 164574 0
[pid=9310] vsize: 659752
Current children cumulated CPU time (s) 532.68
Current children cumulated vsize (Kb) 659752

[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239441 0 0 0 53365 897 0 0 25 0 1 0 21719092 675856384 144157 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165004 144157 364 364 0 164640 0
[pid=9310] vsize: 660016
Current children cumulated CPU time (s) 542.62
Current children cumulated vsize (Kb) 660016

[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239472 0 0 0 54356 900 0 0 25 0 1 0 21719092 675991552 144188 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165037 144188 364 364 0 164673 0
[pid=9310] vsize: 660148
Current children cumulated CPU time (s) 552.56
Current children cumulated vsize (Kb) 660148

[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239478 0 0 0 55347 904 0 0 25 0 1 0 21719092 675991552 144194 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165037 144194 364 364 0 164673 0
[pid=9310] vsize: 660148
Current children cumulated CPU time (s) 562.51
Current children cumulated vsize (Kb) 660148

[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239479 0 0 0 56338 907 0 0 25 0 1 0 21719092 675991552 144195 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165037 144195 364 364 0 164673 0
[pid=9310] vsize: 660148
Current children cumulated CPU time (s) 572.45
Current children cumulated vsize (Kb) 660148

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239572 0 0 0 57332 909 0 0 25 0 1 0 21719092 676388864 144255 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165134 144255 364 364 0 164770 0
[pid=9310] vsize: 660536
Current children cumulated CPU time (s) 582.41
Current children cumulated vsize (Kb) 660536

[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239576 0 0 0 58326 911 0 0 25 0 1 0 21719092 676388864 144259 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165134 144259 364 364 0 164770 0
[pid=9310] vsize: 660536
Current children cumulated CPU time (s) 592.37
Current children cumulated vsize (Kb) 660536

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239590 0 0 0 59318 914 0 0 25 0 1 0 21719092 676388864 144273 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165134 144273 364 364 0 164770 0
[pid=9310] vsize: 660536
Current children cumulated CPU time (s) 602.32
Current children cumulated vsize (Kb) 660536

[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239668 0 0 0 60312 916 0 0 25 0 1 0 21719092 676655104 144318 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165199 144318 364 364 0 164835 0
[pid=9310] vsize: 660796
Current children cumulated CPU time (s) 612.28
Current children cumulated vsize (Kb) 660796

[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239747 0 0 0 61305 918 0 0 25 0 1 0 21719092 676921344 144364 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165264 144364 364 364 0 164900 0
[pid=9310] vsize: 661056
Current children cumulated CPU time (s) 622.23
Current children cumulated vsize (Kb) 661056

[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239784 0 0 0 62299 920 0 0 25 0 1 0 21719092 677056512 144401 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165297 144401 364 364 0 164933 0
[pid=9310] vsize: 661188
Current children cumulated CPU time (s) 632.19
Current children cumulated vsize (Kb) 661188

[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239839 0 0 0 63294 923 0 0 25 0 1 0 21719092 677187584 144423 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165329 144423 364 364 0 164965 0
[pid=9310] vsize: 661316
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (Kb) 661316

[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239844 0 0 0 64285 926 0 0 25 0 1 0 21719092 677187584 144428 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165329 144428 364 364 0 164965 0
[pid=9310] vsize: 661316
Current children cumulated CPU time (s) 652.11
Current children cumulated vsize (Kb) 661316

[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239855 0 0 0 65278 928 0 0 25 0 1 0 21719092 677187584 144439 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165329 144439 364 364 0 164965 0
[pid=9310] vsize: 661316
Current children cumulated CPU time (s) 662.06
Current children cumulated vsize (Kb) 661316

[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 239970 0 0 0 66272 930 0 0 25 0 1 0 21719092 677449728 144488 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165393 144488 364 364 0 165029 0
[pid=9310] vsize: 661572
Current children cumulated CPU time (s) 672.02
Current children cumulated vsize (Kb) 661572

[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240017 0 0 0 67266 932 0 0 25 0 1 0 21719092 677720064 144535 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165459 144535 364 364 0 165095 0
[pid=9310] vsize: 661836
Current children cumulated CPU time (s) 681.98
Current children cumulated vsize (Kb) 661836

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240077 0 0 0 68260 935 0 0 25 0 1 0 21719092 677851136 144562 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165491 144562 364 364 0 165127 0
[pid=9310] vsize: 661964
Current children cumulated CPU time (s) 691.95
Current children cumulated vsize (Kb) 661964

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240122 0 0 0 69253 938 0 0 25 0 1 0 21719092 678121472 144607 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165557 144607 364 364 0 165193 0
[pid=9310] vsize: 662228
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (Kb) 662228

[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240279 0 0 0 70244 942 0 0 25 0 1 0 21719092 678789120 144698 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165720 144698 364 364 0 165356 0
[pid=9310] vsize: 662880
Current children cumulated CPU time (s) 711.86
Current children cumulated vsize (Kb) 662880

[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240327 0 0 0 71235 944 0 0 25 0 1 0 21719092 679055360 144746 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165785 144746 364 364 0 165421 0
[pid=9310] vsize: 663140
Current children cumulated CPU time (s) 721.79
Current children cumulated vsize (Kb) 663140

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240340 0 0 0 72228 945 0 0 25 0 1 0 21719092 679055360 144759 4294967295 134512640 135987407 3221224560 3221223424 134812591 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165785 144759 364 364 0 165421 0
[pid=9310] vsize: 663140
Current children cumulated CPU time (s) 731.73
Current children cumulated vsize (Kb) 663140

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240399 0 0 0 73221 948 0 0 25 0 1 0 21719092 679321600 144818 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165850 144818 364 364 0 165486 0
[pid=9310] vsize: 663400
Current children cumulated CPU time (s) 741.69
Current children cumulated vsize (Kb) 663400

[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240412 0 0 0 74214 950 0 0 25 0 1 0 21719092 679321600 144831 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165850 144831 364 364 0 165486 0
[pid=9310] vsize: 663400
Current children cumulated CPU time (s) 751.64
Current children cumulated vsize (Kb) 663400

[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240425 0 0 0 75205 953 0 0 25 0 1 0 21719092 679321600 144844 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165850 144844 364 364 0 165486 0
[pid=9310] vsize: 663400
Current children cumulated CPU time (s) 761.58
Current children cumulated vsize (Kb) 663400

[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240494 0 0 0 76198 956 0 0 25 0 1 0 21719092 679452672 144880 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 165882 144880 364 364 0 165518 0
[pid=9310] vsize: 663528
Current children cumulated CPU time (s) 771.54
Current children cumulated vsize (Kb) 663528

[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240543 0 0 0 77191 958 0 0 25 0 1 0 21719092 679718912 144929 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 165947 144929 364 364 0 165583 0
[pid=9310] vsize: 663788
Current children cumulated CPU time (s) 781.49
Current children cumulated vsize (Kb) 663788

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240549 0 0 0 78185 960 0 0 25 0 1 0 21719092 679718912 144935 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 165947 144935 364 364 0 165583 0
[pid=9310] vsize: 663788
Current children cumulated CPU time (s) 791.45
Current children cumulated vsize (Kb) 663788

[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240609 0 0 0 79179 962 0 0 25 0 1 0 21719092 679849984 144962 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 165979 144962 364 364 0 165615 0
[pid=9310] vsize: 663916
Current children cumulated CPU time (s) 801.41
Current children cumulated vsize (Kb) 663916

[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240624 0 0 0 80173 963 0 0 25 0 1 0 21719092 679849984 144977 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 165979 144977 364 364 0 165615 0
[pid=9310] vsize: 663916
Current children cumulated CPU time (s) 811.36
Current children cumulated vsize (Kb) 663916

[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240634 0 0 0 81166 966 0 0 25 0 1 0 21719092 679849984 144987 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 165979 144987 364 364 0 165615 0
[pid=9310] vsize: 663916
Current children cumulated CPU time (s) 821.32
Current children cumulated vsize (Kb) 663916

[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240705 0 0 0 82159 968 0 0 25 0 1 0 21719092 679981056 145025 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166011 145025 364 364 0 165647 0
[pid=9310] vsize: 664044
Current children cumulated CPU time (s) 831.27
Current children cumulated vsize (Kb) 664044

[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240710 0 0 0 83152 969 0 0 25 0 1 0 21719092 679981056 145030 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166011 145030 364 364 0 165647 0
[pid=9310] vsize: 664044
Current children cumulated CPU time (s) 841.21
Current children cumulated vsize (Kb) 664044

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240771 0 0 0 84145 972 0 0 25 0 1 0 21719092 680112128 145058 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166043 145058 364 364 0 165679 0
[pid=9310] vsize: 664172
Current children cumulated CPU time (s) 851.17
Current children cumulated vsize (Kb) 664172

[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240776 0 0 0 85137 974 0 0 25 0 1 0 21719092 680112128 145063 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166043 145063 364 364 0 165679 0
[pid=9310] vsize: 664172
Current children cumulated CPU time (s) 861.11
Current children cumulated vsize (Kb) 664172

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240815 0 0 0 86129 977 0 0 25 0 1 0 21719092 680243200 145069 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166075 145069 364 364 0 165711 0
[pid=9310] vsize: 664300
Current children cumulated CPU time (s) 871.06
Current children cumulated vsize (Kb) 664300

[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240822 0 0 0 87121 980 0 0 25 0 1 0 21719092 680243200 145076 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166075 145076 364 364 0 165711 0
[pid=9310] vsize: 664300
Current children cumulated CPU time (s) 881.01
Current children cumulated vsize (Kb) 664300

[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) T 9309 9310 4060 0 -1 0 240829 0 0 0 88112 983 0 0 25 0 1 0 21719092 680243200 145083 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166075 145083 364 364 0 165711 0
[pid=9310] vsize: 664300
Current children cumulated CPU time (s) 890.95
Current children cumulated vsize (Kb) 664300

[startup+910.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240858 0 0 0 89103 986 0 0 25 0 1 0 21719092 680378368 145112 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166108 145112 364 364 0 165744 0
[pid=9310] vsize: 664432
Current children cumulated CPU time (s) 900.89
Current children cumulated vsize (Kb) 664432

[startup+920.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 240986 0 0 0 90095 990 0 0 25 0 1 0 21719092 680775680 145174 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166205 145174 364 364 0 165841 0
[pid=9310] vsize: 664820
Current children cumulated CPU time (s) 910.85
Current children cumulated vsize (Kb) 664820

[startup+930.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241005 0 0 0 91086 992 0 0 25 0 1 0 21719092 680775680 145193 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166205 145193 364 364 0 165841 0
[pid=9310] vsize: 664820
Current children cumulated CPU time (s) 920.78
Current children cumulated vsize (Kb) 664820

[startup+940.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241107 0 0 0 92079 995 0 0 25 0 1 0 21719092 681037824 145230 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166269 145230 364 364 0 165905 0
[pid=9310] vsize: 665076
Current children cumulated CPU time (s) 930.74
Current children cumulated vsize (Kb) 665076

[startup+950.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241116 0 0 0 93072 996 0 0 25 0 1 0 21719092 681037824 145239 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166269 145239 364 364 0 165905 0
[pid=9310] vsize: 665076
Current children cumulated CPU time (s) 940.68
Current children cumulated vsize (Kb) 665076

[startup+960.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241157 0 0 0 94065 999 0 0 25 0 1 0 21719092 681168896 145247 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166301 145247 364 364 0 165937 0
[pid=9310] vsize: 665204
Current children cumulated CPU time (s) 950.64
Current children cumulated vsize (Kb) 665204

[startup+970.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241284 0 0 0 95057 1002 0 0 25 0 1 0 21719092 681566208 145341 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145341 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 960.59
Current children cumulated vsize (Kb) 665592

[startup+980.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241290 0 0 0 96052 1003 0 0 25 0 1 0 21719092 681566208 145347 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145347 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 970.55
Current children cumulated vsize (Kb) 665592

[startup+990.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241293 0 0 0 97044 1006 0 0 25 0 1 0 21719092 681566208 145350 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145350 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 980.5
Current children cumulated vsize (Kb) 665592

[startup+1000.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241295 0 0 0 98037 1009 0 0 25 0 1 0 21719092 681566208 145352 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145352 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 990.46
Current children cumulated vsize (Kb) 665592

[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241303 0 0 0 99030 1012 0 0 25 0 1 0 21719092 681566208 145360 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145360 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 1000.42
Current children cumulated vsize (Kb) 665592

[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241336 0 0 0 100023 1014 0 0 25 0 1 0 21719092 681566208 145393 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145393 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 1010.37
Current children cumulated vsize (Kb) 665592

[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241338 0 0 0 101016 1017 0 0 25 0 1 0 21719092 681566208 145395 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166398 145395 364 364 0 166034 0
[pid=9310] vsize: 665592
Current children cumulated CPU time (s) 1020.33
Current children cumulated vsize (Kb) 665592

[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) T 9309 9310 4060 0 -1 0 241510 0 0 0 102008 1019 0 0 25 0 1 0 21719092 682090496 145435 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166526 145435 364 364 0 166162 0
[pid=9310] vsize: 666104
Current children cumulated CPU time (s) 1030.27
Current children cumulated vsize (Kb) 666104

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241550 0 0 0 103000 1021 0 0 25 0 1 0 21719092 682356736 145475 4294967295 134512640 135987407 3221224560 3221223132 134801599 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166591 145475 364 364 0 166227 0
[pid=9310] vsize: 666364
Current children cumulated CPU time (s) 1040.21
Current children cumulated vsize (Kb) 666364

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241590 0 0 0 103993 1024 0 0 25 0 1 0 21719092 682622976 145515 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166656 145515 364 364 0 166292 0
[pid=9310] vsize: 666624
Current children cumulated CPU time (s) 1050.17
Current children cumulated vsize (Kb) 666624

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241593 0 0 0 104986 1027 0 0 25 0 1 0 21719092 682622976 145518 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166656 145518 364 364 0 166292 0
[pid=9310] vsize: 666624
Current children cumulated CPU time (s) 1060.13
Current children cumulated vsize (Kb) 666624

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241602 0 0 0 105979 1029 0 0 25 0 1 0 21719092 682622976 145527 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166656 145527 364 364 0 166292 0
[pid=9310] vsize: 666624
Current children cumulated CPU time (s) 1070.08
Current children cumulated vsize (Kb) 666624

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241610 0 0 0 106972 1032 0 0 25 0 1 0 21719092 682487808 145502 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166623 145502 364 364 0 166259 0
[pid=9310] vsize: 666492
Current children cumulated CPU time (s) 1080.04
Current children cumulated vsize (Kb) 666492

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241690 0 0 0 107967 1034 0 0 25 0 1 0 21719092 682885120 145549 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166720 145549 364 364 0 166356 0
[pid=9310] vsize: 666880
Current children cumulated CPU time (s) 1090.01
Current children cumulated vsize (Kb) 666880

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241821 0 0 0 108960 1036 0 0 25 0 1 0 21719092 683147264 145614 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166784 145614 364 364 0 166420 0
[pid=9310] vsize: 667136
Current children cumulated CPU time (s) 1099.96
Current children cumulated vsize (Kb) 667136

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241953 0 0 0 109952 1039 0 0 25 0 1 0 21719092 683675648 145680 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166913 145680 364 364 0 166549 0
[pid=9310] vsize: 667652
Current children cumulated CPU time (s) 1109.91
Current children cumulated vsize (Kb) 667652

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9310
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241965 0 0 0 110942 1042 0 0 25 0 1 0 21719092 683675648 145692 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166913 145692 364 364 0 166549 0
[pid=9310] vsize: 667652
Current children cumulated CPU time (s) 1119.84
Current children cumulated vsize (Kb) 667652

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/58 9313
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241973 0 0 0 111934 1045 0 0 25 0 1 0 21719092 683675648 145700 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 166913 145700 364 364 0 166549 0
[pid=9310] vsize: 667652
Current children cumulated CPU time (s) 1129.79
Current children cumulated vsize (Kb) 667652

[startup+1150.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9365
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 241976 0 0 0 112923 1050 0 0 25 0 1 0 21719092 683675648 145703 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166913 145703 364 364 0 166549 0
[pid=9310] vsize: 667652
Current children cumulated CPU time (s) 1139.73
Current children cumulated vsize (Kb) 667652

[startup+1160.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9365
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242016 0 0 0 113916 1052 0 0 25 0 1 0 21719092 683806720 145710 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166945 145710 364 364 0 166581 0
[pid=9310] vsize: 667780
Current children cumulated CPU time (s) 1149.68
Current children cumulated vsize (Kb) 667780

[startup+1170.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9365
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242071 0 0 0 114909 1055 0 0 25 0 1 0 21719092 683937792 145732 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166977 145732 364 364 0 166613 0
[pid=9310] vsize: 667908
Current children cumulated CPU time (s) 1159.64
Current children cumulated vsize (Kb) 667908

[startup+1180.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9365
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242074 0 0 0 115902 1059 0 0 25 0 1 0 21719092 683937792 145735 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 166977 145735 364 364 0 166613 0
[pid=9310] vsize: 667908
Current children cumulated CPU time (s) 1169.61
Current children cumulated vsize (Kb) 667908

[startup+1190.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9365
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242127 0 0 0 116894 1062 0 0 25 0 1 0 21719092 684068864 145755 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 167009 145755 364 364 0 166645 0
[pid=9310] vsize: 668036
Current children cumulated CPU time (s) 1179.56
Current children cumulated vsize (Kb) 668036

[startup+1200.04 s]
Raw data (loadavg): 1.11 1.02 0.93 2/55 9367
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242166 0 0 0 117887 1065 0 0 25 0 1 0 21719092 684199936 145761 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9310/statm): 167041 145761 364 364 0 166677 0
[pid=9310] vsize: 668164
Current children cumulated CPU time (s) 1189.52
Current children cumulated vsize (Kb) 668164

[startup+1210.04 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 9369
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242211 0 0 0 118878 1069 0 0 25 0 1 0 21719092 684331008 145773 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 167073 145773 364 364 0 166709 0
[pid=9310] vsize: 668292
Current children cumulated CPU time (s) 1199.47
Current children cumulated vsize (Kb) 668292

[startup+1220.04 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 9371
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242224 0 0 0 119871 1071 0 0 25 0 1 0 21719092 684331008 145786 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 167073 145786 364 364 0 166709 0
[pid=9310] vsize: 668292
Current children cumulated CPU time (s) 1209.42
Current children cumulated vsize (Kb) 668292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 9371
Raw data (/proc/9310/stat): 9310 (pb2sat) R 9309 9310 4060 0 -1 0 242224 0 0 0 119871 1071 0 0 25 0 1 0 21719092 684331008 145786 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9310/statm): 167073 145786 364 364 0 166709 0
[pid=9310] vsize: 668292
Current children cumulated CPU time (s) 1209.42
Current children cumulated vsize (Kb) 668292

Sending SIGTERM to -9310
Sleeping 2 seconds
Sending SIGKILL to -9310
One traced child (pid=9310) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1222.21
CPU time (s): 1211.59
CPU user time (s): 1200.58
CPU system time (s): 11.0093
CPU usage (%): 99.1312
Max. virtual memory (cumulated for all children) (Kb): 668292

Verifier Data

ERROR: no interpretation found !