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.LsqHdStrong.ucl.opb
MD5SUMdcb6d1c3f66e900ae345e6fa455bef2a
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 variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 9807

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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:        907276 kB
Buffers:         18556 kB
Cached:          89564 kB
SwapCached:          0 kB
Active:          58160 kB
Inactive:        52876 kB
HighTotal:      131008 kB
HighFree:        37576 kB
LowTotal:       903652 kB
LowFree:        869700 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10776 kB
Committed_AS:    63664 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:40:23 (client local time) WITH STATUS 0 IN 1207.6 SECONDS
stats: 8528 7 1207.6 0

Solver Data

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

c Decision: 22516/538461	Time: 20.8238/86400
c Decision: 23472/538461	Time: 61.0257/86400
c Decision: 23503/538461	Time: 126.111/86400
c Decision: 23505/538461	Time: 150.099/86400
c Decision: 23505/538461	Time: 172.521/86400
c Decision: 23505/538461	Time: 195.29/86400
c Decision: 23809/538461	Time: 221.565/86400
c Decision: 23811/538461	Time: 255.11/86400
c Decision: 23854/538461	Time: 306.351/86400
c Decision: 23854/538461	Time: 325.612/86400
c Decision: 23854/538461	Time: 351.768/86400
c Decision: 23854/538461	Time: 374.252/86400
c Decision: 23854/538461	Time: 398.249/86400
c Decision: 23889/538461	Time: 440.748/86400
c Decision: 23889/538461	Time: 467.076/86400
c Decision: 23889/538461	Time: 494.048/86400
c Decision: 23895/538461	Time: 548.985/86400
c Decision: 23895/538461	Time: 582.066/86400
c Decision: 23918/538461	Time: 637.058/86400
c Decision: 27724/538461	Time: 677.871/86400
c Decision: 27783/538461	Time: 786.472/86400
c Decision: 28034/538461	Time: 866.522/86400
c Decision: 28034/538461	Time: 896.735/86400
c Decision: 28044/538461	Time: 1020/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/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21176994 1527808 2 4294967295 134512640 135987407 3221224544 3221224544 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 373 2 364 364 0 9 0
[pid=7741] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb

[startup+10.0023 s]
Raw data (loadavg): 0.92 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 5511 0 0 0 979 17 0 0 25 0 1 0 21176994 19439616 3576 4294967295 134512640 135987407 3221224544 3221221888 134612797 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 4746 3576 364 364 0 4382 0
[pid=7741] vsize: 18984
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 18984

[startup+20.0022 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 10748 0 0 0 1962 33 0 0 25 0 1 0 21176994 36700160 6795 4294967295 134512640 135987407 3221224544 3221221704 134538129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 8960 6795 364 364 0 8596 0
[pid=7741] vsize: 35840
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 35840

[startup+30.0032 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 14906 0 0 0 2946 47 0 0 25 0 1 0 21176994 47722496 9383 4294967295 134512640 135987407 3221224544 3221221984 134614937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 11651 9383 364 364 0 11287 0
[pid=7741] vsize: 46604
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 46604

[startup+40.0031 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 21132 0 0 0 3928 63 0 0 25 0 1 0 21176994 71221248 13145 4294967295 134512640 135987407 3221224544 3221221696 134878743 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 17388 13145 364 364 0 17024 0
[pid=7741] vsize: 69552
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 69552

[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 23658 0 0 0 4917 73 0 0 25 0 1 0 21176994 75681792 15640 4294967295 134512640 135987407 3221224544 3221221936 134616282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 18477 15640 364 364 0 18113 0
[pid=7741] vsize: 73908
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 73908

[startup+60.004 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 43789 0 0 0 5869 120 0 0 25 0 1 0 21176994 129994752 27657 4294967295 134512640 135987407 3221224544 3221221848 134639648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 31737 27657 364 364 0 31373 0
[pid=7741] vsize: 126948
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 126948

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 68024 0 0 0 6811 175 0 0 25 0 1 0 21176994 260546560 45286 4294967295 134512640 135987407 3221224544 3221219292 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 63610 45288 364 364 0 63246 0
[pid=7741] vsize: 254440
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 254440

[startup+80.0058 s]
Raw data (loadavg): 0.97 0.96 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 79786 0 0 0 7764 206 0 0 25 0 1 0 21176994 249847808 46471 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 60998 46471 364 364 0 60634 0
[pid=7741] vsize: 243992
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 243992

[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 80592 0 0 0 8741 215 0 0 25 0 1 0 21176994 253546496 47211 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 61901 47211 364 364 0 61537 0
[pid=7741] vsize: 247604
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (Kb) 247604

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 81048 0 0 0 9724 222 0 0 25 0 1 0 21176994 255647744 47667 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 62414 47667 364 364 0 62050 0
[pid=7741] vsize: 249656
Current children cumulated CPU time (s) 99.46
Current children cumulated vsize (Kb) 249656

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 82255 0 0 0 10705 229 0 0 25 0 1 0 21176994 261128192 48661 4294967295 134512640 135987407 3221224544 3221223232 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 63752 48661 364 364 0 63388 0
[pid=7741] vsize: 255008
Current children cumulated CPU time (s) 109.34
Current children cumulated vsize (Kb) 255008

[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 83292 0 0 0 11687 236 0 0 25 0 1 0 21176994 265551872 49467 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 64832 49467 364 364 0 64468 0
[pid=7741] vsize: 259328
Current children cumulated CPU time (s) 119.23
Current children cumulated vsize (Kb) 259328

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 84087 0 0 0 12659 244 0 0 25 0 1 0 21176994 269168640 50097 4294967295 134512640 135987407 3221224544 3221223232 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 65715 50097 364 364 0 65351 0
[pid=7741] vsize: 262860
Current children cumulated CPU time (s) 129.03
Current children cumulated vsize (Kb) 262860

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 85968 0 0 0 13634 255 0 0 25 0 1 0 21176994 272453632 50638 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 66517 50638 364 364 0 66153 0
[pid=7741] vsize: 266068
Current children cumulated CPU time (s) 138.89
Current children cumulated vsize (Kb) 266068

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 86427 0 0 0 14611 265 0 0 25 0 1 0 21176994 274059264 50965 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 66909 50965 364 364 0 66545 0
[pid=7741] vsize: 267636
Current children cumulated CPU time (s) 148.76
Current children cumulated vsize (Kb) 267636

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 86927 0 0 0 15590 272 0 0 25 0 1 0 21176994 275775488 51201 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 67328 51201 364 364 0 66964 0
[pid=7741] vsize: 269312
Current children cumulated CPU time (s) 158.62
Current children cumulated vsize (Kb) 269312

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 87267 0 0 0 16574 277 0 0 25 0 1 0 21176994 277110784 51442 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 67654 51442 364 364 0 67290 0
[pid=7741] vsize: 270616
Current children cumulated CPU time (s) 168.51
Current children cumulated vsize (Kb) 270616

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 87633 0 0 0 17558 283 0 0 25 0 1 0 21176994 278446080 51709 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 67980 51709 364 364 0 67616 0
[pid=7741] vsize: 271920
Current children cumulated CPU time (s) 178.41
Current children cumulated vsize (Kb) 271920

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 87842 0 0 0 18542 289 0 0 25 0 1 0 21176994 279375872 51852 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 68207 51852 364 364 0 67843 0
[pid=7741] vsize: 272828
Current children cumulated CPU time (s) 188.31
Current children cumulated vsize (Kb) 272828

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 89055 0 0 0 19523 297 0 0 25 0 1 0 21176994 280039424 51980 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 68369 51980 364 364 0 68005 0
[pid=7741] vsize: 273476
Current children cumulated CPU time (s) 198.2
Current children cumulated vsize (Kb) 273476

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 89406 0 0 0 20503 304 0 0 25 0 1 0 21176994 281784320 52331 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 68795 52331 364 364 0 68431 0
[pid=7741] vsize: 275180
Current children cumulated CPU time (s) 208.07
Current children cumulated vsize (Kb) 275180

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 89656 0 0 0 21482 312 0 0 25 0 1 0 21176994 282996736 52548 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 69091 52548 364 364 0 68727 0
[pid=7741] vsize: 276364
Current children cumulated CPU time (s) 217.94
Current children cumulated vsize (Kb) 276364

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 90739 0 0 0 22462 321 0 0 25 0 1 0 21176994 283131904 52579 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 69124 52579 364 364 0 68760 0
[pid=7741] vsize: 276496
Current children cumulated CPU time (s) 227.83
Current children cumulated vsize (Kb) 276496

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 90849 0 0 0 23441 329 0 0 25 0 1 0 21176994 283529216 52623 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 69221 52623 364 364 0 68857 0
[pid=7741] vsize: 276884
Current children cumulated CPU time (s) 237.7
Current children cumulated vsize (Kb) 276884

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 92096 0 0 0 24424 337 0 0 25 0 1 0 21176994 284061696 52752 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 69351 52752 364 364 0 68987 0
[pid=7741] vsize: 277404
Current children cumulated CPU time (s) 247.61
Current children cumulated vsize (Kb) 277404

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 92493 0 0 0 25399 347 0 0 25 0 1 0 21176994 285249536 52918 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 69641 52918 364 364 0 69277 0
[pid=7741] vsize: 278564
Current children cumulated CPU time (s) 257.46
Current children cumulated vsize (Kb) 278564

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 93572 0 0 0 26385 353 0 0 25 0 1 0 21176994 285249536 52945 4294967295 134512640 135987407 3221224544 3221223232 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 69641 52945 364 364 0 69277 0
[pid=7741] vsize: 278564
Current children cumulated CPU time (s) 267.38
Current children cumulated vsize (Kb) 278564

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 93962 0 0 0 27363 361 0 0 25 0 1 0 21176994 286986240 53236 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70065 53236 364 364 0 69701 0
[pid=7741] vsize: 280260
Current children cumulated CPU time (s) 277.24
Current children cumulated vsize (Kb) 280260

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 93975 0 0 0 28344 368 0 0 25 0 1 0 21176994 286986240 53249 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70065 53249 364 364 0 69701 0
[pid=7741] vsize: 280260
Current children cumulated CPU time (s) 287.12
Current children cumulated vsize (Kb) 280260

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 95092 0 0 0 29320 379 0 0 25 0 1 0 21176994 287117312 53281 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70097 53281 364 364 0 69733 0
[pid=7741] vsize: 280388
Current children cumulated CPU time (s) 296.99
Current children cumulated vsize (Kb) 280388

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 95320 0 0 0 30303 386 0 0 25 0 1 0 21176994 287916032 53410 4294967295 134512640 135987407 3221224544 3221223232 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70292 53410 364 364 0 69928 0
[pid=7741] vsize: 281168
Current children cumulated CPU time (s) 306.89
Current children cumulated vsize (Kb) 281168

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 95531 0 0 0 31277 395 0 0 25 0 1 0 21176994 288579584 53555 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70454 53555 364 364 0 70090 0
[pid=7741] vsize: 281816
Current children cumulated CPU time (s) 316.72
Current children cumulated vsize (Kb) 281816

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 97015 0 0 0 32259 404 0 0 25 0 1 0 21176994 289898496 53789 4294967295 134512640 135987407 3221224544 3221223312 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70776 53789 364 364 0 70412 0
[pid=7741] vsize: 283104
Current children cumulated CPU time (s) 326.63
Current children cumulated vsize (Kb) 283104

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 97118 0 0 0 33244 410 0 0 25 0 1 0 21176994 290295808 53859 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 70873 53859 364 364 0 70509 0
[pid=7741] vsize: 283492
Current children cumulated CPU time (s) 336.54
Current children cumulated vsize (Kb) 283492

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 97286 0 0 0 34231 414 0 0 25 0 1 0 21176994 290824192 53961 4294967295 134512640 135987407 3221224544 3221223392 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71002 53961 364 364 0 70638 0
[pid=7741] vsize: 284008
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 284008

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 97387 0 0 0 35213 420 0 0 25 0 1 0 21176994 291221504 54029 4294967295 134512640 135987407 3221224544 3221223232 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71099 54029 364 364 0 70735 0
[pid=7741] vsize: 284396
Current children cumulated CPU time (s) 356.33
Current children cumulated vsize (Kb) 284396

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 97600 0 0 0 36194 427 0 0 25 0 1 0 21176994 291880960 54143 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71260 54143 364 364 0 70896 0
[pid=7741] vsize: 285040
Current children cumulated CPU time (s) 366.21
Current children cumulated vsize (Kb) 285040

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 97781 0 0 0 37179 433 0 0 25 0 1 0 21176994 292675584 54258 4294967295 134512640 135987407 3221224544 3221223264 134814275 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71454 54258 364 364 0 71090 0
[pid=7741] vsize: 285816
Current children cumulated CPU time (s) 376.12
Current children cumulated vsize (Kb) 285816

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 98959 0 0 0 38161 441 0 0 25 0 1 0 21176994 293203968 54318 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71583 54318 364 364 0 71219 0
[pid=7741] vsize: 286332
Current children cumulated CPU time (s) 386.02
Current children cumulated vsize (Kb) 286332

[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 100107 0 0 0 39147 448 0 0 25 0 1 0 21176994 297910272 55433 4294967295 134512640 135987407 3221224544 3221222960 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72732 55433 364 364 0 72368 0
[pid=7741] vsize: 290928
Current children cumulated CPU time (s) 395.95
Current children cumulated vsize (Kb) 290928

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 100202 0 0 0 40130 455 0 0 25 0 1 0 21176994 293863424 54410 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71744 54410 364 364 0 71380 0
[pid=7741] vsize: 286976
Current children cumulated CPU time (s) 405.85
Current children cumulated vsize (Kb) 286976

[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 100243 0 0 0 41112 461 0 0 25 0 1 0 21176994 293994496 54418 4294967295 134512640 135987407 3221224544 3221223232 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71776 54418 364 364 0 71412 0
[pid=7741] vsize: 287104
Current children cumulated CPU time (s) 415.73
Current children cumulated vsize (Kb) 287104

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 101394 0 0 0 42101 467 0 0 25 0 1 0 21176994 294125568 54484 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71808 54484 364 364 0 71444 0
[pid=7741] vsize: 287232
Current children cumulated CPU time (s) 425.68
Current children cumulated vsize (Kb) 287232

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 101476 0 0 0 43065 479 0 0 25 0 1 0 21176994 294658048 54566 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 71938 54566 364 364 0 71574 0
[pid=7741] vsize: 287752
Current children cumulated CPU time (s) 435.44
Current children cumulated vsize (Kb) 287752

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 102531 0 0 0 44035 490 0 0 25 0 1 0 21176994 298967040 55621 4294967295 134512640 135987407 3221224544 3221222904 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72990 55621 364 364 0 72626 0
[pid=7741] vsize: 291960
Current children cumulated CPU time (s) 445.25
Current children cumulated vsize (Kb) 291960

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 102572 0 0 0 45015 497 0 0 25 0 1 0 21176994 294924288 54610 4294967295 134512640 135987407 3221224544 3221223232 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72003 54610 364 364 0 71639 0
[pid=7741] vsize: 288012
Current children cumulated CPU time (s) 455.12
Current children cumulated vsize (Kb) 288012

[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 102580 0 0 0 45992 505 0 0 25 0 1 0 21176994 294924288 54618 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72003 54618 364 364 0 71639 0
[pid=7741] vsize: 288012
Current children cumulated CPU time (s) 464.97
Current children cumulated vsize (Kb) 288012

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 103715 0 0 0 46979 511 0 0 25 0 1 0 21176994 295055360 54668 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72035 54668 364 364 0 71671 0
[pid=7741] vsize: 288140
Current children cumulated CPU time (s) 474.9
Current children cumulated vsize (Kb) 288140

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 103938 0 0 0 47961 518 0 0 25 0 1 0 21176994 295989248 54825 4294967295 134512640 135987407 3221224544 3221223328 134812301 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72263 54825 364 364 0 71899 0
[pid=7741] vsize: 289052
Current children cumulated CPU time (s) 484.79
Current children cumulated vsize (Kb) 289052

[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 103992 0 0 0 48944 525 0 0 25 0 1 0 21176994 296255488 54879 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72328 54879 364 364 0 71964 0
[pid=7741] vsize: 289312
Current children cumulated CPU time (s) 494.69
Current children cumulated vsize (Kb) 289312

[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 104021 0 0 0 49922 533 0 0 25 0 1 0 21176994 296255488 54908 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72328 54908 364 364 0 71964 0
[pid=7741] vsize: 289312
Current children cumulated CPU time (s) 504.55
Current children cumulated vsize (Kb) 289312

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 105121 0 0 0 50904 541 0 0 25 0 1 0 21176994 296386560 54923 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72360 54923 364 364 0 71996 0
[pid=7741] vsize: 289440
Current children cumulated CPU time (s) 514.45
Current children cumulated vsize (Kb) 289440

[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 105233 0 0 0 51884 548 0 0 25 0 1 0 21176994 296648704 54969 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72424 54969 364 364 0 72060 0
[pid=7741] vsize: 289696
Current children cumulated CPU time (s) 524.32
Current children cumulated vsize (Kb) 289696

[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 105280 0 0 0 52860 556 0 0 25 0 1 0 21176994 296779776 54983 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72456 54983 364 364 0 72092 0
[pid=7741] vsize: 289824
Current children cumulated CPU time (s) 534.16
Current children cumulated vsize (Kb) 289824

[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 106379 0 0 0 53843 564 0 0 25 0 1 0 21176994 297046016 55030 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72521 55030 364 364 0 72157 0
[pid=7741] vsize: 290084
Current children cumulated CPU time (s) 544.07
Current children cumulated vsize (Kb) 290084

[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 106395 0 0 0 54821 570 0 0 25 0 1 0 21176994 297046016 55046 4294967295 134512640 135987407 3221224544 3221223104 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72521 55046 364 364 0 72157 0
[pid=7741] vsize: 290084
Current children cumulated CPU time (s) 553.91
Current children cumulated vsize (Kb) 290084

[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 107459 0 0 0 55805 578 0 0 25 0 1 0 21176994 301355008 56110 4294967295 134512640 135987407 3221224544 3221222928 134829345 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73573 56110 364 364 0 73209 0
[pid=7741] vsize: 294292
Current children cumulated CPU time (s) 563.83
Current children cumulated vsize (Kb) 294292

[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 107587 0 0 0 56787 584 0 0 25 0 1 0 21176994 297439232 55088 4294967295 134512640 135987407 3221224544 3221223360 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72617 55088 364 364 0 72253 0
[pid=7741] vsize: 290468
Current children cumulated CPU time (s) 573.71
Current children cumulated vsize (Kb) 290468

[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 107710 0 0 0 57764 592 0 0 25 0 1 0 21176994 297701376 55146 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72681 55146 364 364 0 72317 0
[pid=7741] vsize: 290724
Current children cumulated CPU time (s) 583.56
Current children cumulated vsize (Kb) 290724

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 107825 0 0 0 58742 601 0 0 25 0 1 0 21176994 297963520 55196 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72745 55196 364 364 0 72381 0
[pid=7741] vsize: 290980
Current children cumulated CPU time (s) 593.43
Current children cumulated vsize (Kb) 290980

[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 107881 0 0 0 59725 607 0 0 25 0 1 0 21176994 298094592 55219 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72777 55219 364 364 0 72413 0
[pid=7741] vsize: 291108
Current children cumulated CPU time (s) 603.32
Current children cumulated vsize (Kb) 291108

[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 107967 0 0 0 60702 614 0 0 25 0 1 0 21176994 298627072 55305 4294967295 134512640 135987407 3221224544 3221223104 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72907 55305 364 364 0 72543 0
[pid=7741] vsize: 291628
Current children cumulated CPU time (s) 613.16
Current children cumulated vsize (Kb) 291628

[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 109037 0 0 0 61686 620 0 0 25 0 1 0 21176994 298627072 55323 4294967295 134512640 135987407 3221224544 3221223408 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 72907 55323 364 364 0 72543 0
[pid=7741] vsize: 291628
Current children cumulated CPU time (s) 623.06
Current children cumulated vsize (Kb) 291628

[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 109110 0 0 0 62669 626 0 0 25 0 1 0 21176994 298758144 55363 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72939 55363 364 364 0 72575 0
[pid=7741] vsize: 291756
Current children cumulated CPU time (s) 632.95
Current children cumulated vsize (Kb) 291756

[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 109131 0 0 0 63653 632 0 0 25 0 1 0 21176994 298758144 55384 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 72939 55384 364 364 0 72575 0
[pid=7741] vsize: 291756
Current children cumulated CPU time (s) 642.85
Current children cumulated vsize (Kb) 291756

[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 110224 0 0 0 64635 639 0 0 25 0 1 0 21176994 303198208 56444 4294967295 134512640 135987407 3221224544 3221222904 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 74023 56444 364 364 0 73659 0
[pid=7741] vsize: 296092
Current children cumulated CPU time (s) 652.74
Current children cumulated vsize (Kb) 296092

[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 110269 0 0 0 65617 646 0 0 25 0 1 0 21176994 299020288 55404 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55404 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 662.63
Current children cumulated vsize (Kb) 292012

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 110288 0 0 0 66598 653 0 0 25 0 1 0 21176994 299020288 55423 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55423 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 672.51
Current children cumulated vsize (Kb) 292012

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 110298 0 0 0 67578 660 0 0 25 0 1 0 21176994 299020288 55433 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55433 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 682.38
Current children cumulated vsize (Kb) 292012

[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 110305 0 0 0 68560 668 0 0 25 0 1 0 21176994 299020288 55440 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55440 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 692.28
Current children cumulated vsize (Kb) 292012

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 110312 0 0 0 69543 675 0 0 25 0 1 0 21176994 299020288 55447 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55447 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (Kb) 292012

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 111398 0 0 0 70525 683 0 0 25 0 1 0 21176994 299020288 55481 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55481 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 712.08
Current children cumulated vsize (Kb) 292012

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 111411 0 0 0 71508 687 0 0 25 0 1 0 21176994 299020288 55494 4294967295 134512640 135987407 3221224544 3221223232 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55494 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 721.95
Current children cumulated vsize (Kb) 292012

[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 111418 0 0 0 72491 694 0 0 25 0 1 0 21176994 299020288 55501 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55501 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 731.85
Current children cumulated vsize (Kb) 292012

[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 111424 0 0 0 73473 701 0 0 25 0 1 0 21176994 299020288 55507 4294967295 134512640 135987407 3221224544 3221223232 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73003 55507 364 364 0 72639 0
[pid=7741] vsize: 292012
Current children cumulated CPU time (s) 741.74
Current children cumulated vsize (Kb) 292012

[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 112523 0 0 0 74458 708 0 0 25 0 1 0 21176994 299151360 55521 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 73035 55521 364 364 0 72671 0
[pid=7741] vsize: 292140
Current children cumulated CPU time (s) 751.66
Current children cumulated vsize (Kb) 292140

[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 112777 0 0 0 75425 719 0 0 25 0 1 0 21176994 300367872 55742 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73332 55742 364 364 0 72968 0
[pid=7741] vsize: 293328
Current children cumulated CPU time (s) 761.44
Current children cumulated vsize (Kb) 293328

[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 112837 0 0 0 76407 727 0 0 25 0 1 0 21176994 300498944 55769 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73364 55769 364 364 0 73000 0
[pid=7741] vsize: 293456
Current children cumulated CPU time (s) 771.34
Current children cumulated vsize (Kb) 293456

[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 112869 0 0 0 77388 732 0 0 25 0 1 0 21176994 300498944 55801 4294967295 134512640 135987407 3221224544 3221223232 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73364 55801 364 364 0 73000 0
[pid=7741] vsize: 293456
Current children cumulated CPU time (s) 781.2
Current children cumulated vsize (Kb) 293456

[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 112946 0 0 0 78371 738 0 0 25 0 1 0 21176994 300630016 55845 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73396 55845 364 364 0 73032 0
[pid=7741] vsize: 293584
Current children cumulated CPU time (s) 791.09
Current children cumulated vsize (Kb) 293584

[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 112971 0 0 0 79351 744 0 0 25 0 1 0 21176994 300630016 55870 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73396 55870 364 364 0 73032 0
[pid=7741] vsize: 293584
Current children cumulated CPU time (s) 800.95
Current children cumulated vsize (Kb) 293584

[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 113027 0 0 0 80334 750 0 0 25 0 1 0 21176994 300896256 55926 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73461 55926 364 364 0 73097 0
[pid=7741] vsize: 293844
Current children cumulated CPU time (s) 810.84
Current children cumulated vsize (Kb) 293844

[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 113058 0 0 0 81319 756 0 0 25 0 1 0 21176994 300896256 55957 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 73461 55957 364 364 0 73097 0
[pid=7741] vsize: 293844
Current children cumulated CPU time (s) 820.75
Current children cumulated vsize (Kb) 293844

[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 113082 0 0 0 82301 762 0 0 25 0 1 0 21176994 300896256 55981 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73461 55981 364 364 0 73097 0
[pid=7741] vsize: 293844
Current children cumulated CPU time (s) 830.63
Current children cumulated vsize (Kb) 293844

[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 113097 0 0 0 83280 769 0 0 25 0 1 0 21176994 300896256 55996 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73461 55996 364 364 0 73097 0
[pid=7741] vsize: 293844
Current children cumulated CPU time (s) 840.49
Current children cumulated vsize (Kb) 293844

[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 113122 0 0 0 84262 775 0 0 25 0 1 0 21176994 300896256 56021 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73461 56021 364 364 0 73097 0
[pid=7741] vsize: 293844
Current children cumulated CPU time (s) 850.37
Current children cumulated vsize (Kb) 293844

[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114182 0 0 0 85248 781 0 0 25 0 1 0 21176994 300896256 56029 4294967295 134512640 135987407 3221224544 3221223232 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 73461 56029 364 364 0 73097 0
[pid=7741] vsize: 293844
Current children cumulated CPU time (s) 860.29
Current children cumulated vsize (Kb) 293844

[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114240 0 0 0 86236 785 0 0 25 0 1 0 21176994 301027328 56054 4294967295 134512640 135987407 3221224544 3221223408 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73493 56054 364 364 0 73129 0
[pid=7741] vsize: 293972
Current children cumulated CPU time (s) 870.21
Current children cumulated vsize (Kb) 293972

[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114288 0 0 0 87222 790 0 0 25 0 1 0 21176994 301162496 56102 4294967295 134512640 135987407 3221224544 3221223392 134790064 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56102 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 880.12
Current children cumulated vsize (Kb) 294104

[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114296 0 0 0 88206 795 0 0 25 0 1 0 21176994 301162496 56110 4294967295 134512640 135987407 3221224544 3221223360 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56110 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 294104

[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 114317 0 0 0 89192 801 0 0 25 0 1 0 21176994 301162496 56131 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56131 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 899.93
Current children cumulated vsize (Kb) 294104

[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114349 0 0 0 90178 806 0 0 25 0 1 0 21176994 301162496 56163 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56163 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 909.84
Current children cumulated vsize (Kb) 294104

[startup+930.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114430 0 0 0 91168 809 0 0 25 0 1 0 21176994 301162496 56244 4294967295 134512640 135987407 3221224544 3221223232 134812063 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56244 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 919.77
Current children cumulated vsize (Kb) 294104

[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 114456 0 0 0 92154 814 0 0 25 0 1 0 21176994 301162496 56270 4294967295 134512640 135987407 3221224544 3221223232 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56270 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 929.68
Current children cumulated vsize (Kb) 294104

[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 115518 0 0 0 93138 820 0 0 25 0 1 0 21176994 301162496 56280 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73526 56280 364 364 0 73162 0
[pid=7741] vsize: 294104
Current children cumulated CPU time (s) 939.58
Current children cumulated vsize (Kb) 294104

[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 115557 0 0 0 94119 826 0 0 25 0 1 0 21176994 301428736 56319 4294967295 134512640 135987407 3221224544 3221223232 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73591 56319 364 364 0 73227 0
[pid=7741] vsize: 294364
Current children cumulated CPU time (s) 949.45
Current children cumulated vsize (Kb) 294364

[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 115558 0 0 0 95096 835 0 0 25 0 1 0 21176994 301428736 56320 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73591 56320 364 364 0 73227 0
[pid=7741] vsize: 294364
Current children cumulated CPU time (s) 959.31
Current children cumulated vsize (Kb) 294364

[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116625 0 0 0 96080 842 0 0 25 0 1 0 21176994 301428736 56335 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7741/statm): 73591 56335 364 364 0 73227 0
[pid=7741] vsize: 294364
Current children cumulated CPU time (s) 969.22
Current children cumulated vsize (Kb) 294364

[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116686 0 0 0 97064 847 0 0 25 0 1 0 21176994 301559808 56363 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56363 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 979.11
Current children cumulated vsize (Kb) 294492

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116692 0 0 0 98047 853 0 0 25 0 1 0 21176994 301559808 56369 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56369 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 989
Current children cumulated vsize (Kb) 294492

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116696 0 0 0 99027 861 0 0 25 0 1 0 21176994 301559808 56373 4294967295 134512640 135987407 3221224544 3221223232 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56373 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 998.88
Current children cumulated vsize (Kb) 294492

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116700 0 0 0 100014 864 0 0 25 0 1 0 21176994 301559808 56377 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56377 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1008.78
Current children cumulated vsize (Kb) 294492

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116742 0 0 0 100997 869 0 0 25 0 1 0 21176994 301559808 56419 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56419 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1018.66
Current children cumulated vsize (Kb) 294492

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116751 0 0 0 101984 874 0 0 25 0 1 0 21176994 301559808 56428 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56428 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1028.58
Current children cumulated vsize (Kb) 294492

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116773 0 0 0 102965 880 0 0 25 0 1 0 21176994 301559808 56450 4294967295 134512640 135987407 3221224544 3221223328 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56450 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1038.45
Current children cumulated vsize (Kb) 294492

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116789 0 0 0 103951 884 0 0 25 0 1 0 21176994 301559808 56466 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56466 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1048.35
Current children cumulated vsize (Kb) 294492

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116802 0 0 0 104934 891 0 0 25 0 1 0 21176994 301559808 56479 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56479 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1058.25
Current children cumulated vsize (Kb) 294492

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116809 0 0 0 105916 897 0 0 25 0 1 0 21176994 301559808 56486 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73623 56486 364 364 0 73259 0
[pid=7741] vsize: 294492
Current children cumulated CPU time (s) 1068.13
Current children cumulated vsize (Kb) 294492

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116862 0 0 0 106897 903 0 0 25 0 1 0 21176994 301690880 56506 4294967295 134512640 135987407 3221224544 3221223232 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73655 56506 364 364 0 73291 0
[pid=7741] vsize: 294620
Current children cumulated CPU time (s) 1078
Current children cumulated vsize (Kb) 294620

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 116870 0 0 0 107880 909 0 0 25 0 1 0 21176994 301690880 56514 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73655 56514 364 364 0 73291 0
[pid=7741] vsize: 294620
Current children cumulated CPU time (s) 1087.89
Current children cumulated vsize (Kb) 294620

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 117925 0 0 0 108858 918 0 0 25 0 1 0 21176994 301690880 56517 4294967295 134512640 135987407 3221224544 3221223104 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73655 56517 364 364 0 73291 0
[pid=7741] vsize: 294620
Current children cumulated CPU time (s) 1097.76
Current children cumulated vsize (Kb) 294620

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118021 0 0 0 109842 923 0 0 25 0 1 0 21176994 301953024 56548 4294967295 134512640 135987407 3221224544 3221223312 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73719 56548 364 364 0 73355 0
[pid=7741] vsize: 294876
Current children cumulated CPU time (s) 1107.65
Current children cumulated vsize (Kb) 294876

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118077 0 0 0 110825 929 0 0 25 0 1 0 21176994 302084096 56571 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73751 56571 364 364 0 73387 0
[pid=7741] vsize: 295004
Current children cumulated CPU time (s) 1117.54
Current children cumulated vsize (Kb) 295004

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118093 0 0 0 111801 936 0 0 25 0 1 0 21176994 302252032 56587 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73792 56587 364 364 0 73428 0
[pid=7741] vsize: 295168
Current children cumulated CPU time (s) 1127.37
Current children cumulated vsize (Kb) 295168

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 118176 0 0 0 112786 942 0 0 25 0 1 0 21176994 302518272 56670 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73857 56670 364 364 0 73493 0
[pid=7741] vsize: 295428
Current children cumulated CPU time (s) 1137.28
Current children cumulated vsize (Kb) 295428

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.98 1/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) T 7740 7741 4005 0 -1 0 118182 0 0 0 113770 947 0 0 25 0 1 0 21176994 302518272 56676 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73857 56676 364 364 0 73493 0
[pid=7741] vsize: 295428
Current children cumulated CPU time (s) 1147.17
Current children cumulated vsize (Kb) 295428

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118212 0 0 0 114750 954 0 0 25 0 1 0 21176994 302518272 56706 4294967295 134512640 135987407 3221224544 3221223232 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73857 56706 364 364 0 73493 0
[pid=7741] vsize: 295428
Current children cumulated CPU time (s) 1157.04
Current children cumulated vsize (Kb) 295428

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118218 0 0 0 115732 960 0 0 25 0 1 0 21176994 302518272 56712 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73857 56712 364 364 0 73493 0
[pid=7741] vsize: 295428
Current children cumulated CPU time (s) 1166.92
Current children cumulated vsize (Kb) 295428

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118425 0 0 0 116717 965 0 0 25 0 1 0 21176994 303042560 56789 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 73985 56789 364 364 0 73621 0
[pid=7741] vsize: 295940
Current children cumulated CPU time (s) 1176.82
Current children cumulated vsize (Kb) 295940

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118564 0 0 0 117706 969 0 0 25 0 1 0 21176994 303304704 56863 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 74049 56863 364 364 0 73685 0
[pid=7741] vsize: 296196
Current children cumulated CPU time (s) 1186.75
Current children cumulated vsize (Kb) 296196

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118578 0 0 0 118694 973 0 0 25 0 1 0 21176994 303304704 56877 4294967295 134512640 135987407 3221224544 3221223304 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 74049 56877 364 364 0 73685 0
[pid=7741] vsize: 296196
Current children cumulated CPU time (s) 1196.67
Current children cumulated vsize (Kb) 296196

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118668 0 0 0 119679 978 0 0 25 0 1 0 21176994 303566848 56902 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 74113 56902 364 364 0 73749 0
[pid=7741] vsize: 296452
Current children cumulated CPU time (s) 1206.57
Current children cumulated vsize (Kb) 296452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7741
Raw data (/proc/7741/stat): 7741 (pb2sat) R 7740 7741 4005 0 -1 0 118668 0 0 0 119679 978 0 0 25 0 1 0 21176994 303566848 56902 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7741/statm): 74113 56902 364 364 0 73749 0
[pid=7741] vsize: 296452
Current children cumulated CPU time (s) 1206.57
Current children cumulated vsize (Kb) 296452

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

Child status: 0
Real time (s): 1221.09
CPU time (s): 1207.6
CPU user time (s): 1197.69
CPU system time (s): 9.90649
CPU usage (%): 98.895
Max. virtual memory (cumulated for all children) (Kb): 296452

Verifier Data

ERROR: no interpretation found !