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

Nameweb/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUMccbca61851d5d361647c00bb58b30d92
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 9808

Launcher Data

LAUNCH ON wulflinc14 THE 2005-09-23 15:20:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8529 boxname=wulflinc14 idbench=325 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc14/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 8529
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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.058
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        987756 kB
Buffers:          1624 kB
Cached:          27548 kB
SwapCached:          0 kB
Active:          24456 kB
Inactive:         7656 kB
HighTotal:      131008 kB
HighFree:        99092 kB
LowTotal:       903652 kB
LowFree:        888664 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9024 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:41:04 (client local time) WITH STATUS 0 IN 1207.04 SECONDS
stats: 8529 7 1207.04 0

Solver Data

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

c Decision: 15843/328860	Time: 17.0934/86400
c Decision: 15969/328860	Time: 30.3914/86400
c Decision: 15969/328860	Time: 42.2096/86400
c Decision: 15969/328860	Time: 59.131/86400
c Decision: 15986/328860	Time: 92.383/86400
c Decision: 15986/328860	Time: 107.38/86400
c Decision: 15986/328860	Time: 116.283/86400
c Decision: 15986/328860	Time: 131.537/86400
c Decision: 16174/328860	Time: 154.227/86400
c Decision: 16178/328860	Time: 180.477/86400
c Decision: 16178/328860	Time: 199.559/86400
c Decision: 16178/328860	Time: 218.516/86400
c Decision: 16178/328860	Time: 231.084/86400
c Decision: 16178/328860	Time: 243.466/86400
c Decision: 16178/328860	Time: 258.861/86400
c Decision: 16178/328860	Time: 277.028/86400
c Decision: 16431/328860	Time: 342.941/86400
c Decision: 16431/328860	Time: 365.328/86400
c Decision: 16431/328860	Time: 387.865/86400
c Decision: 16431/328860	Time: 406.963/86400
c Decision: 16431/328860	Time: 429.854/86400
c Decision: 16647/328860	Time: 481.809/86400
c Decision: 16653/328860	Time: 549.655/86400
c Decision: 16653/328860	Time: 572.902/86400
c Decision: 16655/328860	Time: 607.543/86400
c Decision: 16655/328860	Time: 629.559/86400
c Decision: 16655/328860	Time: 651.283/86400
c Decision: 16657/328860	Time: 690.989/86400
c Decision: 16662/328860	Time: 750.9/86400
c Decision: 18463/328860	Time: 811.114/86400
c Decision: 18463/328860	Time: 830.332/86400
c Decision: 18463/328860	Time: 859.429/86400
c Decision: 18463/328860	Time: 883.994/86400
c Decision: 18478/328860	Time: 920.147/86400
c Decision: 18478/328860	Time: 938.453/86400
c Decision: 18478/328860	Time: 959.617/86400
c Decision: 18478/328860	Time: 986.016/86400
c Decision: 18478/328860	Time: 1004.53/86400
c Decision: 18478/328860	Time: 1024.92/86400
c Decision: 18478/328860	Time: 1048.38/86400
c Decision: 18478/328860	Time: 1073.75/86400
c Decision: 18478/328860	Time: 1096.2/86400
c Decision: 18482/328860	Time: 1130.65/86400
c Decision: 18482/328860	Time: 1153.46/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/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 27 0 0 0 0 0 0 0 23 0 1 0 21220881 1527808 10 4294967295 134512640 135987407 3221224560 3221223964 135537037 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/7268/statm): 373 10 364 364 0 9 0
[pid=7268] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-ooo.ex.mem.LdValue.ucl.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 5543 0 0 0 982 16 0 0 25 0 1 0 21220881 19419136 3608 4294967295 134512640 135987407 3221224560 3221221968 134571815 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 4741 3608 364 364 0 4377 0
[pid=7268] vsize: 18964
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 18964

[startup+20.003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 10862 0 0 0 1965 31 0 0 25 0 1 0 21220881 36950016 6907 4294967295 134512640 135987407 3221224560 3221222008 134534101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 9021 6907 364 364 0 8657 0
[pid=7268] vsize: 36084
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 36084

[startup+30.0027 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 28359 0 0 0 2919 75 0 0 25 0 1 0 21220881 87715840 17197 4294967295 134512640 135987407 3221224560 3221219528 135487934 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 21415 17197 364 364 0 21051 0
[pid=7268] vsize: 85660
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 85660

[startup+40.0034 s]
Raw data (loadavg): 0.96 0.97 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 43232 0 0 0 3868 114 0 0 25 0 1 0 21220881 126996480 26472 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 31005 26472 364 364 0 30641 0
[pid=7268] vsize: 124020
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 124020

[startup+50.004 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 43877 0 0 0 4842 124 0 0 25 0 1 0 21220881 129789952 27117 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 31687 27117 364 364 0 31323 0
[pid=7268] vsize: 126748
Current children cumulated CPU time (s) 49.66
Current children cumulated vsize (Kb) 126748

[startup+60.0047 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 44405 0 0 0 5816 134 0 0 25 0 1 0 21220881 132624384 27645 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 32379 27645 364 364 0 32015 0
[pid=7268] vsize: 129516
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 129516

[startup+70.0054 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 45208 0 0 0 6797 142 0 0 25 0 1 0 21220881 133287936 27805 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 32541 27805 364 364 0 32177 0
[pid=7268] vsize: 130164
Current children cumulated CPU time (s) 69.39
Current children cumulated vsize (Kb) 130164

[startup+80.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 46304 0 0 0 7778 151 0 0 25 0 1 0 21220881 135581696 28225 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 33101 28225 364 364 0 32737 0
[pid=7268] vsize: 132404
Current children cumulated CPU time (s) 79.29
Current children cumulated vsize (Kb) 132404

[startup+90.0067 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 46645 0 0 0 8740 164 0 0 25 0 1 0 21220881 137203712 28566 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 33497 28566 364 364 0 33133 0
[pid=7268] vsize: 133988
Current children cumulated CPU time (s) 89.04
Current children cumulated vsize (Kb) 133988

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 47414 0 0 0 9713 176 0 0 25 0 1 0 21220881 137990144 28692 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 33689 28692 364 364 0 33325 0
[pid=7268] vsize: 134756
Current children cumulated CPU time (s) 98.89
Current children cumulated vsize (Kb) 134756

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 47677 0 0 0 10672 191 0 0 23 0 1 0 21220881 139169792 28955 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 33977 28955 364 364 0 33613 0
[pid=7268] vsize: 135908
Current children cumulated CPU time (s) 108.63
Current children cumulated vsize (Kb) 135908

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 47850 0 0 0 11643 200 0 0 25 0 1 0 21220881 140132352 29128 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 34212 29128 364 364 0 33848 0
[pid=7268] vsize: 136848
Current children cumulated CPU time (s) 118.43
Current children cumulated vsize (Kb) 136848

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 48633 0 0 0 12611 212 0 0 25 0 1 0 21220881 140795904 29268 4294967295 134512640 135987407 3221224560 3221223128 134801602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 34374 29268 364 364 0 34010 0
[pid=7268] vsize: 137496
Current children cumulated CPU time (s) 128.23
Current children cumulated vsize (Kb) 137496

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 48667 0 0 0 13575 226 0 0 25 0 1 0 21220881 140959744 29302 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 34414 29302 364 364 0 34050 0
[pid=7268] vsize: 137656
Current children cumulated CPU time (s) 138.01
Current children cumulated vsize (Kb) 137656

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 49393 0 0 0 14548 237 0 0 25 0 1 0 21220881 141303808 29385 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 34498 29385 364 364 0 34134 0
[pid=7268] vsize: 137992
Current children cumulated CPU time (s) 147.85
Current children cumulated vsize (Kb) 137992

[startup+160.008 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 50119 0 0 0 15516 248 0 0 23 0 1 0 21220881 141635584 29468 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 34579 29468 364 364 0 34215 0
[pid=7268] vsize: 138316
Current children cumulated CPU time (s) 157.64
Current children cumulated vsize (Kb) 138316

[startup+170.009 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 50782 0 0 0 16482 261 0 0 25 0 1 0 21220881 141832192 29488 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 34627 29488 364 364 0 34263 0
[pid=7268] vsize: 138508
Current children cumulated CPU time (s) 167.43
Current children cumulated vsize (Kb) 138508

[startup+180.009 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 50855 0 0 0 17453 272 0 0 25 0 1 0 21220881 142102528 29561 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 34693 29561 364 364 0 34329 0
[pid=7268] vsize: 138772
Current children cumulated CPU time (s) 177.25
Current children cumulated vsize (Kb) 138772

[startup+190.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 50900 0 0 0 18423 282 0 0 22 0 1 0 21220881 142237696 29606 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 34726 29606 364 364 0 34362 0
[pid=7268] vsize: 138904
Current children cumulated CPU time (s) 187.05
Current children cumulated vsize (Kb) 138904

[startup+200.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 51659 0 0 0 19385 296 0 0 25 0 1 0 21220881 142901248 29722 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 34888 29722 364 364 0 34524 0
[pid=7268] vsize: 139552
Current children cumulated CPU time (s) 196.81
Current children cumulated vsize (Kb) 139552

[startup+210.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 51804 0 0 0 20346 309 0 0 25 0 1 0 21220881 143564800 29867 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35050 29867 364 364 0 34686 0
[pid=7268] vsize: 140200
Current children cumulated CPU time (s) 206.55
Current children cumulated vsize (Kb) 140200

[startup+220.01 s]
Raw data (loadavg): 1.02 0.99 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 52473 0 0 0 21323 318 0 0 25 0 1 0 21220881 143564800 29893 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35050 29893 364 364 0 34686 0
[pid=7268] vsize: 140200
Current children cumulated CPU time (s) 216.41
Current children cumulated vsize (Kb) 140200

[startup+230.01 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 52505 0 0 0 22285 332 0 0 25 0 1 0 21220881 143699968 29925 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 35083 29925 364 364 0 34719 0
[pid=7268] vsize: 140332
Current children cumulated CPU time (s) 226.17
Current children cumulated vsize (Kb) 140332

[startup+240.011 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 53154 0 0 0 23252 345 0 0 25 0 1 0 21220881 143699968 29931 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35083 29931 364 364 0 34719 0
[pid=7268] vsize: 140332
Current children cumulated CPU time (s) 235.97
Current children cumulated vsize (Kb) 140332

[startup+250.011 s]
Raw data (loadavg): 1.01 0.99 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 53328 0 0 0 24219 356 0 0 25 0 1 0 21220881 144633856 30105 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35311 30105 364 364 0 34947 0
[pid=7268] vsize: 141244
Current children cumulated CPU time (s) 245.75
Current children cumulated vsize (Kb) 141244

[startup+260.011 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 54022 0 0 0 25196 365 0 0 25 0 1 0 21220881 144769024 30156 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35344 30156 364 364 0 34980 0
[pid=7268] vsize: 141376
Current children cumulated CPU time (s) 255.61
Current children cumulated vsize (Kb) 141376

[startup+270.012 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 54125 0 0 0 26169 375 0 0 25 0 1 0 21220881 147402752 30259 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35987 30266 364 364 0 35623 0
[pid=7268] vsize: 143948
Current children cumulated CPU time (s) 265.44
Current children cumulated vsize (Kb) 143948

[startup+280.012 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 54731 0 0 0 27143 385 0 0 25 0 1 0 21220881 144904192 30222 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35377 30222 364 364 0 35013 0
[pid=7268] vsize: 141508
Current children cumulated CPU time (s) 275.28
Current children cumulated vsize (Kb) 141508

[startup+290.012 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 55410 0 0 0 28120 394 0 0 25 0 1 0 21220881 145039360 30258 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35410 30258 364 364 0 35046 0
[pid=7268] vsize: 141640
Current children cumulated CPU time (s) 285.14
Current children cumulated vsize (Kb) 141640

[startup+300.013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 56072 0 0 0 29093 404 0 0 25 0 1 0 21220881 145039360 30277 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35410 30277 364 364 0 35046 0
[pid=7268] vsize: 141640
Current children cumulated CPU time (s) 294.97
Current children cumulated vsize (Kb) 141640

[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 56147 0 0 0 30064 413 0 0 25 0 1 0 21220881 145444864 30352 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35509 30352 364 364 0 35145 0
[pid=7268] vsize: 142036
Current children cumulated CPU time (s) 304.77
Current children cumulated vsize (Kb) 142036

[startup+320.013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 56832 0 0 0 31042 420 0 0 25 0 1 0 21220881 145715200 30394 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 35575 30394 364 364 0 35211 0
[pid=7268] vsize: 142300
Current children cumulated CPU time (s) 314.62
Current children cumulated vsize (Kb) 142300

[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 56883 0 0 0 32010 431 0 0 25 0 1 0 21220881 145985536 30445 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35641 30445 364 364 0 35277 0
[pid=7268] vsize: 142564
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (Kb) 142564

[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 56891 0 0 0 32978 442 0 0 25 0 1 0 21220881 145985536 30453 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35641 30453 364 364 0 35277 0
[pid=7268] vsize: 142564
Current children cumulated CPU time (s) 334.2
Current children cumulated vsize (Kb) 142564

[startup+350.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 56920 0 0 0 33948 452 0 0 25 0 1 0 21220881 145985536 30482 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35641 30482 364 364 0 35277 0
[pid=7268] vsize: 142564
Current children cumulated CPU time (s) 344
Current children cumulated vsize (Kb) 142564

[startup+360.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 57008 0 0 0 34920 461 0 0 25 0 1 0 21220881 146251776 30537 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35706 30537 364 364 0 35342 0
[pid=7268] vsize: 142824
Current children cumulated CPU time (s) 353.81
Current children cumulated vsize (Kb) 142824

[startup+370.016 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 57040 0 0 0 35890 472 0 0 25 0 1 0 21220881 146386944 30569 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35739 30569 364 364 0 35375 0
[pid=7268] vsize: 142956
Current children cumulated CPU time (s) 363.62
Current children cumulated vsize (Kb) 142956

[startup+380.015 s]
Raw data (loadavg): 1.08 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 57060 0 0 0 36854 484 0 0 25 0 1 0 21220881 146386944 30589 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35739 30589 364 364 0 35375 0
[pid=7268] vsize: 142956
Current children cumulated CPU time (s) 373.38
Current children cumulated vsize (Kb) 142956

[startup+390.015 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 57783 0 0 0 37825 495 0 0 25 0 1 0 21220881 146657280 30669 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35805 30669 364 364 0 35441 0
[pid=7268] vsize: 143220
Current children cumulated CPU time (s) 383.2
Current children cumulated vsize (Kb) 143220

[startup+400.016 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 57798 0 0 0 38788 508 0 0 25 0 1 0 21220881 146657280 30684 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35805 30684 364 364 0 35441 0
[pid=7268] vsize: 143220
Current children cumulated CPU time (s) 392.96
Current children cumulated vsize (Kb) 143220

[startup+410.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 58492 0 0 0 39756 520 0 0 25 0 1 0 21220881 146927616 30735 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35871 30735 364 364 0 35507 0
[pid=7268] vsize: 143484
Current children cumulated CPU time (s) 402.76
Current children cumulated vsize (Kb) 143484

[startup+420.017 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 58501 0 0 0 40721 531 0 0 25 0 1 0 21220881 146927616 30744 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 35871 30744 364 364 0 35507 0
[pid=7268] vsize: 143484
Current children cumulated CPU time (s) 412.52
Current children cumulated vsize (Kb) 143484

[startup+430.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 65300 0 0 0 41679 555 0 0 25 0 1 0 21220881 174727168 31398 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42658 31398 364 364 0 42294 0
[pid=7268] vsize: 170632
Current children cumulated CPU time (s) 422.34
Current children cumulated vsize (Kb) 170632

[startup+440.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 65339 0 0 0 42652 565 0 0 25 0 1 0 21220881 172228608 30794 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42048 30794 364 364 0 41684 0
[pid=7268] vsize: 168192
Current children cumulated CPU time (s) 432.17
Current children cumulated vsize (Kb) 168192

[startup+450.017 s]
Raw data (loadavg): 1.10 1.02 1.01 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 66026 0 0 0 43622 578 0 0 25 0 1 0 21220881 175058944 31481 4294967295 134512640 135987407 3221224560 3221222948 134828704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42739 31481 364 364 0 42375 0
[pid=7268] vsize: 170956
Current children cumulated CPU time (s) 442
Current children cumulated vsize (Kb) 170956

[startup+460.018 s]
Raw data (loadavg): 1.09 1.02 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 66089 0 0 0 44592 587 0 0 25 0 1 0 21220881 172695552 30901 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42162 30901 364 364 0 41798 0
[pid=7268] vsize: 168648
Current children cumulated CPU time (s) 451.79
Current children cumulated vsize (Kb) 168648

[startup+470.018 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 66124 0 0 0 45556 599 0 0 25 0 1 0 21220881 172830720 30936 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42195 30936 364 364 0 41831 0
[pid=7268] vsize: 168780
Current children cumulated CPU time (s) 461.55
Current children cumulated vsize (Kb) 168780

[startup+480.018 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 66819 0 0 0 46530 609 0 0 25 0 1 0 21220881 173101056 30988 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42261 30988 364 364 0 41897 0
[pid=7268] vsize: 169044
Current children cumulated CPU time (s) 471.39
Current children cumulated vsize (Kb) 169044

[startup+490.019 s]
Raw data (loadavg): 1.05 1.01 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 66824 0 0 0 47497 619 0 0 25 0 1 0 21220881 173101056 30993 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42261 30993 364 364 0 41897 0
[pid=7268] vsize: 169044
Current children cumulated CPU time (s) 481.16
Current children cumulated vsize (Kb) 169044

[startup+500.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 66881 0 0 0 48464 629 0 0 25 0 1 0 21220881 173371392 31050 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42327 31050 364 364 0 41963 0
[pid=7268] vsize: 169308
Current children cumulated CPU time (s) 490.93
Current children cumulated vsize (Kb) 169308

[startup+510.019 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 66888 0 0 0 49431 640 0 0 25 0 1 0 21220881 173371392 31057 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42327 31057 364 364 0 41963 0
[pid=7268] vsize: 169308
Current children cumulated CPU time (s) 500.71
Current children cumulated vsize (Kb) 169308

[startup+520.019 s]
Raw data (loadavg): 1.03 1.01 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 66891 0 0 0 50394 654 0 0 25 0 1 0 21220881 173371392 31060 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42327 31060 364 364 0 41963 0
[pid=7268] vsize: 169308
Current children cumulated CPU time (s) 510.48
Current children cumulated vsize (Kb) 169308

[startup+530.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 67537 0 0 0 51359 666 0 0 25 0 1 0 21220881 173371392 31063 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42327 31063 364 364 0 41963 0
[pid=7268] vsize: 169308
Current children cumulated CPU time (s) 520.25
Current children cumulated vsize (Kb) 169308

[startup+540.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 67541 0 0 0 52322 678 0 0 25 0 1 0 21220881 173371392 31067 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42327 31067 364 364 0 41963 0
[pid=7268] vsize: 169308
Current children cumulated CPU time (s) 530
Current children cumulated vsize (Kb) 169308

[startup+550.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 67608 0 0 0 53287 690 0 0 25 0 1 0 21220881 173776896 31134 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42426 31134 364 364 0 42062 0
[pid=7268] vsize: 169704
Current children cumulated CPU time (s) 539.77
Current children cumulated vsize (Kb) 169704

[startup+560.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 67624 0 0 0 54255 700 0 0 25 0 1 0 21220881 173776896 31150 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42426 31150 364 364 0 42062 0
[pid=7268] vsize: 169704
Current children cumulated CPU time (s) 549.55
Current children cumulated vsize (Kb) 169704

[startup+570.019 s]
Raw data (loadavg): 1.01 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 67655 0 0 0 55224 710 0 0 25 0 1 0 21220881 173912064 31181 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42459 31181 364 364 0 42095 0
[pid=7268] vsize: 169836
Current children cumulated CPU time (s) 559.34
Current children cumulated vsize (Kb) 169836

[startup+580.019 s]
Raw data (loadavg): 1.01 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 67707 0 0 0 56194 720 0 0 25 0 1 0 21220881 174182400 31233 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42525 31233 364 364 0 42161 0
[pid=7268] vsize: 170100
Current children cumulated CPU time (s) 569.14
Current children cumulated vsize (Kb) 170100

[startup+590.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 67752 0 0 0 57162 731 0 0 25 0 1 0 21220881 174452736 31278 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42591 31278 364 364 0 42227 0
[pid=7268] vsize: 170364
Current children cumulated CPU time (s) 578.93
Current children cumulated vsize (Kb) 170364

[startup+600.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 68411 0 0 0 58135 740 0 0 25 0 1 0 21220881 174452736 31294 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42591 31294 364 364 0 42227 0
[pid=7268] vsize: 170364
Current children cumulated CPU time (s) 588.75
Current children cumulated vsize (Kb) 170364

[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 68450 0 0 0 59106 750 0 0 25 0 1 0 21220881 174587904 31333 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42624 31333 364 364 0 42260 0
[pid=7268] vsize: 170496
Current children cumulated CPU time (s) 598.56
Current children cumulated vsize (Kb) 170496

[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 69102 0 0 0 60069 762 0 0 25 0 1 0 21220881 174587904 31342 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 42624 31342 364 364 0 42260 0
[pid=7268] vsize: 170496
Current children cumulated CPU time (s) 608.31
Current children cumulated vsize (Kb) 170496

[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 69115 0 0 0 61040 771 0 0 25 0 1 0 21220881 174587904 31355 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42624 31355 364 364 0 42260 0
[pid=7268] vsize: 170496
Current children cumulated CPU time (s) 618.11
Current children cumulated vsize (Kb) 170496

[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 69176 0 0 0 62008 782 0 0 25 0 1 0 21220881 174858240 31416 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42690 31416 364 364 0 42326 0
[pid=7268] vsize: 170760
Current children cumulated CPU time (s) 627.9
Current children cumulated vsize (Kb) 170760

[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 69206 0 0 0 62979 791 0 0 25 0 1 0 21220881 174993408 31446 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42723 31446 364 364 0 42359 0
[pid=7268] vsize: 170892
Current children cumulated CPU time (s) 637.7
Current children cumulated vsize (Kb) 170892

[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 69868 0 0 0 63955 801 0 0 25 0 1 0 21220881 174993408 31465 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42723 31465 364 364 0 42359 0
[pid=7268] vsize: 170892
Current children cumulated CPU time (s) 647.56
Current children cumulated vsize (Kb) 170892

[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 69881 0 0 0 64924 811 0 0 25 0 1 0 21220881 174993408 31478 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42723 31478 364 364 0 42359 0
[pid=7268] vsize: 170892
Current children cumulated CPU time (s) 657.35
Current children cumulated vsize (Kb) 170892

[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 70529 0 0 0 65892 822 0 0 25 0 1 0 21220881 174993408 31483 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42723 31483 364 364 0 42359 0
[pid=7268] vsize: 170892
Current children cumulated CPU time (s) 667.14
Current children cumulated vsize (Kb) 170892

[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 70580 0 0 0 66869 829 0 0 25 0 1 0 21220881 175124480 31501 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42755 31501 364 364 0 42391 0
[pid=7268] vsize: 171020
Current children cumulated CPU time (s) 676.98
Current children cumulated vsize (Kb) 171020

[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 71256 0 0 0 67857 834 0 0 25 0 1 0 21220881 175259648 31534 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42788 31534 364 364 0 42424 0
[pid=7268] vsize: 171152
Current children cumulated CPU time (s) 686.91
Current children cumulated vsize (Kb) 171152

[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 71301 0 0 0 68828 844 0 0 25 0 1 0 21220881 175394816 31579 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42821 31579 364 364 0 42457 0
[pid=7268] vsize: 171284
Current children cumulated CPU time (s) 696.72
Current children cumulated vsize (Kb) 171284

[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 71319 0 0 0 69797 854 0 0 25 0 1 0 21220881 175394816 31597 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42821 31597 364 364 0 42457 0
[pid=7268] vsize: 171284
Current children cumulated CPU time (s) 706.51
Current children cumulated vsize (Kb) 171284

[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 71330 0 0 0 70768 863 0 0 25 0 1 0 21220881 175394816 31608 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 42821 31608 364 364 0 42457 0
[pid=7268] vsize: 171284
Current children cumulated CPU time (s) 716.31
Current children cumulated vsize (Kb) 171284

[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 71984 0 0 0 71737 875 0 0 25 0 1 0 21220881 175394816 31619 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42821 31619 364 364 0 42457 0
[pid=7268] vsize: 171284
Current children cumulated CPU time (s) 726.12
Current children cumulated vsize (Kb) 171284

[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 71994 0 0 0 72713 884 0 0 25 0 1 0 21220881 175394816 31629 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42821 31629 364 364 0 42457 0
[pid=7268] vsize: 171284
Current children cumulated CPU time (s) 735.97
Current children cumulated vsize (Kb) 171284

[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72029 0 0 0 73681 896 0 0 25 0 1 0 21220881 175529984 31664 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42854 31664 364 364 0 42490 0
[pid=7268] vsize: 171416
Current children cumulated CPU time (s) 745.77
Current children cumulated vsize (Kb) 171416

[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72041 0 0 0 74646 906 0 0 25 0 1 0 21220881 175529984 31676 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42854 31676 364 364 0 42490 0
[pid=7268] vsize: 171416
Current children cumulated CPU time (s) 755.52
Current children cumulated vsize (Kb) 171416

[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 72049 0 0 0 75614 918 0 0 25 0 1 0 21220881 175529984 31684 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7268/statm): 42854 31684 364 364 0 42490 0
[pid=7268] vsize: 171416
Current children cumulated CPU time (s) 765.32
Current children cumulated vsize (Kb) 171416

[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72058 0 0 0 76580 930 0 0 25 0 1 0 21220881 175529984 31693 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42854 31693 364 364 0 42490 0
[pid=7268] vsize: 171416
Current children cumulated CPU time (s) 775.1
Current children cumulated vsize (Kb) 171416

[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72089 0 0 0 77563 936 0 0 25 0 1 0 21220881 175529984 31724 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 42854 31724 364 364 0 42490 0
[pid=7268] vsize: 171416
Current children cumulated CPU time (s) 784.99
Current children cumulated vsize (Kb) 171416

[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72741 0 0 0 78531 947 0 0 25 0 1 0 21220881 175529984 31733 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42854 31733 364 364 0 42490 0
[pid=7268] vsize: 171416
Current children cumulated CPU time (s) 794.78
Current children cumulated vsize (Kb) 171416

[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72830 0 0 0 79504 955 0 0 25 0 1 0 21220881 175935488 31822 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42953 31822 364 364 0 42589 0
[pid=7268] vsize: 171812
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (Kb) 171812

[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72882 0 0 0 80475 965 0 0 25 0 1 0 21220881 176070656 31874 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42986 31874 364 364 0 42622 0
[pid=7268] vsize: 171944
Current children cumulated CPU time (s) 814.4
Current children cumulated vsize (Kb) 171944

[startup+840.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72894 0 0 0 81446 973 0 0 25 0 1 0 21220881 176070656 31886 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 42986 31886 364 364 0 42622 0
[pid=7268] vsize: 171944
Current children cumulated CPU time (s) 824.19
Current children cumulated vsize (Kb) 171944

[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72919 0 0 0 82413 986 0 0 25 0 1 0 21220881 176205824 31911 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43019 31911 364 364 0 42655 0
[pid=7268] vsize: 172076
Current children cumulated CPU time (s) 833.99
Current children cumulated vsize (Kb) 172076

[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 72943 0 0 0 83384 997 0 0 25 0 1 0 21220881 176205824 31935 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43019 31935 364 364 0 42655 0
[pid=7268] vsize: 172076
Current children cumulated CPU time (s) 843.81
Current children cumulated vsize (Kb) 172076

[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 73596 0 0 0 84362 1005 0 0 25 0 1 0 21220881 176205824 31945 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43019 31945 364 364 0 42655 0
[pid=7268] vsize: 172076
Current children cumulated CPU time (s) 853.67
Current children cumulated vsize (Kb) 172076

[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 73635 0 0 0 85333 1016 0 0 25 0 1 0 21220881 176340992 31984 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43052 31984 364 364 0 42688 0
[pid=7268] vsize: 172208
Current children cumulated CPU time (s) 863.49
Current children cumulated vsize (Kb) 172208

[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 74302 0 0 0 86309 1025 0 0 25 0 1 0 21220881 176476160 32008 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43085 32008 364 364 0 42721 0
[pid=7268] vsize: 172340
Current children cumulated CPU time (s) 873.34
Current children cumulated vsize (Kb) 172340

[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 74311 0 0 0 87272 1039 0 0 25 0 1 0 21220881 176476160 32017 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 43085 32017 364 364 0 42721 0
[pid=7268] vsize: 172340
Current children cumulated CPU time (s) 883.11
Current children cumulated vsize (Kb) 172340

[startup+910.023 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 74312 0 0 0 88236 1051 0 0 25 0 1 0 21220881 176476160 32018 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43085 32018 364 364 0 42721 0
[pid=7268] vsize: 172340
Current children cumulated CPU time (s) 892.87
Current children cumulated vsize (Kb) 172340

[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 74973 0 0 0 89203 1065 0 0 25 0 1 0 21220881 176611328 32036 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43118 32036 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 902.68
Current children cumulated vsize (Kb) 172472

[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 74975 0 0 0 90173 1075 0 0 25 0 1 0 21220881 176611328 32038 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43118 32038 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 912.48
Current children cumulated vsize (Kb) 172472

[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 75620 0 0 0 91140 1087 0 0 25 0 1 0 21220881 176611328 32040 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43118 32040 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 922.27
Current children cumulated vsize (Kb) 172472

[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 75621 0 0 0 92106 1098 0 0 25 0 1 0 21220881 176611328 32041 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43118 32041 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 932.04
Current children cumulated vsize (Kb) 172472

[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 75623 0 0 0 93077 1108 0 0 25 0 1 0 21220881 176611328 32043 4294967295 134512640 135987407 3221224560 3221223120 134788476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43118 32043 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (Kb) 172472

[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 75626 0 0 0 94042 1122 0 0 25 0 1 0 21220881 176611328 32046 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43118 32046 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 951.64
Current children cumulated vsize (Kb) 172472

[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 76278 0 0 0 95014 1133 0 0 25 0 1 0 21220881 176611328 32055 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 43118 32055 364 364 0 42754 0
[pid=7268] vsize: 172472
Current children cumulated CPU time (s) 961.47
Current children cumulated vsize (Kb) 172472

[startup+990.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 76344 0 0 0 95992 1141 0 0 25 0 1 0 21220881 176881664 32121 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32121 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 971.33
Current children cumulated vsize (Kb) 172736

[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 76998 0 0 0 96964 1151 0 0 25 0 1 0 21220881 176881664 32132 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32132 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 981.15
Current children cumulated vsize (Kb) 172736

[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 77011 0 0 0 97938 1161 0 0 25 0 1 0 21220881 176881664 32145 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32145 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 990.99
Current children cumulated vsize (Kb) 172736

[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 77657 0 0 0 98912 1171 0 0 25 0 1 0 21220881 176881664 32148 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32148 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 1000.83
Current children cumulated vsize (Kb) 172736

[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 77659 0 0 0 99877 1185 0 0 25 0 1 0 21220881 176881664 32150 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32150 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 1010.62
Current children cumulated vsize (Kb) 172736

[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 78314 0 0 0 100842 1198 0 0 25 0 1 0 21220881 179515392 32805 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43827 32805 364 364 0 43463 0
[pid=7268] vsize: 175308
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 175308

[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 78315 0 0 0 101811 1210 0 0 25 0 1 0 21220881 176881664 32163 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32163 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 1030.21
Current children cumulated vsize (Kb) 172736

[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 78964 0 0 0 102784 1220 0 0 25 0 1 0 21220881 176881664 32169 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32169 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 1040.04
Current children cumulated vsize (Kb) 172736

[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 78966 0 0 0 103746 1232 0 0 25 0 1 0 21220881 176881664 32171 4294967295 134512640 135987407 3221224560 3221223236 134812234 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43184 32171 364 364 0 42820 0
[pid=7268] vsize: 172736
Current children cumulated CPU time (s) 1049.78
Current children cumulated vsize (Kb) 172736

[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 79650 0 0 0 104714 1245 0 0 25 0 1 0 21220881 179785728 32855 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43893 32855 364 364 0 43529 0
[pid=7268] vsize: 175572
Current children cumulated CPU time (s) 1059.59
Current children cumulated vsize (Kb) 175572

[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 79658 0 0 0 105676 1258 0 0 25 0 1 0 21220881 177152000 32220 4294967295 134512640 135987407 3221224560 3221223328 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43250 32220 364 364 0 42886 0
[pid=7268] vsize: 173000
Current children cumulated CPU time (s) 1069.34
Current children cumulated vsize (Kb) 173000

[startup+1100.02 s]
Raw data (loadavg): 1.08 1.02 1.01 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 79671 0 0 0 106637 1272 0 0 17 0 1 0 21220881 177152000 32233 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 43250 32233 364 364 0 42886 0
[pid=7268] vsize: 173000
Current children cumulated CPU time (s) 1079.09
Current children cumulated vsize (Kb) 173000

[startup+1110.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 80322 0 0 0 107605 1284 0 0 25 0 1 0 21220881 177152000 32241 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 43250 32241 364 364 0 42886 0
[pid=7268] vsize: 173000
Current children cumulated CPU time (s) 1088.89
Current children cumulated vsize (Kb) 173000

[startup+1120.03 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 80333 0 0 0 108569 1296 0 0 25 0 1 0 21220881 177152000 32252 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43250 32252 364 364 0 42886 0
[pid=7268] vsize: 173000
Current children cumulated CPU time (s) 1098.65
Current children cumulated vsize (Kb) 173000

[startup+1130.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 80985 0 0 0 109542 1307 0 0 25 0 1 0 21220881 177152000 32261 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43250 32261 364 364 0 42886 0
[pid=7268] vsize: 173000
Current children cumulated CPU time (s) 1108.49
Current children cumulated vsize (Kb) 173000

[startup+1140.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81017 0 0 0 110510 1317 0 0 25 0 1 0 21220881 177348608 32293 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43298 32293 364 364 0 42934 0
[pid=7268] vsize: 173192
Current children cumulated CPU time (s) 1118.27
Current children cumulated vsize (Kb) 173192

[startup+1150.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81026 0 0 0 111476 1329 0 0 25 0 1 0 21220881 177348608 32302 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43298 32302 364 364 0 42934 0
[pid=7268] vsize: 173192
Current children cumulated CPU time (s) 1128.05
Current children cumulated vsize (Kb) 173192

[startup+1160.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81048 0 0 0 112443 1340 0 0 25 0 1 0 21220881 177483776 32324 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43331 32324 364 364 0 42967 0
[pid=7268] vsize: 173324
Current children cumulated CPU time (s) 1137.83
Current children cumulated vsize (Kb) 173324

[startup+1170.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81082 0 0 0 113416 1349 0 0 25 0 1 0 21220881 177483776 32358 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43331 32358 364 364 0 42967 0
[pid=7268] vsize: 173324
Current children cumulated CPU time (s) 1147.65
Current children cumulated vsize (Kb) 173324

[startup+1180.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81084 0 0 0 114381 1362 0 0 25 0 1 0 21220881 177483776 32360 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43331 32360 364 364 0 42967 0
[pid=7268] vsize: 173324
Current children cumulated CPU time (s) 1157.43
Current children cumulated vsize (Kb) 173324

[startup+1190.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81747 0 0 0 115353 1373 0 0 25 0 1 0 21220881 177680384 32380 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43379 32380 364 364 0 43015 0
[pid=7268] vsize: 173516
Current children cumulated CPU time (s) 1167.26
Current children cumulated vsize (Kb) 173516

[startup+1200.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81769 0 0 0 116318 1385 0 0 25 0 1 0 21220881 177680384 32402 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7268/statm): 43379 32402 364 364 0 43015 0
[pid=7268] vsize: 173516
Current children cumulated CPU time (s) 1177.03
Current children cumulated vsize (Kb) 173516

[startup+1210.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 81787 0 0 0 117288 1396 0 0 25 0 1 0 21220881 177680384 32420 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43379 32420 364 364 0 43015 0
[pid=7268] vsize: 173516
Current children cumulated CPU time (s) 1186.84
Current children cumulated vsize (Kb) 173516

[startup+1220.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) T 7267 7268 4060 0 -1 0 82444 0 0 0 118255 1410 0 0 25 0 1 0 21220881 177680384 32434 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7268/statm): 43379 32434 364 364 0 43015 0
[pid=7268] vsize: 173516
Current children cumulated CPU time (s) 1196.65
Current children cumulated vsize (Kb) 173516

[startup+1230.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 82457 0 0 0 119225 1420 0 0 25 0 1 0 21220881 194457600 32447 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 47475 32447 364 364 0 47111 0
[pid=7268] vsize: 189900
Current children cumulated CPU time (s) 1206.45
Current children cumulated vsize (Kb) 189900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7268
Raw data (/proc/7268/stat): 7268 (pb2sat) R 7267 7268 4060 0 -1 0 82457 0 0 0 119225 1420 0 0 25 0 1 0 21220881 194457600 32447 4294967295 134512640 135987407 3221224560 3221223392 134812773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7268/statm): 47475 32447 364 364 0 47111 0
[pid=7268] vsize: 189900
Current children cumulated CPU time (s) 1206.45
Current children cumulated vsize (Kb) 189900

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

Child status: 0
Real time (s): 1230.61
CPU time (s): 1207.04
CPU user time (s): 1192.76
CPU system time (s): 14.2768
CPU usage (%): 98.0842
Max. virtual memory (cumulated for all children) (Kb): 189900

Verifier Data

ERROR: no interpretation found !