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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
MD5SUM430910c9a5d64dfdcfdaccb49935c3d0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1931
Optimality of the best value was proved YES
Number of terms in the objective function 3862
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3862
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3862
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark38.2312
Number of variables3862
Total number of constraints16399
Number of constraints which are clauses16399
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8

Trace number 9602

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 14:25:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8334 boxname=wulflinc2 idbench=130 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  430910c9a5d64dfdcfdaccb49935c3d0  /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb
IDLAUNCH: 8334
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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.261
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:        904992 kB
Buffers:         16064 kB
Cached:          94164 kB
SwapCached:          0 kB
Active:          45480 kB
Inactive:        67616 kB
HighTotal:      131008 kB
HighFree:        39564 kB
LowTotal:       903652 kB
LowFree:        865428 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11108 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:45:43 (client local time) WITH STATUS 0 IN 1208.92 SECONDS
stats: 8334 7 1208.92 0

Solver Data

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

c Decision: 1132/3874	Time: 3.09853/86400
c Decision: 1148/3874	Time: 5.14022/86400
c Decision: 1188/3874	Time: 7.98279/86400
c Decision: 1210/3874	Time: 11.2793/86400
c Decision: 1238/3874	Time: 15.4247/86400
c Decision: 1240/3874	Time: 17.4044/86400
c Decision: 1246/3874	Time: 22.3966/86400
c Decision: 1278/3874	Time: 25.6951/86400
c Decision: 1278/3874	Time: 27.6628/86400
c Decision: 1278/3874	Time: 29.9564/86400
c Decision: 1278/3874	Time: 32.746/86400
c Decision: 1280/3874	Time: 35.6506/86400
c Decision: 1280/3874	Time: 38.8921/86400
c Decision: 1280/3874	Time: 42.0606/86400
c Decision: 1298/3874	Time: 48.2007/86400
c Decision: 1298/3874	Time: 51.6741/86400
c Decision: 1300/3874	Time: 57.8012/86400
c Decision: 1300/3874	Time: 61.7416/86400
c Decision: 1300/3874	Time: 64.7182/86400
c Decision: 1300/3874	Time: 67.8007/86400
c Decision: 1300/3874	Time: 71.2102/86400
c Decision: 1300/3874	Time: 75.4825/86400
c Decision: 1316/3874	Time: 80.6357/86400
c Decision: 1318/3874	Time: 87.1168/86400
c Decision: 1334/3874	Time: 93.9887/86400
c Decision: 1334/3874	Time: 101.34/86400
c Decision: 1334/3874	Time: 107.422/86400
c Decision: 1334/3874	Time: 113.346/86400
c Decision: 1334/3874	Time: 120.435/86400
c Decision: 1334/3874	Time: 128.449/86400
c Decision: 1334/3874	Time: 134.877/86400
c Decision: 1334/3874	Time: 142.754/86400
c Decision: 1334/3874	Time: 151.803/86400
c Decision: 1334/3874	Time: 160.896/86400
c Decision: 1334/3874	Time: 169.978/86400
c Decision: 1334/3874	Time: 178.59/86400
c Decision: 1334/3874	Time: 188.434/86400
c Decision: 1334/3874	Time: 197.025/86400
c Decision: 1340/3874	Time: 222.651/86400
c Decision: 1340/3874	Time: 233.887/86400
c Decision: 1340/3874	Time: 247.637/86400
c Decision: 1340/3874	Time: 261.536/86400
c Decision: 1340/3874	Time: 272.862/86400
c Decision: 1340/3874	Time: 285.385/86400
c Decision: 1340/3874	Time: 299.214/86400
c Decision: 1340/3874	Time: 313.245/86400
c Decision: 1340/3874	Time: 322.42/86400
c Decision: 1340/3874	Time: 336.606/86400
c Decision: 1340/3874	Time: 352.213/86400
c Decision: 1340/3874	Time: 368.086/86400
c Decision: 1340/3874	Time: 383.974/86400
c Decision: 1340/3874	Time: 400.482/86400
c Decision: 1342/3874	Time: 424.683/86400
c Decision: 1342/3874	Time: 440.52/86400
c Decision: 1342/3874	Time: 458.419/86400
c Decision: 1344/3874	Time: 486.425/86400
c Decision: 1344/3874	Time: 500.012/86400
c Decision: 1344/3874	Time: 516.461/86400
c Decision: 1344/3874	Time: 535.819/86400
c Decision: 1344/3874	Time: 553.277/86400
c Decision: 1344/3874	Time: 574.055/86400
c Decision: 1344/3874	Time: 592.879/86400
c Decision: 1344/3874	Time: 609.802/86400
c Decision: 1344/3874	Time: 628.818/86400
c Decision: 1344/3874	Time: 649.098/86400
c Decision: 1348/3874	Time: 692.894/86400
c Decision: 1348/3874	Time: 710.451/86400
c Decision: 1350/3874	Time: 749.69/86400
c Decision: 1350/3874	Time: 774.036/86400
c Decision: 1350/3874	Time: 794.862/86400
c Decision: 1350/3874	Time: 814.214/86400
c Decision: 1350/3874	Time: 827.904/86400
c Decision: 1350/3874	Time: 842.862/86400
c Decision: 1350/3874	Time: 864.068/86400
c Decision: 1350/3874	Time: 883.891/86400
c Decision: 1350/3874	Time: 905.378/86400
c Decision: 1350/3874	Time: 932.429/86400
c Decision: 1350/3874	Time: 959.747/86400
c Decision: 1352/3874	Time: 998.267/86400
c Decision: 1354/3874	Time: 1042.07/86400
c Decision: 1354/3874	Time: 1071.3/86400
c Decision: 1354/3874	Time: 1094.55/86400
c Decision: 1354/3874	Time: 1120.86/86400
c Decision: 1354/3874	Time: 1149.57/86400
c Decision: 1354/3874	Time: 1179.05/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/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20909289 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 373 2 364 364 0 9 0
[pid=8252] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-hanoi5.opb

[startup+10.0021 s]
Raw data (loadavg): 0.93 0.98 0.99 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 1335 0 0 0 835 59 0 0 24 0 1 0 20909289 5791744 1124 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 1414 1124 364 364 0 1050 0
[pid=8252] vsize: 5656
Current children cumulated CPU time (s) 8.94
Current children cumulated vsize (Kb) 5656

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 1696 0 0 0 1691 109 0 0 20 0 1 0 20909289 7110656 1485 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 1736 1485 364 364 0 1372 0
[pid=8252] vsize: 6944
Current children cumulated CPU time (s) 18
Current children cumulated vsize (Kb) 6944

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 2170 0 0 0 2583 148 0 0 25 0 1 0 20909289 10244096 1766 4294967295 134512640 135987407 3221224576 3221223296 134814145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 2501 1766 364 364 0 2137 0
[pid=8252] vsize: 10004
Current children cumulated CPU time (s) 27.31
Current children cumulated vsize (Kb) 10004

[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.99 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 2435 0 0 0 3493 178 0 0 25 0 1 0 20909289 10375168 2031 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 2533 2031 364 364 0 2169 0
[pid=8252] vsize: 10132
Current children cumulated CPU time (s) 36.71
Current children cumulated vsize (Kb) 10132

[startup+50.0029 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 2677 0 0 0 4421 203 0 0 25 0 1 0 20909289 14692352 2273 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 3587 2273 364 364 0 3223 0
[pid=8252] vsize: 14348
Current children cumulated CPU time (s) 46.24
Current children cumulated vsize (Kb) 14348

[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 2903 0 0 0 5359 225 0 0 25 0 1 0 20909289 14819328 2499 4294967295 134512640 135987407 3221224576 3221223216 134823148 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 3618 2499 364 364 0 3254 0
[pid=8252] vsize: 14472
Current children cumulated CPU time (s) 55.84
Current children cumulated vsize (Kb) 14472

[startup+70.0043 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3182 0 0 0 6304 242 0 0 25 0 1 0 20909289 14929920 2778 4294967295 134512640 135987407 3221224576 3221223264 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 3645 2778 364 364 0 3281 0
[pid=8252] vsize: 14580
Current children cumulated CPU time (s) 65.46
Current children cumulated vsize (Kb) 14580

[startup+80.005 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3401 0 0 0 7249 261 0 0 25 0 1 0 20909289 15052800 2997 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 3675 2997 364 364 0 3311 0
[pid=8252] vsize: 14700
Current children cumulated CPU time (s) 75.1
Current children cumulated vsize (Kb) 14700

[startup+90.0057 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3607 0 0 0 8198 279 0 0 25 0 1 0 20909289 15187968 3203 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 3708 3203 364 364 0 3344 0
[pid=8252] vsize: 14832
Current children cumulated CPU time (s) 84.77
Current children cumulated vsize (Kb) 14832

[startup+100.005 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3814 0 0 0 9143 297 0 0 25 0 1 0 20909289 23576576 3410 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 5756 3410 364 364 0 5392 0
[pid=8252] vsize: 23024
Current children cumulated CPU time (s) 94.4
Current children cumulated vsize (Kb) 23024

[startup+110.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 3976 0 0 0 10095 312 0 0 25 0 1 0 20909289 23699456 3572 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5786 3572 364 364 0 5422 0
[pid=8252] vsize: 23144
Current children cumulated CPU time (s) 104.07
Current children cumulated vsize (Kb) 23144

[startup+120.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4072 0 0 0 11052 328 0 0 25 0 1 0 20909289 23810048 3668 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5813 3668 364 364 0 5449 0
[pid=8252] vsize: 23252
Current children cumulated CPU time (s) 113.8
Current children cumulated vsize (Kb) 23252

[startup+130.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4233 0 0 0 12011 343 0 0 25 0 1 0 20909289 23912448 3829 4294967295 134512640 135987407 3221224576 3221223140 134850904 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5838 3829 364 364 0 5474 0
[pid=8252] vsize: 23352
Current children cumulated CPU time (s) 123.54
Current children cumulated vsize (Kb) 23352

[startup+140.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4400 0 0 0 12968 355 0 0 25 0 1 0 20909289 23912448 3996 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5838 3996 364 364 0 5474 0
[pid=8252] vsize: 23352
Current children cumulated CPU time (s) 133.23
Current children cumulated vsize (Kb) 23352

[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4472 0 0 0 13926 371 0 0 25 0 1 0 20909289 23912448 4068 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5838 4068 364 364 0 5474 0
[pid=8252] vsize: 23352
Current children cumulated CPU time (s) 142.97
Current children cumulated vsize (Kb) 23352

[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4635 0 0 0 14889 384 0 0 25 0 1 0 20909289 23912448 4231 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5838 4231 364 364 0 5474 0
[pid=8252] vsize: 23352
Current children cumulated CPU time (s) 152.73
Current children cumulated vsize (Kb) 23352

[startup+170.008 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4807 0 0 0 15858 395 0 0 25 0 1 0 20909289 24047616 4403 4294967295 134512640 135987407 3221224576 3221223296 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5871 4403 364 364 0 5507 0
[pid=8252] vsize: 23484
Current children cumulated CPU time (s) 162.53
Current children cumulated vsize (Kb) 23484

[startup+180.009 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 4987 0 0 0 16827 407 0 0 25 0 1 0 20909289 24047616 4583 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5871 4583 364 364 0 5507 0
[pid=8252] vsize: 23484
Current children cumulated CPU time (s) 172.34
Current children cumulated vsize (Kb) 23484

[startup+190.01 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5129 0 0 0 17794 418 0 0 25 0 1 0 20909289 24182784 4725 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5904 4725 364 364 0 5540 0
[pid=8252] vsize: 23616
Current children cumulated CPU time (s) 182.12
Current children cumulated vsize (Kb) 23616

[startup+200.01 s]
Raw data (loadavg): 1.05 1.01 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 5211 0 0 0 18760 429 0 0 25 0 1 0 20909289 24182784 4807 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5904 4807 364 364 0 5540 0
[pid=8252] vsize: 23616
Current children cumulated CPU time (s) 191.89
Current children cumulated vsize (Kb) 23616

[startup+210.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5370 0 0 0 19724 441 0 0 25 0 1 0 20909289 24182784 4966 4294967295 134512640 135987407 3221224576 3221223264 134811848 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5904 4966 364 364 0 5540 0
[pid=8252] vsize: 23616
Current children cumulated CPU time (s) 201.65
Current children cumulated vsize (Kb) 23616

[startup+220.01 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5541 0 0 0 20689 453 0 0 25 0 1 0 20909289 24317952 5137 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 5937 5137 364 364 0 5573 0
[pid=8252] vsize: 23748
Current children cumulated CPU time (s) 211.42
Current children cumulated vsize (Kb) 23748

[startup+230.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5683 0 0 0 21655 466 0 0 25 0 1 0 20909289 24317952 5279 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5937 5279 364 364 0 5573 0
[pid=8252] vsize: 23748
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (Kb) 23748

[startup+240.01 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 5818 0 0 0 22624 476 0 0 25 0 1 0 20909289 24317952 5414 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5937 5414 364 364 0 5573 0
[pid=8252] vsize: 23748
Current children cumulated CPU time (s) 231
Current children cumulated vsize (Kb) 23748

[startup+250.01 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 5955 0 0 0 23593 485 0 0 25 0 1 0 20909289 24465408 5551 4294967295 134512640 135987407 3221224576 3221223072 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5973 5551 364 364 0 5609 0
[pid=8252] vsize: 23892
Current children cumulated CPU time (s) 240.78
Current children cumulated vsize (Kb) 23892

[startup+260.011 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 6058 0 0 0 24562 496 0 0 25 0 1 0 20909289 24465408 5654 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5973 5654 364 364 0 5609 0
[pid=8252] vsize: 23892
Current children cumulated CPU time (s) 250.58
Current children cumulated vsize (Kb) 23892

[startup+270.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6061 0 0 0 25536 504 0 0 25 0 1 0 20909289 24465408 5657 4294967295 134512640 135987407 3221224576 3221223264 134811863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5973 5657 364 364 0 5609 0
[pid=8252] vsize: 23892
Current children cumulated CPU time (s) 260.4
Current children cumulated vsize (Kb) 23892

[startup+280.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6119 0 0 0 26505 515 0 0 25 0 1 0 20909289 24465408 5715 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 5973 5715 364 364 0 5609 0
[pid=8252] vsize: 23892
Current children cumulated CPU time (s) 270.2
Current children cumulated vsize (Kb) 23892

[startup+290.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6255 0 0 0 27476 525 0 0 25 0 1 0 20909289 41381888 5851 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10103 5851 364 364 0 9739 0
[pid=8252] vsize: 40412
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 40412

[startup+300.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6391 0 0 0 28451 534 0 0 25 0 1 0 20909289 41381888 5987 4294967295 134512640 135987407 3221224576 3221223328 134801225 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10103 5987 364 364 0 9739 0
[pid=8252] vsize: 40412
Current children cumulated CPU time (s) 289.85
Current children cumulated vsize (Kb) 40412

[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6522 0 0 0 29425 543 0 0 25 0 1 0 20909289 41381888 6118 4294967295 134512640 135987407 3221224576 3221223264 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 10103 6118 364 364 0 9739 0
[pid=8252] vsize: 40412
Current children cumulated CPU time (s) 299.68
Current children cumulated vsize (Kb) 40412

[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6656 0 0 0 30399 552 0 0 25 0 1 0 20909289 41488384 6252 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 10129 6252 364 364 0 9765 0
[pid=8252] vsize: 40516
Current children cumulated CPU time (s) 309.51
Current children cumulated vsize (Kb) 40516

[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6736 0 0 0 31378 560 0 0 25 0 1 0 20909289 41488384 6332 4294967295 134512640 135987407 3221224576 3221223168 134850867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10129 6332 364 364 0 9765 0
[pid=8252] vsize: 40516
Current children cumulated CPU time (s) 319.38
Current children cumulated vsize (Kb) 40516

[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 6841 0 0 0 32349 570 0 0 25 0 1 0 20909289 41488384 6437 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10129 6437 364 364 0 9765 0
[pid=8252] vsize: 40516
Current children cumulated CPU time (s) 329.19
Current children cumulated vsize (Kb) 40516

[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7347 0 0 0 33322 579 0 0 25 0 1 0 20909289 43196416 6558 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10546 6558 364 364 0 10182 0
[pid=8252] vsize: 42184
Current children cumulated CPU time (s) 339.01
Current children cumulated vsize (Kb) 42184

[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7461 0 0 0 34295 589 0 0 25 0 1 0 20909289 43196416 6672 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10546 6672 364 364 0 10182 0
[pid=8252] vsize: 42184
Current children cumulated CPU time (s) 348.84
Current children cumulated vsize (Kb) 42184

[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7579 0 0 0 35271 598 0 0 25 0 1 0 20909289 43196416 6790 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10546 6790 364 364 0 10182 0
[pid=8252] vsize: 42184
Current children cumulated CPU time (s) 358.69
Current children cumulated vsize (Kb) 42184

[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7697 0 0 0 36246 606 0 0 25 0 1 0 20909289 43196416 6908 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10546 6908 364 364 0 10182 0
[pid=8252] vsize: 42184
Current children cumulated CPU time (s) 368.52
Current children cumulated vsize (Kb) 42184

[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7824 0 0 0 37224 614 0 0 25 0 1 0 20909289 43196416 7035 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10546 7035 364 364 0 10182 0
[pid=8252] vsize: 42184
Current children cumulated CPU time (s) 378.38
Current children cumulated vsize (Kb) 42184

[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7913 0 0 0 38202 622 0 0 25 0 1 0 20909289 43327488 7124 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10578 7124 364 364 0 10214 0
[pid=8252] vsize: 42312
Current children cumulated CPU time (s) 388.24
Current children cumulated vsize (Kb) 42312

[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7920 0 0 0 39175 630 0 0 25 0 1 0 20909289 43327488 7131 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10578 7131 364 364 0 10214 0
[pid=8252] vsize: 42312
Current children cumulated CPU time (s) 398.05
Current children cumulated vsize (Kb) 42312

[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7934 0 0 0 40153 638 0 0 25 0 1 0 20909289 43327488 7145 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 10578 7145 364 364 0 10214 0
[pid=8252] vsize: 42312
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (Kb) 42312

[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 7985 0 0 0 41131 646 0 0 25 0 1 0 20909289 43327488 7196 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10578 7196 364 364 0 10214 0
[pid=8252] vsize: 42312
Current children cumulated CPU time (s) 417.77
Current children cumulated vsize (Kb) 42312

[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8123 0 0 0 42106 655 0 0 25 0 1 0 20909289 43438080 7334 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10605 7334 364 364 0 10241 0
[pid=8252] vsize: 42420
Current children cumulated CPU time (s) 427.61
Current children cumulated vsize (Kb) 42420

[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8239 0 0 0 43083 664 0 0 25 0 1 0 20909289 43438080 7450 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10605 7450 364 364 0 10241 0
[pid=8252] vsize: 42420
Current children cumulated CPU time (s) 437.47
Current children cumulated vsize (Kb) 42420

[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8350 0 0 0 44059 673 0 0 25 0 1 0 20909289 43438080 7561 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10605 7561 364 364 0 10241 0
[pid=8252] vsize: 42420
Current children cumulated CPU time (s) 447.32
Current children cumulated vsize (Kb) 42420

[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8458 0 0 0 45036 681 0 0 25 0 1 0 20909289 43438080 7669 4294967295 134512640 135987407 3221224576 3221223264 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10605 7669 364 364 0 10241 0
[pid=8252] vsize: 42420
Current children cumulated CPU time (s) 457.17
Current children cumulated vsize (Kb) 42420

[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8568 0 0 0 46014 688 0 0 25 0 1 0 20909289 43438080 7779 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10605 7779 364 364 0 10241 0
[pid=8252] vsize: 42420
Current children cumulated CPU time (s) 467.02
Current children cumulated vsize (Kb) 42420

[startup+490.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8677 0 0 0 46992 696 0 0 25 0 1 0 20909289 43438080 7888 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10605 7888 364 364 0 10241 0
[pid=8252] vsize: 42420
Current children cumulated CPU time (s) 476.88
Current children cumulated vsize (Kb) 42420

[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8779 0 0 0 47969 703 0 0 25 0 1 0 20909289 43573248 7990 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10638 7990 364 364 0 10274 0
[pid=8252] vsize: 42552
Current children cumulated CPU time (s) 486.72
Current children cumulated vsize (Kb) 42552

[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8807 0 0 0 48948 711 0 0 25 0 1 0 20909289 43573248 8018 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10638 8018 364 364 0 10274 0
[pid=8252] vsize: 42552
Current children cumulated CPU time (s) 496.59
Current children cumulated vsize (Kb) 42552

[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 8819 0 0 0 49927 717 0 0 25 0 1 0 20909289 43573248 8030 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10638 8030 364 364 0 10274 0
[pid=8252] vsize: 42552
Current children cumulated CPU time (s) 506.44
Current children cumulated vsize (Kb) 42552

[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8822 0 0 0 50909 723 0 0 25 0 1 0 20909289 43708416 8033 4294967295 134512640 135987407 3221224576 3221223264 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8033 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 516.32
Current children cumulated vsize (Kb) 42684

[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8832 0 0 0 51887 731 0 0 25 0 1 0 20909289 43708416 8043 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8043 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 526.18
Current children cumulated vsize (Kb) 42684

[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 8933 0 0 0 52866 737 0 0 25 0 1 0 20909289 43708416 8144 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8144 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 536.03
Current children cumulated vsize (Kb) 42684

[startup+560.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9035 0 0 0 53845 744 0 0 25 0 1 0 20909289 43708416 8246 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8246 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 545.89
Current children cumulated vsize (Kb) 42684

[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9149 0 0 0 54823 750 0 0 25 0 1 0 20909289 43708416 8360 4294967295 134512640 135987407 3221224576 3221223264 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8360 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 555.73
Current children cumulated vsize (Kb) 42684

[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9254 0 0 0 55803 758 0 0 25 0 1 0 20909289 43708416 8465 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8465 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 565.61
Current children cumulated vsize (Kb) 42684

[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9344 0 0 0 56783 765 0 0 25 0 1 0 20909289 43708416 8555 4294967295 134512640 135987407 3221224576 3221223392 134876847 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10671 8555 364 364 0 10307 0
[pid=8252] vsize: 42684
Current children cumulated CPU time (s) 575.48
Current children cumulated vsize (Kb) 42684

[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9351 0 0 0 57766 771 0 0 25 0 1 0 20909289 43843584 8562 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10704 8562 364 364 0 10340 0
[pid=8252] vsize: 42816
Current children cumulated CPU time (s) 585.37
Current children cumulated vsize (Kb) 42816

[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9391 0 0 0 58750 777 0 0 25 0 1 0 20909289 43843584 8602 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10704 8602 364 364 0 10340 0
[pid=8252] vsize: 42816
Current children cumulated CPU time (s) 595.27
Current children cumulated vsize (Kb) 42816

[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9498 0 0 0 59731 785 0 0 25 0 1 0 20909289 43843584 8709 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 10704 8709 364 364 0 10340 0
[pid=8252] vsize: 42816
Current children cumulated CPU time (s) 605.16
Current children cumulated vsize (Kb) 42816

[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9624 0 0 0 60710 793 0 0 25 0 1 0 20909289 43843584 8835 4294967295 134512640 135987407 3221224576 3221223264 134812101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10704 8835 364 364 0 10340 0
[pid=8252] vsize: 42816
Current children cumulated CPU time (s) 615.03
Current children cumulated vsize (Kb) 42816

[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9734 0 0 0 61691 798 0 0 25 0 1 0 20909289 43843584 8945 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10704 8945 364 364 0 10340 0
[pid=8252] vsize: 42816
Current children cumulated CPU time (s) 624.89
Current children cumulated vsize (Kb) 42816

[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 9832 0 0 0 62673 805 0 0 25 0 1 0 20909289 43978752 9043 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10737 9043 364 364 0 10373 0
[pid=8252] vsize: 42948
Current children cumulated CPU time (s) 634.78
Current children cumulated vsize (Kb) 42948

[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 9938 0 0 0 63655 813 0 0 25 0 1 0 20909289 43978752 9149 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10737 9149 364 364 0 10373 0
[pid=8252] vsize: 42948
Current children cumulated CPU time (s) 644.68
Current children cumulated vsize (Kb) 42948

[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10053 0 0 0 64638 819 0 0 25 0 1 0 20909289 43978752 9264 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10737 9264 364 364 0 10373 0
[pid=8252] vsize: 42948
Current children cumulated CPU time (s) 654.57
Current children cumulated vsize (Kb) 42948

[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 10151 0 0 0 65619 827 0 0 25 0 1 0 20909289 43978752 9362 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10737 9362 364 364 0 10373 0
[pid=8252] vsize: 42948
Current children cumulated CPU time (s) 664.46
Current children cumulated vsize (Kb) 42948

[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10258 0 0 0 66600 834 0 0 25 0 1 0 20909289 43978752 9469 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10737 9469 364 364 0 10373 0
[pid=8252] vsize: 42948
Current children cumulated CPU time (s) 674.34
Current children cumulated vsize (Kb) 42948

[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10366 0 0 0 67582 841 0 0 25 0 1 0 20909289 43978752 9577 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10737 9577 364 364 0 10373 0
[pid=8252] vsize: 42948
Current children cumulated CPU time (s) 684.23
Current children cumulated vsize (Kb) 42948

[startup+710.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10471 0 0 0 68564 847 0 0 25 0 1 0 20909289 44101632 9682 4294967295 134512640 135987407 3221224576 3221223392 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10767 9682 364 364 0 10403 0
[pid=8252] vsize: 43068
Current children cumulated CPU time (s) 694.11
Current children cumulated vsize (Kb) 43068

[startup+720.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10473 0 0 0 69549 852 0 0 25 0 1 0 20909289 44101632 9684 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10767 9684 364 364 0 10403 0
[pid=8252] vsize: 43068
Current children cumulated CPU time (s) 704.01
Current children cumulated vsize (Kb) 43068

[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10492 0 0 0 70532 859 0 0 25 0 1 0 20909289 44101632 9703 4294967295 134512640 135987407 3221224576 3221223168 134850871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10767 9703 364 364 0 10403 0
[pid=8252] vsize: 43068
Current children cumulated CPU time (s) 713.91
Current children cumulated vsize (Kb) 43068

[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10494 0 0 0 71514 865 0 0 25 0 1 0 20909289 44101632 9705 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10767 9705 364 364 0 10403 0
[pid=8252] vsize: 43068
Current children cumulated CPU time (s) 723.79
Current children cumulated vsize (Kb) 43068

[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10499 0 0 0 72495 872 0 0 25 0 1 0 20909289 44101632 9710 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10767 9710 364 364 0 10403 0
[pid=8252] vsize: 43068
Current children cumulated CPU time (s) 733.67
Current children cumulated vsize (Kb) 43068

[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10576 0 0 0 73474 879 0 0 25 0 1 0 20909289 44101632 9787 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10767 9787 364 364 0 10403 0
[pid=8252] vsize: 43068
Current children cumulated CPU time (s) 743.53
Current children cumulated vsize (Kb) 43068

[startup+770.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10677 0 0 0 74458 884 0 0 25 0 1 0 20909289 44249088 9888 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10803 9888 364 364 0 10439 0
[pid=8252] vsize: 43212
Current children cumulated CPU time (s) 753.42
Current children cumulated vsize (Kb) 43212

[startup+780.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10765 0 0 0 75441 891 0 0 25 0 1 0 20909289 44249088 9976 4294967295 134512640 135987407 3221224576 3221223264 134811852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10803 9976 364 364 0 10439 0
[pid=8252] vsize: 43212
Current children cumulated CPU time (s) 763.32
Current children cumulated vsize (Kb) 43212

[startup+790.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10853 0 0 0 76422 898 0 0 25 0 1 0 20909289 44249088 10064 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10803 10064 364 364 0 10439 0
[pid=8252] vsize: 43212
Current children cumulated CPU time (s) 773.2
Current children cumulated vsize (Kb) 43212

[startup+800.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 10958 0 0 0 77406 904 0 0 25 0 1 0 20909289 44249088 10169 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10803 10169 364 364 0 10439 0
[pid=8252] vsize: 43212
Current children cumulated CPU time (s) 783.1
Current children cumulated vsize (Kb) 43212

[startup+810.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11059 0 0 0 78390 909 0 0 25 0 1 0 20909289 44249088 10270 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 10803 10270 364 364 0 10439 0
[pid=8252] vsize: 43212
Current children cumulated CPU time (s) 792.99
Current children cumulated vsize (Kb) 43212

[startup+820.02 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11158 0 0 0 79373 915 0 0 25 0 1 0 20909289 77803520 10369 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 18995 10369 364 364 0 18631 0
[pid=8252] vsize: 75980
Current children cumulated CPU time (s) 802.88
Current children cumulated vsize (Kb) 75980

[startup+830.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11259 0 0 0 80357 921 0 0 25 0 1 0 20909289 77938688 10470 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19028 10470 364 364 0 18664 0
[pid=8252] vsize: 76112
Current children cumulated CPU time (s) 812.78
Current children cumulated vsize (Kb) 76112

[startup+840.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11290 0 0 0 81341 927 0 0 25 0 1 0 20909289 77938688 10501 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19028 10501 364 364 0 18664 0
[pid=8252] vsize: 76112
Current children cumulated CPU time (s) 822.68
Current children cumulated vsize (Kb) 76112

[startup+850.021 s]
Raw data (loadavg): 1.02 1.01 1.00 1/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) T 8251 8252 4070 0 -1 0 11300 0 0 0 82326 932 0 0 25 0 1 0 20909289 77938688 10511 4294967295 134512640 135987407 3221224576 3221223404 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19028 10511 364 364 0 18664 0
[pid=8252] vsize: 76112
Current children cumulated CPU time (s) 832.58
Current children cumulated vsize (Kb) 76112

[startup+860.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11303 0 0 0 83309 938 0 0 25 0 1 0 20909289 77938688 10514 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19028 10514 364 364 0 18664 0
[pid=8252] vsize: 76112
Current children cumulated CPU time (s) 842.47
Current children cumulated vsize (Kb) 76112

[startup+870.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11312 0 0 0 84291 944 0 0 25 0 1 0 20909289 77938688 10523 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 19028 10523 364 364 0 18664 0
[pid=8252] vsize: 76112
Current children cumulated CPU time (s) 852.35
Current children cumulated vsize (Kb) 76112

[startup+880.022 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11319 0 0 0 85273 951 0 0 25 0 1 0 20909289 77938688 10530 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19028 10530 364 364 0 18664 0
[pid=8252] vsize: 76112
Current children cumulated CPU time (s) 862.24
Current children cumulated vsize (Kb) 76112

[startup+890.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11351 0 0 0 86256 956 0 0 25 0 1 0 20909289 78057472 10562 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19057 10562 364 364 0 18693 0
[pid=8252] vsize: 76228
Current children cumulated CPU time (s) 872.12
Current children cumulated vsize (Kb) 76228

[startup+900.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11445 0 0 0 87240 961 0 0 25 0 1 0 20909289 78057472 10656 4294967295 134512640 135987407 3221224576 3221223264 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 19057 10656 364 364 0 18693 0
[pid=8252] vsize: 76228
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (Kb) 76228

[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11564 0 0 0 88223 967 0 0 25 0 1 0 20909289 78057472 10775 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19057 10775 364 364 0 18693 0
[pid=8252] vsize: 76228
Current children cumulated CPU time (s) 891.9
Current children cumulated vsize (Kb) 76228

[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11660 0 0 0 89208 972 0 0 25 0 1 0 20909289 78057472 10871 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19057 10871 364 364 0 18693 0
[pid=8252] vsize: 76228
Current children cumulated CPU time (s) 901.8
Current children cumulated vsize (Kb) 76228

[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11700 0 0 0 90194 976 0 0 25 0 1 0 20909289 78159872 10911 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 10911 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 911.7
Current children cumulated vsize (Kb) 76328

[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11701 0 0 0 91179 982 0 0 25 0 1 0 20909289 78159872 10912 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 19082 10912 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 921.61
Current children cumulated vsize (Kb) 76328

[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11703 0 0 0 92164 988 0 0 25 0 1 0 20909289 78159872 10914 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 10914 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 931.52
Current children cumulated vsize (Kb) 76328

[startup+960.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11712 0 0 0 93149 993 0 0 25 0 1 0 20909289 78159872 10923 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 10923 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 941.42
Current children cumulated vsize (Kb) 76328

[startup+970.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11794 0 0 0 94130 999 0 0 25 0 1 0 20909289 78159872 11005 4294967295 134512640 135987407 3221224576 3221223328 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 11005 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 951.29
Current children cumulated vsize (Kb) 76328

[startup+980.022 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11872 0 0 0 95116 1004 0 0 25 0 1 0 20909289 78159872 11083 4294967295 134512640 135987407 3221224576 3221223296 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 11083 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 961.2
Current children cumulated vsize (Kb) 76328

[startup+990.023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 11964 0 0 0 96102 1009 0 0 25 0 1 0 20909289 78159872 11175 4294967295 134512640 135987407 3221224576 3221223328 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 11175 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 971.11
Current children cumulated vsize (Kb) 76328

[startup+1000.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12049 0 0 0 97086 1014 0 0 25 0 1 0 20909289 78159872 11260 4294967295 134512640 135987407 3221224576 3221223264 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 11260 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 981
Current children cumulated vsize (Kb) 76328

[startup+1010.02 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12129 0 0 0 98068 1020 0 0 25 0 1 0 20909289 78159872 11340 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19082 11340 364 364 0 18718 0
[pid=8252] vsize: 76328
Current children cumulated CPU time (s) 990.88
Current children cumulated vsize (Kb) 76328

[startup+1020.02 s]
Raw data (loadavg): 1.09 1.03 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12224 0 0 0 99055 1025 0 0 25 0 1 0 20909289 78286848 11435 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11435 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1000.8
Current children cumulated vsize (Kb) 76452

[startup+1030.02 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12307 0 0 0 100041 1031 0 0 25 0 1 0 20909289 78286848 11518 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11518 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1010.72
Current children cumulated vsize (Kb) 76452

[startup+1040.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12400 0 0 0 101027 1036 0 0 25 0 1 0 20909289 78286848 11611 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11611 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1020.63
Current children cumulated vsize (Kb) 76452

[startup+1050.02 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12480 0 0 0 102012 1041 0 0 25 0 1 0 20909289 78286848 11691 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11691 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1030.53
Current children cumulated vsize (Kb) 76452

[startup+1060.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12564 0 0 0 102996 1048 0 0 25 0 1 0 20909289 78286848 11775 4294967295 134512640 135987407 3221224576 3221223264 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11775 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1040.44
Current children cumulated vsize (Kb) 76452

[startup+1070.02 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12643 0 0 0 103983 1053 0 0 25 0 1 0 20909289 78286848 11854 4294967295 134512640 135987407 3221224576 3221223264 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11854 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1050.36
Current children cumulated vsize (Kb) 76452

[startup+1080.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12723 0 0 0 104967 1058 0 0 25 0 1 0 20909289 78286848 11934 4294967295 134512640 135987407 3221224576 3221223328 134801376 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 11934 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1060.25
Current children cumulated vsize (Kb) 76452

[startup+1090.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12804 0 0 0 105950 1064 0 0 25 0 1 0 20909289 78286848 12015 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 12015 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1070.14
Current children cumulated vsize (Kb) 76452

[startup+1100.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12825 0 0 0 106938 1068 0 0 25 0 1 0 20909289 78286848 12036 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 12036 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1080.06
Current children cumulated vsize (Kb) 76452

[startup+1110.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12829 0 0 0 107925 1072 0 0 25 0 1 0 20909289 78286848 12040 4294967295 134512640 135987407 3221224576 3221223264 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19113 12040 364 364 0 18749 0
[pid=8252] vsize: 76452
Current children cumulated CPU time (s) 1089.97
Current children cumulated vsize (Kb) 76452

[startup+1120.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12837 0 0 0 108911 1078 0 0 25 0 1 0 20909289 78417920 12048 4294967295 134512640 135987407 3221224576 3221223328 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19145 12048 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1099.89
Current children cumulated vsize (Kb) 76580

[startup+1130.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12839 0 0 0 109896 1083 0 0 25 0 1 0 20909289 78417920 12050 4294967295 134512640 135987407 3221224576 3221223328 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19145 12050 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1109.79
Current children cumulated vsize (Kb) 76580

[startup+1140.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12845 0 0 0 110881 1090 0 0 25 0 1 0 20909289 78417920 12056 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 19145 12056 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1119.71
Current children cumulated vsize (Kb) 76580

[startup+1150.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 12927 0 0 0 111866 1095 0 0 25 0 1 0 20909289 78417920 12138 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8252/statm): 19145 12138 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1129.61
Current children cumulated vsize (Kb) 76580

[startup+1160.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13005 0 0 0 112850 1099 0 0 25 0 1 0 20909289 78417920 12216 4294967295 134512640 135987407 3221224576 3221223328 134801247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19145 12216 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1139.49
Current children cumulated vsize (Kb) 76580

[startup+1170.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13089 0 0 0 113835 1105 0 0 25 0 1 0 20909289 78417920 12300 4294967295 134512640 135987407 3221224576 3221223264 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19145 12300 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1149.4
Current children cumulated vsize (Kb) 76580

[startup+1180.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13177 0 0 0 114821 1110 0 0 25 0 1 0 20909289 78417920 12388 4294967295 134512640 135987407 3221224576 3221223264 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19145 12388 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1159.31
Current children cumulated vsize (Kb) 76580

[startup+1190.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13257 0 0 0 115807 1115 0 0 25 0 1 0 20909289 78417920 12468 4294967295 134512640 135987407 3221224576 3221223264 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19145 12468 364 364 0 18781 0
[pid=8252] vsize: 76580
Current children cumulated CPU time (s) 1169.22
Current children cumulated vsize (Kb) 76580

[startup+1200.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13340 0 0 0 116792 1120 0 0 25 0 1 0 20909289 78553088 12551 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19178 12551 364 364 0 18814 0
[pid=8252] vsize: 76712
Current children cumulated CPU time (s) 1179.12
Current children cumulated vsize (Kb) 76712

[startup+1210.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13420 0 0 0 117779 1124 0 0 25 0 1 0 20909289 78553088 12631 4294967295 134512640 135987407 3221224576 3221223264 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19178 12631 364 364 0 18814 0
[pid=8252] vsize: 76712
Current children cumulated CPU time (s) 1189.03
Current children cumulated vsize (Kb) 76712

[startup+1220.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13505 0 0 0 118765 1130 0 0 25 0 1 0 20909289 78553088 12716 4294967295 134512640 135987407 3221224576 3221223264 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19178 12716 364 364 0 18814 0
[pid=8252] vsize: 76712
Current children cumulated CPU time (s) 1198.95
Current children cumulated vsize (Kb) 76712

[startup+1230.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13581 0 0 0 119753 1134 0 0 25 0 1 0 20909289 78553088 12792 4294967295 134512640 135987407 3221224576 3221223296 134814120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19178 12792 364 364 0 18814 0
[pid=8252] vsize: 76712
Current children cumulated CPU time (s) 1208.87
Current children cumulated vsize (Kb) 76712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 8252
Raw data (/proc/8252/stat): 8252 (pb2sat) R 8251 8252 4070 0 -1 0 13581 0 0 0 119753 1134 0 0 25 0 1 0 20909289 78553088 12792 4294967295 134512640 135987407 3221224576 3221223296 134813818 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8252/statm): 19178 12792 364 364 0 18814 0
[pid=8252] vsize: 76712
Current children cumulated CPU time (s) 1208.87
Current children cumulated vsize (Kb) 76712

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

Child status: 0
Real time (s): 1230.07
CPU time (s): 1208.92
CPU user time (s): 1197.56
CPU system time (s): 11.3653
CPU usage (%): 98.2806
Max. virtual memory (cumulated for all children) (Kb): 76712

Verifier Data

ERROR: no interpretation found !