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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUMf88781e3d6e9a5487d13eaa213c27b55
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5237
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 6291450
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 6291450
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.45
Number of variables205
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)45
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint105

Trace number 10605

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 18:56:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9303 boxname=wulflinc15 idbench=1099 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-markshare1_1.opb
IDLAUNCH: 9303
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        890812 kB
Buffers:          4888 kB
Cached:         118940 kB
SwapCached:          0 kB
Active:          18396 kB
Inactive:       108308 kB
HighTotal:      131008 kB
HighFree:        76104 kB
LowTotal:       903652 kB
LowFree:        814708 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11452 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:16:49 (client local time) WITH STATUS 10 IN 1210.86 SECONDS
stats: 9303 0 1210.86 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 50998
c small objective detected
c CONFLICT during preprocess 
c [startup+41.4694 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+44.4683 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+47.466 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+50.4676 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+53.4674 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+56.4674 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+59.4671 s]  setting bit 16 to 0
c got solution with objective value: 11984
c [startup+235.982 s]  setting bit 15 to 1
s SATISFIABLE
v s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 s01_bit_1 s01_bit_2 s01_bit_3 -s01_bit_4 s01_bit_5 s01_bit_6 -s01_bit_7 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 s11_bit_2 -s11_bit_3 -s11_bit_4 s11_bit_5 -s11_bit_6 s11_bit_7 s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit2 -s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 -s21_bit_3 s21_bit_4 -s21_bit_5 s21_bit_6 -s21_bit_7 -s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 s31_bit2 -s31_bit3 s31_bit4 s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 s31_bit_1 s31_bit_2 -s31_bit_3 -s31_bit_4 s31_bit_5 -s31_bit_6 s31_bit_7 -s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 s41_bit_2 -s41_bit_3 s41_bit_4 -s41_bit_5 -s41_bit_6 s41_bit_7 -s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_2 s51_bit_3 s51_bit_4 s51_bit_5 -s51_bit_6 s51_bit_7 -x0_bit0 x0_bit_1 -x0_bit_2 -x0_bit_3 x0_bit_4 -x0_bit_5 x0_bit_6 x0_bit_7 -x10_bit0 x11_bit0 -x12_bit0 -x13_bit0 x14_bit0 -x15_bit0 -x16_bit0 x17_bit0 -x18_bit0 x19_bit0 -x1_bit0 x20_bit0 -x21_bit0 x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x2_bit0 x30_bit0 -x31_bit0 -x32_bit0 x33_bit0 x34_bit0 x35_bit0 x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 x3_bit0 -x40_bit0 x41_bit0 x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x45_bit_1 -x45_bit_2 -x45_bit_3 -x45_bit_4 -x45_bit_5 -x45_bit_6 x45_bit_7 -x46_bit0 -x46_bit_1 -x46_bit_2 -x46_bit_3 -x46_bit_4 x46_bit_5 -x46_bit_6 x46_bit_7 x47_bit0 -x47_bit_1 -x47_bit_2 -x47_bit_3 -x47_bit_4 -x47_bit_5 -x47_bit_6 -x47_bit_7 -x48_bit0 -x49_bit0 x49_bit_1 -x49_bit_2 -x49_bit_3 -x49_bit_4 -x49_bit_5 -x49_bit_6 x49_bit_7 x4_bit0 x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0

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/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22515966 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 373 2 364 364 0 9 0
[pid=9515] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-markshare1_1.opb

[startup+10.0027 s]
Raw data (loadavg): 0.86 0.93 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 28873 0 0 0 936 61 0 0 25 0 1 0 22515966 85729280 17724 4294967295 134512640 135987407 3221224560 3221206512 135477380 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 20930 17724 364 364 0 20566 0
[pid=9515] vsize: 83720
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 83720

[startup+20.0036 s]
Raw data (loadavg): 0.88 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 55989 0 0 0 1877 119 0 0 25 0 1 0 22515966 163037184 33611 4294967295 134512640 135987407 3221224560 3221221248 135477856 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 39804 33611 364 364 0 39440 0
[pid=9515] vsize: 159216
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 159216

[startup+30.0044 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 94787 0 0 0 2793 200 0 0 25 0 1 0 22515966 312651776 50211 4294967295 134512640 135987407 3221224560 3221198720 134877949 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 76331 50211 364 364 0 75967 0
[pid=9515] vsize: 305324
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 305324

[startup+40.0052 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 108510 0 0 0 3763 229 0 0 25 0 1 0 22515966 342151168 60800 4294967295 134512640 135987407 3221224560 3221222952 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 83533 60800 364 364 0 83169 0
[pid=9515] vsize: 334132
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 334132

[startup+50.006 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 112794 0 0 0 4752 240 0 0 25 0 1 0 22515966 336322560 59392 4294967295 134512640 135987407 3221224560 3221223360 134802469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 82110 59392 364 364 0 81746 0
[pid=9515] vsize: 328440
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 328440

[startup+60.0068 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 118486 0 0 0 5739 253 0 0 25 0 1 0 22515966 342151168 60815 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 83533 60815 364 364 0 83169 0
[pid=9515] vsize: 334132
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 334132

[startup+70.0077 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 120459 0 0 0 6734 258 0 0 25 0 1 0 22515966 341823488 60259 4294967295 134512640 135987407 3221224560 3221223104 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 83453 60259 364 364 0 83089 0
[pid=9515] vsize: 333812
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 333812

[startup+80.0085 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 120978 0 0 0 7732 259 0 0 25 0 1 0 22515966 343302144 60487 4294967295 134512640 135987407 3221224560 3221223180 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 83814 60487 364 364 0 83450 0
[pid=9515] vsize: 335256
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 335256

[startup+90.0093 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 121337 0 0 0 8731 260 0 0 25 0 1 0 22515966 343826432 60717 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 83942 60717 364 364 0 83578 0
[pid=9515] vsize: 335768
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 335768

[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 121468 0 0 0 9730 260 0 0 25 0 1 0 22515966 344252416 60783 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 84046 60783 364 364 0 83682 0
[pid=9515] vsize: 336184
Current children cumulated CPU time (s) 99.9
Current children cumulated vsize (Kb) 336184

[startup+110.011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 121942 0 0 0 10729 261 0 0 25 0 1 0 22515966 345694208 60901 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 84398 60901 364 364 0 84034 0
[pid=9515] vsize: 337592
Current children cumulated CPU time (s) 109.9
Current children cumulated vsize (Kb) 337592

[startup+120.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 123412 0 0 0 11725 264 0 0 25 0 1 0 22515966 350679040 61849 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 85615 61849 364 364 0 85251 0
[pid=9515] vsize: 342460
Current children cumulated CPU time (s) 119.89
Current children cumulated vsize (Kb) 342460

[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 125490 0 0 0 12718 269 0 0 25 0 1 0 22515966 357060608 62979 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 87173 62979 364 364 0 86809 0
[pid=9515] vsize: 348692
Current children cumulated CPU time (s) 129.87
Current children cumulated vsize (Kb) 348692

[startup+140.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 126394 0 0 0 13715 272 0 0 25 0 1 0 22515966 359837696 63491 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 87851 63491 364 364 0 87487 0
[pid=9515] vsize: 351404
Current children cumulated CPU time (s) 139.87
Current children cumulated vsize (Kb) 351404

[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 127136 0 0 0 14712 274 0 0 25 0 1 0 22515966 362360832 64054 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 88467 64054 364 364 0 88103 0
[pid=9515] vsize: 353868
Current children cumulated CPU time (s) 149.86
Current children cumulated vsize (Kb) 353868

[startup+160.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 127440 0 0 0 15711 274 0 0 25 0 1 0 22515966 362885120 64228 4294967295 134512640 135987407 3221224560 3221223104 134812163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 88595 64228 364 364 0 88231 0
[pid=9515] vsize: 354380
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (Kb) 354380

[startup+170.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 127569 0 0 0 16710 275 0 0 25 0 1 0 22515966 363147264 64292 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 88659 64292 364 364 0 88295 0
[pid=9515] vsize: 354636
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (Kb) 354636

[startup+180.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 127577 0 0 0 17709 276 0 0 25 0 1 0 22515966 363147264 64300 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 88659 64300 364 364 0 88295 0
[pid=9515] vsize: 354636
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (Kb) 354636

[startup+190.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 127985 0 0 0 18707 276 0 0 25 0 1 0 22515966 364392448 64450 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 88963 64450 364 364 0 88599 0
[pid=9515] vsize: 355852
Current children cumulated CPU time (s) 189.83
Current children cumulated vsize (Kb) 355852

[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9515
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 128179 0 0 0 19706 277 0 0 25 0 1 0 22515966 364916736 64515 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 89091 64515 364 364 0 88727 0
[pid=9515] vsize: 356364
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (Kb) 356364

[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9570
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 128744 0 0 0 20704 279 0 0 25 0 1 0 22515966 366493696 64757 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 89476 64757 364 364 0 89112 0
[pid=9515] vsize: 357904
Current children cumulated CPU time (s) 209.83
Current children cumulated vsize (Kb) 357904

[startup+220.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9570
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 129032 0 0 0 21702 280 0 0 25 0 1 0 22515966 367017984 64915 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 89604 64915 364 364 0 89240 0
[pid=9515] vsize: 358416
Current children cumulated CPU time (s) 219.82
Current children cumulated vsize (Kb) 358416

[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9570
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 129164 0 0 0 22700 281 0 0 25 0 1 0 22515966 367546368 64982 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 89733 64982 364 364 0 89369 0
[pid=9515] vsize: 358932
Current children cumulated CPU time (s) 229.81
Current children cumulated vsize (Kb) 358932

[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9570
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 130992 0 0 0 23695 285 0 0 25 0 1 0 22515966 369274880 65225 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 90155 65225 364 364 0 89791 0
[pid=9515] vsize: 360620
Current children cumulated CPU time (s) 239.8
Current children cumulated vsize (Kb) 360620

[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9570
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 131609 0 0 0 24693 286 0 0 25 0 1 0 22515966 371593216 65647 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 90721 65647 364 364 0 90357 0
[pid=9515] vsize: 362884
Current children cumulated CPU time (s) 249.79
Current children cumulated vsize (Kb) 362884

[startup+260.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9570
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 131818 0 0 0 25693 287 0 0 25 0 1 0 22515966 372117504 65726 4294967295 134512640 135987407 3221224560 3221223040 134778301 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 90849 65726 364 364 0 90485 0
[pid=9515] vsize: 363396
Current children cumulated CPU time (s) 259.8
Current children cumulated vsize (Kb) 363396

[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9572
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 131897 0 0 0 26692 287 0 0 25 0 1 0 22515966 372383744 65805 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 90914 65805 364 364 0 90550 0
[pid=9515] vsize: 363656
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (Kb) 363656

[startup+280.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9574
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132205 0 0 0 27690 288 0 0 25 0 1 0 22515966 373440512 65983 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91172 65983 364 364 0 90808 0
[pid=9515] vsize: 364688
Current children cumulated CPU time (s) 279.78
Current children cumulated vsize (Kb) 364688

[startup+290.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132327 0 0 0 28690 288 0 0 25 0 1 0 22515966 373702656 66040 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91236 66040 364 364 0 90872 0
[pid=9515] vsize: 364944
Current children cumulated CPU time (s) 289.78
Current children cumulated vsize (Kb) 364944

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132330 0 0 0 29690 288 0 0 25 0 1 0 22515966 373702656 66043 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91236 66043 364 364 0 90872 0
[pid=9515] vsize: 364944
Current children cumulated CPU time (s) 299.78
Current children cumulated vsize (Kb) 364944

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132380 0 0 0 30689 289 0 0 25 0 1 0 22515966 373702656 66093 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91236 66093 364 364 0 90872 0
[pid=9515] vsize: 364944
Current children cumulated CPU time (s) 309.78
Current children cumulated vsize (Kb) 364944

[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132424 0 0 0 31689 289 0 0 25 0 1 0 22515966 373702656 66137 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91236 66137 364 364 0 90872 0
[pid=9515] vsize: 364944
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (Kb) 364944

[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132493 0 0 0 32688 289 0 0 25 0 1 0 22515966 373968896 66206 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91301 66206 364 364 0 90937 0
[pid=9515] vsize: 365204
Current children cumulated CPU time (s) 329.77
Current children cumulated vsize (Kb) 365204

[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132740 0 0 0 33687 290 0 0 25 0 1 0 22515966 374759424 66323 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91494 66323 364 364 0 91130 0
[pid=9515] vsize: 365976
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (Kb) 365976

[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132957 0 0 0 34686 291 0 0 25 0 1 0 22515966 375283712 66411 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91622 66411 364 364 0 91258 0
[pid=9515] vsize: 366488
Current children cumulated CPU time (s) 349.77
Current children cumulated vsize (Kb) 366488

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 132987 0 0 0 35686 291 0 0 25 0 1 0 22515966 375283712 66441 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91622 66441 364 364 0 91258 0
[pid=9515] vsize: 366488
Current children cumulated CPU time (s) 359.77
Current children cumulated vsize (Kb) 366488

[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 133300 0 0 0 36684 292 0 0 25 0 1 0 22515966 376070144 66560 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 91814 66560 364 364 0 91450 0
[pid=9515] vsize: 367256
Current children cumulated CPU time (s) 369.76
Current children cumulated vsize (Kb) 367256

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 133797 0 0 0 37683 293 0 0 25 0 1 0 22515966 377643008 66670 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92198 66670 364 364 0 91834 0
[pid=9515] vsize: 368792
Current children cumulated CPU time (s) 379.76
Current children cumulated vsize (Kb) 368792

[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134093 0 0 0 38682 294 0 0 25 0 1 0 22515966 378691584 66708 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92454 66708 364 364 0 92090 0
[pid=9515] vsize: 369816
Current children cumulated CPU time (s) 389.76
Current children cumulated vsize (Kb) 369816

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134098 0 0 0 39682 294 0 0 25 0 1 0 22515966 378691584 66713 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92454 66713 364 364 0 92090 0
[pid=9515] vsize: 369816
Current children cumulated CPU time (s) 399.76
Current children cumulated vsize (Kb) 369816

[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134107 0 0 0 40681 294 0 0 25 0 1 0 22515966 378691584 66722 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92454 66722 364 364 0 92090 0
[pid=9515] vsize: 369816
Current children cumulated CPU time (s) 409.75
Current children cumulated vsize (Kb) 369816

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134293 0 0 0 41680 295 0 0 25 0 1 0 22515966 379215872 66779 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92582 66779 364 364 0 92218 0
[pid=9515] vsize: 370328
Current children cumulated CPU time (s) 419.75
Current children cumulated vsize (Kb) 370328

[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134361 0 0 0 42680 295 0 0 25 0 1 0 22515966 379482112 66847 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92647 66847 364 364 0 92283 0
[pid=9515] vsize: 370588
Current children cumulated CPU time (s) 429.75
Current children cumulated vsize (Kb) 370588

[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134364 0 0 0 43679 295 0 0 25 0 1 0 22515966 379482112 66850 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92647 66850 364 364 0 92283 0
[pid=9515] vsize: 370588
Current children cumulated CPU time (s) 439.74
Current children cumulated vsize (Kb) 370588

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134417 0 0 0 44679 296 0 0 25 0 1 0 22515966 379613184 66870 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92679 66870 364 364 0 92315 0
[pid=9515] vsize: 370716
Current children cumulated CPU time (s) 449.75
Current children cumulated vsize (Kb) 370716

[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 134612 0 0 0 45677 297 0 0 25 0 1 0 22515966 380276736 67032 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 92841 67032 364 364 0 92477 0
[pid=9515] vsize: 371364
Current children cumulated CPU time (s) 459.74
Current children cumulated vsize (Kb) 371364

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 135075 0 0 0 46675 298 0 0 25 0 1 0 22515966 381726720 67268 4294967295 134512640 135987407 3221224560 3221223232 134824722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 93195 67268 364 364 0 92831 0
[pid=9515] vsize: 372780
Current children cumulated CPU time (s) 469.73
Current children cumulated vsize (Kb) 372780

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 135842 0 0 0 47674 299 0 0 25 0 1 0 22515966 383823872 67516 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 93707 67516 364 364 0 93343 0
[pid=9515] vsize: 374828
Current children cumulated CPU time (s) 479.73
Current children cumulated vsize (Kb) 374828

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 135847 0 0 0 48673 300 0 0 25 0 1 0 22515966 383823872 67521 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 93707 67521 364 364 0 93343 0
[pid=9515] vsize: 374828
Current children cumulated CPU time (s) 489.73
Current children cumulated vsize (Kb) 374828

[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 135859 0 0 0 49672 300 0 0 25 0 1 0 22515966 383823872 67533 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 93707 67533 364 364 0 93343 0
[pid=9515] vsize: 374828
Current children cumulated CPU time (s) 499.72
Current children cumulated vsize (Kb) 374828

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 135986 0 0 0 50670 301 0 0 21 0 1 0 22515966 384221184 67627 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 93804 67627 364 364 0 93440 0
[pid=9515] vsize: 375216
Current children cumulated CPU time (s) 509.71
Current children cumulated vsize (Kb) 375216

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9576
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136209 0 0 0 51670 302 0 0 25 0 1 0 22515966 384745472 67721 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 93932 67721 364 364 0 93568 0
[pid=9515] vsize: 375728
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (Kb) 375728

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136388 0 0 0 52669 302 0 0 25 0 1 0 22515966 385007616 67835 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 93996 67835 364 364 0 93632 0
[pid=9515] vsize: 375984
Current children cumulated CPU time (s) 529.71
Current children cumulated vsize (Kb) 375984

[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136474 0 0 0 53667 303 0 0 25 0 1 0 22515966 385269760 67856 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94060 67856 364 364 0 93696 0
[pid=9515] vsize: 376240
Current children cumulated CPU time (s) 539.7
Current children cumulated vsize (Kb) 376240

[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136537 0 0 0 54666 303 0 0 25 0 1 0 22515966 385536000 67919 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94125 67919 364 364 0 93761 0
[pid=9515] vsize: 376500
Current children cumulated CPU time (s) 549.69
Current children cumulated vsize (Kb) 376500

[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136620 0 0 0 55666 304 0 0 25 0 1 0 22515966 385798144 67937 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94189 67937 364 364 0 93825 0
[pid=9515] vsize: 376756
Current children cumulated CPU time (s) 559.7
Current children cumulated vsize (Kb) 376756

[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136623 0 0 0 56665 304 0 0 25 0 1 0 22515966 385798144 67940 4294967295 134512640 135987407 3221224560 3221223104 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94189 67940 364 364 0 93825 0
[pid=9515] vsize: 376756
Current children cumulated CPU time (s) 569.69
Current children cumulated vsize (Kb) 376756

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136626 0 0 0 57664 305 0 0 25 0 1 0 22515966 385798144 67943 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94189 67943 364 364 0 93825 0
[pid=9515] vsize: 376756
Current children cumulated CPU time (s) 579.69
Current children cumulated vsize (Kb) 376756

[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 136629 0 0 0 58663 306 0 0 25 0 1 0 22515966 385798144 67946 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94189 67946 364 364 0 93825 0
[pid=9515] vsize: 376756
Current children cumulated CPU time (s) 589.69
Current children cumulated vsize (Kb) 376756

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137134 0 0 0 59661 307 0 0 25 0 1 0 22515966 387112960 68190 4294967295 134512640 135987407 3221224560 3221223104 134811692 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94510 68190 364 364 0 94146 0
[pid=9515] vsize: 378040
Current children cumulated CPU time (s) 599.68
Current children cumulated vsize (Kb) 378040

[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137585 0 0 0 60659 308 0 0 25 0 1 0 22515966 388558848 68413 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94863 68413 364 364 0 94499 0
[pid=9515] vsize: 379452
Current children cumulated CPU time (s) 609.67
Current children cumulated vsize (Kb) 379452

[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137588 0 0 0 61659 309 0 0 25 0 1 0 22515966 388558848 68416 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94863 68416 364 364 0 94499 0
[pid=9515] vsize: 379452
Current children cumulated CPU time (s) 619.68
Current children cumulated vsize (Kb) 379452

[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137606 0 0 0 62658 309 0 0 25 0 1 0 22515966 388558848 68434 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94863 68434 364 364 0 94499 0
[pid=9515] vsize: 379452
Current children cumulated CPU time (s) 629.67
Current children cumulated vsize (Kb) 379452

[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137646 0 0 0 63657 310 0 0 25 0 1 0 22515966 388558848 68474 4294967295 134512640 135987407 3221224560 3221223156 135477913 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94863 68474 364 364 0 94499 0
[pid=9515] vsize: 379452
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (Kb) 379452

[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137750 0 0 0 64657 310 0 0 25 0 1 0 22515966 388820992 68513 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 94927 68513 364 364 0 94563 0
[pid=9515] vsize: 379708
Current children cumulated CPU time (s) 649.67
Current children cumulated vsize (Kb) 379708

[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137991 0 0 0 65656 310 0 0 25 0 1 0 22515966 389345280 68625 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95055 68625 364 364 0 94691 0
[pid=9515] vsize: 380220
Current children cumulated CPU time (s) 659.66
Current children cumulated vsize (Kb) 380220

[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 137995 0 0 0 66656 310 0 0 25 0 1 0 22515966 389345280 68629 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95055 68629 364 364 0 94691 0
[pid=9515] vsize: 380220
Current children cumulated CPU time (s) 669.66
Current children cumulated vsize (Kb) 380220

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138055 0 0 0 67656 310 0 0 25 0 1 0 22515966 389345280 68689 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95055 68689 364 364 0 94691 0
[pid=9515] vsize: 380220
Current children cumulated CPU time (s) 679.66
Current children cumulated vsize (Kb) 380220

[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138220 0 0 0 68655 311 0 0 25 0 1 0 22515966 389869568 68725 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95183 68725 364 364 0 94819 0
[pid=9515] vsize: 380732
Current children cumulated CPU time (s) 689.66
Current children cumulated vsize (Kb) 380732

[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138260 0 0 0 69654 311 0 0 25 0 1 0 22515966 389869568 68765 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95183 68765 364 364 0 94819 0
[pid=9515] vsize: 380732
Current children cumulated CPU time (s) 699.65
Current children cumulated vsize (Kb) 380732

[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138508 0 0 0 70653 312 0 0 25 0 1 0 22515966 390393856 68884 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95311 68884 364 364 0 94947 0
[pid=9515] vsize: 381244
Current children cumulated CPU time (s) 709.65
Current children cumulated vsize (Kb) 381244

[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138673 0 0 0 71652 313 0 0 25 0 1 0 22515966 390918144 68920 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68920 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 719.65
Current children cumulated vsize (Kb) 381756

[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138678 0 0 0 72652 313 0 0 25 0 1 0 22515966 390918144 68925 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68925 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 729.65
Current children cumulated vsize (Kb) 381756

[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138680 0 0 0 73651 313 0 0 25 0 1 0 22515966 390918144 68927 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68927 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 739.64
Current children cumulated vsize (Kb) 381756

[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138684 0 0 0 74651 314 0 0 25 0 1 0 22515966 390918144 68931 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68931 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 749.65
Current children cumulated vsize (Kb) 381756

[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138687 0 0 0 75650 314 0 0 25 0 1 0 22515966 390918144 68934 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68934 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 759.64
Current children cumulated vsize (Kb) 381756

[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138689 0 0 0 76650 314 0 0 25 0 1 0 22515966 390918144 68936 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68936 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 769.64
Current children cumulated vsize (Kb) 381756

[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138693 0 0 0 77650 314 0 0 25 0 1 0 22515966 390918144 68940 4294967295 134512640 135987407 3221224560 3221223200 134812296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68940 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 779.64
Current children cumulated vsize (Kb) 381756

[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138695 0 0 0 78649 315 0 0 25 0 1 0 22515966 390918144 68942 4294967295 134512640 135987407 3221224560 3221223200 134812296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68942 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 789.64
Current children cumulated vsize (Kb) 381756

[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138699 0 0 0 79649 315 0 0 25 0 1 0 22515966 390918144 68946 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68946 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 799.64
Current children cumulated vsize (Kb) 381756

[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138704 0 0 0 80649 315 0 0 25 0 1 0 22515966 390918144 68951 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68951 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 809.64
Current children cumulated vsize (Kb) 381756

[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138710 0 0 0 81648 315 0 0 25 0 1 0 22515966 390918144 68957 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68957 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 819.63
Current children cumulated vsize (Kb) 381756

[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138714 0 0 0 82648 315 0 0 25 0 1 0 22515966 390918144 68961 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68961 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 829.63
Current children cumulated vsize (Kb) 381756

[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138719 0 0 0 83648 316 0 0 25 0 1 0 22515966 390918144 68966 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68966 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 839.64
Current children cumulated vsize (Kb) 381756

[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138726 0 0 0 84647 316 0 0 25 0 1 0 22515966 390918144 68973 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95439 68973 364 364 0 95075 0
[pid=9515] vsize: 381756
Current children cumulated CPU time (s) 849.63
Current children cumulated vsize (Kb) 381756

[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138878 0 0 0 85645 317 0 0 25 0 1 0 22515966 391446528 69060 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95568 69060 364 364 0 95204 0
[pid=9515] vsize: 382272
Current children cumulated CPU time (s) 859.62
Current children cumulated vsize (Kb) 382272

[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138902 0 0 0 86645 318 0 0 25 0 1 0 22515966 391446528 69084 4294967295 134512640 135987407 3221224560 3221223200 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95568 69084 364 364 0 95204 0
[pid=9515] vsize: 382272
Current children cumulated CPU time (s) 869.63
Current children cumulated vsize (Kb) 382272

[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 138906 0 0 0 87644 318 0 0 25 0 1 0 22515966 391446528 69088 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95568 69088 364 364 0 95204 0
[pid=9515] vsize: 382272
Current children cumulated CPU time (s) 879.62
Current children cumulated vsize (Kb) 382272

[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139080 0 0 0 88643 318 0 0 25 0 1 0 22515966 391970816 69133 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69133 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 889.61
Current children cumulated vsize (Kb) 382784

[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139083 0 0 0 89643 319 0 0 25 0 1 0 22515966 391970816 69136 4294967295 134512640 135987407 3221224560 3221223008 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69136 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 899.62
Current children cumulated vsize (Kb) 382784

[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139086 0 0 0 90643 319 0 0 25 0 1 0 22515966 391970816 69139 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69139 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 909.62
Current children cumulated vsize (Kb) 382784

[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139090 0 0 0 91641 319 0 0 25 0 1 0 22515966 391970816 69143 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69143 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 919.6
Current children cumulated vsize (Kb) 382784

[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139092 0 0 0 92641 319 0 0 25 0 1 0 22515966 391970816 69145 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69145 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 929.6
Current children cumulated vsize (Kb) 382784

[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139098 0 0 0 93640 320 0 0 25 0 1 0 22515966 391970816 69151 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69151 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 939.6
Current children cumulated vsize (Kb) 382784

[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139101 0 0 0 94640 320 0 0 25 0 1 0 22515966 391970816 69154 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69154 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 949.6
Current children cumulated vsize (Kb) 382784

[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139103 0 0 0 95639 320 0 0 25 0 1 0 22515966 391970816 69156 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69156 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 959.59
Current children cumulated vsize (Kb) 382784

[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139106 0 0 0 96639 320 0 0 25 0 1 0 22515966 391970816 69159 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69159 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 969.59
Current children cumulated vsize (Kb) 382784

[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139110 0 0 0 97639 320 0 0 25 0 1 0 22515966 391970816 69163 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95696 69163 364 364 0 95332 0
[pid=9515] vsize: 382784
Current children cumulated CPU time (s) 979.59
Current children cumulated vsize (Kb) 382784

[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139251 0 0 0 98638 321 0 0 25 0 1 0 22515966 392495104 69175 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69175 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 989.59
Current children cumulated vsize (Kb) 383296

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139253 0 0 0 99637 321 0 0 25 0 1 0 22515966 392495104 69177 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69177 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 999.58
Current children cumulated vsize (Kb) 383296

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139256 0 0 0 100637 321 0 0 25 0 1 0 22515966 392495104 69180 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69180 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1009.58
Current children cumulated vsize (Kb) 383296

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139260 0 0 0 101636 321 0 0 25 0 1 0 22515966 392495104 69184 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69184 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1019.57
Current children cumulated vsize (Kb) 383296

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139263 0 0 0 102635 322 0 0 25 0 1 0 22515966 392495104 69187 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69187 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1029.57
Current children cumulated vsize (Kb) 383296

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139267 0 0 0 103634 322 0 0 25 0 1 0 22515966 392495104 69191 4294967295 134512640 135987407 3221224560 3221223104 134812132 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69191 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1039.56
Current children cumulated vsize (Kb) 383296

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139271 0 0 0 104633 323 0 0 25 0 1 0 22515966 392495104 69195 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69195 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1049.56
Current children cumulated vsize (Kb) 383296

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139275 0 0 0 105633 323 0 0 25 0 1 0 22515966 392495104 69199 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69199 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1059.56
Current children cumulated vsize (Kb) 383296

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139278 0 0 0 106633 323 0 0 25 0 1 0 22515966 392495104 69202 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69202 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1069.56
Current children cumulated vsize (Kb) 383296

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139282 0 0 0 107632 323 0 0 25 0 1 0 22515966 392495104 69206 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69206 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1079.55
Current children cumulated vsize (Kb) 383296

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139284 0 0 0 108632 323 0 0 25 0 1 0 22515966 392495104 69208 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69208 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1089.55
Current children cumulated vsize (Kb) 383296

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139287 0 0 0 109632 323 0 0 25 0 1 0 22515966 392495104 69211 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69211 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1099.55
Current children cumulated vsize (Kb) 383296

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139292 0 0 0 110632 324 0 0 25 0 1 0 22515966 392495104 69216 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69216 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1109.56
Current children cumulated vsize (Kb) 383296

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139295 0 0 0 111632 324 0 0 25 0 1 0 22515966 392495104 69219 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69219 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1119.56
Current children cumulated vsize (Kb) 383296

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139297 0 0 0 112631 324 0 0 25 0 1 0 22515966 392495104 69221 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69221 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1129.55
Current children cumulated vsize (Kb) 383296

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139300 0 0 0 113631 324 0 0 25 0 1 0 22515966 392495104 69224 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69224 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1139.55
Current children cumulated vsize (Kb) 383296

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139303 0 0 0 114630 324 0 0 25 0 1 0 22515966 392495104 69227 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69227 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1149.54
Current children cumulated vsize (Kb) 383296

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139306 0 0 0 115630 324 0 0 25 0 1 0 22515966 392495104 69230 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69230 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1159.54
Current children cumulated vsize (Kb) 383296

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139310 0 0 0 116630 324 0 0 25 0 1 0 22515966 392495104 69234 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69234 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1169.54
Current children cumulated vsize (Kb) 383296

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139311 0 0 0 117630 325 0 0 25 0 1 0 22515966 392495104 69235 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69235 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1179.55
Current children cumulated vsize (Kb) 383296

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139314 0 0 0 118630 325 0 0 25 0 1 0 22515966 392495104 69238 4294967295 134512640 135987407 3221224560 3221223260 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69238 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1189.55
Current children cumulated vsize (Kb) 383296

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139316 0 0 0 119630 325 0 0 25 0 1 0 22515966 392495104 69240 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9515/statm): 95824 69240 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1199.55
Current children cumulated vsize (Kb) 383296

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139320 0 0 0 120629 325 0 0 25 0 1 0 22515966 392495104 69244 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69244 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1209.54
Current children cumulated vsize (Kb) 383296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9578
Raw data (/proc/9515/stat): 9515 (pb2sat) R 9514 9515 4057 0 -1 0 139320 0 0 0 120629 325 0 0 25 0 1 0 22515966 392495104 69244 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9515/statm): 95824 69244 364 364 0 95460 0
[pid=9515] vsize: 383296
Current children cumulated CPU time (s) 1209.54
Current children cumulated vsize (Kb) 383296

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

Child status: 10
Real time (s): 1211.38
CPU time (s): 1210.86
CPU user time (s): 1207.47
CPU system time (s): 3.39148
CPU usage (%): 99.9568
Max. virtual memory (cumulated for all children) (Kb): 383296

Verifier Data

Verifier:	OK	11984