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.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM46f4eb904b1c96b45521a6459aa5d49d
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 9803

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 15:18:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8507 boxname=wulflinc8 idbench=303 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 8507
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        926388 kB
Buffers:         12508 kB
Cached:          78068 kB
SwapCached:          0 kB
Active:          56192 kB
Inactive:        37240 kB
HighTotal:      131008 kB
HighFree:        49000 kB
LowTotal:       903652 kB
LowFree:        877388 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9160 kB
Committed_AS:    63632 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:38:30 (client local time) WITH STATUS 0 IN 1204.59 SECONDS
stats: 8507 7 1204.59 0

Solver Data

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

c Decision: 19530/460151	Time: 19.3831/86400
c Decision: 19530/460151	Time: 36.9874/86400
c Decision: 19530/460151	Time: 51.4602/86400
c Decision: 19531/460151	Time: 71.5991/86400
c Decision: 19531/460151	Time: 88.3056/86400
c Decision: 19536/460151	Time: 110.843/86400
c Decision: 19555/460151	Time: 136.804/86400
c Decision: 19555/460151	Time: 156.839/86400
c Decision: 19808/460151	Time: 186.009/86400
c Decision: 19808/460151	Time: 206.539/86400
c Decision: 19811/460151	Time: 235.175/86400
c Decision: 19823/460151	Time: 274.682/86400
c Decision: 19829/460151	Time: 312.863/86400
c Decision: 19830/460151	Time: 337.915/86400
c Decision: 19836/460151	Time: 366.049/86400
c Decision: 19836/460151	Time: 386.804/86400
c Decision: 19836/460151	Time: 408.558/86400
c Decision: 19837/460151	Time: 437.159/86400
c Decision: 19840/460151	Time: 467.112/86400
c Decision: 19843/460151	Time: 489.782/86400
c Decision: 19843/460151	Time: 508.533/86400
c Decision: 19843/460151	Time: 529.183/86400
c Decision: 19843/460151	Time: 552.549/86400
c Decision: 19875/460151	Time: 601.364/86400
c Decision: 19875/460151	Time: 623.876/86400
c Decision: 19875/460151	Time: 647.969/86400
c Decision: 19878/460151	Time: 670.452/86400
c Decision: 19878/460151	Time: 691.84/86400
c Decision: 21052/460151	Time: 714.946/86400
c Decision: 21052/460151	Time: 734.106/86400
c Decision: 21052/460151	Time: 755.702/86400
c Decision: 21170/460151	Time: 777.809/86400
c Decision: 21170/460151	Time: 797.873/86400
c Decision: 21170/460151	Time: 814.87/86400
c Decision: 21170/460151	Time: 830.725/86400
c Decision: 21464/460151	Time: 859.328/86400
c Decision: 21464/460151	Time: 882.41/86400
c Decision: 21464/460151	Time: 905.883/86400
c Decision: 23036/460151	Time: 922.028/86400
c Decision: 23036/460151	Time: 944.543/86400
c Decision: 23039/460151	Time: 991.681/86400
c Decision: 23039/460151	Time: 1012.13/86400
c Decision: 23039/460151	Time: 1032.37/86400
c Decision: 23039/460151	Time: 1059.93/86400
c Decision: 23039/460151	Time: 1082.77/86400
c Decision: 25608/460151	Time: 1136.03/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/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 21221434 1527808 2 4294967295 134512640 135987407 3221224544 3221224544 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 373 2 364 364 0 9 0
[pid=7909] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb

[startup+10.0026 s]
Raw data (loadavg): 0.79 0.90 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 5494 0 0 0 984 13 0 0 25 0 1 0 21221434 19419136 3559 4294967295 134512640 135987407 3221224544 3221221936 134615235 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 4741 3559 364 364 0 4377 0
[pid=7909] vsize: 18964
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 18964

[startup+20.0033 s]
Raw data (loadavg): 0.82 0.91 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 10753 0 0 0 1968 28 0 0 25 0 1 0 21221434 36679680 6799 4294967295 134512640 135987407 3221224544 3221221936 134616293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 8955 6799 364 364 0 8591 0
[pid=7909] vsize: 35820
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 35820

[startup+30.0041 s]
Raw data (loadavg): 0.85 0.91 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 14929 0 0 0 2954 40 0 0 25 0 1 0 21221434 47837184 9406 4294967295 134512640 135987407 3221224544 3221221740 134535946 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 11679 9406 364 364 0 11315 0
[pid=7909] vsize: 46716
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 46716

[startup+40.0049 s]
Raw data (loadavg): 0.87 0.91 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 33956 0 0 0 3905 87 0 0 25 0 1 0 21221434 133103616 22649 4294967295 134512640 135987407 3221224544 3221216652 135480718 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 32496 22649 364 364 0 32132 0
[pid=7909] vsize: 129984
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 129984

[startup+50.0057 s]
Raw data (loadavg): 0.89 0.91 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 53778 0 0 0 4859 132 0 0 25 0 1 0 21221434 167186432 31404 4294967295 134512640 135987407 3221224544 3221218508 135480487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 40817 31404 364 364 0 40453 0
[pid=7909] vsize: 163268
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (Kb) 163268

[startup+60.0064 s]
Raw data (loadavg): 0.91 0.92 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 58514 0 0 0 5821 152 0 0 25 0 1 0 21221434 180105216 35156 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 43971 35156 364 364 0 43607 0
[pid=7909] vsize: 175884
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 175884

[startup+70.0062 s]
Raw data (loadavg): 0.92 0.92 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 59663 0 0 0 6808 158 0 0 25 0 1 0 21221434 181268480 35406 4294967295 134512640 135987407 3221224544 3221223360 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 44255 35406 364 364 0 43891 0
[pid=7909] vsize: 177020
Current children cumulated CPU time (s) 69.66
Current children cumulated vsize (Kb) 177020

[startup+80.008 s]
Raw data (loadavg): 0.93 0.92 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 60437 0 0 0 7778 169 0 0 25 0 1 0 21221434 185151488 36180 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 45203 36180 364 364 0 44839 0
[pid=7909] vsize: 180812
Current children cumulated CPU time (s) 79.47
Current children cumulated vsize (Kb) 180812

[startup+90.0088 s]
Raw data (loadavg): 0.94 0.92 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 61816 0 0 0 8761 177 0 0 25 0 1 0 21221434 187600896 36660 4294967295 134512640 135987407 3221224544 3221223360 134824250 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 45801 36660 364 364 0 45437 0
[pid=7909] vsize: 183204
Current children cumulated CPU time (s) 89.38
Current children cumulated vsize (Kb) 183204

[startup+100.01 s]
Raw data (loadavg): 0.95 0.92 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 62126 0 0 0 9737 187 0 0 25 0 1 0 21221434 189075456 36970 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 46161 36970 364 364 0 45797 0
[pid=7909] vsize: 184644
Current children cumulated CPU time (s) 99.24
Current children cumulated vsize (Kb) 184644

[startup+110.01 s]
Raw data (loadavg): 0.96 0.93 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 63208 0 0 0 10719 195 0 0 25 0 1 0 21221434 189882368 37120 4294967295 134512640 135987407 3221224544 3221223408 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 46358 37120 364 364 0 45994 0
[pid=7909] vsize: 185432
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (Kb) 185432

[startup+120.011 s]
Raw data (loadavg): 0.96 0.93 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 63508 0 0 0 11699 202 0 0 25 0 1 0 21221434 191098880 37420 4294967295 134512640 135987407 3221224544 3221223328 134812298 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 46655 37420 364 364 0 46291 0
[pid=7909] vsize: 186620
Current children cumulated CPU time (s) 119.01
Current children cumulated vsize (Kb) 186620

[startup+130.012 s]
Raw data (loadavg): 0.97 0.93 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 64461 0 0 0 12675 209 0 0 25 0 1 0 21221434 191369216 37474 4294967295 134512640 135987407 3221224544 3221223232 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 46721 37474 364 364 0 46357 0
[pid=7909] vsize: 186884
Current children cumulated CPU time (s) 128.84
Current children cumulated vsize (Kb) 186884

[startup+140.013 s]
Raw data (loadavg): 0.97 0.93 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 65477 0 0 0 13645 221 0 0 25 0 1 0 21221434 195817472 38490 4294967295 134512640 135987407 3221224544 3221222928 134829266 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 47807 38490 364 364 0 47443 0
[pid=7909] vsize: 191228
Current children cumulated CPU time (s) 138.66
Current children cumulated vsize (Kb) 191228

[startup+150.013 s]
Raw data (loadavg): 0.98 0.93 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 65680 0 0 0 14619 231 0 0 25 0 1 0 21221434 193216512 37794 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 47172 37794 364 364 0 46808 0
[pid=7909] vsize: 188688
Current children cumulated CPU time (s) 148.5
Current children cumulated vsize (Kb) 188688

[startup+160.014 s]
Raw data (loadavg): 0.98 0.93 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 65925 0 0 0 15594 239 0 0 25 0 1 0 21221434 194428928 38006 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 47468 38006 364 364 0 47104 0
[pid=7909] vsize: 189872
Current children cumulated CPU time (s) 158.33
Current children cumulated vsize (Kb) 189872

[startup+170.014 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 67009 0 0 0 16576 247 0 0 25 0 1 0 21221434 195235840 38158 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 47665 38158 364 364 0 47301 0
[pid=7909] vsize: 190660
Current children cumulated CPU time (s) 168.23
Current children cumulated vsize (Kb) 190660

[startup+180.015 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 67233 0 0 0 17555 255 0 0 25 0 1 0 21221434 196173824 38349 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 47894 38349 364 364 0 47530 0
[pid=7909] vsize: 191576
Current children cumulated CPU time (s) 178.1
Current children cumulated vsize (Kb) 191576

[startup+190.015 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 68207 0 0 0 18532 264 0 0 25 0 1 0 21221434 196579328 38424 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 47993 38424 364 364 0 47629 0
[pid=7909] vsize: 191972
Current children cumulated CPU time (s) 187.96
Current children cumulated vsize (Kb) 191972

[startup+200.015 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 68496 0 0 0 19512 271 0 0 25 0 1 0 21221434 197369856 38548 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 48186 38548 364 364 0 47822 0
[pid=7909] vsize: 192744
Current children cumulated CPU time (s) 197.83
Current children cumulated vsize (Kb) 192744

[startup+210.016 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 69707 0 0 0 20503 275 0 0 25 0 1 0 21221434 198291456 38695 4294967295 134512640 135987407 3221224544 3221223232 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 48411 38695 364 364 0 48047 0
[pid=7909] vsize: 193644
Current children cumulated CPU time (s) 207.78
Current children cumulated vsize (Kb) 193644

[startup+220.017 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 69817 0 0 0 21486 281 0 0 25 0 1 0 21221434 198696960 38805 4294967295 134512640 135987407 3221224544 3221223312 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 48510 38805 364 364 0 48146 0
[pid=7909] vsize: 194040
Current children cumulated CPU time (s) 217.67
Current children cumulated vsize (Kb) 194040

[startup+230.018 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 70095 0 0 0 22473 286 0 0 25 0 1 0 21221434 199757824 38951 4294967295 134512640 135987407 3221224544 3221223392 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 48769 38951 364 364 0 48405 0
[pid=7909] vsize: 195076
Current children cumulated CPU time (s) 227.59
Current children cumulated vsize (Kb) 195076

[startup+240.018 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 71142 0 0 0 23465 290 0 0 25 0 1 0 21221434 200421376 39066 4294967295 134512640 135987407 3221224544 3221223072 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 48931 39066 364 364 0 48567 0
[pid=7909] vsize: 195724
Current children cumulated CPU time (s) 237.55
Current children cumulated vsize (Kb) 195724

[startup+250.018 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 71282 0 0 0 24451 295 0 0 25 0 1 0 21221434 200949760 39140 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49060 39140 364 364 0 48696 0
[pid=7909] vsize: 196240
Current children cumulated CPU time (s) 247.46
Current children cumulated vsize (Kb) 196240

[startup+260.019 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 72262 0 0 0 25430 304 0 0 25 0 1 0 21221434 201342976 39221 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49156 39221 364 364 0 48792 0
[pid=7909] vsize: 196624
Current children cumulated CPU time (s) 257.34
Current children cumulated vsize (Kb) 196624

[startup+270.019 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 72378 0 0 0 26415 309 0 0 25 0 1 0 21221434 201744384 39337 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49254 39337 364 364 0 48890 0
[pid=7909] vsize: 197016
Current children cumulated CPU time (s) 267.24
Current children cumulated vsize (Kb) 197016

[startup+280.019 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 72516 0 0 0 27394 317 0 0 25 0 1 0 21221434 202145792 39442 4294967295 134512640 135987407 3221224544 3221223232 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49352 39442 364 364 0 48988 0
[pid=7909] vsize: 197408
Current children cumulated CPU time (s) 277.11
Current children cumulated vsize (Kb) 197408

[startup+290.02 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 73438 0 0 0 28374 325 0 0 25 0 1 0 21221434 202342400 39465 4294967295 134512640 135987407 3221224544 3221223104 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49400 39465 364 364 0 49036 0
[pid=7909] vsize: 197600
Current children cumulated CPU time (s) 286.99
Current children cumulated vsize (Kb) 197600

[startup+300.02 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 73515 0 0 0 29356 330 0 0 25 0 1 0 21221434 202612736 39542 4294967295 134512640 135987407 3221224544 3221223232 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49466 39542 364 364 0 49102 0
[pid=7909] vsize: 197864
Current children cumulated CPU time (s) 296.86
Current children cumulated vsize (Kb) 197864

[startup+310.021 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 73628 0 0 0 30332 339 0 0 25 0 1 0 21221434 203104256 39655 4294967295 134512640 135987407 3221224544 3221223356 134812262 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49586 39655 364 364 0 49222 0
[pid=7909] vsize: 198344
Current children cumulated CPU time (s) 306.71
Current children cumulated vsize (Kb) 198344

[startup+320.021 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 73686 0 0 0 31311 347 0 0 25 0 1 0 21221434 203509760 39713 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49685 39713 364 364 0 49321 0
[pid=7909] vsize: 198740
Current children cumulated CPU time (s) 316.58
Current children cumulated vsize (Kb) 198740

[startup+330.021 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 74587 0 0 0 32292 354 0 0 25 0 1 0 21221434 203509760 39715 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49685 39715 364 364 0 49321 0
[pid=7909] vsize: 198740
Current children cumulated CPU time (s) 326.46
Current children cumulated vsize (Kb) 198740

[startup+340.022 s]
Raw data (loadavg): 0.99 0.96 0.96 1/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 74676 0 0 0 33278 360 0 0 25 0 1 0 21221434 203771904 39738 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49749 39738 364 364 0 49385 0
[pid=7909] vsize: 198996
Current children cumulated CPU time (s) 336.38
Current children cumulated vsize (Kb) 198996

[startup+350.022 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 74707 0 0 0 34257 367 0 0 25 0 1 0 21221434 203907072 39769 4294967295 134512640 135987407 3221224544 3221223328 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49782 39769 364 364 0 49418 0
[pid=7909] vsize: 199128
Current children cumulated CPU time (s) 346.24
Current children cumulated vsize (Kb) 199128

[startup+360.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 74745 0 0 0 35242 373 0 0 25 0 1 0 21221434 203907072 39807 4294967295 134512640 135987407 3221224544 3221223392 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49782 39807 364 364 0 49418 0
[pid=7909] vsize: 199128
Current children cumulated CPU time (s) 356.15
Current children cumulated vsize (Kb) 199128

[startup+370.022 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 75668 0 0 0 36232 378 0 0 25 0 1 0 21221434 203907072 39831 4294967295 134512640 135987407 3221224544 3221223232 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49782 39831 364 364 0 49418 0
[pid=7909] vsize: 199128
Current children cumulated CPU time (s) 366.1
Current children cumulated vsize (Kb) 199128

[startup+380.023 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 75789 0 0 0 37211 387 0 0 25 0 1 0 21221434 204439552 39919 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49912 39919 364 364 0 49548 0
[pid=7909] vsize: 199648
Current children cumulated CPU time (s) 375.98
Current children cumulated vsize (Kb) 199648

[startup+390.024 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 75802 0 0 0 38185 395 0 0 25 0 1 0 21221434 204439552 39932 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49912 39932 364 364 0 49548 0
[pid=7909] vsize: 199648
Current children cumulated CPU time (s) 385.8
Current children cumulated vsize (Kb) 199648

[startup+400.025 s]
Raw data (loadavg): 0.99 0.96 0.96 1/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 76743 0 0 0 39171 401 0 0 25 0 1 0 21221434 204574720 39974 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49945 39974 364 364 0 49581 0
[pid=7909] vsize: 199780
Current children cumulated CPU time (s) 395.72
Current children cumulated vsize (Kb) 199780

[startup+410.026 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 76751 0 0 0 40146 410 0 0 25 0 1 0 21221434 204574720 39982 4294967295 134512640 135987407 3221224544 3221223104 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49945 39982 364 364 0 49581 0
[pid=7909] vsize: 199780
Current children cumulated CPU time (s) 405.56
Current children cumulated vsize (Kb) 199780

[startup+420.025 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 76761 0 0 0 41122 418 0 0 25 0 1 0 21221434 204574720 39992 4294967295 134512640 135987407 3221224544 3221223264 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 49945 39992 364 364 0 49581 0
[pid=7909] vsize: 199780
Current children cumulated CPU time (s) 415.4
Current children cumulated vsize (Kb) 199780

[startup+430.026 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 77672 0 0 0 42101 426 0 0 25 0 1 0 21221434 204574720 40004 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 49945 40004 364 364 0 49581 0
[pid=7909] vsize: 199780
Current children cumulated CPU time (s) 425.27
Current children cumulated vsize (Kb) 199780

[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 78686 0 0 0 43092 430 0 0 25 0 1 0 21221434 208654336 40985 4294967295 134512640 135987407 3221224544 3221222960 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50941 40985 364 364 0 50577 0
[pid=7909] vsize: 203764
Current children cumulated CPU time (s) 435.22
Current children cumulated vsize (Kb) 203764

[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 78687 0 0 0 44075 437 0 0 25 0 1 0 21221434 204972032 40087 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50042 40087 364 364 0 49678 0
[pid=7909] vsize: 200168
Current children cumulated CPU time (s) 445.12
Current children cumulated vsize (Kb) 200168

[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 78741 0 0 0 45071 438 0 0 25 0 1 0 21221434 205103104 40108 4294967295 134512640 135987407 3221224544 3221223232 134811712 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50074 40108 364 364 0 49710 0
[pid=7909] vsize: 200296
Current children cumulated CPU time (s) 455.09
Current children cumulated vsize (Kb) 200296

[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 79643 0 0 0 46056 445 0 0 25 0 1 0 21221434 205103104 40111 4294967295 134512640 135987407 3221224544 3221223360 134816644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50074 40111 364 364 0 49710 0
[pid=7909] vsize: 200296
Current children cumulated CPU time (s) 465.01
Current children cumulated vsize (Kb) 200296

[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 79647 0 0 0 47038 451 0 0 25 0 1 0 21221434 205103104 40115 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50074 40115 364 364 0 49710 0
[pid=7909] vsize: 200296
Current children cumulated CPU time (s) 474.89
Current children cumulated vsize (Kb) 200296

[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 79799 0 0 0 48025 456 0 0 25 0 1 0 21221434 205766656 40234 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50236 40234 364 364 0 49872 0
[pid=7909] vsize: 200944
Current children cumulated CPU time (s) 484.81
Current children cumulated vsize (Kb) 200944

[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 80734 0 0 0 49004 464 0 0 25 0 1 0 21221434 205930496 40270 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50276 40270 364 364 0 49912 0
[pid=7909] vsize: 201104
Current children cumulated CPU time (s) 494.68
Current children cumulated vsize (Kb) 201104

[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 80953 0 0 0 49987 470 0 0 25 0 1 0 21221434 206725120 40423 4294967295 134512640 135987407 3221224544 3221223232 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50470 40423 364 364 0 50106 0
[pid=7909] vsize: 201880
Current children cumulated CPU time (s) 504.57
Current children cumulated vsize (Kb) 201880

[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 81062 0 0 0 50974 475 0 0 25 0 1 0 21221434 207122432 40499 4294967295 134512640 135987407 3221224544 3221223392 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50567 40499 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 514.49
Current children cumulated vsize (Kb) 202268

[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 81975 0 0 0 51955 483 0 0 25 0 1 0 21221434 207122432 40513 4294967295 134512640 135987407 3221224544 3221223232 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50567 40513 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 524.38
Current children cumulated vsize (Kb) 202268

[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 81987 0 0 0 52934 492 0 0 25 0 1 0 21221434 207122432 40525 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50567 40525 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 534.26
Current children cumulated vsize (Kb) 202268

[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 82898 0 0 0 53913 501 0 0 25 0 1 0 21221434 207122432 40537 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50567 40537 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 544.14
Current children cumulated vsize (Kb) 202268

[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 82908 0 0 0 54889 510 0 0 25 0 1 0 21221434 207122432 40547 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50567 40547 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 553.99
Current children cumulated vsize (Kb) 202268

[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 83813 0 0 0 55872 516 0 0 25 0 1 0 21221434 207122432 40553 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50567 40553 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 563.88
Current children cumulated vsize (Kb) 202268

[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 83822 0 0 0 56853 523 0 0 25 0 1 0 21221434 207122432 40562 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50567 40562 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 573.76
Current children cumulated vsize (Kb) 202268

[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 84730 0 0 0 57832 532 0 0 25 0 1 0 21221434 207122432 40571 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50567 40571 364 364 0 50203 0
[pid=7909] vsize: 202268
Current children cumulated CPU time (s) 583.64
Current children cumulated vsize (Kb) 202268

[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 84836 0 0 0 58816 537 0 0 25 0 1 0 21221434 207384576 40611 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50631 40611 364 364 0 50267 0
[pid=7909] vsize: 202524
Current children cumulated CPU time (s) 593.53
Current children cumulated vsize (Kb) 202524

[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 85749 0 0 0 59796 545 0 0 25 0 1 0 21221434 207384576 40625 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50631 40625 364 364 0 50267 0
[pid=7909] vsize: 202524
Current children cumulated CPU time (s) 603.41
Current children cumulated vsize (Kb) 202524

[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 85804 0 0 0 60781 550 0 0 25 0 1 0 21221434 207650816 40680 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50696 40680 364 364 0 50332 0
[pid=7909] vsize: 202784
Current children cumulated CPU time (s) 613.31
Current children cumulated vsize (Kb) 202784

[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 85964 0 0 0 61768 555 0 0 25 0 1 0 21221434 208179200 40774 4294967295 134512640 135987407 3221224544 3221223232 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50825 40774 364 364 0 50461 0
[pid=7909] vsize: 203300
Current children cumulated CPU time (s) 623.23
Current children cumulated vsize (Kb) 203300

[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 85987 0 0 0 62747 562 0 0 25 0 1 0 21221434 208179200 40797 4294967295 134512640 135987407 3221224544 3221223116 134801599 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50825 40797 364 364 0 50461 0
[pid=7909] vsize: 203300
Current children cumulated CPU time (s) 633.09
Current children cumulated vsize (Kb) 203300

[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 86005 0 0 0 63726 569 0 0 25 0 1 0 21221434 208179200 40815 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50825 40815 364 364 0 50461 0
[pid=7909] vsize: 203300
Current children cumulated CPU time (s) 642.95
Current children cumulated vsize (Kb) 203300

[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 86915 0 0 0 64707 577 0 0 25 0 1 0 21221434 208179200 40826 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50825 40826 364 364 0 50461 0
[pid=7909] vsize: 203300
Current children cumulated CPU time (s) 652.84
Current children cumulated vsize (Kb) 203300

[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 86967 0 0 0 65686 584 0 0 25 0 1 0 21221434 208310272 40845 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50857 40845 364 364 0 50493 0
[pid=7909] vsize: 203428
Current children cumulated CPU time (s) 662.7
Current children cumulated vsize (Kb) 203428

[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 87032 0 0 0 66654 595 0 0 25 0 1 0 21221434 208609280 40910 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7909/statm): 50930 40910 364 364 0 50566 0
[pid=7909] vsize: 203720
Current children cumulated CPU time (s) 672.49
Current children cumulated vsize (Kb) 203720

[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 87975 0 0 0 67630 604 0 0 25 0 1 0 21221434 208773120 40954 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 50970 40954 364 364 0 50606 0
[pid=7909] vsize: 203880
Current children cumulated CPU time (s) 682.34
Current children cumulated vsize (Kb) 203880

[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 88001 0 0 0 68600 615 0 0 25 0 1 0 21221434 208936960 40980 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51010 40980 364 364 0 50646 0
[pid=7909] vsize: 204040
Current children cumulated CPU time (s) 692.15
Current children cumulated vsize (Kb) 204040

[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 88911 0 0 0 69581 623 0 0 25 0 1 0 21221434 208936960 40991 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51010 40991 364 364 0 50646 0
[pid=7909] vsize: 204040
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (Kb) 204040

[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 89009 0 0 0 70553 633 0 0 25 0 1 0 21221434 209334272 41056 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51107 41056 364 364 0 50743 0
[pid=7909] vsize: 204428
Current children cumulated CPU time (s) 711.86
Current children cumulated vsize (Kb) 204428

[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 89943 0 0 0 71532 641 0 0 25 0 1 0 21221434 209473536 41091 4294967295 134512640 135987407 3221224544 3221223316 134812413 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51141 41091 364 364 0 50777 0
[pid=7909] vsize: 204564
Current children cumulated CPU time (s) 721.73
Current children cumulated vsize (Kb) 204564

[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 89971 0 0 0 72502 652 0 0 25 0 1 0 21221434 209612800 41119 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51175 41119 364 364 0 50811 0
[pid=7909] vsize: 204700
Current children cumulated CPU time (s) 731.54
Current children cumulated vsize (Kb) 204700

[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 89973 0 0 0 73473 661 0 0 25 0 1 0 21221434 209612800 41121 4294967295 134512640 135987407 3221224544 3221223264 134814418 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51175 41121 364 364 0 50811 0
[pid=7909] vsize: 204700
Current children cumulated CPU time (s) 741.34
Current children cumulated vsize (Kb) 204700

[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 90922 0 0 0 74447 671 0 0 25 0 1 0 21221434 209747968 41171 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51208 41171 364 364 0 50844 0
[pid=7909] vsize: 204832
Current children cumulated CPU time (s) 751.18
Current children cumulated vsize (Kb) 204832

[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 90925 0 0 0 75433 676 0 0 25 0 1 0 21221434 209747968 41174 4294967295 134512640 135987407 3221224544 3221223136 134850871 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51208 41174 364 364 0 50844 0
[pid=7909] vsize: 204832
Current children cumulated CPU time (s) 761.09
Current children cumulated vsize (Kb) 204832

[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 91888 0 0 0 76403 688 0 0 25 0 1 0 21221434 210153472 41238 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51307 41238 364 364 0 50943 0
[pid=7909] vsize: 205228
Current children cumulated CPU time (s) 770.91
Current children cumulated vsize (Kb) 205228

[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 91892 0 0 0 77374 697 0 0 25 0 1 0 21221434 210153472 41242 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51307 41242 364 364 0 50943 0
[pid=7909] vsize: 205228
Current children cumulated CPU time (s) 780.71
Current children cumulated vsize (Kb) 205228

[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 92802 0 0 0 78348 707 0 0 25 0 1 0 21221434 210153472 41253 4294967295 134512640 135987407 3221224544 3221223104 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51307 41253 364 364 0 50943 0
[pid=7909] vsize: 205228
Current children cumulated CPU time (s) 790.55
Current children cumulated vsize (Kb) 205228

[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 92824 0 0 0 79320 717 0 0 25 0 1 0 21221434 210153472 41275 4294967295 134512640 135987407 3221224544 3221223232 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51307 41275 364 364 0 50943 0
[pid=7909] vsize: 205228
Current children cumulated CPU time (s) 800.37
Current children cumulated vsize (Kb) 205228

[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 93748 0 0 0 80298 726 0 0 25 0 1 0 21221434 210288640 41300 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51340 41300 364 364 0 50976 0
[pid=7909] vsize: 205360
Current children cumulated CPU time (s) 810.24
Current children cumulated vsize (Kb) 205360

[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 93780 0 0 0 81264 738 0 0 25 0 1 0 21221434 210436096 41332 4294967295 134512640 135987407 3221224544 3221223232 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51376 41332 364 364 0 51012 0
[pid=7909] vsize: 205504
Current children cumulated CPU time (s) 820.02
Current children cumulated vsize (Kb) 205504

[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 94681 0 0 0 82237 749 0 0 25 0 1 0 21221434 210436096 41334 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51376 41334 364 364 0 51012 0
[pid=7909] vsize: 205504
Current children cumulated CPU time (s) 829.86
Current children cumulated vsize (Kb) 205504

[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 94729 0 0 0 83206 760 0 0 25 0 1 0 21221434 210755584 41382 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51454 41382 364 364 0 51090 0
[pid=7909] vsize: 205816
Current children cumulated CPU time (s) 839.66
Current children cumulated vsize (Kb) 205816

[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 95630 0 0 0 84176 772 0 0 25 0 1 0 21221434 210755584 41384 4294967295 134512640 135987407 3221224544 3221223104 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51454 41384 364 364 0 51090 0
[pid=7909] vsize: 205816
Current children cumulated CPU time (s) 849.48
Current children cumulated vsize (Kb) 205816

[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 95643 0 0 0 85149 780 0 0 25 0 1 0 21221434 210755584 41397 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51454 41397 364 364 0 51090 0
[pid=7909] vsize: 205816
Current children cumulated CPU time (s) 859.29
Current children cumulated vsize (Kb) 205816

[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 96545 0 0 0 86128 788 0 0 25 0 1 0 21221434 210755584 41400 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51454 41400 364 364 0 51090 0
[pid=7909] vsize: 205816
Current children cumulated CPU time (s) 869.16
Current children cumulated vsize (Kb) 205816

[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 96600 0 0 0 87104 796 0 0 25 0 1 0 21221434 210886656 41422 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51486 41422 364 364 0 51122 0
[pid=7909] vsize: 205944
Current children cumulated CPU time (s) 879
Current children cumulated vsize (Kb) 205944

[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 97506 0 0 0 88083 804 0 0 25 0 1 0 21221434 210886656 41429 4294967295 134512640 135987407 3221224544 3221223304 134812118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51486 41429 364 364 0 51122 0
[pid=7909] vsize: 205944
Current children cumulated CPU time (s) 888.87
Current children cumulated vsize (Kb) 205944

[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 97537 0 0 0 89055 812 0 0 25 0 1 0 21221434 211021824 41460 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51519 41460 364 364 0 51155 0
[pid=7909] vsize: 206076
Current children cumulated CPU time (s) 898.67
Current children cumulated vsize (Kb) 206076

[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 98449 0 0 0 90026 824 0 0 25 0 1 0 21221434 214872064 42372 4294967295 134512640 135987407 3221224544 3221222908 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 52459 42372 364 364 0 52095 0
[pid=7909] vsize: 209836
Current children cumulated CPU time (s) 908.5
Current children cumulated vsize (Kb) 209836

[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 98516 0 0 0 91003 833 0 0 25 0 1 0 21221434 211320832 41507 4294967295 134512640 135987407 3221224544 3221223232 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51592 41507 364 364 0 51228 0
[pid=7909] vsize: 206368
Current children cumulated CPU time (s) 918.36
Current children cumulated vsize (Kb) 206368

[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) T 7908 7909 4060 0 -1 0 98566 0 0 0 91976 841 0 0 25 0 1 0 21221434 211451904 41524 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51624 41524 364 364 0 51260 0
[pid=7909] vsize: 206496
Current children cumulated CPU time (s) 928.17
Current children cumulated vsize (Kb) 206496

[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 99502 0 0 0 92950 852 0 0 25 0 1 0 21221434 211587072 41561 4294967295 134512640 135987407 3221224544 3221223232 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51657 41561 364 364 0 51293 0
[pid=7909] vsize: 206628
Current children cumulated CPU time (s) 938.02
Current children cumulated vsize (Kb) 206628

[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 99504 0 0 0 93925 859 0 0 25 0 1 0 21221434 211587072 41563 4294967295 134512640 135987407 3221224544 3221223120 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51657 41563 364 364 0 51293 0
[pid=7909] vsize: 206628
Current children cumulated CPU time (s) 947.84
Current children cumulated vsize (Kb) 206628

[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 100411 0 0 0 94896 871 0 0 25 0 1 0 21221434 211587072 41571 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51657 41571 364 364 0 51293 0
[pid=7909] vsize: 206628
Current children cumulated CPU time (s) 957.67
Current children cumulated vsize (Kb) 206628

[startup+980.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 100420 0 0 0 95868 879 0 0 25 0 1 0 21221434 211587072 41580 4294967295 134512640 135987407 3221224544 3221223232 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51657 41580 364 364 0 51293 0
[pid=7909] vsize: 206628
Current children cumulated CPU time (s) 967.47
Current children cumulated vsize (Kb) 206628

[startup+990.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 101323 0 0 0 96843 889 0 0 25 0 1 0 21221434 211587072 41584 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51657 41584 364 364 0 51293 0
[pid=7909] vsize: 206628
Current children cumulated CPU time (s) 977.32
Current children cumulated vsize (Kb) 206628

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 101362 0 0 0 97812 899 0 0 25 0 1 0 21221434 211865600 41623 4294967295 134512640 135987407 3221224544 3221223232 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51725 41623 364 364 0 51361 0
[pid=7909] vsize: 206900
Current children cumulated CPU time (s) 987.11
Current children cumulated vsize (Kb) 206900

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 102263 0 0 0 98786 909 0 0 25 0 1 0 21221434 211865600 41625 4294967295 134512640 135987407 3221224544 3221223232 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51725 41625 364 364 0 51361 0
[pid=7909] vsize: 206900
Current children cumulated CPU time (s) 996.95
Current children cumulated vsize (Kb) 206900

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 102264 0 0 0 99768 916 0 0 25 0 1 0 21221434 211865600 41626 4294967295 134512640 135987407 3221224544 3221223148 134775390 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51725 41626 364 364 0 51361 0
[pid=7909] vsize: 206900
Current children cumulated CPU time (s) 1006.84
Current children cumulated vsize (Kb) 206900

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 102268 0 0 0 100742 925 0 0 25 0 1 0 21221434 211865600 41630 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51725 41630 364 364 0 51361 0
[pid=7909] vsize: 206900
Current children cumulated CPU time (s) 1016.67
Current children cumulated vsize (Kb) 206900

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 102320 0 0 0 101712 935 0 0 25 0 1 0 21221434 211996672 41649 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51757 41649 364 364 0 51393 0
[pid=7909] vsize: 207028
Current children cumulated CPU time (s) 1026.47
Current children cumulated vsize (Kb) 207028

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 102366 0 0 0 102684 946 0 0 25 0 1 0 21221434 212193280 41695 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51805 41695 364 364 0 51441 0
[pid=7909] vsize: 207220
Current children cumulated CPU time (s) 1036.3
Current children cumulated vsize (Kb) 207220

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 103314 0 0 0 103668 953 0 0 25 0 1 0 21221434 212324352 41711 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51837 41711 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1046.21
Current children cumulated vsize (Kb) 207348

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 103327 0 0 0 104645 962 0 0 25 0 1 0 21221434 212324352 41724 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51837 41724 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1056.07
Current children cumulated vsize (Kb) 207348

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 104241 0 0 0 105630 969 0 0 25 0 1 0 21221434 212324352 41739 4294967295 134512640 135987407 3221224544 3221223232 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51837 41739 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1065.99
Current children cumulated vsize (Kb) 207348

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 104262 0 0 0 106608 975 0 0 25 0 1 0 21221434 212324352 41760 4294967295 134512640 135987407 3221224544 3221223232 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51837 41760 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1075.83
Current children cumulated vsize (Kb) 207348

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 105190 0 0 0 107590 983 0 0 25 0 1 0 21221434 212324352 41789 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51837 41789 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1085.73
Current children cumulated vsize (Kb) 207348

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 105207 0 0 0 108566 992 0 0 25 0 1 0 21221434 212324352 41806 4294967295 134512640 135987407 3221224544 3221223392 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51837 41806 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1095.58
Current children cumulated vsize (Kb) 207348

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 105220 0 0 0 109542 1000 0 0 25 0 1 0 21221434 212324352 41819 4294967295 134512640 135987407 3221224544 3221223292 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51837 41819 364 364 0 51473 0
[pid=7909] vsize: 207348
Current children cumulated CPU time (s) 1105.42
Current children cumulated vsize (Kb) 207348

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 106164 0 0 0 110517 1010 0 0 25 0 1 0 21221434 212520960 41864 4294967295 134512640 135987407 3221224544 3221223328 134812293 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51885 41864 364 364 0 51521 0
[pid=7909] vsize: 207540
Current children cumulated CPU time (s) 1115.27
Current children cumulated vsize (Kb) 207540

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 106206 0 0 0 111493 1017 0 0 25 0 1 0 21221434 212684800 41906 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51925 41906 364 364 0 51561 0
[pid=7909] vsize: 207700
Current children cumulated CPU time (s) 1125.1
Current children cumulated vsize (Kb) 207700

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 107128 0 0 0 112467 1027 0 0 25 0 1 0 21221434 212684800 41929 4294967295 134512640 135987407 3221224544 3221223104 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51925 41929 364 364 0 51561 0
[pid=7909] vsize: 207700
Current children cumulated CPU time (s) 1134.94
Current children cumulated vsize (Kb) 207700

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 107158 0 0 0 113441 1037 0 0 25 0 1 0 21221434 212819968 41959 4294967295 134512640 135987407 3221224544 3221223232 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51958 41959 364 364 0 51594 0
[pid=7909] vsize: 207832
Current children cumulated CPU time (s) 1144.78
Current children cumulated vsize (Kb) 207832

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 107179 0 0 0 114410 1048 0 0 25 0 1 0 21221434 212819968 41980 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7909/statm): 51958 41980 364 364 0 51594 0
[pid=7909] vsize: 207832
Current children cumulated CPU time (s) 1154.58
Current children cumulated vsize (Kb) 207832

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 107242 0 0 0 115390 1055 0 0 25 0 1 0 21221434 212951040 42010 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51990 42010 364 364 0 51626 0
[pid=7909] vsize: 207960
Current children cumulated CPU time (s) 1164.45
Current children cumulated vsize (Kb) 207960

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 107252 0 0 0 116363 1064 0 0 25 0 1 0 21221434 212951040 42020 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 51990 42020 364 364 0 51626 0
[pid=7909] vsize: 207960
Current children cumulated CPU time (s) 1174.27
Current children cumulated vsize (Kb) 207960

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 107299 0 0 0 117338 1072 0 0 25 0 1 0 21221434 213082112 42034 4294967295 134512640 135987407 3221224544 3221223264 134814269 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 52022 42034 364 364 0 51658 0
[pid=7909] vsize: 208088
Current children cumulated CPU time (s) 1184.1
Current children cumulated vsize (Kb) 208088

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 108290 0 0 0 118317 1081 0 0 25 0 1 0 21221434 213479424 42093 4294967295 134512640 135987407 3221224544 3221223232 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 52119 42093 364 364 0 51755 0
[pid=7909] vsize: 208476
Current children cumulated CPU time (s) 1193.98
Current children cumulated vsize (Kb) 208476

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 108329 0 0 0 119290 1089 0 0 25 0 1 0 21221434 213610496 42099 4294967295 134512640 135987407 3221224544 3221223232 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 52151 42099 364 364 0 51787 0
[pid=7909] vsize: 208604
Current children cumulated CPU time (s) 1203.79
Current children cumulated vsize (Kb) 208604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7909
Raw data (/proc/7909/stat): 7909 (pb2sat) R 7908 7909 4060 0 -1 0 108329 0 0 0 119290 1089 0 0 25 0 1 0 21221434 213610496 42099 4294967295 134512640 135987407 3221224544 3221223232 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7909/statm): 52151 42099 364 364 0 51787 0
[pid=7909] vsize: 208604
Current children cumulated CPU time (s) 1203.79
Current children cumulated vsize (Kb) 208604

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

Child status: 0
Real time (s): 1220.86
CPU time (s): 1204.59
CPU user time (s): 1193.61
CPU system time (s): 10.9793
CPU usage (%): 98.6673
Max. virtual memory (cumulated for all children) (Kb): 209836

Verifier Data

ERROR: no interpretation found !