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

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-set1ch.opb
MD5SUM38f0a9b4a9f08223cf001d3ae518ccdb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 569806848
Optimality of the best value was proved NO
Number of terms in the objective function 7200
Biggest coefficient in the objective function 10737418240
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 1616658659871
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 10737418240
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 1616658659871
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1241.33
Number of variables14400
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint630

Trace number 10167

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-23 17:01:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8868 boxname=wulflinc8 idbench=664 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  38f0a9b4a9f08223cf001d3ae518ccdb  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-set1ch.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-set1ch.opb
IDLAUNCH: 8868
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        929996 kB
Buffers:         13248 kB
Cached:          73860 kB
SwapCached:          0 kB
Active:          46704 kB
Inactive:        43284 kB
HighTotal:      131008 kB
HighFree:        53312 kB
LowTotal:       903652 kB
LowFree:        876684 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              24 kB
Writeback:           8 kB
Mapped:           6976 kB
Slab:             9028 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:23:25 (client local time) WITH STATUS 0 IN 1205.34 SECONDS
stats: 8868 7 1205.34 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21842088 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 373 2 364 364 0 9 0
[pid=9483] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-set1ch.opb

[startup+10.0025 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 26292 0 0 0 937 60 0 0 25 0 1 0 21842088 82354176 15168 4294967295 134512640 135987407 3221224560 3221025292 134893010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 20106 15168 364 364 0 19742 0
[pid=9483] vsize: 80424
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 80424

[startup+20.0033 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 50776 0 0 0 1868 121 0 0 24 0 1 0 21842088 162533376 27701 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 39681 27701 364 364 0 39317 0
[pid=9483] vsize: 158724
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 158724

[startup+30.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51320 0 0 0 2741 161 0 0 25 0 1 0 21842088 164712448 28245 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 40213 28245 364 364 0 39849 0
[pid=9483] vsize: 160852
Current children cumulated CPU time (s) 29.02
Current children cumulated vsize (Kb) 160852

[startup+40.0048 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51457 0 0 0 3630 198 0 0 25 0 1 0 21842088 165265408 28382 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 40348 28382 364 364 0 39984 0
[pid=9483] vsize: 161392
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (Kb) 161392

[startup+50.0056 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51610 0 0 0 4520 234 0 0 25 0 1 0 21842088 165814272 28535 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 40482 28535 364 364 0 40118 0
[pid=9483] vsize: 161928
Current children cumulated CPU time (s) 47.54
Current children cumulated vsize (Kb) 161928

[startup+60.0064 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51722 0 0 0 5408 269 0 0 25 0 1 0 21842088 166240256 28647 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 40586 28647 364 364 0 40222 0
[pid=9483] vsize: 162344
Current children cumulated CPU time (s) 56.77
Current children cumulated vsize (Kb) 162344

[startup+70.0071 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51804 0 0 0 6310 302 0 0 25 0 1 0 21842088 166658048 28729 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 40688 28729 364 364 0 40324 0
[pid=9483] vsize: 162752
Current children cumulated CPU time (s) 66.12
Current children cumulated vsize (Kb) 162752

[startup+80.0079 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51921 0 0 0 7211 334 0 0 25 0 1 0 21842088 167084032 28846 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 40792 28846 364 364 0 40428 0
[pid=9483] vsize: 163168
Current children cumulated CPU time (s) 75.45
Current children cumulated vsize (Kb) 163168

[startup+90.0087 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 51971 0 0 0 8104 367 0 0 25 0 1 0 21842088 167231488 28896 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 40828 28896 364 364 0 40464 0
[pid=9483] vsize: 163312
Current children cumulated CPU time (s) 84.71
Current children cumulated vsize (Kb) 163312

[startup+100.008 s]
Raw data (loadavg): 1.06 1.01 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 52037 0 0 0 8997 402 0 0 25 0 1 0 21842088 167505920 28962 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 40895 28962 364 364 0 40531 0
[pid=9483] vsize: 163580
Current children cumulated CPU time (s) 93.99
Current children cumulated vsize (Kb) 163580

[startup+110.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 52215 0 0 0 9896 436 0 0 23 0 1 0 21842088 168222720 29140 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41070 29140 364 364 0 40706 0
[pid=9483] vsize: 164280
Current children cumulated CPU time (s) 103.32
Current children cumulated vsize (Kb) 164280

[startup+120.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 52288 0 0 0 10793 467 0 0 25 0 1 0 21842088 168517632 29213 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41142 29213 364 364 0 40778 0
[pid=9483] vsize: 164568
Current children cumulated CPU time (s) 112.6
Current children cumulated vsize (Kb) 164568

[startup+130.011 s]
Raw data (loadavg): 1.11 1.03 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 52413 0 0 0 11678 506 0 0 25 0 1 0 21842088 168939520 29338 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41245 29338 364 364 0 40881 0
[pid=9483] vsize: 164980
Current children cumulated CPU time (s) 121.84
Current children cumulated vsize (Kb) 164980

[startup+140.012 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 52491 0 0 0 12567 545 0 0 25 0 1 0 21842088 169218048 29416 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 41313 29416 364 364 0 40949 0
[pid=9483] vsize: 165252
Current children cumulated CPU time (s) 131.12
Current children cumulated vsize (Kb) 165252

[startup+150.012 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 52629 0 0 0 13446 585 0 0 25 0 1 0 21842088 169783296 29554 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41451 29554 364 364 0 41087 0
[pid=9483] vsize: 165804
Current children cumulated CPU time (s) 140.31
Current children cumulated vsize (Kb) 165804

[startup+160.013 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 52699 0 0 0 14334 621 0 0 25 0 1 0 21842088 170078208 29624 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41523 29624 364 364 0 41159 0
[pid=9483] vsize: 166092
Current children cumulated CPU time (s) 149.55
Current children cumulated vsize (Kb) 166092

[startup+170.014 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 52800 0 0 0 15213 659 0 0 25 0 1 0 21842088 170496000 29725 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41625 29725 364 364 0 41261 0
[pid=9483] vsize: 166500
Current children cumulated CPU time (s) 158.72
Current children cumulated vsize (Kb) 166500

[startup+180.015 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 52850 0 0 0 16101 696 0 0 25 0 1 0 21842088 170635264 29775 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 41659 29775 364 364 0 41295 0
[pid=9483] vsize: 166636
Current children cumulated CPU time (s) 167.97
Current children cumulated vsize (Kb) 166636

[startup+190.016 s]
Raw data (loadavg): 1.04 1.02 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 52898 0 0 0 16973 740 0 0 25 0 1 0 21842088 170774528 29823 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41693 29823 364 364 0 41329 0
[pid=9483] vsize: 166772
Current children cumulated CPU time (s) 177.13
Current children cumulated vsize (Kb) 166772

[startup+200.015 s]
Raw data (loadavg): 1.03 1.02 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 52969 0 0 0 17856 776 0 0 25 0 1 0 21842088 171061248 29894 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41763 29894 364 364 0 41399 0
[pid=9483] vsize: 167052
Current children cumulated CPU time (s) 186.32
Current children cumulated vsize (Kb) 167052

[startup+210.016 s]
Raw data (loadavg): 1.03 1.02 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53130 0 0 0 18737 814 0 0 25 0 1 0 21842088 171765760 30055 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41935 30055 364 364 0 41571 0
[pid=9483] vsize: 167740
Current children cumulated CPU time (s) 195.51
Current children cumulated vsize (Kb) 167740

[startup+220.017 s]
Raw data (loadavg): 1.02 1.02 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53141 0 0 0 19621 850 0 0 25 0 1 0 21842088 171765760 30066 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41935 30066 364 364 0 41571 0
[pid=9483] vsize: 167740
Current children cumulated CPU time (s) 204.71
Current children cumulated vsize (Kb) 167740

[startup+230.017 s]
Raw data (loadavg): 1.02 1.02 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53184 0 0 0 20503 886 0 0 25 0 1 0 21842088 171913216 30109 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 41971 30109 364 364 0 41607 0
[pid=9483] vsize: 167884
Current children cumulated CPU time (s) 213.89
Current children cumulated vsize (Kb) 167884

[startup+240.017 s]
Raw data (loadavg): 1.01 1.02 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53236 0 0 0 21396 922 0 0 25 0 1 0 21842088 172195840 30161 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9483/statm): 42040 30161 364 364 0 41676 0
[pid=9483] vsize: 168160
Current children cumulated CPU time (s) 223.18
Current children cumulated vsize (Kb) 168160

[startup+250.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53377 0 0 0 22284 957 0 0 25 0 1 0 21842088 172986368 30302 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42233 30302 364 364 0 41869 0
[pid=9483] vsize: 168932
Current children cumulated CPU time (s) 232.41
Current children cumulated vsize (Kb) 168932

[startup+260.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53414 0 0 0 23165 998 0 0 21 0 1 0 21842088 173150208 30339 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 42273 30339 364 364 0 41909 0
[pid=9483] vsize: 169092
Current children cumulated CPU time (s) 241.63
Current children cumulated vsize (Kb) 169092

[startup+270.02 s]
Raw data (loadavg): 1.01 1.01 0.93 1/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53448 0 0 0 24051 1036 0 0 25 0 1 0 21842088 173297664 30373 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42309 30373 364 364 0 41945 0
[pid=9483] vsize: 169236
Current children cumulated CPU time (s) 250.87
Current children cumulated vsize (Kb) 169236

[startup+280.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 9483
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53516 0 0 0 24947 1072 0 0 25 0 1 0 21842088 173592576 30441 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42381 30441 364 364 0 42017 0
[pid=9483] vsize: 169524
Current children cumulated CPU time (s) 260.19
Current children cumulated vsize (Kb) 169524

[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53568 0 0 0 25834 1110 0 0 25 0 1 0 21842088 173740032 30493 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42417 30493 364 364 0 42053 0
[pid=9483] vsize: 169668
Current children cumulated CPU time (s) 269.44
Current children cumulated vsize (Kb) 169668

[startup+300.021 s]
Raw data (loadavg): 1.00 1.01 0.93 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53614 0 0 0 26723 1149 0 0 25 0 1 0 21842088 173887488 30539 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42453 30539 364 364 0 42089 0
[pid=9483] vsize: 169812
Current children cumulated CPU time (s) 278.72
Current children cumulated vsize (Kb) 169812

[startup+310.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53666 0 0 0 27610 1186 0 0 25 0 1 0 21842088 174198784 30591 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42529 30591 364 364 0 42165 0
[pid=9483] vsize: 170116
Current children cumulated CPU time (s) 287.96
Current children cumulated vsize (Kb) 170116

[startup+320.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53689 0 0 0 28500 1223 0 0 25 0 1 0 21842088 174198784 30614 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42529 30614 364 364 0 42165 0
[pid=9483] vsize: 170116
Current children cumulated CPU time (s) 297.23
Current children cumulated vsize (Kb) 170116

[startup+330.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53797 0 0 0 29393 1258 0 0 25 0 1 0 21842088 174690304 30722 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42649 30722 364 364 0 42285 0
[pid=9483] vsize: 170596
Current children cumulated CPU time (s) 306.51
Current children cumulated vsize (Kb) 170596

[startup+340.023 s]
Raw data (loadavg): 1.00 1.01 0.93 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53827 0 0 0 30284 1294 0 0 25 0 1 0 21842088 174854144 30752 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42689 30752 364 364 0 42325 0
[pid=9483] vsize: 170756
Current children cumulated CPU time (s) 315.78
Current children cumulated vsize (Kb) 170756

[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 53904 0 0 0 31179 1329 0 0 25 0 1 0 21842088 175345664 30829 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42809 30829 364 364 0 42445 0
[pid=9483] vsize: 171236
Current children cumulated CPU time (s) 325.08
Current children cumulated vsize (Kb) 171236

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 53976 0 0 0 32055 1368 0 0 25 0 1 0 21842088 175652864 30901 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42884 30901 364 364 0 42520 0
[pid=9483] vsize: 171536
Current children cumulated CPU time (s) 334.23
Current children cumulated vsize (Kb) 171536

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54004 0 0 0 32948 1404 0 0 25 0 1 0 21842088 175800320 30929 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42920 30929 364 364 0 42556 0
[pid=9483] vsize: 171680
Current children cumulated CPU time (s) 343.52
Current children cumulated vsize (Kb) 171680

[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54071 0 0 0 33819 1445 0 0 25 0 1 0 21842088 176119808 30996 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42998 30996 364 364 0 42634 0
[pid=9483] vsize: 171992
Current children cumulated CPU time (s) 352.64
Current children cumulated vsize (Kb) 171992

[startup+390.027 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54080 0 0 0 34706 1482 0 0 25 0 1 0 21842088 176119808 31005 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 42998 31005 364 364 0 42634 0
[pid=9483] vsize: 171992
Current children cumulated CPU time (s) 361.88
Current children cumulated vsize (Kb) 171992

[startup+400.028 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54189 0 0 0 35592 1519 0 0 25 0 1 0 21842088 176562176 31114 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43106 31114 364 364 0 42742 0
[pid=9483] vsize: 172424
Current children cumulated CPU time (s) 371.11
Current children cumulated vsize (Kb) 172424

[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54314 0 0 0 36478 1559 0 0 25 0 1 0 21842088 177217536 31239 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43266 31239 364 364 0 42902 0
[pid=9483] vsize: 173064
Current children cumulated CPU time (s) 380.37
Current children cumulated vsize (Kb) 173064

[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54366 0 0 0 37356 1599 0 0 25 0 1 0 21842088 177381376 31291 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43306 31291 364 364 0 42942 0
[pid=9483] vsize: 173224
Current children cumulated CPU time (s) 389.55
Current children cumulated vsize (Kb) 173224

[startup+430.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54373 0 0 0 38238 1639 0 0 25 0 1 0 21842088 177381376 31298 4294967295 134512640 135987407 3221224560 3221223404 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43306 31298 364 364 0 42942 0
[pid=9483] vsize: 173224
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (Kb) 173224

[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54386 0 0 0 39118 1679 0 0 21 0 1 0 21842088 177545216 31311 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43346 31311 364 364 0 42982 0
[pid=9483] vsize: 173384
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (Kb) 173384

[startup+450.031 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54428 0 0 0 40005 1717 0 0 25 0 1 0 21842088 177709056 31353 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43386 31353 364 364 0 43022 0
[pid=9483] vsize: 173544
Current children cumulated CPU time (s) 417.22
Current children cumulated vsize (Kb) 173544

[startup+460.032 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54452 0 0 0 40893 1750 0 0 25 0 1 0 21842088 177709056 31377 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43386 31377 364 364 0 43022 0
[pid=9483] vsize: 173544
Current children cumulated CPU time (s) 426.43
Current children cumulated vsize (Kb) 173544

[startup+470.032 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54516 0 0 0 41774 1788 0 0 25 0 1 0 21842088 178020352 31441 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43462 31441 364 364 0 43098 0
[pid=9483] vsize: 173848
Current children cumulated CPU time (s) 435.62
Current children cumulated vsize (Kb) 173848

[startup+480.033 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54531 0 0 0 42659 1827 0 0 25 0 1 0 21842088 178020352 31456 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43462 31456 364 364 0 43098 0
[pid=9483] vsize: 173848
Current children cumulated CPU time (s) 444.86
Current children cumulated vsize (Kb) 173848

[startup+490.034 s]
Raw data (loadavg): 1.04 1.01 0.94 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54585 0 0 0 43535 1868 0 0 25 0 1 0 21842088 178323456 31510 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43536 31510 364 364 0 43172 0
[pid=9483] vsize: 174144
Current children cumulated CPU time (s) 454.03
Current children cumulated vsize (Kb) 174144

[startup+500.035 s]
Raw data (loadavg): 1.03 1.01 0.94 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54626 0 0 0 44426 1904 0 0 25 0 1 0 21842088 178462720 31551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43570 31551 364 364 0 43206 0
[pid=9483] vsize: 174280
Current children cumulated CPU time (s) 463.3
Current children cumulated vsize (Kb) 174280

[startup+510.036 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54656 0 0 0 45304 1943 0 0 25 0 1 0 21842088 178626560 31581 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43610 31581 364 364 0 43246 0
[pid=9483] vsize: 174440
Current children cumulated CPU time (s) 472.47
Current children cumulated vsize (Kb) 174440

[startup+520.036 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54711 0 0 0 46184 1981 0 0 25 0 1 0 21842088 178790400 31636 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43650 31636 364 364 0 43286 0
[pid=9483] vsize: 174600
Current children cumulated CPU time (s) 481.65
Current children cumulated vsize (Kb) 174600

[startup+530.037 s]
Raw data (loadavg): 1.02 1.01 0.94 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54772 0 0 0 47065 2020 0 0 25 0 1 0 21842088 179085312 31697 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43722 31697 364 364 0 43358 0
[pid=9483] vsize: 174888
Current children cumulated CPU time (s) 490.85
Current children cumulated vsize (Kb) 174888

[startup+540.038 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54813 0 0 0 47946 2059 0 0 25 0 1 0 21842088 179249152 31738 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43762 31738 364 364 0 43398 0
[pid=9483] vsize: 175048
Current children cumulated CPU time (s) 500.05
Current children cumulated vsize (Kb) 175048

[startup+550.038 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54891 0 0 0 48825 2097 0 0 25 0 1 0 21842088 179527680 31816 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43830 31816 364 364 0 43466 0
[pid=9483] vsize: 175320
Current children cumulated CPU time (s) 509.22
Current children cumulated vsize (Kb) 175320

[startup+560.038 s]
Raw data (loadavg): 1.01 1.01 0.94 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54934 0 0 0 49705 2136 0 0 25 0 1 0 21842088 179691520 31859 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43870 31859 364 364 0 43506 0
[pid=9483] vsize: 175480
Current children cumulated CPU time (s) 518.41
Current children cumulated vsize (Kb) 175480

[startup+570.039 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 54941 0 0 0 50591 2174 0 0 25 0 1 0 21842088 179691520 31866 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43870 31866 364 364 0 43506 0
[pid=9483] vsize: 175480
Current children cumulated CPU time (s) 527.65
Current children cumulated vsize (Kb) 175480

[startup+580.039 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 54987 0 0 0 51468 2215 0 0 25 0 1 0 21842088 179838976 31912 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43906 31912 364 364 0 43542 0
[pid=9483] vsize: 175624
Current children cumulated CPU time (s) 536.83
Current children cumulated vsize (Kb) 175624

[startup+590.04 s]
Raw data (loadavg): 1.15 1.04 0.95 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55009 0 0 0 52361 2249 0 0 25 0 1 0 21842088 179838976 31934 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43906 31934 364 364 0 43542 0
[pid=9483] vsize: 175624
Current children cumulated CPU time (s) 546.1
Current children cumulated vsize (Kb) 175624

[startup+600.041 s]
Raw data (loadavg): 1.12 1.03 0.95 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55038 0 0 0 53249 2286 0 0 25 0 1 0 21842088 179978240 31963 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 43940 31963 364 364 0 43576 0
[pid=9483] vsize: 175760
Current children cumulated CPU time (s) 555.35
Current children cumulated vsize (Kb) 175760

[startup+610.04 s]
Raw data (loadavg): 1.10 1.03 0.95 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55081 0 0 0 54136 2323 0 0 17 0 1 0 21842088 180125696 32006 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9483/statm): 43976 32006 364 364 0 43612 0
[pid=9483] vsize: 175904
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (Kb) 175904

[startup+620.041 s]
Raw data (loadavg): 1.09 1.03 0.95 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55127 0 0 0 55019 2362 0 0 25 0 1 0 21842088 180273152 32052 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9483/statm): 44012 32052 364 364 0 43648 0
[pid=9483] vsize: 176048
Current children cumulated CPU time (s) 573.81
Current children cumulated vsize (Kb) 176048

[startup+630.042 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55160 0 0 0 55895 2401 0 0 25 0 1 0 21842088 180436992 32085 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44052 32085 364 364 0 43688 0
[pid=9483] vsize: 176208
Current children cumulated CPU time (s) 582.96
Current children cumulated vsize (Kb) 176208

[startup+640.043 s]
Raw data (loadavg): 1.06 1.03 0.95 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55261 0 0 0 56761 2445 0 0 25 0 1 0 21842088 180850688 32186 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44153 32186 364 364 0 43789 0
[pid=9483] vsize: 176612
Current children cumulated CPU time (s) 592.06
Current children cumulated vsize (Kb) 176612

[startup+650.043 s]
Raw data (loadavg): 1.05 1.03 0.95 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55328 0 0 0 57639 2485 0 0 25 0 1 0 21842088 180998144 32253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44189 32253 364 364 0 43825 0
[pid=9483] vsize: 176756
Current children cumulated CPU time (s) 601.24
Current children cumulated vsize (Kb) 176756

[startup+660.045 s]
Raw data (loadavg): 1.12 1.04 0.95 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55366 0 0 0 58520 2525 0 0 25 0 1 0 21842088 181284864 32291 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44259 32291 364 364 0 43895 0
[pid=9483] vsize: 177036
Current children cumulated CPU time (s) 610.45
Current children cumulated vsize (Kb) 177036

[startup+670.046 s]
Raw data (loadavg): 1.10 1.04 0.95 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55402 0 0 0 59400 2561 0 0 25 0 1 0 21842088 181284864 32327 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44259 32327 364 364 0 43895 0
[pid=9483] vsize: 177036
Current children cumulated CPU time (s) 619.61
Current children cumulated vsize (Kb) 177036

[startup+680.046 s]
Raw data (loadavg): 1.09 1.04 0.95 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55430 0 0 0 60283 2598 0 0 25 0 1 0 21842088 181432320 32355 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44295 32355 364 364 0 43931 0
[pid=9483] vsize: 177180
Current children cumulated CPU time (s) 628.81
Current children cumulated vsize (Kb) 177180

[startup+690.047 s]
Raw data (loadavg): 1.15 1.05 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55486 0 0 0 61151 2644 0 0 23 0 1 0 21842088 181706752 32411 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44362 32411 364 364 0 43998 0
[pid=9483] vsize: 177448
Current children cumulated CPU time (s) 637.95
Current children cumulated vsize (Kb) 177448

[startup+700.047 s]
Raw data (loadavg): 1.12 1.05 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55577 0 0 0 62013 2686 0 0 25 0 1 0 21842088 181977088 32502 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44428 32502 364 364 0 44064 0
[pid=9483] vsize: 177712
Current children cumulated CPU time (s) 646.99
Current children cumulated vsize (Kb) 177712

[startup+710.047 s]
Raw data (loadavg): 1.10 1.05 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55601 0 0 0 62882 2729 0 0 25 0 1 0 21842088 182112256 32526 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 44461 32526 364 364 0 44097 0
[pid=9483] vsize: 177844
Current children cumulated CPU time (s) 656.11
Current children cumulated vsize (Kb) 177844

[startup+720.048 s]
Raw data (loadavg): 1.09 1.05 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55619 0 0 0 63757 2771 0 0 25 0 1 0 21842088 182112256 32544 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44461 32544 364 364 0 44097 0
[pid=9483] vsize: 177844
Current children cumulated CPU time (s) 665.28
Current children cumulated vsize (Kb) 177844

[startup+730.048 s]
Raw data (loadavg): 1.07 1.04 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55669 0 0 0 64633 2811 0 0 25 0 1 0 21842088 182247424 32594 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44494 32594 364 364 0 44130 0
[pid=9483] vsize: 177976
Current children cumulated CPU time (s) 674.44
Current children cumulated vsize (Kb) 177976

[startup+740.049 s]
Raw data (loadavg): 1.06 1.04 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55718 0 0 0 65507 2852 0 0 25 0 1 0 21842088 182546432 32643 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 44567 32643 364 364 0 44203 0
[pid=9483] vsize: 178268
Current children cumulated CPU time (s) 683.59
Current children cumulated vsize (Kb) 178268

[startup+750.048 s]
Raw data (loadavg): 1.05 1.04 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55777 0 0 0 66392 2891 0 0 25 0 1 0 21842088 182857728 32702 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 44643 32702 364 364 0 44279 0
[pid=9483] vsize: 178572
Current children cumulated CPU time (s) 692.83
Current children cumulated vsize (Kb) 178572

[startup+760.048 s]
Raw data (loadavg): 1.04 1.04 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55833 0 0 0 67273 2927 0 0 25 0 1 0 21842088 182996992 32758 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44677 32758 364 364 0 44313 0
[pid=9483] vsize: 178708
Current children cumulated CPU time (s) 702
Current children cumulated vsize (Kb) 178708

[startup+770.049 s]
Raw data (loadavg): 1.04 1.04 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55904 0 0 0 68155 2964 0 0 25 0 1 0 21842088 183300096 32829 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44751 32829 364 364 0 44387 0
[pid=9483] vsize: 179004
Current children cumulated CPU time (s) 711.19
Current children cumulated vsize (Kb) 179004

[startup+780.05 s]
Raw data (loadavg): 1.03 1.04 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 55954 0 0 0 69031 3002 0 0 25 0 1 0 21842088 183439360 32879 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44785 32879 364 364 0 44421 0
[pid=9483] vsize: 179140
Current children cumulated CPU time (s) 720.33
Current children cumulated vsize (Kb) 179140

[startup+790.05 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 55982 0 0 0 69911 3043 0 0 25 0 1 0 21842088 183578624 32907 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 44819 32907 364 364 0 44455 0
[pid=9483] vsize: 179276
Current children cumulated CPU time (s) 729.54
Current children cumulated vsize (Kb) 179276

[startup+800.051 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56032 0 0 0 70794 3081 0 0 25 0 1 0 21842088 183717888 32957 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44853 32957 364 364 0 44489 0
[pid=9483] vsize: 179412
Current children cumulated CPU time (s) 738.75
Current children cumulated vsize (Kb) 179412

[startup+810.051 s]
Raw data (loadavg): 1.02 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56078 0 0 0 71664 3126 0 0 25 0 1 0 21842088 183857152 33003 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44887 33003 364 364 0 44523 0
[pid=9483] vsize: 179548
Current children cumulated CPU time (s) 747.9
Current children cumulated vsize (Kb) 179548

[startup+820.052 s]
Raw data (loadavg): 1.01 1.03 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56138 0 0 0 72549 3162 0 0 25 0 1 0 21842088 184160256 33063 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44961 33063 364 364 0 44597 0
[pid=9483] vsize: 179844
Current children cumulated CPU time (s) 757.11
Current children cumulated vsize (Kb) 179844

[startup+830.053 s]
Raw data (loadavg): 1.01 1.03 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56193 0 0 0 73418 3207 0 0 25 0 1 0 21842088 184299520 33118 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 44995 33118 364 364 0 44631 0
[pid=9483] vsize: 179980
Current children cumulated CPU time (s) 766.25
Current children cumulated vsize (Kb) 179980

[startup+840.053 s]
Raw data (loadavg): 1.01 1.03 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56263 0 0 0 74297 3246 0 0 25 0 1 0 21842088 184610816 33188 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45071 33188 364 364 0 44707 0
[pid=9483] vsize: 180284
Current children cumulated CPU time (s) 775.43
Current children cumulated vsize (Kb) 180284

[startup+850.053 s]
Raw data (loadavg): 1.01 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56328 0 0 0 75168 3289 0 0 25 0 1 0 21842088 184889344 33253 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 45139 33253 364 364 0 44775 0
[pid=9483] vsize: 180556
Current children cumulated CPU time (s) 784.57
Current children cumulated vsize (Kb) 180556

[startup+860.053 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56373 0 0 0 76044 3328 0 0 25 0 1 0 21842088 185028608 33298 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45173 33298 364 364 0 44809 0
[pid=9483] vsize: 180692
Current children cumulated CPU time (s) 793.72
Current children cumulated vsize (Kb) 180692

[startup+870.054 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56438 0 0 0 76921 3367 0 0 25 0 1 0 21842088 185163776 33363 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45206 33363 364 364 0 44842 0
[pid=9483] vsize: 180824
Current children cumulated CPU time (s) 802.88
Current children cumulated vsize (Kb) 180824

[startup+880.053 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56476 0 0 0 77793 3410 0 0 25 0 1 0 21842088 185311232 33401 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45242 33401 364 364 0 44878 0
[pid=9483] vsize: 180968
Current children cumulated CPU time (s) 812.03
Current children cumulated vsize (Kb) 180968

[startup+890.054 s]
Raw data (loadavg): 1.00 1.02 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56528 0 0 0 78664 3452 0 0 25 0 1 0 21842088 185450496 33453 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45276 33453 364 364 0 44912 0
[pid=9483] vsize: 181104
Current children cumulated CPU time (s) 821.16
Current children cumulated vsize (Kb) 181104

[startup+900.055 s]
Raw data (loadavg): 1.00 1.02 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56598 0 0 0 79533 3495 0 0 25 0 1 0 21842088 185745408 33523 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45348 33523 364 364 0 44984 0
[pid=9483] vsize: 181392
Current children cumulated CPU time (s) 830.28
Current children cumulated vsize (Kb) 181392

[startup+910.055 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56653 0 0 0 80404 3536 0 0 25 0 1 0 21842088 186032128 33578 4294967295 134512640 135987407 3221224560 3221223376 134816671 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45418 33578 364 364 0 45054 0
[pid=9483] vsize: 181672
Current children cumulated CPU time (s) 839.4
Current children cumulated vsize (Kb) 181672

[startup+920.056 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56712 0 0 0 81280 3578 0 0 25 0 1 0 21842088 186179584 33637 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45454 33637 364 364 0 45090 0
[pid=9483] vsize: 181816
Current children cumulated CPU time (s) 848.58
Current children cumulated vsize (Kb) 181816

[startup+930.055 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56789 0 0 0 82151 3620 0 0 25 0 1 0 21842088 186458112 33714 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 45522 33714 364 364 0 45158 0
[pid=9483] vsize: 182088
Current children cumulated CPU time (s) 857.71
Current children cumulated vsize (Kb) 182088

[startup+940.056 s]
Raw data (loadavg): 1.07 1.03 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56829 0 0 0 83031 3658 0 0 25 0 1 0 21842088 186605568 33754 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9483/statm): 45558 33754 364 364 0 45194 0
[pid=9483] vsize: 182232
Current children cumulated CPU time (s) 866.89
Current children cumulated vsize (Kb) 182232

[startup+950.057 s]
Raw data (loadavg): 1.06 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 56857 0 0 0 83906 3701 0 0 25 0 1 0 21842088 186605568 33782 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45558 33782 364 364 0 45194 0
[pid=9483] vsize: 182232
Current children cumulated CPU time (s) 876.07
Current children cumulated vsize (Kb) 182232

[startup+960.058 s]
Raw data (loadavg): 1.05 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56882 0 0 0 84791 3739 0 0 25 0 1 0 21842088 186753024 33807 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45594 33807 364 364 0 45230 0
[pid=9483] vsize: 182376
Current children cumulated CPU time (s) 885.3
Current children cumulated vsize (Kb) 182376

[startup+970.058 s]
Raw data (loadavg): 1.04 1.03 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56926 0 0 0 85674 3778 0 0 25 0 1 0 21842088 186900480 33851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45630 33851 364 364 0 45266 0
[pid=9483] vsize: 182520
Current children cumulated CPU time (s) 894.52
Current children cumulated vsize (Kb) 182520

[startup+980.058 s]
Raw data (loadavg): 1.04 1.03 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 56965 0 0 0 86546 3818 0 0 25 0 1 0 21842088 187047936 33890 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45666 33890 364 364 0 45302 0
[pid=9483] vsize: 182664
Current children cumulated CPU time (s) 903.64
Current children cumulated vsize (Kb) 182664

[startup+990.059 s]
Raw data (loadavg): 1.03 1.03 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57015 0 0 0 87426 3859 0 0 25 0 1 0 21842088 187187200 33940 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45700 33940 364 364 0 45336 0
[pid=9483] vsize: 182800
Current children cumulated CPU time (s) 912.85
Current children cumulated vsize (Kb) 182800

[startup+1000.06 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57055 0 0 0 88299 3901 0 0 25 0 1 0 21842088 187326464 33980 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45734 33980 364 364 0 45370 0
[pid=9483] vsize: 182936
Current children cumulated CPU time (s) 922
Current children cumulated vsize (Kb) 182936

[startup+1010.06 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57080 0 0 0 89160 3945 0 0 25 0 1 0 21842088 187461632 34005 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45767 34005 364 364 0 45403 0
[pid=9483] vsize: 183068
Current children cumulated CPU time (s) 931.05
Current children cumulated vsize (Kb) 183068

[startup+1020.06 s]
Raw data (loadavg): 1.02 1.02 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57155 0 0 0 90025 3992 0 0 25 0 1 0 21842088 187756544 34080 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45839 34080 364 364 0 45475 0
[pid=9483] vsize: 183356
Current children cumulated CPU time (s) 940.17
Current children cumulated vsize (Kb) 183356

[startup+1030.06 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57198 0 0 0 90900 4033 0 0 19 0 1 0 21842088 187904000 34123 4294967295 134512640 135987407 3221224560 3221223152 134775447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45875 34123 364 364 0 45511 0
[pid=9483] vsize: 183500
Current children cumulated CPU time (s) 949.33
Current children cumulated vsize (Kb) 183500

[startup+1040.06 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57270 0 0 0 91761 4079 0 0 25 0 1 0 21842088 188182528 34195 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45943 34195 364 364 0 45579 0
[pid=9483] vsize: 183772
Current children cumulated CPU time (s) 958.4
Current children cumulated vsize (Kb) 183772

[startup+1050.06 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57305 0 0 0 92636 4121 0 0 25 0 1 0 21842088 188321792 34230 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 45977 34230 364 364 0 45613 0
[pid=9483] vsize: 183908
Current children cumulated CPU time (s) 967.57
Current children cumulated vsize (Kb) 183908

[startup+1060.06 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57331 0 0 0 93507 4163 0 0 25 0 1 0 21842088 188321792 34256 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 45977 34256 364 364 0 45613 0
[pid=9483] vsize: 183908
Current children cumulated CPU time (s) 976.7
Current children cumulated vsize (Kb) 183908

[startup+1070.06 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57348 0 0 0 94385 4204 0 0 25 0 1 0 21842088 188456960 34273 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46010 34273 364 364 0 45646 0
[pid=9483] vsize: 184040
Current children cumulated CPU time (s) 985.89
Current children cumulated vsize (Kb) 184040

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.02 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57379 0 0 0 95259 4245 0 0 25 0 1 0 21842088 188456960 34304 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46010 34304 364 364 0 45646 0
[pid=9483] vsize: 184040
Current children cumulated CPU time (s) 995.04
Current children cumulated vsize (Kb) 184040

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57445 0 0 0 96135 4284 0 0 25 0 1 0 21842088 188751872 34370 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46082 34370 364 364 0 45718 0
[pid=9483] vsize: 184328
Current children cumulated CPU time (s) 1004.19
Current children cumulated vsize (Kb) 184328

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.02 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57487 0 0 0 97007 4326 0 0 25 0 1 0 21842088 188899328 34412 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 46118 34412 364 364 0 45754 0
[pid=9483] vsize: 184472
Current children cumulated CPU time (s) 1013.33
Current children cumulated vsize (Kb) 184472

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57566 0 0 0 97877 4368 0 0 25 0 1 0 21842088 189181952 34491 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 46187 34491 364 364 0 45823 0
[pid=9483] vsize: 184748
Current children cumulated CPU time (s) 1022.45
Current children cumulated vsize (Kb) 184748

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57627 0 0 0 98757 4406 0 0 25 0 1 0 21842088 189493248 34552 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46263 34552 364 364 0 45899 0
[pid=9483] vsize: 185052
Current children cumulated CPU time (s) 1031.63
Current children cumulated vsize (Kb) 185052

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57675 0 0 0 99630 4448 0 0 25 0 1 0 21842088 189640704 34600 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46299 34600 364 364 0 45935 0
[pid=9483] vsize: 185196
Current children cumulated CPU time (s) 1040.78
Current children cumulated vsize (Kb) 185196

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57753 0 0 0 100506 4490 0 0 25 0 1 0 21842088 189952000 34678 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46375 34678 364 364 0 46011 0
[pid=9483] vsize: 185500
Current children cumulated CPU time (s) 1049.96
Current children cumulated vsize (Kb) 185500

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57801 0 0 0 101375 4534 0 0 25 0 1 0 21842088 190246912 34726 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46447 34726 364 364 0 46083 0
[pid=9483] vsize: 185788
Current children cumulated CPU time (s) 1059.09
Current children cumulated vsize (Kb) 185788

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57831 0 0 0 102244 4577 0 0 25 0 1 0 21842088 190246912 34756 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46447 34756 364 364 0 46083 0
[pid=9483] vsize: 185788
Current children cumulated CPU time (s) 1068.21
Current children cumulated vsize (Kb) 185788

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57902 0 0 0 103109 4621 0 0 25 0 1 0 21842088 190541824 34827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9483/statm): 46519 34827 364 364 0 46155 0
[pid=9483] vsize: 186076
Current children cumulated CPU time (s) 1077.3
Current children cumulated vsize (Kb) 186076

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57925 0 0 0 103979 4661 0 0 25 0 1 0 21842088 190705664 34850 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46559 34850 364 364 0 46195 0
[pid=9483] vsize: 186236
Current children cumulated CPU time (s) 1086.4
Current children cumulated vsize (Kb) 186236

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 57952 0 0 0 104847 4705 0 0 25 0 1 0 21842088 190853120 34877 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9483/statm): 46595 34877 364 364 0 46231 0
[pid=9483] vsize: 186380
Current children cumulated CPU time (s) 1095.52
Current children cumulated vsize (Kb) 186380

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 57978 0 0 0 105718 4747 0 0 25 0 1 0 21842088 190853120 34903 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46595 34903 364 364 0 46231 0
[pid=9483] vsize: 186380
Current children cumulated CPU time (s) 1104.65
Current children cumulated vsize (Kb) 186380

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58007 0 0 0 106584 4791 0 0 25 0 1 0 21842088 191000576 34932 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46631 34932 364 364 0 46267 0
[pid=9483] vsize: 186524
Current children cumulated CPU time (s) 1113.75
Current children cumulated vsize (Kb) 186524

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58050 0 0 0 107449 4835 0 0 25 0 1 0 21842088 191148032 34975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46667 34975 364 364 0 46303 0
[pid=9483] vsize: 186668
Current children cumulated CPU time (s) 1122.84
Current children cumulated vsize (Kb) 186668

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 58104 0 0 0 108319 4876 0 0 25 0 1 0 21842088 191295488 35029 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 46703 35029 364 364 0 46339 0
[pid=9483] vsize: 186812
Current children cumulated CPU time (s) 1131.95
Current children cumulated vsize (Kb) 186812

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58218 0 0 0 109192 4916 0 0 25 0 1 0 21842088 191885312 35143 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46847 35143 364 364 0 46483 0
[pid=9483] vsize: 187388
Current children cumulated CPU time (s) 1141.08
Current children cumulated vsize (Kb) 187388

[startup+1250.07 s]
Raw data (loadavg): 1.07 1.02 0.97 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58253 0 0 0 110043 4961 0 0 25 0 1 0 21842088 191885312 35178 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46847 35178 364 364 0 46483 0
[pid=9483] vsize: 187388
Current children cumulated CPU time (s) 1150.04
Current children cumulated vsize (Kb) 187388

[startup+1260.07 s]
Raw data (loadavg): 1.13 1.03 0.97 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58309 0 0 0 110918 5004 0 0 25 0 1 0 21842088 192180224 35234 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46919 35234 364 364 0 46555 0
[pid=9483] vsize: 187676
Current children cumulated CPU time (s) 1159.22
Current children cumulated vsize (Kb) 187676

[startup+1270.07 s]
Raw data (loadavg): 1.11 1.03 0.97 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58343 0 0 0 111781 5051 0 0 25 0 1 0 21842088 192180224 35268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46919 35268 364 364 0 46555 0
[pid=9483] vsize: 187676
Current children cumulated CPU time (s) 1168.32
Current children cumulated vsize (Kb) 187676

[startup+1280.07 s]
Raw data (loadavg): 1.10 1.03 0.97 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 58349 0 0 0 112653 5095 0 0 24 0 1 0 21842088 192180224 35274 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9483/statm): 46919 35274 364 364 0 46555 0
[pid=9483] vsize: 187676
Current children cumulated CPU time (s) 1177.48
Current children cumulated vsize (Kb) 187676

[startup+1290.08 s]
Raw data (loadavg): 1.08 1.03 0.97 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58370 0 0 0 113514 5138 0 0 25 0 1 0 21842088 192344064 35295 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46959 35295 364 364 0 46595 0
[pid=9483] vsize: 187836
Current children cumulated CPU time (s) 1186.52
Current children cumulated vsize (Kb) 187836

[startup+1300.08 s]
Raw data (loadavg): 1.07 1.03 0.97 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58377 0 0 0 114378 5182 0 0 25 0 1 0 21842088 192344064 35302 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46959 35302 364 364 0 46595 0
[pid=9483] vsize: 187836
Current children cumulated CPU time (s) 1195.6
Current children cumulated vsize (Kb) 187836

[startup+1310.08 s]
Raw data (loadavg): 1.06 1.03 0.97 2/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) R 9482 9483 4060 0 -1 0 58384 0 0 0 115247 5226 0 0 25 0 1 0 21842088 192344064 35309 4294967295 134512640 135987407 3221224560 3221223388 134812454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46959 35309 364 364 0 46595 0
[pid=9483] vsize: 187836
Current children cumulated CPU time (s) 1204.73
Current children cumulated vsize (Kb) 187836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.08 s]
Raw data (loadavg): 1.06 1.03 0.97 1/55 9485
Raw data (/proc/9483/stat): 9483 (pb2sat) T 9482 9483 4060 0 -1 0 58384 0 0 0 115247 5226 0 0 25 0 1 0 21842088 192344064 35309 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9483/statm): 46959 35309 364 364 0 46595 0
[pid=9483] vsize: 187836
Current children cumulated CPU time (s) 1204.73
Current children cumulated vsize (Kb) 187836

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

Child status: 0
Real time (s): 1310.68
CPU time (s): 1205.34
CPU user time (s): 1153
CPU system time (s): 52.335
CPU usage (%): 91.963
Max. virtual memory (cumulated for all children) (Kb): 187836

Verifier Data

ERROR: no interpretation found !