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.burch_dill.8.accl.ucl.opb
MD5SUM0e5bfa52e1e730089f4eefb216f69dfd
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 9806

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 15:19:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8527 boxname=wulflinc3 idbench=323 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 8527
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        936848 kB
Buffers:         12428 kB
Cached:          67948 kB
SwapCached:          0 kB
Active:          45796 kB
Inactive:        37520 kB
HighTotal:      131008 kB
HighFree:        58660 kB
LowTotal:       903652 kB
LowFree:        878188 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8800 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:40:03 (client local time) WITH STATUS 0 IN 1209.35 SECONDS
stats: 8527 7 1209.35 0

Solver Data

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

c Decision: 4693/65764	Time: 85.1241/86400
c Decision: 4693/65764	Time: 98.0111/86400
c Decision: 4697/65764	Time: 123.358/86400
c Decision: 4707/65764	Time: 144.982/86400
c Decision: 4717/65764	Time: 170.082/86400
c Decision: 4723/65764	Time: 197.779/86400
c Decision: 4723/65764	Time: 214.86/86400
c Decision: 4723/65764	Time: 231.039/86400
c Decision: 4731/65764	Time: 264.904/86400
c Decision: 4734/65764	Time: 270.842/86400
c Decision: 4734/65764	Time: 286.124/86400
c Decision: 4734/65764	Time: 301.071/86400
c Decision: 4754/65764	Time: 329.006/86400
c Decision: 4754/65764	Time: 341.919/86400
c Decision: 4754/65764	Time: 356.58/86400
c Decision: 4754/65764	Time: 371.741/86400
c Decision: 4810/65764	Time: 387.848/86400
c Decision: 4810/65764	Time: 402.48/86400
c Decision: 4810/65764	Time: 417.817/86400
c Decision: 4810/65764	Time: 433.313/86400
c Decision: 4810/65764	Time: 451.038/86400
c Decision: 4810/65764	Time: 464.638/86400
c Decision: 4810/65764	Time: 471.961/86400
c Decision: 4810/65764	Time: 489.778/86400
c Decision: 4811/65764	Time: 515.456/86400
c Decision: 4811/65764	Time: 531.575/86400
c Decision: 4814/65764	Time: 547.224/86400
c Decision: 4814/65764	Time: 564.653/86400
c Decision: 4814/65764	Time: 571.61/86400
c Decision: 4814/65764	Time: 589.851/86400
c Decision: 4814/65764	Time: 609.36/86400
c Decision: 4814/65764	Time: 626.39/86400
c Decision: 4814/65764	Time: 642.761/86400
c Decision: 4840/65764	Time: 661.981/86400
c Decision: 4840/65764	Time: 671.032/86400
c Decision: 4859/65764	Time: 694.851/86400
c Decision: 4859/65764	Time: 707.698/86400
c Decision: 8142/65764	Time: 731.71/86400
c Decision: 8142/65764	Time: 745.056/86400
c Decision: 8142/65764	Time: 760.236/86400
c Decision: 8142/65764	Time: 778.908/86400
c Decision: 8142/65764	Time: 795.855/86400
c Decision: 8142/65764	Time: 813.013/86400
c Decision: 8142/65764	Time: 821.774/86400
c Decision: 8142/65764	Time: 843.102/86400
c Decision: 8142/65764	Time: 859.591/86400
c Decision: 8142/65764	Time: 874.601/86400
c Decision: 8142/65764	Time: 889.855/86400
c Decision: 8147/65764	Time: 914.564/86400
c Decision: 8147/65764	Time: 924.034/86400
c Decision: 8147/65764	Time: 941.603/86400
c Decision: 8147/65764	Time: 958.132/86400
c Decision: 8147/65764	Time: 974.792/86400
c Decision: 8147/65764	Time: 991.997/86400
c Decision: 8147/65764	Time: 1008.74/86400
c Decision: 8174/65764	Time: 1026.85/86400
c Decision: 8174/65764	Time: 1040.42/86400
c Decision: 8174/65764	Time: 1061.04/86400
c Decision: 8174/65764	Time: 1072.29/86400
c Decision: 8174/65764	Time: 1087.94/86400
c Decision: 8174/65764	Time: 1109.23/86400
c Decision: 8174/65764	Time: 1129.23/86400
c Decision: 8174/65764	Time: 1145.09/86400
c Decision: 8174/65764	Time: 1162.56/86400
c Decision: 8174/65764	Time: 1179.77/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/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21232747 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 373 2 364 364 0 9 0
[pid=7944] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-ooo.burch_dill.8.accl.ucl.opb

[startup+10.0012 s]
Raw data (loadavg): 0.77 0.89 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 10086 0 0 0 963 27 0 0 25 0 1 0 21232747 33267712 6008 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 8122 6008 364 364 0 7758 0
[pid=7944] vsize: 32488
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 32488

[startup+20.0021 s]
Raw data (loadavg): 0.81 0.90 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 10591 0 0 0 1902 46 0 0 25 0 1 0 21232747 35434496 6513 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 8651 6513 364 364 0 8287 0
[pid=7944] vsize: 34604
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (Kb) 34604

[startup+30.0019 s]
Raw data (loadavg): 0.84 0.90 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11206 0 0 0 2870 57 0 0 25 0 1 0 21232747 38481920 7128 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 9395 7128 364 364 0 9031 0
[pid=7944] vsize: 37580
Current children cumulated CPU time (s) 29.27
Current children cumulated vsize (Kb) 37580

[startup+40.0017 s]
Raw data (loadavg): 0.86 0.90 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11356 0 0 0 3821 73 0 0 25 0 1 0 21232747 39038976 7278 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 9531 7278 364 364 0 9167 0
[pid=7944] vsize: 38124
Current children cumulated CPU time (s) 38.94
Current children cumulated vsize (Kb) 38124

[startup+50.0026 s]
Raw data (loadavg): 0.88 0.91 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11487 0 0 0 4774 88 0 0 25 0 1 0 21232747 39432192 7409 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 9627 7409 364 364 0 9263 0
[pid=7944] vsize: 38508
Current children cumulated CPU time (s) 48.62
Current children cumulated vsize (Kb) 38508

[startup+60.0024 s]
Raw data (loadavg): 0.90 0.91 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11649 0 0 0 5733 103 0 0 25 0 1 0 21232747 40292352 7571 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 9837 7571 364 364 0 9473 0
[pid=7944] vsize: 39348
Current children cumulated CPU time (s) 58.36
Current children cumulated vsize (Kb) 39348

[startup+70.0033 s]
Raw data (loadavg): 0.91 0.91 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 11776 0 0 0 6699 114 0 0 25 0 1 0 21232747 40759296 7698 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 9951 7698 364 364 0 9587 0
[pid=7944] vsize: 39804
Current children cumulated CPU time (s) 68.13
Current children cumulated vsize (Kb) 39804

[startup+80.0041 s]
Raw data (loadavg): 0.93 0.91 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12005 0 0 0 7672 123 0 0 25 0 1 0 21232747 41975808 7927 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10248 7927 364 364 0 9884 0
[pid=7944] vsize: 40992
Current children cumulated CPU time (s) 77.95
Current children cumulated vsize (Kb) 40992

[startup+90.0039 s]
Raw data (loadavg): 0.94 0.92 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12179 0 0 0 8638 136 0 0 25 0 1 0 21232747 42921984 8101 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10479 8101 364 364 0 10115 0
[pid=7944] vsize: 41916
Current children cumulated CPU time (s) 87.74
Current children cumulated vsize (Kb) 41916

[startup+100.004 s]
Raw data (loadavg): 0.95 0.92 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12373 0 0 0 9603 148 0 0 25 0 1 0 21232747 43057152 8166 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 10512 8166 364 364 0 10148 0
[pid=7944] vsize: 42048
Current children cumulated CPU time (s) 97.51
Current children cumulated vsize (Kb) 42048

[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12623 0 0 0 10581 155 0 0 25 0 1 0 21232747 43732992 8287 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 10677 8287 364 364 0 10313 0
[pid=7944] vsize: 42708
Current children cumulated CPU time (s) 107.36
Current children cumulated vsize (Kb) 42708

[startup+120.006 s]
Raw data (loadavg): 0.96 0.92 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12668 0 0 0 11551 166 0 0 25 0 1 0 21232747 44003328 8332 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10743 8332 364 364 0 10379 0
[pid=7944] vsize: 42972
Current children cumulated CPU time (s) 117.17
Current children cumulated vsize (Kb) 42972

[startup+130.006 s]
Raw data (loadavg): 0.97 0.92 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12680 0 0 0 12523 176 0 0 25 0 1 0 21232747 44003328 8344 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 10743 8344 364 364 0 10379 0
[pid=7944] vsize: 42972
Current children cumulated CPU time (s) 126.99
Current children cumulated vsize (Kb) 42972

[startup+140.006 s]
Raw data (loadavg): 0.97 0.93 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12847 0 0 0 13492 185 0 0 25 0 1 0 21232747 44138496 8382 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10776 8382 364 364 0 10412 0
[pid=7944] vsize: 43104
Current children cumulated CPU time (s) 136.77
Current children cumulated vsize (Kb) 43104

[startup+150.007 s]
Raw data (loadavg): 0.98 0.93 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 12867 0 0 0 14464 195 0 0 25 0 1 0 21232747 44138496 8402 4294967295 134512640 135987407 3221224560 3221223248 134811692 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 10776 8402 364 364 0 10412 0
[pid=7944] vsize: 43104
Current children cumulated CPU time (s) 146.59
Current children cumulated vsize (Kb) 43104

[startup+160.007 s]
Raw data (loadavg): 0.98 0.93 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13055 0 0 0 15431 207 0 0 25 0 1 0 21232747 44408832 8461 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10842 8461 364 364 0 10478 0
[pid=7944] vsize: 43368
Current children cumulated CPU time (s) 156.38
Current children cumulated vsize (Kb) 43368

[startup+170.008 s]
Raw data (loadavg): 0.98 0.93 0.94 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 13121 0 0 0 16409 215 0 0 25 0 1 0 21232747 44679168 8527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10908 8527 364 364 0 10544 0
[pid=7944] vsize: 43632
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (Kb) 43632

[startup+180.008 s]
Raw data (loadavg): 0.98 0.93 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 13140 0 0 0 17379 224 0 0 25 0 1 0 21232747 44679168 8546 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10908 8546 364 364 0 10544 0
[pid=7944] vsize: 43632
Current children cumulated CPU time (s) 176.03
Current children cumulated vsize (Kb) 43632

[startup+190.008 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13306 0 0 0 18354 233 0 0 25 0 1 0 21232747 44814336 8583 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 10941 8583 364 364 0 10577 0
[pid=7944] vsize: 43764
Current children cumulated CPU time (s) 185.87
Current children cumulated vsize (Kb) 43764

[startup+200.009 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13342 0 0 0 19318 247 0 0 25 0 1 0 21232747 44949504 8619 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 10974 8619 364 364 0 10610 0
[pid=7944] vsize: 43896
Current children cumulated CPU time (s) 195.65
Current children cumulated vsize (Kb) 43896

[startup+210.009 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13403 0 0 0 20291 257 0 0 25 0 1 0 21232747 45219840 8680 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 11040 8680 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 205.48
Current children cumulated vsize (Kb) 44160

[startup+220.01 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13541 0 0 0 21266 265 0 0 25 0 1 0 21232747 45219840 8689 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 11040 8689 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 215.31
Current children cumulated vsize (Kb) 44160

[startup+230.011 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13672 0 0 0 22241 274 0 0 25 0 1 0 21232747 45219840 8691 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 11040 8691 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 225.15
Current children cumulated vsize (Kb) 44160

[startup+240.01 s]
Raw data (loadavg): 0.99 0.94 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13676 0 0 0 23214 284 0 0 25 0 1 0 21232747 45219840 8695 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 11040 8695 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 234.98
Current children cumulated vsize (Kb) 44160

[startup+250.011 s]
Raw data (loadavg): 0.99 0.94 0.94 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 13816 0 0 0 24192 291 0 0 25 0 1 0 21232747 45219840 8706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 11040 8706 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 244.83
Current children cumulated vsize (Kb) 44160

[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13842 0 0 0 25166 300 0 0 25 0 1 0 21232747 45219840 8732 4294967295 134512640 135987407 3221224560 3221223136 135486726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 11040 8732 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 254.66
Current children cumulated vsize (Kb) 44160

[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 13865 0 0 0 26143 309 0 0 25 0 1 0 21232747 45219840 8755 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 11040 8755 364 364 0 10676 0
[pid=7944] vsize: 44160
Current children cumulated CPU time (s) 264.52
Current children cumulated vsize (Kb) 44160

[startup+280.013 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14018 0 0 0 27118 318 0 0 25 0 1 0 21232747 49414144 8779 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12064 8779 364 364 0 11700 0
[pid=7944] vsize: 48256
Current children cumulated CPU time (s) 274.36
Current children cumulated vsize (Kb) 48256

[startup+290.013 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14192 0 0 0 28090 329 0 0 25 0 1 0 21232747 49414144 8824 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12064 8824 364 364 0 11700 0
[pid=7944] vsize: 48256
Current children cumulated CPU time (s) 284.19
Current children cumulated vsize (Kb) 48256

[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14214 0 0 0 29064 336 0 0 25 0 1 0 21232747 49414144 8846 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12064 8846 364 364 0 11700 0
[pid=7944] vsize: 48256
Current children cumulated CPU time (s) 294
Current children cumulated vsize (Kb) 48256

[startup+310.013 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14347 0 0 0 30039 345 0 0 25 0 1 0 21232747 49414144 8850 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12064 8850 364 364 0 11700 0
[pid=7944] vsize: 48256
Current children cumulated CPU time (s) 303.84
Current children cumulated vsize (Kb) 48256

[startup+320.014 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14480 0 0 0 31015 353 0 0 25 0 1 0 21232747 49414144 8854 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12064 8854 364 364 0 11700 0
[pid=7944] vsize: 48256
Current children cumulated CPU time (s) 313.68
Current children cumulated vsize (Kb) 48256

[startup+330.014 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 14483 0 0 0 31992 361 0 0 25 0 1 0 21232747 49414144 8857 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12064 8857 364 364 0 11700 0
[pid=7944] vsize: 48256
Current children cumulated CPU time (s) 323.53
Current children cumulated vsize (Kb) 48256

[startup+340.014 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14502 0 0 0 32970 369 0 0 25 0 1 0 21232747 49549312 8876 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12097 8876 364 364 0 11733 0
[pid=7944] vsize: 48388
Current children cumulated CPU time (s) 333.39
Current children cumulated vsize (Kb) 48388

[startup+350.015 s]
Raw data (loadavg): 0.99 0.95 0.94 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 14642 0 0 0 33942 379 0 0 25 0 1 0 21232747 49549312 8887 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12097 8887 364 364 0 11733 0
[pid=7944] vsize: 48388
Current children cumulated CPU time (s) 343.21
Current children cumulated vsize (Kb) 48388

[startup+360.015 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14834 0 0 0 34915 389 0 0 25 0 1 0 21232747 49819648 8950 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12163 8950 364 364 0 11799 0
[pid=7944] vsize: 48652
Current children cumulated CPU time (s) 353.04
Current children cumulated vsize (Kb) 48652

[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 14860 0 0 0 35888 398 0 0 25 0 1 0 21232747 49819648 8976 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12163 8976 364 364 0 11799 0
[pid=7944] vsize: 48652
Current children cumulated CPU time (s) 362.86
Current children cumulated vsize (Kb) 48652

[startup+380.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15012 0 0 0 36855 410 0 0 25 0 1 0 21232747 49819648 8999 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12163 8999 364 364 0 11799 0
[pid=7944] vsize: 48652
Current children cumulated CPU time (s) 372.65
Current children cumulated vsize (Kb) 48652

[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15227 0 0 0 37827 421 0 0 25 0 1 0 21232747 50225152 9085 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9085 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 382.48
Current children cumulated vsize (Kb) 49048

[startup+400.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15229 0 0 0 38801 429 0 0 25 0 1 0 21232747 50225152 9087 4294967295 134512640 135987407 3221224560 3221223248 134811901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9087 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 392.3
Current children cumulated vsize (Kb) 49048

[startup+410.016 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15361 0 0 0 39770 439 0 0 25 0 1 0 21232747 50225152 9090 4294967295 134512640 135987407 3221224560 3221223344 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12262 9090 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (Kb) 49048

[startup+420.018 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15496 0 0 0 40742 449 0 0 25 0 1 0 21232747 50225152 9096 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9096 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 411.91
Current children cumulated vsize (Kb) 49048

[startup+430.017 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15499 0 0 0 41718 457 0 0 25 0 1 0 21232747 50225152 9099 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9099 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 421.75
Current children cumulated vsize (Kb) 49048

[startup+440.017 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15634 0 0 0 42692 466 0 0 25 0 1 0 21232747 50225152 9105 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12262 9105 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 431.58
Current children cumulated vsize (Kb) 49048

[startup+450.018 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15658 0 0 0 43668 474 0 0 25 0 1 0 21232747 50225152 9129 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9129 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 441.42
Current children cumulated vsize (Kb) 49048

[startup+460.018 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15814 0 0 0 44646 481 0 0 25 0 1 0 21232747 50225152 9156 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9156 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 451.27
Current children cumulated vsize (Kb) 49048

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15962 0 0 0 45618 492 0 0 25 0 1 0 21232747 50225152 9175 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12262 9175 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 461.1
Current children cumulated vsize (Kb) 49048

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 15965 0 0 0 46589 502 0 0 25 0 1 0 21232747 50225152 9178 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12262 9178 364 364 0 11898 0
[pid=7944] vsize: 49048
Current children cumulated CPU time (s) 470.91
Current children cumulated vsize (Kb) 49048

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16281 0 0 0 47558 513 0 0 25 0 1 0 21232747 50360320 9236 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12295 9236 364 364 0 11931 0
[pid=7944] vsize: 49180
Current children cumulated CPU time (s) 480.71
Current children cumulated vsize (Kb) 49180

[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 16324 0 0 0 48532 521 0 0 25 0 1 0 21232747 50495488 9279 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12328 9279 364 364 0 11964 0
[pid=7944] vsize: 49312
Current children cumulated CPU time (s) 490.53
Current children cumulated vsize (Kb) 49312

[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16517 0 0 0 49501 531 0 0 25 0 1 0 21232747 50765824 9343 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12394 9343 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 500.32
Current children cumulated vsize (Kb) 49576

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16540 0 0 0 50474 540 0 0 25 0 1 0 21232747 50765824 9366 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12394 9366 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 510.14
Current children cumulated vsize (Kb) 49576

[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16563 0 0 0 51448 550 0 0 25 0 1 0 21232747 50765824 9389 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9389 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 49576

[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16711 0 0 0 52423 559 0 0 25 0 1 0 21232747 50765824 9408 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9408 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 529.82
Current children cumulated vsize (Kb) 49576

[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16869 0 0 0 53401 568 0 0 25 0 1 0 21232747 50765824 9437 4294967295 134512640 135987407 3221224560 3221223328 134882554 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9437 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 539.69
Current children cumulated vsize (Kb) 49576

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 16872 0 0 0 54376 575 0 0 25 0 1 0 21232747 50765824 9440 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9440 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 549.51
Current children cumulated vsize (Kb) 49576

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17005 0 0 0 55344 586 0 0 25 0 1 0 21232747 50765824 9444 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9444 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 559.3
Current children cumulated vsize (Kb) 49576

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17007 0 0 0 56314 595 0 0 25 0 1 0 21232747 50765824 9446 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9446 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 569.09
Current children cumulated vsize (Kb) 49576

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17161 0 0 0 57283 607 0 0 25 0 1 0 21232747 50765824 9471 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12394 9471 364 364 0 12030 0
[pid=7944] vsize: 49576
Current children cumulated CPU time (s) 578.9
Current children cumulated vsize (Kb) 49576

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17332 0 0 0 58249 619 0 0 25 0 1 0 21232747 50900992 9513 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9513 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 588.68
Current children cumulated vsize (Kb) 49708

[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17484 0 0 0 59224 627 0 0 25 0 1 0 21232747 50900992 9536 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9536 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 598.51
Current children cumulated vsize (Kb) 49708

[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17506 0 0 0 60198 637 0 0 25 0 1 0 21232747 50900992 9558 4294967295 134512640 135987407 3221224560 3221223344 134812325 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9558 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 608.35
Current children cumulated vsize (Kb) 49708

[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17656 0 0 0 61178 644 0 0 25 0 1 0 21232747 50900992 9579 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9579 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 618.22
Current children cumulated vsize (Kb) 49708

[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 17658 0 0 0 62157 652 0 0 25 0 1 0 21232747 50900992 9581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9581 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 628.09
Current children cumulated vsize (Kb) 49708

[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17806 0 0 0 63133 660 0 0 25 0 1 0 21232747 50900992 9600 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9600 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 637.93
Current children cumulated vsize (Kb) 49708

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17834 0 0 0 64105 669 0 0 25 0 1 0 21232747 50900992 9628 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12427 9628 364 364 0 12063 0
[pid=7944] vsize: 49708
Current children cumulated CPU time (s) 647.74
Current children cumulated vsize (Kb) 49708

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 17989 0 0 0 65078 680 0 0 25 0 1 0 21232747 51032064 9654 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12459 9654 364 364 0 12095 0
[pid=7944] vsize: 49836
Current children cumulated CPU time (s) 657.58
Current children cumulated vsize (Kb) 49836

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18026 0 0 0 66049 691 0 0 25 0 1 0 21232747 51032064 9691 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12459 9691 364 364 0 12095 0
[pid=7944] vsize: 49836
Current children cumulated CPU time (s) 667.4
Current children cumulated vsize (Kb) 49836

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18219 0 0 0 67027 699 0 0 25 0 1 0 21232747 51032064 9755 4294967295 134512640 135987407 3221224560 3221223136 134788814 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12459 9755 364 364 0 12095 0
[pid=7944] vsize: 49836
Current children cumulated CPU time (s) 677.26
Current children cumulated vsize (Kb) 49836

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18421 0 0 0 68001 709 0 0 25 0 1 0 21232747 51302400 9828 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12525 9828 364 364 0 12161 0
[pid=7944] vsize: 50100
Current children cumulated CPU time (s) 687.1
Current children cumulated vsize (Kb) 50100

[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18452 0 0 0 68978 716 0 0 25 0 1 0 21232747 51302400 9859 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12525 9859 364 364 0 12161 0
[pid=7944] vsize: 50100
Current children cumulated CPU time (s) 696.94
Current children cumulated vsize (Kb) 50100

[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 18617 0 0 0 69963 722 0 0 25 0 1 0 21232747 51302400 9895 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12525 9895 364 364 0 12161 0
[pid=7944] vsize: 50100
Current children cumulated CPU time (s) 706.85
Current children cumulated vsize (Kb) 50100

[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18760 0 0 0 70935 733 0 0 25 0 1 0 21232747 51302400 9909 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12525 9909 364 364 0 12161 0
[pid=7944] vsize: 50100
Current children cumulated CPU time (s) 716.68
Current children cumulated vsize (Kb) 50100

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18790 0 0 0 71920 738 0 0 25 0 1 0 21232747 51437568 9939 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12558 9939 364 364 0 12194 0
[pid=7944] vsize: 50232
Current children cumulated CPU time (s) 726.58
Current children cumulated vsize (Kb) 50232

[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18811 0 0 0 72900 744 0 0 25 0 1 0 21232747 51572736 9960 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12591 9960 364 364 0 12227 0
[pid=7944] vsize: 50364
Current children cumulated CPU time (s) 736.44
Current children cumulated vsize (Kb) 50364

[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18943 0 0 0 73872 753 0 0 25 0 1 0 21232747 51572736 9963 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12591 9963 364 364 0 12227 0
[pid=7944] vsize: 50364
Current children cumulated CPU time (s) 746.25
Current children cumulated vsize (Kb) 50364

[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19075 0 0 0 74845 763 0 0 25 0 1 0 21232747 51572736 9966 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12591 9966 364 364 0 12227 0
[pid=7944] vsize: 50364
Current children cumulated CPU time (s) 756.08
Current children cumulated vsize (Kb) 50364

[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19099 0 0 0 75819 771 0 0 25 0 1 0 21232747 51572736 9990 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12591 9990 364 364 0 12227 0
[pid=7944] vsize: 50364
Current children cumulated CPU time (s) 765.9
Current children cumulated vsize (Kb) 50364

[startup+790.034 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19293 0 0 0 76800 778 0 0 25 0 1 0 21232747 51843072 10055 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12657 10055 364 364 0 12293 0
[pid=7944] vsize: 50628
Current children cumulated CPU time (s) 775.78
Current children cumulated vsize (Kb) 50628

[startup+800.035 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19322 0 0 0 77777 786 0 0 25 0 1 0 21232747 51843072 10084 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12657 10084 364 364 0 12293 0
[pid=7944] vsize: 50628
Current children cumulated CPU time (s) 785.63
Current children cumulated vsize (Kb) 50628

[startup+810.035 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19455 0 0 0 78753 794 0 0 25 0 1 0 21232747 51843072 10088 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12657 10088 364 364 0 12293 0
[pid=7944] vsize: 50628
Current children cumulated CPU time (s) 795.47
Current children cumulated vsize (Kb) 50628

[startup+820.036 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19586 0 0 0 79732 802 0 0 25 0 1 0 21232747 51843072 10090 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12657 10090 364 364 0 12293 0
[pid=7944] vsize: 50628
Current children cumulated CPU time (s) 805.34
Current children cumulated vsize (Kb) 50628

[startup+830.037 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19609 0 0 0 80714 808 0 0 25 0 1 0 21232747 52027392 10113 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12702 10113 364 364 0 12338 0
[pid=7944] vsize: 50808
Current children cumulated CPU time (s) 815.22
Current children cumulated vsize (Kb) 50808

[startup+840.037 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19741 0 0 0 81698 812 0 0 25 0 1 0 21232747 52027392 10116 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12702 10116 364 364 0 12338 0
[pid=7944] vsize: 50808
Current children cumulated CPU time (s) 825.1
Current children cumulated vsize (Kb) 50808

[startup+850.038 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19884 0 0 0 82671 821 0 0 25 0 1 0 21232747 52170752 10130 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12737 10130 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 834.92
Current children cumulated vsize (Kb) 50948

[startup+860.037 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 19892 0 0 0 83644 830 0 0 25 0 1 0 21232747 52170752 10138 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12737 10138 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 844.74
Current children cumulated vsize (Kb) 50948

[startup+870.038 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20023 0 0 0 84619 838 0 0 25 0 1 0 21232747 52170752 10140 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12737 10140 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 854.57
Current children cumulated vsize (Kb) 50948

[startup+880.038 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20071 0 0 0 85596 847 0 0 25 0 1 0 21232747 52170752 10188 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12737 10188 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 864.43
Current children cumulated vsize (Kb) 50948

[startup+890.038 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20220 0 0 0 86574 853 0 0 25 0 1 0 21232747 52170752 10208 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12737 10208 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 874.27
Current children cumulated vsize (Kb) 50948

[startup+900.039 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20352 0 0 0 87553 861 0 0 25 0 1 0 21232747 52170752 10211 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12737 10211 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 884.14
Current children cumulated vsize (Kb) 50948

[startup+910.039 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20356 0 0 0 88529 869 0 0 25 0 1 0 21232747 52170752 10215 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12737 10215 364 364 0 12373 0
[pid=7944] vsize: 50948
Current children cumulated CPU time (s) 893.98
Current children cumulated vsize (Kb) 50948

[startup+920.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20495 0 0 0 89507 876 0 0 25 0 1 0 21232747 52293632 10225 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12767 10225 364 364 0 12403 0
[pid=7944] vsize: 51068
Current children cumulated CPU time (s) 903.83
Current children cumulated vsize (Kb) 51068

[startup+930.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20503 0 0 0 90482 884 0 0 25 0 1 0 21232747 52293632 10233 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12767 10233 364 364 0 12403 0
[pid=7944] vsize: 51068
Current children cumulated CPU time (s) 913.66
Current children cumulated vsize (Kb) 51068

[startup+940.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20683 0 0 0 91463 891 0 0 25 0 1 0 21232747 52293632 10284 4294967295 134512640 135987407 3221224560 3221223376 134824327 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12767 10284 364 364 0 12403 0
[pid=7944] vsize: 51068
Current children cumulated CPU time (s) 923.54
Current children cumulated vsize (Kb) 51068

[startup+950.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20902 0 0 0 92447 898 0 0 25 0 1 0 21232747 52416512 10374 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12797 10374 364 364 0 12433 0
[pid=7944] vsize: 51188
Current children cumulated CPU time (s) 933.45
Current children cumulated vsize (Kb) 51188

[startup+960.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 20956 0 0 0 93424 906 0 0 25 0 1 0 21232747 52416512 10428 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12797 10428 364 364 0 12433 0
[pid=7944] vsize: 51188
Current children cumulated CPU time (s) 943.3
Current children cumulated vsize (Kb) 51188

[startup+970.041 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21117 0 0 0 94403 914 0 0 25 0 1 0 21232747 52416512 10460 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 12797 10460 364 364 0 12433 0
[pid=7944] vsize: 51188
Current children cumulated CPU time (s) 953.17
Current children cumulated vsize (Kb) 51188

[startup+980.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21126 0 0 0 95375 923 0 0 25 0 1 0 21232747 52416512 10469 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12797 10469 364 364 0 12433 0
[pid=7944] vsize: 51188
Current children cumulated CPU time (s) 962.98
Current children cumulated vsize (Kb) 51188

[startup+990.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21267 0 0 0 96353 931 0 0 25 0 1 0 21232747 52547584 10481 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12829 10481 364 364 0 12465 0
[pid=7944] vsize: 51316
Current children cumulated CPU time (s) 972.84
Current children cumulated vsize (Kb) 51316

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21273 0 0 0 97328 939 0 0 25 0 1 0 21232747 52547584 10487 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12829 10487 364 364 0 12465 0
[pid=7944] vsize: 51316
Current children cumulated CPU time (s) 982.67
Current children cumulated vsize (Kb) 51316

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21409 0 0 0 98309 946 0 0 25 0 1 0 21232747 52547584 10494 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12829 10494 364 364 0 12465 0
[pid=7944] vsize: 51316
Current children cumulated CPU time (s) 992.55
Current children cumulated vsize (Kb) 51316

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21546 0 0 0 99291 951 0 0 25 0 1 0 21232747 52547584 10502 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12829 10502 364 364 0 12465 0
[pid=7944] vsize: 51316
Current children cumulated CPU time (s) 1002.42
Current children cumulated vsize (Kb) 51316

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21575 0 0 0 100264 960 0 0 25 0 1 0 21232747 52547584 10531 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 12829 10531 364 364 0 12465 0
[pid=7944] vsize: 51316
Current children cumulated CPU time (s) 1012.24
Current children cumulated vsize (Kb) 51316

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 21754 0 0 0 101240 969 0 0 25 0 1 0 21232747 61063168 10581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 14908 10581 364 364 0 14544 0
[pid=7944] vsize: 59632
Current children cumulated CPU time (s) 1022.09
Current children cumulated vsize (Kb) 59632

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21790 0 0 0 102213 979 0 0 25 0 1 0 21232747 61063168 10617 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 14908 10617 364 364 0 14544 0
[pid=7944] vsize: 59632
Current children cumulated CPU time (s) 1031.92
Current children cumulated vsize (Kb) 59632

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 21942 0 0 0 103195 985 0 0 25 0 1 0 21232747 61198336 10640 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 14941 10640 364 364 0 14577 0
[pid=7944] vsize: 59764
Current children cumulated CPU time (s) 1041.8
Current children cumulated vsize (Kb) 59764

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22099 0 0 0 104167 994 0 0 25 0 1 0 21232747 61337600 10668 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 14975 10668 364 364 0 14611 0
[pid=7944] vsize: 59900
Current children cumulated CPU time (s) 1051.61
Current children cumulated vsize (Kb) 59900

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22101 0 0 0 105142 1003 0 0 25 0 1 0 21232747 61337600 10670 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 14975 10670 364 364 0 14611 0
[pid=7944] vsize: 59900
Current children cumulated CPU time (s) 1061.45
Current children cumulated vsize (Kb) 59900

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22250 0 0 0 106122 1010 0 0 25 0 1 0 21232747 61472768 10690 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 15008 10690 364 364 0 14644 0
[pid=7944] vsize: 60032
Current children cumulated CPU time (s) 1071.32
Current children cumulated vsize (Kb) 60032

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22383 0 0 0 107102 1016 0 0 25 0 1 0 21232747 61472768 10694 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 15008 10694 364 364 0 14644 0
[pid=7944] vsize: 60032
Current children cumulated CPU time (s) 1081.18
Current children cumulated vsize (Kb) 60032

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22401 0 0 0 108077 1024 0 0 25 0 1 0 21232747 61472768 10712 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 15008 10712 364 364 0 14644 0
[pid=7944] vsize: 60032
Current children cumulated CPU time (s) 1091.01
Current children cumulated vsize (Kb) 60032

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22563 0 0 0 109058 1031 0 0 25 0 1 0 21232747 61472768 10745 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 15008 10745 364 364 0 14644 0
[pid=7944] vsize: 60032
Current children cumulated CPU time (s) 1100.89
Current children cumulated vsize (Kb) 60032

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 22603 0 0 0 110033 1040 0 0 25 0 1 0 21232747 61472768 10785 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7944/statm): 15008 10785 364 364 0 14644 0
[pid=7944] vsize: 60032
Current children cumulated CPU time (s) 1110.73
Current children cumulated vsize (Kb) 60032

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22766 0 0 0 111013 1047 0 0 25 0 1 0 21232747 61665280 10819 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 15055 10819 364 364 0 14691 0
[pid=7944] vsize: 60220
Current children cumulated CPU time (s) 1120.6
Current children cumulated vsize (Kb) 60220

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22770 0 0 0 111986 1055 0 0 25 0 1 0 21232747 61665280 10823 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 15055 10823 364 364 0 14691 0
[pid=7944] vsize: 60220
Current children cumulated CPU time (s) 1130.41
Current children cumulated vsize (Kb) 60220

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 22905 0 0 0 112970 1061 0 0 25 0 1 0 21232747 61665280 10829 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 15055 10829 364 364 0 14691 0
[pid=7944] vsize: 60220
Current children cumulated CPU time (s) 1140.31
Current children cumulated vsize (Kb) 60220

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 22916 0 0 0 113944 1067 0 0 25 0 1 0 21232747 61665280 10840 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 15055 10840 364 364 0 14691 0
[pid=7944] vsize: 60220
Current children cumulated CPU time (s) 1150.11
Current children cumulated vsize (Kb) 60220

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 23084 0 0 0 114929 1074 0 0 25 0 1 0 21232747 61665280 10879 4294967295 134512640 135987407 3221224560 3221223424 134812940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 15055 10879 364 364 0 14691 0
[pid=7944] vsize: 60220
Current children cumulated CPU time (s) 1160.03
Current children cumulated vsize (Kb) 60220

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 23124 0 0 0 115901 1083 0 0 25 0 1 0 21232747 61665280 10919 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 15055 10919 364 364 0 14691 0
[pid=7944] vsize: 60220
Current children cumulated CPU time (s) 1169.84
Current children cumulated vsize (Kb) 60220

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 24837 0 0 0 116872 1094 0 0 25 0 1 0 21232747 68079616 10966 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 16621 10966 364 364 0 16257 0
[pid=7944] vsize: 66484
Current children cumulated CPU time (s) 1179.66
Current children cumulated vsize (Kb) 66484

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 25007 0 0 0 117848 1103 0 0 25 0 1 0 21232747 68079616 11007 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 16621 11007 364 364 0 16257 0
[pid=7944] vsize: 66484
Current children cumulated CPU time (s) 1189.51
Current children cumulated vsize (Kb) 66484

[startup+1220.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 25058 0 0 0 118818 1115 0 0 25 0 1 0 21232747 68247552 11058 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 16662 11058 364 364 0 16298 0
[pid=7944] vsize: 66648
Current children cumulated CPU time (s) 1199.33
Current children cumulated vsize (Kb) 66648

[startup+1230.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 25090 0 0 0 119796 1123 0 0 25 0 1 0 21232747 68247552 11090 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 16662 11090 364 364 0 16298 0
[pid=7944] vsize: 66648
Current children cumulated CPU time (s) 1209.19
Current children cumulated vsize (Kb) 66648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 25090 0 0 0 119796 1123 0 0 25 0 1 0 21232747 68247552 11090 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 16662 11090 364 364 0 16298 0
[pid=7944] vsize: 66648
Current children cumulated CPU time (s) 1209.19
Current children cumulated vsize (Kb) 66648

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

Child status: 0
Real time (s): 1230.2
CPU time (s): 1209.35
CPU user time (s): 1198.08
CPU system time (s): 11.2623
CPU usage (%): 98.3048
Max. virtual memory (cumulated for all children) (Kb): 66648

Verifier Data

ERROR: no interpretation found !