Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos15.opb
MD5SUMb9f2d6d55f20df770e36766d58f8055f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2677095900004446
Optimality of the best value was proved NO
Number of terms in the objective function 7040
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 75579061049066668032
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 75579061049066668032
Number of bits of the biggest sum of numbers67
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1224.25
Number of variables11840
Total number of constraints792
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)160
Number of constraints which are nor clauses,nor cardinality constraints632
Minimum length of a constraint1
Maximum length of a constraint100

Trace number 10628

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        900488 kB
Buffers:         16396 kB
Cached:          97980 kB
SwapCached:          0 kB
Active:          46580 kB
Inactive:        70648 kB
HighTotal:      131008 kB
HighFree:        36988 kB
LowTotal:       903652 kB
LowFree:        863500 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11296 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:19:59 (client local time) WITH STATUS 0 IN 1206.72 SECONDS
stats: 9310 7 1206.72 0

Solver Data

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

c Decision: 12315/399449	Time: 13.362/86400
c Decision: 12493/399449	Time: 26.7549/86400
c Decision: 12674/399449	Time: 58.4821/86400
c Decision: 12738/399449	Time: 80.2868/86400
c Decision: 12738/399449	Time: 85.816/86400
c Decision: 12863/399449	Time: 115.42/86400
c Decision: 12863/399449	Time: 122.421/86400
c Decision: 12887/399449	Time: 143.085/86400
c Decision: 12899/399449	Time: 155.023/86400
c Decision: 12899/399449	Time: 161.768/86400
c Decision: 12899/399449	Time: 168.649/86400
c Decision: 12908/399449	Time: 182.052/86400
c Decision: 12908/399449	Time: 188.28/86400
c Decision: 12919/399449	Time: 205.385/86400
c Decision: 12919/399449	Time: 212.336/86400
c Decision: 12948/399449	Time: 228.183/86400
c Decision: 12948/399449	Time: 235.492/86400
c Decision: 12948/399449	Time: 242.808/86400
c Decision: 12948/399449	Time: 248.605/86400
c Decision: 12948/399449	Time: 255.739/86400
c Decision: 12954/399449	Time: 266.742/86400
c Decision: 12954/399449	Time: 274.061/86400
c Decision: 12967/399449	Time: 280.887/86400
c Decision: 12967/399449	Time: 288.461/86400
c Decision: 12967/399449	Time: 295.229/86400
c Decision: 12967/399449	Time: 302.084/86400
c Decision: 12967/399449	Time: 309.705/86400
c Decision: 12967/399449	Time: 317.067/86400
c Decision: 13013/399449	Time: 324.859/86400
c Decision: 13042/399449	Time: 339.27/86400
c Decision: 13042/399449	Time: 347.568/86400
c Decision: 13066/399449	Time: 365.798/86400
c Decision: 13066/399449	Time: 372.803/86400
c Decision: 13066/399449	Time: 380.101/86400
c Decision: 13066/399449	Time: 386.477/86400
c Decision: 13093/399449	Time: 412.434/86400
c Decision: 13109/399449	Time: 423.277/86400
c Decision: 13109/399449	Time: 430.327/86400
c Decision: 13111/399449	Time: 441.046/86400
c Decision: 13115/399449	Time: 447.624/86400
c Decision: 13115/399449	Time: 458.67/86400
c Decision: 13119/399449	Time: 468.262/86400
c Decision: 13123/399449	Time: 477.408/86400
c Decision: 13136/399449	Time: 491.673/86400
c Decision: 13136/399449	Time: 499.431/86400
c Decision: 13136/399449	Time: 508.682/86400
c Decision: 13136/399449	Time: 516.431/86400
c Decision: 13136/399449	Time: 524.757/86400
c Decision: 13137/399449	Time: 536.824/86400
c Decision: 13163/399449	Time: 553.839/86400
c Decision: 13163/399449	Time: 563.968/86400
c Decision: 13173/399449	Time: 576.364/86400
c Decision: 13178/399449	Time: 592.422/86400
c Decision: 13178/399449	Time: 601.077/86400
c Decision: 13180/399449	Time: 612.241/86400
c Decision: 13185/399449	Time: 627.709/86400
c Decision: 13185/399449	Time: 636.539/86400
c Decision: 13192/399449	Time: 652.171/86400
c Decision: 13194/399449	Time: 660.737/86400
c Decision: 13196/399449	Time: 673.784/86400
c Decision: 13196/399449	Time: 682.952/86400
c Decision: 13197/399449	Time: 691.689/86400
c Decision: 13205/399449	Time: 710.536/86400
c Decision: 13205/399449	Time: 719.637/86400
c Decision: 13205/399449	Time: 728.878/86400
c Decision: 13205/399449	Time: 739.369/86400
c Decision: 13233/399449	Time: 753.8/86400
c Decision: 13264/399449	Time: 773.767/86400
c Decision: 13269/399449	Time: 788.334/86400
c Decision: 13272/399449	Time: 801.818/86400
c Decision: 13272/399449	Time: 812.206/86400
c Decision: 13274/399449	Time: 827.796/86400
c Decision: 13274/399449	Time: 836.381/86400
c Decision: 13296/399449	Time: 860.477/86400
c Decision: 13296/399449	Time: 869.76/86400
c Decision: 13307/399449	Time: 886.322/86400
c Decision: 13332/399449	Time: 911.764/86400
c Decision: 13351/399449	Time: 941.078/86400
c Decision: 13369/399449	Time: 960.612/86400
c Decision: 13371/399449	Time: 973.306/86400
c Decision: 13393/399449	Time: 996.679/86400
c Decision: 13393/399449	Time: 1006.47/86400
c Decision: 13393/399449	Time: 1016.23/86400
c Decision: 13393/399449	Time: 1025.73/86400
c Decision: 13393/399449	Time: 1035.4/86400
c Decision: 13421/399449	Time: 1066.4/86400
c Decision: 13506/399449	Time: 1123.93/86400
c Decision: 13506/399449	Time: 1134.22/86400
c Decision: 13509/399449	Time: 1146.19/86400
c Decision: 13511/399449	Time: 1160.03/86400
c Decision: 13530/399449	Time: 1181.18/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/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22532778 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 373 2 364 364 0 9 0
[pid=10262] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-neos15.opb

[startup+10.0013 s]
Raw data (loadavg): 0.92 0.95 0.90 2/55 10262
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 26826 0 0 0 930 66 0 0 25 0 1 0 22532778 80560128 15710 4294967295 134512640 135987407 3221224560 3221211464 135488042 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 19668 15710 364 364 0 19304 0
[pid=10262] vsize: 78672
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78672

[startup+20.0021 s]
Raw data (loadavg): 0.93 0.95 0.91 1/55 10262
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 52725 0 0 0 1856 128 0 0 25 0 1 0 22532778 165195776 29646 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 40331 29646 364 364 0 39967 0
[pid=10262] vsize: 161324
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 161324

[startup+30.0029 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 10262
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 54145 0 0 0 2796 148 0 0 25 0 1 0 22532778 167661568 30285 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 40933 30285 364 364 0 40569 0
[pid=10262] vsize: 163732
Current children cumulated CPU time (s) 29.44
Current children cumulated vsize (Kb) 163732

[startup+40.0027 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 10262
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 54419 0 0 0 3726 175 0 0 25 0 1 0 22532778 168796160 30559 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41210 30559 364 364 0 40846 0
[pid=10262] vsize: 164840
Current children cumulated CPU time (s) 39.01
Current children cumulated vsize (Kb) 164840

[startup+50.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10262
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 55374 0 0 0 4658 198 0 0 25 0 1 0 22532778 169480192 30733 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41377 30733 364 364 0 41013 0
[pid=10262] vsize: 165508
Current children cumulated CPU time (s) 48.56
Current children cumulated vsize (Kb) 165508

[startup+60.0033 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 10317
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 55482 0 0 0 5577 226 0 0 25 0 1 0 22532778 169775104 30841 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 41449 30841 364 364 0 41085 0
[pid=10262] vsize: 165796
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (Kb) 165796

[startup+70.0041 s]
Raw data (loadavg): 1.04 0.97 0.91 2/55 10317
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 55583 0 0 0 6494 252 0 0 25 0 1 0 22532778 170217472 30942 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41557 30942 364 364 0 41193 0
[pid=10262] vsize: 166228
Current children cumulated CPU time (s) 67.46
Current children cumulated vsize (Kb) 166228

[startup+80.0049 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 10317
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 56434 0 0 0 7432 273 0 0 25 0 1 0 22532778 170364928 31012 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41593 31012 364 364 0 41229 0
[pid=10262] vsize: 166372
Current children cumulated CPU time (s) 77.05
Current children cumulated vsize (Kb) 166372

[startup+90.0048 s]
Raw data (loadavg): 1.03 0.97 0.91 2/55 10317
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 56489 0 0 0 8360 298 0 0 25 0 1 0 22532778 170512384 31067 4294967295 134512640 135987407 3221224560 3221223136 134801555 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 41629 31067 364 364 0 41265 0
[pid=10262] vsize: 166516
Current children cumulated CPU time (s) 86.58
Current children cumulated vsize (Kb) 166516

[startup+100.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 10317
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 56540 0 0 0 9289 321 0 0 25 0 1 0 22532778 170659840 31118 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 41665 31118 364 364 0 41301 0
[pid=10262] vsize: 166660
Current children cumulated CPU time (s) 96.1
Current children cumulated vsize (Kb) 166660

[startup+110.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/55 10317
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 58152 0 0 0 10240 339 0 0 25 0 1 0 22532778 170807296 31168 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41701 31168 364 364 0 41337 0
[pid=10262] vsize: 166804
Current children cumulated CPU time (s) 105.79
Current children cumulated vsize (Kb) 166804

[startup+120.007 s]
Raw data (loadavg): 1.17 1.00 0.93 2/55 10319
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 58289 0 0 0 11176 361 0 0 25 0 1 0 22532778 171253760 31305 4294967295 134512640 135987407 3221224560 3221223120 134788476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 41810 31305 364 364 0 41446 0
[pid=10262] vsize: 167240
Current children cumulated CPU time (s) 115.37
Current children cumulated vsize (Kb) 167240

[startup+130.007 s]
Raw data (loadavg): 1.14 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 58394 0 0 0 12106 383 0 0 25 0 1 0 22532778 171548672 31410 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 41882 31410 364 364 0 41518 0
[pid=10262] vsize: 167528
Current children cumulated CPU time (s) 124.89
Current children cumulated vsize (Kb) 167528

[startup+140.007 s]
Raw data (loadavg): 1.12 1.00 0.93 1/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 59206 0 0 0 13051 402 0 0 25 0 1 0 22532778 171696128 31441 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41918 31441 364 364 0 41554 0
[pid=10262] vsize: 167672
Current children cumulated CPU time (s) 134.53
Current children cumulated vsize (Kb) 167672

[startup+150.008 s]
Raw data (loadavg): 1.10 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 60035 0 0 0 13989 423 0 0 25 0 1 0 22532778 171859968 31489 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 41958 31489 364 364 0 41594 0
[pid=10262] vsize: 167832
Current children cumulated CPU time (s) 144.12
Current children cumulated vsize (Kb) 167832

[startup+160.007 s]
Raw data (loadavg): 1.08 1.00 0.93 1/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 60087 0 0 0 14920 446 0 0 25 0 1 0 22532778 172007424 31541 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 41994 31541 364 364 0 41630 0
[pid=10262] vsize: 167976
Current children cumulated CPU time (s) 153.66
Current children cumulated vsize (Kb) 167976

[startup+170.008 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 60913 0 0 0 15854 468 0 0 25 0 1 0 22532778 172171264 31586 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42034 31586 364 364 0 41670 0
[pid=10262] vsize: 168136
Current children cumulated CPU time (s) 163.22
Current children cumulated vsize (Kb) 168136

[startup+180.009 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 61726 0 0 0 16787 491 0 0 25 0 1 0 22532778 172171264 31618 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42034 31618 364 364 0 41670 0
[pid=10262] vsize: 168136
Current children cumulated CPU time (s) 172.78
Current children cumulated vsize (Kb) 168136

[startup+190.009 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 62557 0 0 0 17742 508 0 0 25 0 1 0 22532778 172302336 31668 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42066 31668 364 364 0 41702 0
[pid=10262] vsize: 168264
Current children cumulated CPU time (s) 182.5
Current children cumulated vsize (Kb) 168264

[startup+200.01 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 63364 0 0 0 18699 524 0 0 25 0 1 0 22532778 172302336 31694 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42066 31694 364 364 0 41702 0
[pid=10262] vsize: 168264
Current children cumulated CPU time (s) 192.23
Current children cumulated vsize (Kb) 168264

[startup+210.01 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 64202 0 0 0 19668 536 0 0 25 0 1 0 22532778 172462080 31751 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42105 31751 364 364 0 41741 0
[pid=10262] vsize: 168420
Current children cumulated CPU time (s) 202.04
Current children cumulated vsize (Kb) 168420

[startup+220.01 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 65025 0 0 0 20615 555 0 0 25 0 1 0 22532778 172462080 31793 4294967295 134512640 135987407 3221224560 3221223424 134812629 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42105 31793 364 364 0 41741 0
[pid=10262] vsize: 168420
Current children cumulated CPU time (s) 211.7
Current children cumulated vsize (Kb) 168420

[startup+230.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 65097 0 0 0 21545 576 0 0 25 0 1 0 22532778 172744704 31865 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42174 31865 364 364 0 41810 0
[pid=10262] vsize: 168696
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (Kb) 168696

[startup+240.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 66681 0 0 0 22495 596 0 0 25 0 1 0 22532778 172744704 31887 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42174 31887 364 364 0 41810 0
[pid=10262] vsize: 168696
Current children cumulated CPU time (s) 230.91
Current children cumulated vsize (Kb) 168696

[startup+250.012 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 66743 0 0 0 23426 620 0 0 25 0 1 0 22532778 172875776 31949 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42206 31949 364 364 0 41842 0
[pid=10262] vsize: 168824
Current children cumulated CPU time (s) 240.46
Current children cumulated vsize (Kb) 168824

[startup+260.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 67553 0 0 0 24379 638 0 0 25 0 1 0 22532778 173027328 31978 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42243 31978 364 364 0 41879 0
[pid=10262] vsize: 168972
Current children cumulated CPU time (s) 250.17
Current children cumulated vsize (Kb) 168972

[startup+270.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 69143 0 0 0 25322 659 0 0 25 0 1 0 22532778 173027328 32006 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42243 32006 364 364 0 41879 0
[pid=10262] vsize: 168972
Current children cumulated CPU time (s) 259.81
Current children cumulated vsize (Kb) 168972

[startup+280.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 69990 0 0 0 26288 673 0 0 25 0 1 0 22532778 173166592 32072 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42277 32072 364 364 0 41913 0
[pid=10262] vsize: 169108
Current children cumulated CPU time (s) 269.61
Current children cumulated vsize (Kb) 169108

[startup+290.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 70827 0 0 0 27225 692 0 0 25 0 1 0 22532778 173301760 32128 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42310 32128 364 364 0 41946 0
[pid=10262] vsize: 169240
Current children cumulated CPU time (s) 279.17
Current children cumulated vsize (Kb) 169240

[startup+300.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 71656 0 0 0 28178 709 0 0 25 0 1 0 22532778 173592576 32176 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42381 32176 364 364 0 42017 0
[pid=10262] vsize: 169524
Current children cumulated CPU time (s) 288.87
Current children cumulated vsize (Kb) 169524

[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 73244 0 0 0 29126 727 0 0 25 0 1 0 22532778 173592576 32202 4294967295 134512640 135987407 3221224560 3221223248 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42381 32202 364 364 0 42017 0
[pid=10262] vsize: 169524
Current children cumulated CPU time (s) 298.53
Current children cumulated vsize (Kb) 169524

[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 74103 0 0 0 30076 743 0 0 25 0 1 0 22532778 173756416 32280 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42421 32280 364 364 0 42057 0
[pid=10262] vsize: 169684
Current children cumulated CPU time (s) 308.19
Current children cumulated vsize (Kb) 169684

[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 75711 0 0 0 31042 757 0 0 25 0 1 0 22532778 173920256 32326 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42461 32326 364 364 0 42097 0
[pid=10262] vsize: 169844
Current children cumulated CPU time (s) 317.99
Current children cumulated vsize (Kb) 169844

[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 76530 0 0 0 31989 775 0 0 25 0 1 0 22532778 173920256 32364 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42461 32364 364 364 0 42097 0
[pid=10262] vsize: 169844
Current children cumulated CPU time (s) 327.64
Current children cumulated vsize (Kb) 169844

[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 77384 0 0 0 32948 789 0 0 25 0 1 0 22532778 174231552 32437 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42537 32437 364 364 0 42173 0
[pid=10262] vsize: 170148
Current children cumulated CPU time (s) 337.37
Current children cumulated vsize (Kb) 170148

[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10323
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 78229 0 0 0 33885 812 0 0 25 0 1 0 22532778 174379008 32501 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42573 32501 364 364 0 42209 0
[pid=10262] vsize: 170292
Current children cumulated CPU time (s) 346.97
Current children cumulated vsize (Kb) 170292

[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 79072 0 0 0 34852 825 0 0 25 0 1 0 22532778 174542848 32563 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42613 32563 364 364 0 42249 0
[pid=10262] vsize: 170452
Current children cumulated CPU time (s) 356.77
Current children cumulated vsize (Kb) 170452

[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 79881 0 0 0 35806 842 0 0 25 0 1 0 22532778 174542848 32591 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42613 32591 364 364 0 42249 0
[pid=10262] vsize: 170452
Current children cumulated CPU time (s) 366.48
Current children cumulated vsize (Kb) 170452

[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 79926 0 0 0 36729 869 0 0 25 0 1 0 22532778 174829568 32636 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42683 32636 364 364 0 42319 0
[pid=10262] vsize: 170732
Current children cumulated CPU time (s) 375.98
Current children cumulated vsize (Kb) 170732

[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 80750 0 0 0 37684 885 0 0 25 0 1 0 22532778 174977024 32679 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42719 32679 364 364 0 42355 0
[pid=10262] vsize: 170876
Current children cumulated CPU time (s) 385.69
Current children cumulated vsize (Kb) 170876

[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 81569 0 0 0 38638 903 0 0 25 0 1 0 22532778 174977024 32717 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42719 32717 364 364 0 42355 0
[pid=10262] vsize: 170876
Current children cumulated CPU time (s) 395.41
Current children cumulated vsize (Kb) 170876

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 83188 0 0 0 39605 917 0 0 25 0 1 0 22532778 175112192 32774 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42752 32774 364 364 0 42388 0
[pid=10262] vsize: 171008
Current children cumulated CPU time (s) 405.22
Current children cumulated vsize (Kb) 171008

[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 83235 0 0 0 40536 941 0 0 25 0 1 0 22532778 175247360 32821 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42785 32821 364 364 0 42421 0
[pid=10262] vsize: 171140
Current children cumulated CPU time (s) 414.77
Current children cumulated vsize (Kb) 171140

[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 83283 0 0 0 41456 968 0 0 25 0 1 0 22532778 175411200 32869 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42825 32869 364 364 0 42461 0
[pid=10262] vsize: 171300
Current children cumulated CPU time (s) 424.24
Current children cumulated vsize (Kb) 171300

[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 84098 0 0 0 42406 986 0 0 25 0 1 0 22532778 175558656 32903 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42861 32903 364 364 0 42497 0
[pid=10262] vsize: 171444
Current children cumulated CPU time (s) 433.92
Current children cumulated vsize (Kb) 171444

[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 84896 0 0 0 43345 1008 0 0 25 0 1 0 22532778 175730688 32920 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42903 32920 364 364 0 42539 0
[pid=10262] vsize: 171612
Current children cumulated CPU time (s) 443.53
Current children cumulated vsize (Kb) 171612

[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 85694 0 0 0 44302 1023 0 0 25 0 1 0 22532778 175730688 32937 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42903 32937 364 364 0 42539 0
[pid=10262] vsize: 171612
Current children cumulated CPU time (s) 453.25
Current children cumulated vsize (Kb) 171612

[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 86512 0 0 0 45251 1042 0 0 25 0 1 0 22532778 175927296 32974 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42951 32974 364 364 0 42587 0
[pid=10262] vsize: 171804
Current children cumulated CPU time (s) 462.93
Current children cumulated vsize (Kb) 171804

[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 87333 0 0 0 46185 1066 0 0 25 0 1 0 22532778 175927296 33014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42951 33014 364 364 0 42587 0
[pid=10262] vsize: 171804
Current children cumulated CPU time (s) 472.51
Current children cumulated vsize (Kb) 171804

[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 88134 0 0 0 47143 1083 0 0 25 0 1 0 22532778 175927296 33034 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 42951 33034 364 364 0 42587 0
[pid=10262] vsize: 171804
Current children cumulated CPU time (s) 482.26
Current children cumulated vsize (Kb) 171804

[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 88960 0 0 0 48095 1100 0 0 25 0 1 0 22532778 176078848 33079 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42988 33079 364 364 0 42624 0
[pid=10262] vsize: 171952
Current children cumulated CPU time (s) 491.95
Current children cumulated vsize (Kb) 171952

[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 89777 0 0 0 49050 1117 0 0 25 0 1 0 22532778 176078848 33115 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 42988 33115 364 364 0 42624 0
[pid=10262] vsize: 171952
Current children cumulated CPU time (s) 501.67
Current children cumulated vsize (Kb) 171952

[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 90618 0 0 0 50021 1128 0 0 25 0 1 0 22532778 176209920 33175 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43020 33175 364 364 0 42656 0
[pid=10262] vsize: 172080
Current children cumulated CPU time (s) 511.49
Current children cumulated vsize (Kb) 172080

[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 91446 0 0 0 50976 1143 0 0 25 0 1 0 22532778 176373760 33222 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43060 33222 364 364 0 42696 0
[pid=10262] vsize: 172240
Current children cumulated CPU time (s) 521.19
Current children cumulated vsize (Kb) 172240

[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 92237 0 0 0 51931 1158 0 0 25 0 1 0 22532778 176373760 33232 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43060 33232 364 364 0 42696 0
[pid=10262] vsize: 172240
Current children cumulated CPU time (s) 530.89
Current children cumulated vsize (Kb) 172240

[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 93041 0 0 0 52884 1174 0 0 25 0 1 0 22532778 176373760 33255 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43060 33255 364 364 0 42696 0
[pid=10262] vsize: 172240
Current children cumulated CPU time (s) 540.58
Current children cumulated vsize (Kb) 172240

[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 93841 0 0 0 53826 1196 0 0 25 0 1 0 22532778 176508928 33274 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43093 33274 364 364 0 42729 0
[pid=10262] vsize: 172372
Current children cumulated CPU time (s) 550.22
Current children cumulated vsize (Kb) 172372

[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 94654 0 0 0 54772 1215 0 0 25 0 1 0 22532778 176508928 33306 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43093 33306 364 364 0 42729 0
[pid=10262] vsize: 172372
Current children cumulated CPU time (s) 559.87
Current children cumulated vsize (Kb) 172372

[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 94692 0 0 0 55708 1237 0 0 25 0 1 0 22532778 176640000 33344 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43125 33344 364 364 0 42761 0
[pid=10262] vsize: 172500
Current children cumulated CPU time (s) 569.45
Current children cumulated vsize (Kb) 172500

[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 96290 0 0 0 56659 1254 0 0 25 0 1 0 22532778 179838976 34161 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43906 34161 364 364 0 43542 0
[pid=10262] vsize: 175624
Current children cumulated CPU time (s) 579.13
Current children cumulated vsize (Kb) 175624

[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 96320 0 0 0 57617 1268 0 0 25 0 1 0 22532778 176791552 33410 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43162 33410 364 364 0 42798 0
[pid=10262] vsize: 172648
Current children cumulated CPU time (s) 588.85
Current children cumulated vsize (Kb) 172648

[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 97130 0 0 0 58570 1284 0 0 25 0 1 0 22532778 176791552 33439 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43162 33439 364 364 0 42798 0
[pid=10262] vsize: 172648
Current children cumulated CPU time (s) 598.54
Current children cumulated vsize (Kb) 172648

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 97187 0 0 0 59495 1309 0 0 25 0 1 0 22532778 176926720 33496 4294967295 134512640 135987407 3221224560 3221223280 134814041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43195 33496 364 364 0 42831 0
[pid=10262] vsize: 172780
Current children cumulated CPU time (s) 608.04
Current children cumulated vsize (Kb) 172780

[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 98775 0 0 0 60431 1333 0 0 25 0 1 0 22532778 180256768 34303 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44008 34303 364 364 0 43644 0
[pid=10262] vsize: 176032
Current children cumulated CPU time (s) 617.64
Current children cumulated vsize (Kb) 176032

[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 98830 0 0 0 61380 1351 0 0 25 0 1 0 22532778 177213440 33577 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43265 33577 364 364 0 42901 0
[pid=10262] vsize: 173060
Current children cumulated CPU time (s) 627.31
Current children cumulated vsize (Kb) 173060

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 99639 0 0 0 62320 1374 0 0 25 0 1 0 22532778 177213440 33605 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43265 33605 364 364 0 42901 0
[pid=10262] vsize: 173060
Current children cumulated CPU time (s) 636.94
Current children cumulated vsize (Kb) 173060

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 100441 0 0 0 63279 1389 0 0 25 0 1 0 22532778 177213440 33626 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43265 33626 364 364 0 42901 0
[pid=10262] vsize: 173060
Current children cumulated CPU time (s) 646.68
Current children cumulated vsize (Kb) 173060

[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 101239 0 0 0 64228 1408 0 0 25 0 1 0 22532778 177213440 33643 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43265 33643 364 364 0 42901 0
[pid=10262] vsize: 173060
Current children cumulated CPU time (s) 656.36
Current children cumulated vsize (Kb) 173060

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 101262 0 0 0 65163 1429 0 0 25 0 1 0 22532778 177348608 33666 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43298 33666 364 364 0 42934 0
[pid=10262] vsize: 173192
Current children cumulated CPU time (s) 665.92
Current children cumulated vsize (Kb) 173192

[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 102065 0 0 0 66114 1449 0 0 25 0 1 0 22532778 177348608 33688 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43298 33688 364 364 0 42934 0
[pid=10262] vsize: 173192
Current children cumulated CPU time (s) 675.63
Current children cumulated vsize (Kb) 173192

[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 102880 0 0 0 67060 1469 0 0 25 0 1 0 22532778 177479680 33722 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43330 33722 364 364 0 42966 0
[pid=10262] vsize: 173320
Current children cumulated CPU time (s) 685.29
Current children cumulated vsize (Kb) 173320

[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 103699 0 0 0 68015 1484 0 0 25 0 1 0 22532778 177479680 33760 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43330 33760 364 364 0 42966 0
[pid=10262] vsize: 173320
Current children cumulated CPU time (s) 694.99
Current children cumulated vsize (Kb) 173320

[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 104497 0 0 0 68970 1500 0 0 25 0 1 0 22532778 177479680 33777 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43330 33777 364 364 0 42966 0
[pid=10262] vsize: 173320
Current children cumulated CPU time (s) 704.7
Current children cumulated vsize (Kb) 173320

[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 105307 0 0 0 69926 1515 0 0 25 0 1 0 22532778 177610752 33806 4294967295 134512640 135987407 3221224560 3221223248 134811888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43362 33806 364 364 0 42998 0
[pid=10262] vsize: 173448
Current children cumulated CPU time (s) 714.41
Current children cumulated vsize (Kb) 173448

[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 105344 0 0 0 70866 1535 0 0 25 0 1 0 22532778 177610752 33843 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43362 33843 364 364 0 42998 0
[pid=10262] vsize: 173448
Current children cumulated CPU time (s) 724.01
Current children cumulated vsize (Kb) 173448

[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 106161 0 0 0 71821 1551 0 0 25 0 1 0 22532778 177741824 33879 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43394 33879 364 364 0 43030 0
[pid=10262] vsize: 173576
Current children cumulated CPU time (s) 733.72
Current children cumulated vsize (Kb) 173576

[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 106974 0 0 0 72769 1570 0 0 25 0 1 0 22532778 177741824 33911 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43394 33911 364 364 0 43030 0
[pid=10262] vsize: 173576
Current children cumulated CPU time (s) 743.39
Current children cumulated vsize (Kb) 173576

[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 107781 0 0 0 73709 1591 0 0 25 0 1 0 22532778 177741824 33937 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43394 33937 364 364 0 43030 0
[pid=10262] vsize: 173576
Current children cumulated CPU time (s) 753
Current children cumulated vsize (Kb) 173576

[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 108577 0 0 0 74660 1610 0 0 25 0 1 0 22532778 177741824 33952 4294967295 134512640 135987407 3221224560 3221223312 134801335 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43394 33952 364 364 0 43030 0
[pid=10262] vsize: 173576
Current children cumulated CPU time (s) 762.7
Current children cumulated vsize (Kb) 173576

[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 109382 0 0 0 75605 1628 0 0 25 0 1 0 22532778 177905664 33976 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43434 33976 364 364 0 43070 0
[pid=10262] vsize: 173736
Current children cumulated CPU time (s) 772.33
Current children cumulated vsize (Kb) 173736

[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 109422 0 0 0 76537 1652 0 0 25 0 1 0 22532778 177905664 34016 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43434 34016 364 364 0 43070 0
[pid=10262] vsize: 173736
Current children cumulated CPU time (s) 781.89
Current children cumulated vsize (Kb) 173736

[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 110235 0 0 0 77489 1669 0 0 25 0 1 0 22532778 178040832 34048 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43467 34048 364 364 0 43103 0
[pid=10262] vsize: 173868
Current children cumulated CPU time (s) 791.58
Current children cumulated vsize (Kb) 173868

[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 110269 0 0 0 78427 1691 0 0 25 0 1 0 22532778 178040832 34082 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43467 34082 364 364 0 43103 0
[pid=10262] vsize: 173868
Current children cumulated CPU time (s) 801.18
Current children cumulated vsize (Kb) 173868

[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 111080 0 0 0 79380 1707 0 0 25 0 1 0 22532778 178040832 34112 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43467 34112 364 364 0 43103 0
[pid=10262] vsize: 173868
Current children cumulated CPU time (s) 810.87
Current children cumulated vsize (Kb) 173868

[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 111920 0 0 0 80326 1727 0 0 25 0 1 0 22532778 178188288 34171 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43503 34171 364 364 0 43139 0
[pid=10262] vsize: 174012
Current children cumulated CPU time (s) 820.53
Current children cumulated vsize (Kb) 174012

[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 112726 0 0 0 81280 1744 0 0 25 0 1 0 22532778 178348032 34196 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43542 34196 364 364 0 43178 0
[pid=10262] vsize: 174168
Current children cumulated CPU time (s) 830.24
Current children cumulated vsize (Kb) 174168

[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 112742 0 0 0 82220 1766 0 0 25 0 1 0 22532778 178348032 34212 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43542 34212 364 364 0 43178 0
[pid=10262] vsize: 174168
Current children cumulated CPU time (s) 839.86
Current children cumulated vsize (Kb) 174168

[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 113553 0 0 0 83168 1785 0 0 25 0 1 0 22532778 178348032 34242 4294967295 134512640 135987407 3221224560 3221223020 135480753 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43542 34242 364 364 0 43178 0
[pid=10262] vsize: 174168
Current children cumulated CPU time (s) 849.53
Current children cumulated vsize (Kb) 174168

[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 114361 0 0 0 84125 1800 0 0 25 0 1 0 22532778 178479104 34269 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43574 34269 364 364 0 43210 0
[pid=10262] vsize: 174296
Current children cumulated CPU time (s) 859.25
Current children cumulated vsize (Kb) 174296

[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 114394 0 0 0 85052 1824 0 0 22 0 1 0 22532778 178479104 34302 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43574 34302 364 364 0 43210 0
[pid=10262] vsize: 174296
Current children cumulated CPU time (s) 868.76
Current children cumulated vsize (Kb) 174296

[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 115211 0 0 0 85993 1847 0 0 25 0 1 0 22532778 178622464 34338 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43609 34338 364 364 0 43245 0
[pid=10262] vsize: 174436
Current children cumulated CPU time (s) 878.4
Current children cumulated vsize (Kb) 174436

[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 116028 0 0 0 86945 1862 0 0 22 0 1 0 22532778 178622464 34374 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43609 34374 364 364 0 43245 0
[pid=10262] vsize: 174436
Current children cumulated CPU time (s) 888.07
Current children cumulated vsize (Kb) 174436

[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 116063 0 0 0 87886 1883 0 0 25 0 1 0 22532778 178753536 34409 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43641 34409 364 364 0 43277 0
[pid=10262] vsize: 174564
Current children cumulated CPU time (s) 897.69
Current children cumulated vsize (Kb) 174564

[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 116858 0 0 0 88845 1895 0 0 25 0 1 0 22532778 178753536 34423 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43641 34423 364 364 0 43277 0
[pid=10262] vsize: 174564
Current children cumulated CPU time (s) 907.4
Current children cumulated vsize (Kb) 174564

[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 116891 0 0 0 89784 1915 0 0 25 0 1 0 22532778 178753536 34456 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43641 34456 364 364 0 43277 0
[pid=10262] vsize: 174564
Current children cumulated CPU time (s) 916.99
Current children cumulated vsize (Kb) 174564

[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 116944 0 0 0 90719 1936 0 0 25 0 1 0 22532778 178905088 34509 4294967295 134512640 135987407 3221224560 3221223020 135480923 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43678 34509 364 364 0 43314 0
[pid=10262] vsize: 174712
Current children cumulated CPU time (s) 926.55
Current children cumulated vsize (Kb) 174712

[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 117747 0 0 0 91669 1953 0 0 25 0 1 0 22532778 179052544 34531 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43714 34531 364 364 0 43350 0
[pid=10262] vsize: 174856
Current children cumulated CPU time (s) 936.22
Current children cumulated vsize (Kb) 174856

[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 117787 0 0 0 92601 1974 0 0 25 0 1 0 22532778 179052544 34571 4294967295 134512640 135987407 3221224560 3221223312 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43714 34571 364 364 0 43350 0
[pid=10262] vsize: 174856
Current children cumulated CPU time (s) 945.75
Current children cumulated vsize (Kb) 174856

[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 117823 0 0 0 93534 1996 0 0 25 0 1 0 22532778 179187712 34607 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43747 34607 364 364 0 43383 0
[pid=10262] vsize: 174988
Current children cumulated CPU time (s) 955.3
Current children cumulated vsize (Kb) 174988

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 118627 0 0 0 94477 2017 0 0 25 0 1 0 22532778 179187712 34630 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43747 34630 364 364 0 43383 0
[pid=10262] vsize: 174988
Current children cumulated CPU time (s) 964.94
Current children cumulated vsize (Kb) 174988

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 118686 0 0 0 95414 2038 0 0 25 0 1 0 22532778 179331072 34689 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43782 34689 364 364 0 43418 0
[pid=10262] vsize: 175128
Current children cumulated CPU time (s) 974.52
Current children cumulated vsize (Kb) 175128

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 119494 0 0 0 96355 2059 0 0 25 0 1 0 22532778 179331072 34716 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43782 34716 364 364 0 43418 0
[pid=10262] vsize: 175128
Current children cumulated CPU time (s) 984.14
Current children cumulated vsize (Kb) 175128

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 120301 0 0 0 97302 2077 0 0 25 0 1 0 22532778 179466240 34742 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43815 34742 364 364 0 43451 0
[pid=10262] vsize: 175260
Current children cumulated CPU time (s) 993.79
Current children cumulated vsize (Kb) 175260

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 120340 0 0 0 98244 2097 0 0 25 0 1 0 22532778 179466240 34781 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43815 34781 364 364 0 43451 0
[pid=10262] vsize: 175260
Current children cumulated CPU time (s) 1003.41
Current children cumulated vsize (Kb) 175260

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 121152 0 0 0 99198 2115 0 0 25 0 1 0 22532778 179466240 34812 4294967295 134512640 135987407 3221224560 3221223376 134876772 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43815 34812 364 364 0 43451 0
[pid=10262] vsize: 175260
Current children cumulated CPU time (s) 1013.13
Current children cumulated vsize (Kb) 175260

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 121959 0 0 0 100135 2138 0 0 25 0 1 0 22532778 182800384 35619 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 44629 35619 364 364 0 44265 0
[pid=10262] vsize: 178516
Current children cumulated CPU time (s) 1022.73
Current children cumulated vsize (Kb) 178516

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 122754 0 0 0 101083 2158 0 0 25 0 1 0 22532778 182800384 35633 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44629 35633 364 364 0 44265 0
[pid=10262] vsize: 178516
Current children cumulated CPU time (s) 1032.41
Current children cumulated vsize (Kb) 178516

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 123545 0 0 0 102033 2176 0 0 25 0 1 0 22532778 182935552 35643 4294967295 134512640 135987407 3221224560 3221222944 134829255 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 44662 35643 364 364 0 44298 0
[pid=10262] vsize: 178648
Current children cumulated CPU time (s) 1042.09
Current children cumulated vsize (Kb) 178648

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 124351 0 0 0 102991 2190 0 0 25 0 1 0 22532778 182935552 35668 4294967295 134512640 135987407 3221224560 3221222928 134829291 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 44662 35668 364 364 0 44298 0
[pid=10262] vsize: 178648
Current children cumulated CPU time (s) 1051.81
Current children cumulated vsize (Kb) 178648

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 124381 0 0 0 103935 2209 0 0 25 0 1 0 22532778 179896320 34917 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43920 34917 364 364 0 43556 0
[pid=10262] vsize: 175680
Current children cumulated CPU time (s) 1061.44
Current children cumulated vsize (Kb) 175680

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 124412 0 0 0 104874 2231 0 0 25 0 1 0 22532778 179896320 34948 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 43920 34948 364 364 0 43556 0
[pid=10262] vsize: 175680
Current children cumulated CPU time (s) 1071.05
Current children cumulated vsize (Kb) 175680

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 124475 0 0 0 105817 2249 0 0 25 0 1 0 22532778 180031488 35011 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43953 35011 364 364 0 43589 0
[pid=10262] vsize: 175812
Current children cumulated CPU time (s) 1080.66
Current children cumulated vsize (Kb) 175812

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 125280 0 0 0 106756 2270 0 0 25 0 1 0 22532778 180178944 35035 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43989 35035 364 364 0 43625 0
[pid=10262] vsize: 175956
Current children cumulated CPU time (s) 1090.26
Current children cumulated vsize (Kb) 175956

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 125305 0 0 0 107701 2287 0 0 25 0 1 0 22532778 180178944 35060 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 43989 35060 364 364 0 43625 0
[pid=10262] vsize: 175956
Current children cumulated CPU time (s) 1099.88
Current children cumulated vsize (Kb) 175956

[startup+1150.05 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 125333 0 0 0 108642 2307 0 0 25 0 1 0 22532778 180326400 35088 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44025 35088 364 364 0 43661 0
[pid=10262] vsize: 176100
Current children cumulated CPU time (s) 1109.49
Current children cumulated vsize (Kb) 176100

[startup+1160.06 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 125367 0 0 0 109588 2325 0 0 25 0 1 0 22532778 180326400 35122 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44025 35122 364 364 0 43661 0
[pid=10262] vsize: 176100
Current children cumulated CPU time (s) 1119.13
Current children cumulated vsize (Kb) 176100

[startup+1170.06 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 125399 0 0 0 110528 2343 0 0 25 0 1 0 22532778 180326400 35154 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44025 35154 364 364 0 43661 0
[pid=10262] vsize: 176100
Current children cumulated CPU time (s) 1128.71
Current children cumulated vsize (Kb) 176100

[startup+1180.06 s]
Raw data (loadavg): 1.04 1.01 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 125432 0 0 0 111468 2363 0 0 25 0 1 0 22532778 180461568 35187 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44058 35187 364 364 0 43694 0
[pid=10262] vsize: 176232
Current children cumulated CPU time (s) 1138.31
Current children cumulated vsize (Kb) 176232

[startup+1190.06 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 126258 0 0 0 112427 2378 0 0 25 0 1 0 22532778 180609024 35232 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 44094 35232 364 364 0 43730 0
[pid=10262] vsize: 176376
Current children cumulated CPU time (s) 1148.05
Current children cumulated vsize (Kb) 176376

[startup+1200.06 s]
Raw data (loadavg): 1.03 1.01 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 127060 0 0 0 113376 2397 0 0 25 0 1 0 22532778 180609024 35253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44094 35253 364 364 0 43730 0
[pid=10262] vsize: 176376
Current children cumulated CPU time (s) 1157.73
Current children cumulated vsize (Kb) 176376

[startup+1210.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 127872 0 0 0 114322 2415 0 0 25 0 1 0 22532778 180609024 35284 4294967295 134512640 135987407 3221224560 3221223340 134801315 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44094 35284 364 364 0 43730 0
[pid=10262] vsize: 176376
Current children cumulated CPU time (s) 1167.37
Current children cumulated vsize (Kb) 176376

[startup+1220.06 s]
Raw data (loadavg): 1.02 1.01 0.93 1/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) T 10261 10262 4060 0 -1 0 128683 0 0 0 115280 2432 0 0 25 0 1 0 22532778 180609024 35314 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44094 35314 364 364 0 43730 0
[pid=10262] vsize: 176376
Current children cumulated CPU time (s) 1177.12
Current children cumulated vsize (Kb) 176376

[startup+1230.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 128719 0 0 0 116224 2450 0 0 25 0 1 0 22532778 180768768 35350 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44133 35350 364 364 0 43769 0
[pid=10262] vsize: 176532
Current children cumulated CPU time (s) 1186.74
Current children cumulated vsize (Kb) 176532

[startup+1240.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 129520 0 0 0 117172 2469 0 0 25 0 1 0 22532778 183967744 36151 4294967295 134512640 135987407 3221224560 3221222916 134827547 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10262/statm): 44914 36151 364 364 0 44550 0
[pid=10262] vsize: 179656
Current children cumulated CPU time (s) 1196.41
Current children cumulated vsize (Kb) 179656

[startup+1250.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 129538 0 0 0 118126 2484 0 0 25 0 1 0 22532778 180768768 35388 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44133 35388 364 364 0 43769 0
[pid=10262] vsize: 176532
Current children cumulated CPU time (s) 1206.1
Current children cumulated vsize (Kb) 176532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10325
Raw data (/proc/10262/stat): 10262 (pb2sat) R 10261 10262 4060 0 -1 0 129538 0 0 0 118126 2484 0 0 25 0 1 0 22532778 180768768 35388 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10262/statm): 44133 35388 364 364 0 43769 0
[pid=10262] vsize: 176532
Current children cumulated CPU time (s) 1206.1
Current children cumulated vsize (Kb) 176532

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

Child status: 0
Real time (s): 1250.68
CPU time (s): 1206.72
CPU user time (s): 1181.81
CPU system time (s): 24.9112
CPU usage (%): 96.4849
Max. virtual memory (cumulated for all children) (Kb): 179656

Verifier Data

ERROR: no interpretation found !