Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM81fe81e3ddb87532751f87d8d69ff2f0
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables21960
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint372

Trace number 10377

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 17:40:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8978 boxname=wulflinc3 idbench=774 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  81fe81e3ddb87532751f87d8d69ff2f0  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-tr12-30.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-tr12-30.opb
IDLAUNCH: 8978
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        927348 kB
Buffers:         13264 kB
Cached:          76700 kB
SwapCached:          0 kB
Active:          46248 kB
Inactive:        46608 kB
HighTotal:      131008 kB
HighFree:        50064 kB
LowTotal:       903652 kB
LowFree:        877284 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8920 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:00:56 (client local time) WITH STATUS 0 IN 1208.52 SECONDS
stats: 8978 7 1208.52 0

Solver Data

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

c Decision: 33215/573838	Time: 31.8072/86400
c Decision: 33215/573838	Time: 42.7545/86400
c Decision: 33245/573838	Time: 67.1638/86400
c Decision: 33433/573838	Time: 78.4401/86400
c Decision: 33437/573838	Time: 91.7001/86400
c Decision: 34094/573838	Time: 104.344/86400
c Decision: 34099/573838	Time: 119.407/86400
c Decision: 34102/573838	Time: 135.454/86400
c Decision: 34114/573838	Time: 158.167/86400
c Decision: 34123/573838	Time: 176.13/86400
c Decision: 34123/573838	Time: 188.923/86400
c Decision: 34152/573838	Time: 212.267/86400
c Decision: 34152/573838	Time: 223.989/86400
c Decision: 34152/573838	Time: 235.655/86400
c Decision: 34155/573838	Time: 255.561/86400
c Decision: 34181/573838	Time: 286.447/86400
c Decision: 34181/573838	Time: 298.768/86400
c Decision: 34186/573838	Time: 313.901/86400
c Decision: 34219/573838	Time: 333.863/86400
c Decision: 34219/573838	Time: 345.997/86400
c Decision: 34219/573838	Time: 359.41/86400
c Decision: 34224/573838	Time: 380.187/86400
c Decision: 34253/573838	Time: 435.065/86400
c Decision: 34257/573838	Time: 457.199/86400
c Decision: 34257/573838	Time: 471.689/86400
c Decision: 34257/573838	Time: 487.766/86400
c Decision: 34611/573838	Time: 521.125/86400
c Decision: 34611/573838	Time: 534.014/86400
c Decision: 34615/573838	Time: 558.235/86400
c Decision: 34615/573838	Time: 569.095/86400
c Decision: 34615/573838	Time: 586.013/86400
c Decision: 34655/573838	Time: 603.358/86400
c Decision: 34655/573838	Time: 618.094/86400
c Decision: 34655/573838	Time: 631.839/86400
c Decision: 34859/573838	Time: 650.022/86400
c Decision: 34859/573838	Time: 667.023/86400
c Decision: 34859/573838	Time: 681.012/86400
c Decision: 34859/573838	Time: 694.877/86400
c Decision: 34859/573838	Time: 707.471/86400
c Decision: 34859/573838	Time: 722.841/86400
c Decision: 34859/573838	Time: 738.586/86400
c Decision: 34859/573838	Time: 751.349/86400
c Decision: 34859/573838	Time: 765.242/86400
c Decision: 34859/573838	Time: 779.176/86400
c Decision: 34859/573838	Time: 792.508/86400
c Decision: 34859/573838	Time: 808.686/86400
c Decision: 34859/573838	Time: 821.909/86400
c Decision: 34892/573838	Time: 847.203/86400
c Decision: 34892/573838	Time: 860.383/86400
c Decision: 34892/573838	Time: 874.119/86400
c Decision: 34892/573838	Time: 891.436/86400
c Decision: 34892/573838	Time: 905.622/86400
c Decision: 34892/573838	Time: 920.218/86400
c Decision: 34892/573838	Time: 935.324/86400
c Decision: 34892/573838	Time: 947.125/86400
c Decision: 34892/573838	Time: 963.815/86400
c Decision: 34892/573838	Time: 975.413/86400
c Decision: 34892/573838	Time: 988.414/86400
c Decision: 34892/573838	Time: 1003.01/86400
c Decision: 34894/573838	Time: 1021.49/86400
c Decision: 34894/573838	Time: 1037.95/86400
c Decision: 34894/573838	Time: 1049.24/86400
c Decision: 34894/573838	Time: 1065.65/86400
c Decision: 34894/573838	Time: 1078.59/86400
c Decision: 34900/573838	Time: 1102.38/86400
c Decision: 34900/573838	Time: 1116.33/86400
c Decision: 34900/573838	Time: 1132.42/86400
c Decision: 34900/573838	Time: 1146.27/86400
c Decision: 34902/573838	Time: 1165.67/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/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22079100 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 373 2 364 364 0 9 0
[pid=9744] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-tr12-30.opb

[startup+10.0015 s]
Raw data (loadavg): 0.95 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 24604 0 0 0 939 58 0 0 25 0 1 0 22079100 81879040 13473 4294967295 134512640 135987407 3221224560 3221153968 134877628 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 19990 13473 364 364 0 19626 0
[pid=9744] vsize: 79960
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79960

[startup+20.0033 s]
Raw data (loadavg): 0.96 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 51535 0 0 0 1876 120 0 0 25 0 1 0 22079100 159592448 29175 4294967295 134512640 135987407 3221224560 3221213152 134856455 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 38963 29175 364 364 0 38599 0
[pid=9744] vsize: 155852
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 155852

[startup+30.0042 s]
Raw data (loadavg): 0.96 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 79522 0 0 0 2810 183 0 0 25 0 1 0 22079100 234639360 47257 4294967295 134512640 135987407 3221224560 3221223120 134829282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 57285 47257 364 364 0 56921 0
[pid=9744] vsize: 229140
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 229140

[startup+40.004 s]
Raw data (loadavg): 0.97 1.00 0.93 1/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 81591 0 0 0 3722 214 0 0 25 0 1 0 22079100 238669824 48172 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9744/statm): 58269 48172 364 364 0 57905 0
[pid=9744] vsize: 233076
Current children cumulated CPU time (s) 39.36
Current children cumulated vsize (Kb) 233076

[startup+50.0048 s]
Raw data (loadavg): 0.97 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 82020 0 0 0 4699 224 0 0 25 0 1 0 22079100 240562176 48601 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9744/statm): 58731 48601 364 364 0 58367 0
[pid=9744] vsize: 234924
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (Kb) 234924

[startup+60.0047 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 83459 0 0 0 5679 233 0 0 25 0 1 0 22079100 246775808 50040 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60248 50040 364 364 0 59884 0
[pid=9744] vsize: 240992
Current children cumulated CPU time (s) 59.12
Current children cumulated vsize (Kb) 240992

[startup+70.0055 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 83670 0 0 0 6655 240 0 0 25 0 1 0 22079100 243167232 49130 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59367 49130 364 364 0 59003 0
[pid=9744] vsize: 237468
Current children cumulated CPU time (s) 68.95
Current children cumulated vsize (Kb) 237468

[startup+80.0063 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 84878 0 0 0 7634 248 0 0 25 0 1 0 22079100 243499008 49217 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59448 49217 364 364 0 59084 0
[pid=9744] vsize: 237792
Current children cumulated CPU time (s) 78.82
Current children cumulated vsize (Kb) 237792

[startup+90.0062 s]
Raw data (loadavg): 0.98 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 84994 0 0 0 8615 254 0 0 25 0 1 0 22079100 243892224 49333 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59544 49333 364 364 0 59180 0
[pid=9744] vsize: 238176
Current children cumulated CPU time (s) 88.69
Current children cumulated vsize (Kb) 238176

[startup+100.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 86193 0 0 0 9600 261 0 0 25 0 1 0 22079100 244285440 49411 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59640 49411 364 364 0 59276 0
[pid=9744] vsize: 238560
Current children cumulated CPU time (s) 98.61
Current children cumulated vsize (Kb) 238560

[startup+110.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 87372 0 0 0 10584 268 0 0 25 0 1 0 22079100 244482048 49469 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59688 49469 364 364 0 59324 0
[pid=9744] vsize: 238752
Current children cumulated CPU time (s) 108.52
Current children cumulated vsize (Kb) 238752

[startup+120.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 87428 0 0 0 11569 274 0 0 25 0 1 0 22079100 244678656 49525 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59736 49525 364 364 0 59372 0
[pid=9744] vsize: 238944
Current children cumulated CPU time (s) 118.43
Current children cumulated vsize (Kb) 238944

[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.93 1/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 88589 0 0 0 12557 280 0 0 25 0 1 0 22079100 244678656 49565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59736 49565 364 364 0 59372 0
[pid=9744] vsize: 238944
Current children cumulated CPU time (s) 128.37
Current children cumulated vsize (Kb) 238944

[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 89721 0 0 0 13544 287 0 0 25 0 1 0 22079100 244678656 49576 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59736 49576 364 364 0 59372 0
[pid=9744] vsize: 238944
Current children cumulated CPU time (s) 138.31
Current children cumulated vsize (Kb) 238944

[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 90862 0 0 0 14534 292 0 0 25 0 1 0 22079100 249270272 50717 4294967295 134512640 135987407 3221224560 3221222944 134829309 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60857 50717 364 364 0 60493 0
[pid=9744] vsize: 243428
Current children cumulated CPU time (s) 148.26
Current children cumulated vsize (Kb) 243428

[startup+160.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 90913 0 0 0 15520 297 0 0 25 0 1 0 22079100 244875264 49647 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59784 49647 364 364 0 59420 0
[pid=9744] vsize: 239136
Current children cumulated CPU time (s) 158.17
Current children cumulated vsize (Kb) 239136

[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 92083 0 0 0 16509 303 0 0 25 0 1 0 22079100 245010432 49696 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49696 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 168.12
Current children cumulated vsize (Kb) 239268

[startup+180.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 92112 0 0 0 17494 307 0 0 25 0 1 0 22079100 245010432 49725 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49725 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 178.01
Current children cumulated vsize (Kb) 239268

[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 93259 0 0 0 18478 314 0 0 25 0 1 0 22079100 245010432 49751 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49751 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 187.92
Current children cumulated vsize (Kb) 239268

[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 93290 0 0 0 19462 319 0 0 25 0 1 0 22079100 245010432 49782 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49782 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 197.81
Current children cumulated vsize (Kb) 239268

[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 94453 0 0 0 20449 325 0 0 25 0 1 0 22079100 245010432 49824 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49824 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 207.74
Current children cumulated vsize (Kb) 239268

[startup+220.011 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 95594 0 0 0 21437 331 0 0 25 0 1 0 22079100 245010432 49844 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49844 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 217.68
Current children cumulated vsize (Kb) 239268

[startup+230.011 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 95601 0 0 0 22418 337 0 0 25 0 1 0 22079100 245010432 49851 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49851 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 227.55
Current children cumulated vsize (Kb) 239268

[startup+240.011 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 95621 0 0 0 23402 343 0 0 25 0 1 0 22079100 245010432 49871 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49871 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 237.45
Current children cumulated vsize (Kb) 239268

[startup+250.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 96767 0 0 0 24387 351 0 0 25 0 1 0 22079100 245010432 49896 4294967295 134512640 135987407 3221224560 3221223136 134892750 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59817 49896 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 247.38
Current children cumulated vsize (Kb) 239268

[startup+260.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 97912 0 0 0 25369 359 0 0 25 0 1 0 22079100 245010432 49920 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59817 49920 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 257.28
Current children cumulated vsize (Kb) 239268

[startup+270.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 99061 0 0 0 26352 368 0 0 25 0 1 0 22079100 245010432 49948 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59817 49948 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 267.2
Current children cumulated vsize (Kb) 239268

[startup+280.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 99104 0 0 0 27338 373 0 0 25 0 1 0 22079100 245010432 49991 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59817 49991 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 277.11
Current children cumulated vsize (Kb) 239268

[startup+290.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 100258 0 0 0 28326 378 0 0 25 0 1 0 22079100 245010432 50024 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59817 50024 364 364 0 59453 0
[pid=9744] vsize: 239268
Current children cumulated CPU time (s) 287.04
Current children cumulated vsize (Kb) 239268

[startup+300.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 100305 0 0 0 29308 385 0 0 25 0 1 0 22079100 245149696 50071 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59851 50071 364 364 0 59487 0
[pid=9744] vsize: 239404
Current children cumulated CPU time (s) 296.93
Current children cumulated vsize (Kb) 239404

[startup+310.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 100341 0 0 0 30286 391 0 0 25 0 1 0 22079100 245149696 50107 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59851 50107 364 364 0 59487 0
[pid=9744] vsize: 239404
Current children cumulated CPU time (s) 306.77
Current children cumulated vsize (Kb) 239404

[startup+320.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 101505 0 0 0 31273 398 0 0 25 0 1 0 22079100 245149696 50150 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59851 50150 364 364 0 59487 0
[pid=9744] vsize: 239404
Current children cumulated CPU time (s) 316.71
Current children cumulated vsize (Kb) 239404

[startup+330.015 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 101521 0 0 0 32257 403 0 0 25 0 1 0 22079100 245284864 50166 4294967295 134512640 135987407 3221224560 3221223280 134814412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59884 50166 364 364 0 59520 0
[pid=9744] vsize: 239536
Current children cumulated CPU time (s) 326.6
Current children cumulated vsize (Kb) 239536

[startup+340.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 102671 0 0 0 33242 410 0 0 25 0 1 0 22079100 245428224 50195 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59919 50195 364 364 0 59555 0
[pid=9744] vsize: 239676
Current children cumulated CPU time (s) 336.52
Current children cumulated vsize (Kb) 239676

[startup+350.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 103800 0 0 0 34228 417 0 0 25 0 1 0 22079100 245428224 50203 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59919 50203 364 364 0 59555 0
[pid=9744] vsize: 239676
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 239676

[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 103831 0 0 0 35208 424 0 0 25 0 1 0 22079100 245428224 50234 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59919 50234 364 364 0 59555 0
[pid=9744] vsize: 239676
Current children cumulated CPU time (s) 356.32
Current children cumulated vsize (Kb) 239676

[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 104989 0 0 0 36190 432 0 0 25 0 1 0 22079100 245428224 50271 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59919 50271 364 364 0 59555 0
[pid=9744] vsize: 239676
Current children cumulated CPU time (s) 366.22
Current children cumulated vsize (Kb) 239676

[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 106150 0 0 0 37174 440 0 0 25 0 1 0 22079100 245563392 50311 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59952 50311 364 364 0 59588 0
[pid=9744] vsize: 239808
Current children cumulated CPU time (s) 376.14
Current children cumulated vsize (Kb) 239808

[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 107303 0 0 0 38154 448 0 0 25 0 1 0 22079100 250155008 51464 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 61073 51464 364 364 0 60709 0
[pid=9744] vsize: 244292
Current children cumulated CPU time (s) 386.02
Current children cumulated vsize (Kb) 244292

[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 107319 0 0 0 39141 452 0 0 25 0 1 0 22079100 245563392 50359 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59952 50359 364 364 0 59588 0
[pid=9744] vsize: 239808
Current children cumulated CPU time (s) 395.93
Current children cumulated vsize (Kb) 239808

[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 107330 0 0 0 40122 459 0 0 25 0 1 0 22079100 245563392 50370 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59952 50370 364 364 0 59588 0
[pid=9744] vsize: 239808
Current children cumulated CPU time (s) 405.81
Current children cumulated vsize (Kb) 239808

[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 108487 0 0 0 41105 466 0 0 25 0 1 0 22079100 245710848 50406 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 59988 50406 364 364 0 59624 0
[pid=9744] vsize: 239952
Current children cumulated CPU time (s) 415.71
Current children cumulated vsize (Kb) 239952

[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 108535 0 0 0 42092 470 0 0 25 0 1 0 22079100 245710848 50454 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 59988 50454 364 364 0 59624 0
[pid=9744] vsize: 239952
Current children cumulated CPU time (s) 425.62
Current children cumulated vsize (Kb) 239952

[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 108593 0 0 0 43071 478 0 0 25 0 1 0 22079100 245866496 50512 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60026 50512 364 364 0 59662 0
[pid=9744] vsize: 240104
Current children cumulated CPU time (s) 435.49
Current children cumulated vsize (Kb) 240104

[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 108635 0 0 0 44054 483 0 0 25 0 1 0 22079100 245866496 50554 4294967295 134512640 135987407 3221224560 3221223120 135480413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60026 50554 364 364 0 59662 0
[pid=9744] vsize: 240104
Current children cumulated CPU time (s) 445.37
Current children cumulated vsize (Kb) 240104

[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 108673 0 0 0 45036 490 0 0 25 0 1 0 22079100 245866496 50592 4294967295 134512640 135987407 3221224560 3221223248 134811912 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60026 50592 364 364 0 59662 0
[pid=9744] vsize: 240104
Current children cumulated CPU time (s) 455.26
Current children cumulated vsize (Kb) 240104

[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 109856 0 0 0 46017 498 0 0 25 0 1 0 22079100 246038528 50654 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60068 50654 364 364 0 59704 0
[pid=9744] vsize: 240272
Current children cumulated CPU time (s) 465.15
Current children cumulated vsize (Kb) 240272

[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 109924 0 0 0 46995 506 0 0 25 0 1 0 22079100 246210560 50722 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60110 50722 364 364 0 59746 0
[pid=9744] vsize: 240440
Current children cumulated CPU time (s) 475.01
Current children cumulated vsize (Kb) 240440

[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 109954 0 0 0 47978 512 0 0 25 0 1 0 22079100 246210560 50752 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60110 50752 364 364 0 59746 0
[pid=9744] vsize: 240440
Current children cumulated CPU time (s) 484.9
Current children cumulated vsize (Kb) 240440

[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 111102 0 0 0 48959 521 0 0 25 0 1 0 22079100 246210560 50779 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60110 50779 364 364 0 59746 0
[pid=9744] vsize: 240440
Current children cumulated CPU time (s) 494.8
Current children cumulated vsize (Kb) 240440

[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 112261 0 0 0 49939 530 0 0 25 0 1 0 22079100 246390784 50817 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60154 50817 364 364 0 59790 0
[pid=9744] vsize: 240616
Current children cumulated CPU time (s) 504.69
Current children cumulated vsize (Kb) 240616

[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 113413 0 0 0 50921 537 0 0 25 0 1 0 22079100 250982400 51969 4294967295 134512640 135987407 3221224560 3221222904 134827502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 61275 51969 364 364 0 60911 0
[pid=9744] vsize: 245100
Current children cumulated CPU time (s) 514.58
Current children cumulated vsize (Kb) 245100

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 113423 0 0 0 51909 540 0 0 25 0 1 0 22079100 246390784 50858 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60154 50858 364 364 0 59790 0
[pid=9744] vsize: 240616
Current children cumulated CPU time (s) 524.49
Current children cumulated vsize (Kb) 240616

[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 113452 0 0 0 52889 547 0 0 25 0 1 0 22079100 246390784 50887 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60154 50887 364 364 0 59790 0
[pid=9744] vsize: 240616
Current children cumulated CPU time (s) 534.36
Current children cumulated vsize (Kb) 240616

[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 113493 0 0 0 53867 555 0 0 25 0 1 0 22079100 246538240 50928 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60190 50928 364 364 0 59826 0
[pid=9744] vsize: 240760
Current children cumulated CPU time (s) 544.22
Current children cumulated vsize (Kb) 240760

[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 114651 0 0 0 54852 562 0 0 25 0 1 0 22079100 246538240 50965 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60190 50965 364 364 0 59826 0
[pid=9744] vsize: 240760
Current children cumulated CPU time (s) 554.14
Current children cumulated vsize (Kb) 240760

[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 115805 0 0 0 55834 570 0 0 25 0 1 0 22079100 246538240 50998 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60190 50998 364 364 0 59826 0
[pid=9744] vsize: 240760
Current children cumulated CPU time (s) 564.04
Current children cumulated vsize (Kb) 240760

[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 115874 0 0 0 56811 578 0 0 25 0 1 0 22079100 246829056 51067 4294967295 134512640 135987407 3221224560 3221223248 134811923 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60261 51067 364 364 0 59897 0
[pid=9744] vsize: 241044
Current children cumulated CPU time (s) 573.89
Current children cumulated vsize (Kb) 241044

[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 115904 0 0 0 57790 583 0 0 25 0 1 0 22079100 246829056 51097 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60261 51097 364 364 0 59897 0
[pid=9744] vsize: 241044
Current children cumulated CPU time (s) 583.73
Current children cumulated vsize (Kb) 241044

[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 117085 0 0 0 58773 591 0 0 25 0 1 0 22079100 246829056 51157 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60261 51157 364 364 0 59897 0
[pid=9744] vsize: 241044
Current children cumulated CPU time (s) 593.64
Current children cumulated vsize (Kb) 241044

[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 118243 0 0 0 59758 598 0 0 25 0 1 0 22079100 246988800 51194 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60300 51194 364 364 0 59936 0
[pid=9744] vsize: 241200
Current children cumulated CPU time (s) 603.56
Current children cumulated vsize (Kb) 241200

[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 119399 0 0 0 60740 606 0 0 25 0 1 0 22079100 246988800 51229 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 60300 51229 364 364 0 59936 0
[pid=9744] vsize: 241200
Current children cumulated CPU time (s) 613.46
Current children cumulated vsize (Kb) 241200

[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 119413 0 0 0 61725 611 0 0 25 0 1 0 22079100 246988800 51243 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 60300 51243 364 364 0 59936 0
[pid=9744] vsize: 241200
Current children cumulated CPU time (s) 623.36
Current children cumulated vsize (Kb) 241200

[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 132836 0 0 0 62681 646 0 0 25 0 1 0 22079100 297455616 51256 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 72621 51256 364 364 0 72257 0
[pid=9744] vsize: 290484
Current children cumulated CPU time (s) 633.27
Current children cumulated vsize (Kb) 290484

[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 132863 0 0 0 63662 653 0 0 25 0 1 0 22079100 297455616 51283 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 72621 51283 364 364 0 72257 0
[pid=9744] vsize: 290484
Current children cumulated CPU time (s) 643.15
Current children cumulated vsize (Kb) 290484

[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 134017 0 0 0 64644 661 0 0 25 0 1 0 22079100 297455616 51316 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 72621 51316 364 364 0 72257 0
[pid=9744] vsize: 290484
Current children cumulated CPU time (s) 653.05
Current children cumulated vsize (Kb) 290484

[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 135173 0 0 0 65625 670 0 0 25 0 1 0 22079100 297455616 51351 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 72621 51351 364 364 0 72257 0
[pid=9744] vsize: 290484
Current children cumulated CPU time (s) 662.95
Current children cumulated vsize (Kb) 290484

[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 135211 0 0 0 66605 676 0 0 25 0 1 0 22079100 297455616 51389 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 72621 51389 364 364 0 72257 0
[pid=9744] vsize: 290484
Current children cumulated CPU time (s) 672.81
Current children cumulated vsize (Kb) 290484

[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 136358 0 0 0 67588 684 0 0 25 0 1 0 22079100 331145216 51415 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 80846 51415 364 364 0 80482 0
[pid=9744] vsize: 323384
Current children cumulated CPU time (s) 682.72
Current children cumulated vsize (Kb) 323384

[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 136416 0 0 0 68570 689 0 0 25 0 1 0 22079100 331280384 51473 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 80879 51473 364 364 0 80515 0
[pid=9744] vsize: 323516
Current children cumulated CPU time (s) 692.59
Current children cumulated vsize (Kb) 323516

[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 137539 0 0 0 69555 696 0 0 25 0 1 0 22079100 331280384 51475 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 80879 51475 364 364 0 80515 0
[pid=9744] vsize: 323516
Current children cumulated CPU time (s) 702.51
Current children cumulated vsize (Kb) 323516

[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 138664 0 0 0 70538 704 0 0 25 0 1 0 22079100 331280384 51479 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80879 51479 364 364 0 80515 0
[pid=9744] vsize: 323516
Current children cumulated CPU time (s) 712.42
Current children cumulated vsize (Kb) 323516

[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 138684 0 0 0 71519 711 0 0 25 0 1 0 22079100 331456512 51499 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 80922 51499 364 364 0 80558 0
[pid=9744] vsize: 323688
Current children cumulated CPU time (s) 722.3
Current children cumulated vsize (Kb) 323688

[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 139827 0 0 0 72505 719 0 0 25 0 1 0 22079100 331456512 51521 4294967295 134512640 135987407 3221224560 3221223376 134824306 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 80922 51521 364 364 0 80558 0
[pid=9744] vsize: 323688
Current children cumulated CPU time (s) 732.24
Current children cumulated vsize (Kb) 323688

[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 140973 0 0 0 73487 727 0 0 25 0 1 0 22079100 331456512 51546 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80922 51546 364 364 0 80558 0
[pid=9744] vsize: 323688
Current children cumulated CPU time (s) 742.14
Current children cumulated vsize (Kb) 323688

[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 142124 0 0 0 74468 734 0 0 25 0 1 0 22079100 336048128 52697 4294967295 134512640 135987407 3221224560 3221222936 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 82043 52697 364 364 0 81679 0
[pid=9744] vsize: 328172
Current children cumulated CPU time (s) 752.02
Current children cumulated vsize (Kb) 328172

[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 142161 0 0 0 75451 741 0 0 25 0 1 0 22079100 331456512 51613 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80922 51613 364 364 0 80558 0
[pid=9744] vsize: 323688
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (Kb) 323688

[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 143293 0 0 0 76440 748 0 0 25 0 1 0 22079100 331599872 51624 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80957 51624 364 364 0 80593 0
[pid=9744] vsize: 323828
Current children cumulated CPU time (s) 771.88
Current children cumulated vsize (Kb) 323828

[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 144419 0 0 0 77422 756 0 0 25 0 1 0 22079100 331599872 51629 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80957 51629 364 364 0 80593 0
[pid=9744] vsize: 323828
Current children cumulated CPU time (s) 781.78
Current children cumulated vsize (Kb) 323828

[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 144436 0 0 0 78402 763 0 0 25 0 1 0 22079100 331599872 51646 4294967295 134512640 135987407 3221224560 3221223376 134824320 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80957 51646 364 364 0 80593 0
[pid=9744] vsize: 323828
Current children cumulated CPU time (s) 791.65
Current children cumulated vsize (Kb) 323828

[startup+810.039 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 145579 0 0 0 79383 772 0 0 25 0 1 0 22079100 331599872 51668 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80957 51668 364 364 0 80593 0
[pid=9744] vsize: 323828
Current children cumulated CPU time (s) 801.55
Current children cumulated vsize (Kb) 323828

[startup+820.039 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 146737 0 0 0 80365 779 0 0 25 0 1 0 22079100 331743232 51705 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80992 51705 364 364 0 80628 0
[pid=9744] vsize: 323968
Current children cumulated CPU time (s) 811.44
Current children cumulated vsize (Kb) 323968

[startup+830.039 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 147899 0 0 0 81349 787 0 0 25 0 1 0 22079100 336334848 52867 4294967295 134512640 135987407 3221224560 3221222944 134829266 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 82113 52867 364 364 0 81749 0
[pid=9744] vsize: 328452
Current children cumulated CPU time (s) 821.36
Current children cumulated vsize (Kb) 328452

[startup+840.039 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 147940 0 0 0 82330 793 0 0 25 0 1 0 22079100 331743232 51787 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 80992 51787 364 364 0 80628 0
[pid=9744] vsize: 323968
Current children cumulated CPU time (s) 831.23
Current children cumulated vsize (Kb) 323968

[startup+850.04 s]
Raw data (loadavg): 1.04 1.01 0.94 1/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 149081 0 0 0 83316 799 0 0 25 0 1 0 22079100 331882496 51807 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81026 51807 364 364 0 80662 0
[pid=9744] vsize: 324104
Current children cumulated CPU time (s) 841.15
Current children cumulated vsize (Kb) 324104

[startup+860.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 150208 0 0 0 84300 806 0 0 25 0 1 0 22079100 336474112 52934 4294967295 134512640 135987407 3221224560 3221222960 134828725 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 82147 52934 364 364 0 81783 0
[pid=9744] vsize: 328588
Current children cumulated CPU time (s) 851.06
Current children cumulated vsize (Kb) 328588

[startup+870.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 150223 0 0 0 85282 812 0 0 25 0 1 0 22079100 331882496 51828 4294967295 134512640 135987407 3221224560 3221223248 134811948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81026 51828 364 364 0 80662 0
[pid=9744] vsize: 324104
Current children cumulated CPU time (s) 860.94
Current children cumulated vsize (Kb) 324104

[startup+880.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 150240 0 0 0 86266 816 0 0 25 0 1 0 22079100 332025856 51845 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81061 51845 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 870.82
Current children cumulated vsize (Kb) 324244

[startup+890.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 151399 0 0 0 87249 824 0 0 25 0 1 0 22079100 332025856 51883 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81061 51883 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 880.73
Current children cumulated vsize (Kb) 324244

[startup+900.041 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 151432 0 0 0 88227 831 0 0 25 0 1 0 22079100 332025856 51916 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81061 51916 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 890.58
Current children cumulated vsize (Kb) 324244

[startup+910.042 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 151477 0 0 0 89212 835 0 0 25 0 1 0 22079100 332025856 51961 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81061 51961 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 900.47
Current children cumulated vsize (Kb) 324244

[startup+920.042 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 152620 0 0 0 90192 843 0 0 25 0 1 0 22079100 332025856 51983 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81061 51983 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 910.35
Current children cumulated vsize (Kb) 324244

[startup+930.043 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 153765 0 0 0 91177 851 0 0 25 0 1 0 22079100 332025856 52007 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81061 52007 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 920.28
Current children cumulated vsize (Kb) 324244

[startup+940.043 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 153772 0 0 0 92158 857 0 0 25 0 1 0 22079100 332025856 52014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81061 52014 364 364 0 80697 0
[pid=9744] vsize: 324244
Current children cumulated CPU time (s) 930.15
Current children cumulated vsize (Kb) 324244

[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 154905 0 0 0 93140 866 0 0 25 0 1 0 22079100 332177408 52026 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81098 52026 364 364 0 80734 0
[pid=9744] vsize: 324392
Current children cumulated CPU time (s) 940.06
Current children cumulated vsize (Kb) 324392

[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 156033 0 0 0 94124 873 0 0 25 0 1 0 22079100 332177408 52033 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81098 52033 364 364 0 80734 0
[pid=9744] vsize: 324392
Current children cumulated CPU time (s) 949.97
Current children cumulated vsize (Kb) 324392

[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 156067 0 0 0 95105 879 0 0 25 0 1 0 22079100 332177408 52067 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81098 52067 364 364 0 80734 0
[pid=9744] vsize: 324392
Current children cumulated CPU time (s) 959.84
Current children cumulated vsize (Kb) 324392

[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 157229 0 0 0 96091 887 0 0 25 0 1 0 22079100 332177408 52108 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81098 52108 364 364 0 80734 0
[pid=9744] vsize: 324392
Current children cumulated CPU time (s) 969.78
Current children cumulated vsize (Kb) 324392

[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 158381 0 0 0 97074 894 0 0 25 0 1 0 22079100 332177408 52139 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81098 52139 364 364 0 80734 0
[pid=9744] vsize: 324392
Current children cumulated CPU time (s) 979.68
Current children cumulated vsize (Kb) 324392

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 158426 0 0 0 98058 900 0 0 25 0 1 0 22079100 332312576 52184 4294967295 134512640 135987407 3221224560 3221223280 134814242 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81131 52184 364 364 0 80767 0
[pid=9744] vsize: 324524
Current children cumulated CPU time (s) 989.58
Current children cumulated vsize (Kb) 324524

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 159556 0 0 0 99046 907 0 0 25 0 1 0 22079100 332312576 52193 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81131 52193 364 364 0 80767 0
[pid=9744] vsize: 324524
Current children cumulated CPU time (s) 999.53
Current children cumulated vsize (Kb) 324524

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 160711 0 0 0 100031 914 0 0 25 0 1 0 22079100 332312576 52227 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81131 52227 364 364 0 80767 0
[pid=9744] vsize: 324524
Current children cumulated CPU time (s) 1009.45
Current children cumulated vsize (Kb) 324524

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 161866 0 0 0 101015 921 0 0 25 0 1 0 22079100 332312576 52261 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81131 52261 364 364 0 80767 0
[pid=9744] vsize: 324524
Current children cumulated CPU time (s) 1019.36
Current children cumulated vsize (Kb) 324524

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) T 9743 9744 4060 0 -1 0 161908 0 0 0 101995 929 0 0 25 0 1 0 22079100 332312576 52303 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81131 52303 364 364 0 80767 0
[pid=9744] vsize: 324524
Current children cumulated CPU time (s) 1029.24
Current children cumulated vsize (Kb) 324524

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 163075 0 0 0 102980 937 0 0 25 0 1 0 22079100 332447744 52349 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81164 52349 364 364 0 80800 0
[pid=9744] vsize: 324656
Current children cumulated CPU time (s) 1039.17
Current children cumulated vsize (Kb) 324656

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 163155 0 0 0 103973 940 0 0 25 0 1 0 22079100 332447744 52429 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81164 52429 364 364 0 80800 0
[pid=9744] vsize: 324656
Current children cumulated CPU time (s) 1049.13
Current children cumulated vsize (Kb) 324656

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 164316 0 0 0 104955 948 0 0 25 0 1 0 22079100 332582912 52469 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81197 52469 364 364 0 80833 0
[pid=9744] vsize: 324788
Current children cumulated CPU time (s) 1059.03
Current children cumulated vsize (Kb) 324788

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 165460 0 0 0 105942 954 0 0 25 0 1 0 22079100 332582912 52492 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81197 52492 364 364 0 80833 0
[pid=9744] vsize: 324788
Current children cumulated CPU time (s) 1068.96
Current children cumulated vsize (Kb) 324788

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 165468 0 0 0 106925 960 0 0 25 0 1 0 22079100 332582912 52500 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81197 52500 364 364 0 80833 0
[pid=9744] vsize: 324788
Current children cumulated CPU time (s) 1078.85
Current children cumulated vsize (Kb) 324788

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 165499 0 0 0 107906 967 0 0 25 0 1 0 22079100 332775424 52531 4294967295 134512640 135987407 3221224560 3221223248 134788872 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81244 52531 364 364 0 80880 0
[pid=9744] vsize: 324976
Current children cumulated CPU time (s) 1088.73
Current children cumulated vsize (Kb) 324976

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 166649 0 0 0 108890 974 0 0 25 0 1 0 22079100 332775424 52560 4294967295 134512640 135987407 3221224560 3221223344 134812365 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81244 52560 364 364 0 80880 0
[pid=9744] vsize: 324976
Current children cumulated CPU time (s) 1098.64
Current children cumulated vsize (Kb) 324976

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 167806 0 0 0 109874 981 0 0 25 0 1 0 22079100 332775424 52596 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81244 52596 364 364 0 80880 0
[pid=9744] vsize: 324976
Current children cumulated CPU time (s) 1108.55
Current children cumulated vsize (Kb) 324976

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 167878 0 0 0 110858 987 0 0 25 0 1 0 22079100 332775424 52668 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81244 52668 364 364 0 80880 0
[pid=9744] vsize: 324976
Current children cumulated CPU time (s) 1118.45
Current children cumulated vsize (Kb) 324976

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 167928 0 0 0 111841 994 0 0 25 0 1 0 22079100 332775424 52718 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81244 52718 364 364 0 80880 0
[pid=9744] vsize: 324976
Current children cumulated CPU time (s) 1128.35
Current children cumulated vsize (Kb) 324976

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 169110 0 0 0 112826 1001 0 0 25 0 1 0 22079100 333062144 52779 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81314 52779 364 364 0 80950 0
[pid=9744] vsize: 325256
Current children cumulated CPU time (s) 1138.27
Current children cumulated vsize (Kb) 325256

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 9744
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 169138 0 0 0 113812 1006 0 0 25 0 1 0 22079100 333062144 52807 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81314 52807 364 364 0 80950 0
[pid=9744] vsize: 325256
Current children cumulated CPU time (s) 1148.18
Current children cumulated vsize (Kb) 325256

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 4/59 9776
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 169168 0 0 0 114792 1015 0 0 17 0 1 0 22079100 333225984 52837 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81354 52837 364 364 0 80990 0
[pid=9744] vsize: 325416
Current children cumulated CPU time (s) 1158.07
Current children cumulated vsize (Kb) 325416

[startup+1180.05 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 9799
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 170292 0 0 0 115774 1024 0 0 25 0 1 0 22079100 333225984 52840 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81354 52840 364 364 0 80990 0
[pid=9744] vsize: 325416
Current children cumulated CPU time (s) 1167.98
Current children cumulated vsize (Kb) 325416

[startup+1190.05 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 9799
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 171416 0 0 0 116761 1030 0 0 25 0 1 0 22079100 333225984 52843 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81354 52843 364 364 0 80990 0
[pid=9744] vsize: 325416
Current children cumulated CPU time (s) 1177.91
Current children cumulated vsize (Kb) 325416

[startup+1200.05 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 9799
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 171448 0 0 0 117742 1035 0 0 25 0 1 0 22079100 333225984 52875 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81354 52875 364 364 0 80990 0
[pid=9744] vsize: 325416
Current children cumulated CPU time (s) 1187.77
Current children cumulated vsize (Kb) 325416

[startup+1210.05 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9799
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 172605 0 0 0 118728 1042 0 0 25 0 1 0 22079100 333361152 52911 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9744/statm): 81387 52911 364 364 0 81023 0
[pid=9744] vsize: 325548
Current children cumulated CPU time (s) 1197.7
Current children cumulated vsize (Kb) 325548

[startup+1220.05 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9799
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 172645 0 0 0 119712 1048 0 0 25 0 1 0 22079100 333361152 52951 4294967295 134512640 135987407 3221224560 3221223280 134814136 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81387 52951 364 364 0 81023 0
[pid=9744] vsize: 325548
Current children cumulated CPU time (s) 1207.6
Current children cumulated vsize (Kb) 325548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9799
Raw data (/proc/9744/stat): 9744 (pb2sat) R 9743 9744 4060 0 -1 0 172645 0 0 0 119712 1048 0 0 25 0 1 0 22079100 333361152 52951 4294967295 134512640 135987407 3221224560 3221223280 134814136 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9744/statm): 81387 52951 364 364 0 81023 0
[pid=9744] vsize: 325548
Current children cumulated CPU time (s) 1207.6
Current children cumulated vsize (Kb) 325548

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

Child status: 0
Real time (s): 1220.97
CPU time (s): 1208.52
CPU user time (s): 1197.93
CPU system time (s): 10.5874
CPU usage (%): 98.9797
Max. virtual memory (cumulated for all children) (Kb): 328588

Verifier Data

ERROR: no interpretation found !