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/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare1.opb
MD5SUMba87f5dfbaed559dc55bc00bf07dc880
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3584
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.34
Number of variables170
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint70

Trace number 10524

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931968 kB
Buffers:         12580 kB
Cached:          73304 kB
SwapCached:          0 kB
Active:          45824 kB
Inactive:        42920 kB
HighTotal:      131008 kB
HighFree:        53340 kB
LowTotal:       903652 kB
LowFree:        878628 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8388 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:51:20 (client local time) WITH STATUS 10 IN 1209.89 SECONDS
stats: 9226 0 1209.89 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 36224
c small objective detected
c CONFLICT during preprocess 
c [startup+17.3326 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+18.5381 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+19.7447 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+20.9518 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+22.1583 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+23.3648 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+24.5706 s]  setting bit 16 to 0

c Decision: 10920/304291	Time: 716.932/86400
c Decision: 10920/304291	Time: 783.488/86400
c Decision: 10920/304291	Time: 864.801/86400
c Decision: 10946/304291	Time: 980.145/86400
c Decision: 10946/304291	Time: 1054.18/86400
c Decision: 10946/304291	Time: 1158.77/86400s 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 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 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 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/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22365019 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 373 2 364 364 0 9 0
[pid=9650] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-markshare1.opb

[startup+10.0012 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 28116 0 0 0 935 62 0 0 25 0 1 0 22365019 81424384 16963 4294967295 134512640 135987407 3221224560 3221211772 135480480 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 19879 16963 364 364 0 19515 0
[pid=9650] vsize: 79516
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79516

[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 52002 0 0 0 1880 116 0 0 25 0 1 0 22365019 151625728 26693 4294967295 134512640 135987407 3221224560 3221222952 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 37018 26693 364 364 0 36654 0
[pid=9650] vsize: 148072
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 148072

[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 54610 0 0 0 2873 123 0 0 25 0 1 0 22365019 150036480 26261 4294967295 134512640 135987407 3221224560 3221223104 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 36630 26261 364 364 0 36266 0
[pid=9650] vsize: 146520
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 146520

[startup+40.0034 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 54939 0 0 0 3871 123 0 0 25 0 1 0 22365019 150900736 26524 4294967295 134512640 135987407 3221224560 3221222876 135481941 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 36841 26524 364 364 0 36477 0
[pid=9650] vsize: 147364
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 147364

[startup+50.0041 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 55021 0 0 0 4870 124 0 0 25 0 1 0 22365019 151162880 26541 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 36905 26541 364 364 0 36541 0
[pid=9650] vsize: 147620
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 147620

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 55213 0 0 0 5869 125 0 0 25 0 1 0 22365019 152023040 26668 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 37115 26668 364 364 0 36751 0
[pid=9650] vsize: 148460
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 148460

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 55254 0 0 0 6868 125 0 0 25 0 1 0 22365019 152289280 26709 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 37180 26709 364 364 0 36816 0
[pid=9650] vsize: 148720
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 148720

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 55384 0 0 0 7867 126 0 0 25 0 1 0 22365019 152551424 26774 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 37244 26774 364 364 0 36880 0
[pid=9650] vsize: 148976
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 148976

[startup+90.0071 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 55735 0 0 0 8865 127 0 0 25 0 1 0 22365019 153751552 26994 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 37537 26994 364 364 0 37173 0
[pid=9650] vsize: 150148
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 150148

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.95 1/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) T 9649 9650 4059 0 -1 0 56608 0 0 0 9862 129 0 0 25 0 1 0 22365019 156971008 27629 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9650/statm): 38323 27629 364 364 0 37959 0
[pid=9650] vsize: 153292
Current children cumulated CPU time (s) 99.91
Current children cumulated vsize (Kb) 153292

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 56774 0 0 0 10861 129 0 0 25 0 1 0 22365019 157466624 27722 4294967295 134512640 135987407 3221224560 3221223236 135479957 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 38444 27722 364 364 0 38080 0
[pid=9650] vsize: 153776
Current children cumulated CPU time (s) 109.9
Current children cumulated vsize (Kb) 153776

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 56944 0 0 0 11860 130 0 0 25 0 1 0 22365019 157995008 27827 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 38573 27827 364 364 0 38209 0
[pid=9650] vsize: 154292
Current children cumulated CPU time (s) 119.9
Current children cumulated vsize (Kb) 154292

[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57298 0 0 0 12858 131 0 0 25 0 1 0 22365019 159522816 28099 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 38946 28099 364 364 0 38582 0
[pid=9650] vsize: 155784
Current children cumulated CPU time (s) 129.89
Current children cumulated vsize (Kb) 155784

[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57532 0 0 0 13856 133 0 0 25 0 1 0 22365019 160325632 28267 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39142 28267 364 364 0 38778 0
[pid=9650] vsize: 156568
Current children cumulated CPU time (s) 139.89
Current children cumulated vsize (Kb) 156568

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57540 0 0 0 14855 133 0 0 25 0 1 0 22365019 160325632 28275 4294967295 134512640 135987407 3221224560 3221223200 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39142 28275 364 364 0 38778 0
[pid=9650] vsize: 156568
Current children cumulated CPU time (s) 149.88
Current children cumulated vsize (Kb) 156568

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57545 0 0 0 15854 134 0 0 25 0 1 0 22365019 160325632 28280 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39142 28280 364 364 0 38778 0
[pid=9650] vsize: 156568
Current children cumulated CPU time (s) 159.88
Current children cumulated vsize (Kb) 156568

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57618 0 0 0 16853 134 0 0 25 0 1 0 22365019 160587776 28288 4294967295 134512640 135987407 3221224560 3221223264 134790009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39206 28288 364 364 0 38842 0
[pid=9650] vsize: 156824
Current children cumulated CPU time (s) 169.87
Current children cumulated vsize (Kb) 156824

[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57698 0 0 0 17851 135 0 0 25 0 1 0 22365019 160849920 28303 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39270 28303 364 364 0 38906 0
[pid=9650] vsize: 157080
Current children cumulated CPU time (s) 179.86
Current children cumulated vsize (Kb) 157080

[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57708 0 0 0 18850 136 0 0 25 0 1 0 22365019 160849920 28313 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39270 28313 364 364 0 38906 0
[pid=9650] vsize: 157080
Current children cumulated CPU time (s) 189.86
Current children cumulated vsize (Kb) 157080

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57717 0 0 0 19850 136 0 0 25 0 1 0 22365019 160849920 28322 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39270 28322 364 364 0 38906 0
[pid=9650] vsize: 157080
Current children cumulated CPU time (s) 199.86
Current children cumulated vsize (Kb) 157080

[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57760 0 0 0 20849 136 0 0 25 0 1 0 22365019 161116160 28365 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 39335 28365 364 364 0 38971 0
[pid=9650] vsize: 157340
Current children cumulated CPU time (s) 209.85
Current children cumulated vsize (Kb) 157340

[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57872 0 0 0 21847 137 0 0 25 0 1 0 22365019 178155520 28412 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 43495 28412 364 364 0 43131 0
[pid=9650] vsize: 173980
Current children cumulated CPU time (s) 219.84
Current children cumulated vsize (Kb) 173980

[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57878 0 0 0 22846 138 0 0 25 0 1 0 22365019 178155520 28418 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43495 28418 364 364 0 43131 0
[pid=9650] vsize: 173980
Current children cumulated CPU time (s) 229.84
Current children cumulated vsize (Kb) 173980

[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57886 0 0 0 23845 138 0 0 25 0 1 0 22365019 178155520 28426 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43495 28426 364 364 0 43131 0
[pid=9650] vsize: 173980
Current children cumulated CPU time (s) 239.83
Current children cumulated vsize (Kb) 173980

[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 57890 0 0 0 24844 139 0 0 25 0 1 0 22365019 178155520 28430 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43495 28430 364 364 0 43131 0
[pid=9650] vsize: 173980
Current children cumulated CPU time (s) 249.83
Current children cumulated vsize (Kb) 173980

[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58092 0 0 0 25843 139 0 0 25 0 1 0 22365019 178954240 28566 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43690 28566 364 364 0 43326 0
[pid=9650] vsize: 174760
Current children cumulated CPU time (s) 259.82
Current children cumulated vsize (Kb) 174760

[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58143 0 0 0 26842 140 0 0 25 0 1 0 22365019 179085312 28584 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43722 28584 364 364 0 43358 0
[pid=9650] vsize: 174888
Current children cumulated CPU time (s) 269.82
Current children cumulated vsize (Kb) 174888

[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58150 0 0 0 27841 140 0 0 25 0 1 0 22365019 179085312 28591 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43722 28591 364 364 0 43358 0
[pid=9650] vsize: 174888
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (Kb) 174888

[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58269 0 0 0 28839 141 0 0 25 0 1 0 22365019 179482624 28644 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 43819 28644 364 364 0 43455 0
[pid=9650] vsize: 175276
Current children cumulated CPU time (s) 289.8
Current children cumulated vsize (Kb) 175276

[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58527 0 0 0 29837 143 0 0 25 0 1 0 22365019 180277248 28836 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44013 28837 364 364 0 43649 0
[pid=9650] vsize: 176052
Current children cumulated CPU time (s) 299.8
Current children cumulated vsize (Kb) 176052

[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58641 0 0 0 30837 143 0 0 25 0 1 0 22365019 180539392 28885 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44077 28885 364 364 0 43713 0
[pid=9650] vsize: 176308
Current children cumulated CPU time (s) 309.8
Current children cumulated vsize (Kb) 176308

[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58646 0 0 0 31836 144 0 0 25 0 1 0 22365019 180539392 28890 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44077 28890 364 364 0 43713 0
[pid=9650] vsize: 176308
Current children cumulated CPU time (s) 319.8
Current children cumulated vsize (Kb) 176308

[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58777 0 0 0 32835 144 0 0 25 0 1 0 22365019 180801536 28956 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44141 28956 364 364 0 43777 0
[pid=9650] vsize: 176564
Current children cumulated CPU time (s) 329.79
Current children cumulated vsize (Kb) 176564

[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58783 0 0 0 33835 144 0 0 25 0 1 0 22365019 180801536 28962 4294967295 134512640 135987407 3221224560 3221223200 134812349 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44141 28962 364 364 0 43777 0
[pid=9650] vsize: 176564
Current children cumulated CPU time (s) 339.79
Current children cumulated vsize (Kb) 176564

[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58787 0 0 0 34833 145 0 0 25 0 1 0 22365019 180801536 28966 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44141 28966 364 364 0 43777 0
[pid=9650] vsize: 176564
Current children cumulated CPU time (s) 349.78
Current children cumulated vsize (Kb) 176564

[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58793 0 0 0 35832 145 0 0 25 0 1 0 22365019 180801536 28972 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44141 28972 364 364 0 43777 0
[pid=9650] vsize: 176564
Current children cumulated CPU time (s) 359.77
Current children cumulated vsize (Kb) 176564

[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58870 0 0 0 36832 146 0 0 25 0 1 0 22365019 181063680 28984 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 28984 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 369.78
Current children cumulated vsize (Kb) 176820

[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58883 0 0 0 37830 146 0 0 25 0 1 0 22365019 181063680 28997 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 28997 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 379.76
Current children cumulated vsize (Kb) 176820

[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58894 0 0 0 38830 146 0 0 25 0 1 0 22365019 181063680 29008 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 29008 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 389.76
Current children cumulated vsize (Kb) 176820

[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58899 0 0 0 39829 146 0 0 25 0 1 0 22365019 181063680 29013 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 29013 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 399.75
Current children cumulated vsize (Kb) 176820

[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58902 0 0 0 40828 146 0 0 25 0 1 0 22365019 181063680 29016 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 29016 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 409.74
Current children cumulated vsize (Kb) 176820

[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58907 0 0 0 41828 147 0 0 25 0 1 0 22365019 181063680 29021 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 29021 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 419.75
Current children cumulated vsize (Kb) 176820

[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58913 0 0 0 42827 147 0 0 25 0 1 0 22365019 181063680 29027 4294967295 134512640 135987407 3221224560 3221223232 134824722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 29027 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 429.74
Current children cumulated vsize (Kb) 176820

[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 58917 0 0 0 43827 147 0 0 25 0 1 0 22365019 181063680 29031 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44205 29031 364 364 0 43841 0
[pid=9650] vsize: 176820
Current children cumulated CPU time (s) 439.74
Current children cumulated vsize (Kb) 176820

[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59024 0 0 0 44825 148 0 0 25 0 1 0 22365019 181325824 29073 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44269 29073 364 364 0 43905 0
[pid=9650] vsize: 177076
Current children cumulated CPU time (s) 449.73
Current children cumulated vsize (Kb) 177076

[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59103 0 0 0 45824 148 0 0 25 0 1 0 22365019 181587968 29087 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29087 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 459.72
Current children cumulated vsize (Kb) 177332

[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59107 0 0 0 46824 149 0 0 25 0 1 0 22365019 181587968 29091 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29091 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 469.73
Current children cumulated vsize (Kb) 177332

[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59111 0 0 0 47823 149 0 0 25 0 1 0 22365019 181587968 29095 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29095 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 479.72
Current children cumulated vsize (Kb) 177332

[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59115 0 0 0 48822 149 0 0 25 0 1 0 22365019 181587968 29099 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29099 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 489.71
Current children cumulated vsize (Kb) 177332

[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59129 0 0 0 49821 150 0 0 25 0 1 0 22365019 181587968 29113 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29113 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 499.71
Current children cumulated vsize (Kb) 177332

[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59132 0 0 0 50820 150 0 0 25 0 1 0 22365019 181587968 29116 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29116 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 509.7
Current children cumulated vsize (Kb) 177332

[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59136 0 0 0 51819 151 0 0 25 0 1 0 22365019 181587968 29120 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29120 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 519.7
Current children cumulated vsize (Kb) 177332

[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59140 0 0 0 52818 151 0 0 25 0 1 0 22365019 181587968 29124 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29124 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 529.69
Current children cumulated vsize (Kb) 177332

[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59144 0 0 0 53817 151 0 0 25 0 1 0 22365019 181587968 29128 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29128 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 539.68
Current children cumulated vsize (Kb) 177332

[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59148 0 0 0 54816 151 0 0 25 0 1 0 22365019 181587968 29132 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29132 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 549.67
Current children cumulated vsize (Kb) 177332

[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59153 0 0 0 55815 152 0 0 25 0 1 0 22365019 181587968 29137 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29137 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 559.67
Current children cumulated vsize (Kb) 177332

[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59157 0 0 0 56815 152 0 0 25 0 1 0 22365019 181587968 29141 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29141 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 569.67
Current children cumulated vsize (Kb) 177332

[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59163 0 0 0 57815 152 0 0 25 0 1 0 22365019 181587968 29147 4294967295 134512640 135987407 3221224560 3221223264 134790009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29147 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 579.67
Current children cumulated vsize (Kb) 177332

[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59170 0 0 0 58813 153 0 0 25 0 1 0 22365019 181587968 29154 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29154 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 589.66
Current children cumulated vsize (Kb) 177332

[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59174 0 0 0 59812 153 0 0 25 0 1 0 22365019 181587968 29158 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29158 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 599.65
Current children cumulated vsize (Kb) 177332

[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59181 0 0 0 60811 154 0 0 25 0 1 0 22365019 181587968 29165 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29165 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 609.65
Current children cumulated vsize (Kb) 177332

[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59188 0 0 0 61810 154 0 0 25 0 1 0 22365019 181587968 29172 4294967295 134512640 135987407 3221224560 3221223104 134811927 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44333 29172 364 364 0 43969 0
[pid=9650] vsize: 177332
Current children cumulated CPU time (s) 619.64
Current children cumulated vsize (Kb) 177332

[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59305 0 0 0 62810 155 0 0 25 0 1 0 22365019 181850112 29224 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29224 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 629.65
Current children cumulated vsize (Kb) 177588

[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59309 0 0 0 63808 155 0 0 25 0 1 0 22365019 181850112 29228 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29228 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 639.63
Current children cumulated vsize (Kb) 177588

[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59313 0 0 0 64808 156 0 0 25 0 1 0 22365019 181850112 29232 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29232 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 649.64
Current children cumulated vsize (Kb) 177588

[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59318 0 0 0 65808 156 0 0 25 0 1 0 22365019 181850112 29237 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29237 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 659.64
Current children cumulated vsize (Kb) 177588

[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59325 0 0 0 66807 156 0 0 25 0 1 0 22365019 181850112 29244 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29244 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 669.63
Current children cumulated vsize (Kb) 177588

[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59330 0 0 0 67806 157 0 0 25 0 1 0 22365019 181850112 29249 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29249 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 679.63
Current children cumulated vsize (Kb) 177588

[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59335 0 0 0 68805 157 0 0 25 0 1 0 22365019 181850112 29254 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29254 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 689.62
Current children cumulated vsize (Kb) 177588

[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59338 0 0 0 69804 158 0 0 25 0 1 0 22365019 181850112 29257 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29257 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 699.62
Current children cumulated vsize (Kb) 177588

[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59344 0 0 0 70804 158 0 0 25 0 1 0 22365019 181850112 29263 4294967295 134512640 135987407 3221224560 3221223244 134677711 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29263 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 709.62
Current children cumulated vsize (Kb) 177588

[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.95 1/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) T 9649 9650 4059 0 -1 0 59350 0 0 0 71803 158 0 0 25 0 1 0 22365019 181850112 29269 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29269 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 719.61
Current children cumulated vsize (Kb) 177588

[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59355 0 0 0 72802 159 0 0 25 0 1 0 22365019 181850112 29274 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29274 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 729.61
Current children cumulated vsize (Kb) 177588

[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 59360 0 0 0 73801 159 0 0 25 0 1 0 22365019 181850112 29279 4294967295 134512640 135987407 3221224560 3221223136 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44397 29279 364 364 0 44033 0
[pid=9650] vsize: 177588
Current children cumulated CPU time (s) 739.6
Current children cumulated vsize (Kb) 177588

[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 60223 0 0 0 74797 161 0 0 25 0 1 0 22365019 183042048 29482 4294967295 134512640 135987407 3221224560 3221223104 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 44688 29482 364 364 0 44324 0
[pid=9650] vsize: 178752
Current children cumulated CPU time (s) 749.58
Current children cumulated vsize (Kb) 178752

[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 60307 0 0 0 75796 162 0 0 25 0 1 0 22365019 183304192 29501 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 44752 29501 364 364 0 44388 0
[pid=9650] vsize: 179008
Current children cumulated CPU time (s) 759.58
Current children cumulated vsize (Kb) 179008

[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 60339 0 0 0 76794 163 0 0 25 0 1 0 22365019 183304192 29533 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 44752 29533 364 364 0 44388 0
[pid=9650] vsize: 179008
Current children cumulated CPU time (s) 769.57
Current children cumulated vsize (Kb) 179008

[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 60419 0 0 0 77793 163 0 0 25 0 1 0 22365019 183566336 29548 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 44816 29548 364 364 0 44452 0
[pid=9650] vsize: 179264
Current children cumulated CPU time (s) 779.56
Current children cumulated vsize (Kb) 179264

[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 60419 0 0 0 78791 164 0 0 25 0 1 0 22365019 183566336 29548 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 44816 29548 364 364 0 44452 0
[pid=9650] vsize: 179264
Current children cumulated CPU time (s) 789.55
Current children cumulated vsize (Kb) 179264

[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 60421 0 0 0 79790 164 0 0 25 0 1 0 22365019 183566336 29550 4294967295 134512640 135987407 3221224560 3221223168 134801180 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 44816 29550 364 364 0 44452 0
[pid=9650] vsize: 179264
Current children cumulated CPU time (s) 799.54
Current children cumulated vsize (Kb) 179264

[startup+810.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61027 0 0 0 80788 166 0 0 25 0 1 0 22365019 183750656 29561 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44861 29561 364 364 0 44497 0
[pid=9650] vsize: 179444
Current children cumulated CPU time (s) 809.54
Current children cumulated vsize (Kb) 179444

[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61027 0 0 0 81786 167 0 0 25 0 1 0 22365019 183750656 29561 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44861 29561 364 364 0 44497 0
[pid=9650] vsize: 179444
Current children cumulated CPU time (s) 819.53
Current children cumulated vsize (Kb) 179444

[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61107 0 0 0 82785 167 0 0 25 0 1 0 22365019 184012800 29576 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44925 29576 364 364 0 44561 0
[pid=9650] vsize: 179700
Current children cumulated CPU time (s) 829.52
Current children cumulated vsize (Kb) 179700

[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61107 0 0 0 83785 168 0 0 25 0 1 0 22365019 184012800 29576 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44925 29576 364 364 0 44561 0
[pid=9650] vsize: 179700
Current children cumulated CPU time (s) 839.53
Current children cumulated vsize (Kb) 179700

[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61116 0 0 0 84783 168 0 0 25 0 1 0 22365019 184012800 29585 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44925 29585 364 364 0 44561 0
[pid=9650] vsize: 179700
Current children cumulated CPU time (s) 849.51
Current children cumulated vsize (Kb) 179700

[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61126 0 0 0 85783 168 0 0 25 0 1 0 22365019 184012800 29595 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44925 29595 364 364 0 44561 0
[pid=9650] vsize: 179700
Current children cumulated CPU time (s) 859.51
Current children cumulated vsize (Kb) 179700

[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61239 0 0 0 86782 169 0 0 25 0 1 0 22365019 184274944 29643 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44989 29643 364 364 0 44625 0
[pid=9650] vsize: 179956
Current children cumulated CPU time (s) 869.51
Current children cumulated vsize (Kb) 179956

[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61243 0 0 0 87781 169 0 0 25 0 1 0 22365019 184274944 29647 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44989 29647 364 364 0 44625 0
[pid=9650] vsize: 179956
Current children cumulated CPU time (s) 879.5
Current children cumulated vsize (Kb) 179956

[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61862 0 0 0 88779 171 0 0 25 0 1 0 22365019 184274944 29671 4294967295 134512640 135987407 3221224560 3221223104 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44989 29671 364 364 0 44625 0
[pid=9650] vsize: 179956
Current children cumulated CPU time (s) 889.5
Current children cumulated vsize (Kb) 179956

[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61865 0 0 0 89778 171 0 0 25 0 1 0 22365019 184274944 29674 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44989 29674 364 364 0 44625 0
[pid=9650] vsize: 179956
Current children cumulated CPU time (s) 899.49
Current children cumulated vsize (Kb) 179956

[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61872 0 0 0 90777 172 0 0 25 0 1 0 22365019 184274944 29681 4294967295 134512640 135987407 3221224560 3221223104 134812155 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44989 29681 364 364 0 44625 0
[pid=9650] vsize: 179956
Current children cumulated CPU time (s) 909.49
Current children cumulated vsize (Kb) 179956

[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61877 0 0 0 91776 172 0 0 25 0 1 0 22365019 184274944 29686 4294967295 134512640 135987407 3221224560 3221223264 134790078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 44989 29686 364 364 0 44625 0
[pid=9650] vsize: 179956
Current children cumulated CPU time (s) 919.48
Current children cumulated vsize (Kb) 179956

[startup+930.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 61911 0 0 0 92775 173 0 0 25 0 1 0 22365019 184475648 29720 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45038 29720 364 364 0 44674 0
[pid=9650] vsize: 180152
Current children cumulated CPU time (s) 929.48
Current children cumulated vsize (Kb) 180152

[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62419 0 0 0 93773 174 0 0 25 0 1 0 22365019 186261504 29966 4294967295 134512640 135987407 3221224560 3221223104 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45474 29966 364 364 0 45110 0
[pid=9650] vsize: 181896
Current children cumulated CPU time (s) 939.47
Current children cumulated vsize (Kb) 181896

[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62423 0 0 0 94772 175 0 0 25 0 1 0 22365019 186261504 29970 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45474 29970 364 364 0 45110 0
[pid=9650] vsize: 181896
Current children cumulated CPU time (s) 949.47
Current children cumulated vsize (Kb) 181896

[startup+960.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62448 0 0 0 95771 175 0 0 25 0 1 0 22365019 186261504 29995 4294967295 134512640 135987407 3221224560 3221223200 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45474 29995 364 364 0 45110 0
[pid=9650] vsize: 181896
Current children cumulated CPU time (s) 959.46
Current children cumulated vsize (Kb) 181896

[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62451 0 0 0 96770 175 0 0 25 0 1 0 22365019 186261504 29998 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45474 29998 364 364 0 45110 0
[pid=9650] vsize: 181896
Current children cumulated CPU time (s) 969.45
Current children cumulated vsize (Kb) 181896

[startup+980.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62472 0 0 0 97769 175 0 0 25 0 1 0 22365019 186261504 30019 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45474 30019 364 364 0 45110 0
[pid=9650] vsize: 181896
Current children cumulated CPU time (s) 979.44
Current children cumulated vsize (Kb) 181896

[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62551 0 0 0 98768 176 0 0 25 0 1 0 22365019 186523648 30033 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45538 30033 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 989.44
Current children cumulated vsize (Kb) 182152

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 62556 0 0 0 99767 176 0 0 25 0 1 0 22365019 186523648 30038 4294967295 134512640 135987407 3221224560 3221223168 134811685 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45538 30038 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 999.43
Current children cumulated vsize (Kb) 182152

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63162 0 0 0 100765 178 0 0 25 0 1 0 22365019 186523648 30049 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45538 30049 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 1009.43
Current children cumulated vsize (Kb) 182152

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63168 0 0 0 101765 178 0 0 25 0 1 0 22365019 186523648 30055 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45538 30055 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 1019.43
Current children cumulated vsize (Kb) 182152

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63209 0 0 0 102764 179 0 0 25 0 1 0 22365019 186523648 30096 4294967295 134512640 135987407 3221224560 3221222992 134801587 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45538 30096 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 1029.43
Current children cumulated vsize (Kb) 182152

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63214 0 0 0 103763 179 0 0 25 0 1 0 22365019 186523648 30101 4294967295 134512640 135987407 3221224560 3221223168 134811685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45538 30101 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 1039.42
Current children cumulated vsize (Kb) 182152

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63219 0 0 0 104762 179 0 0 25 0 1 0 22365019 186523648 30106 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45538 30106 364 364 0 45174 0
[pid=9650] vsize: 182152
Current children cumulated CPU time (s) 1049.41
Current children cumulated vsize (Kb) 182152

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63235 0 0 0 105761 180 0 0 25 0 1 0 22365019 186712064 30122 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45584 30122 364 364 0 45220 0
[pid=9650] vsize: 182336
Current children cumulated CPU time (s) 1059.41
Current children cumulated vsize (Kb) 182336

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63259 0 0 0 106759 181 0 0 25 0 1 0 22365019 186712064 30146 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45584 30146 364 364 0 45220 0
[pid=9650] vsize: 182336
Current children cumulated CPU time (s) 1069.4
Current children cumulated vsize (Kb) 182336

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 63861 0 0 0 107757 183 0 0 25 0 1 0 22365019 186712064 30153 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45584 30153 364 364 0 45220 0
[pid=9650] vsize: 182336
Current children cumulated CPU time (s) 1079.4
Current children cumulated vsize (Kb) 182336

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64357 0 0 0 108755 184 0 0 25 0 1 0 22365019 188022784 30324 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9650/statm): 45904 30324 364 364 0 45540 0
[pid=9650] vsize: 183616
Current children cumulated CPU time (s) 1089.39
Current children cumulated vsize (Kb) 183616

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64414 0 0 0 109754 185 0 0 25 0 1 0 22365019 188022784 30381 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45904 30381 364 364 0 45540 0
[pid=9650] vsize: 183616
Current children cumulated CPU time (s) 1099.39
Current children cumulated vsize (Kb) 183616

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64446 0 0 0 110753 185 0 0 25 0 1 0 22365019 188022784 30413 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45904 30413 364 364 0 45540 0
[pid=9650] vsize: 183616
Current children cumulated CPU time (s) 1109.38
Current children cumulated vsize (Kb) 183616

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64473 0 0 0 111753 185 0 0 25 0 1 0 22365019 188022784 30440 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45904 30440 364 364 0 45540 0
[pid=9650] vsize: 183616
Current children cumulated CPU time (s) 1119.38
Current children cumulated vsize (Kb) 183616

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64478 0 0 0 112752 185 0 0 25 0 1 0 22365019 188022784 30445 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 45904 30445 364 364 0 45540 0
[pid=9650] vsize: 183616
Current children cumulated CPU time (s) 1129.37
Current children cumulated vsize (Kb) 183616

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64885 0 0 0 113751 186 0 0 25 0 1 0 22365019 189071360 30593 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46160 30593 364 364 0 45796 0
[pid=9650] vsize: 184640
Current children cumulated CPU time (s) 1139.37
Current children cumulated vsize (Kb) 184640

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64892 0 0 0 114750 187 0 0 25 0 1 0 22365019 189071360 30600 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46160 30600 364 364 0 45796 0
[pid=9650] vsize: 184640
Current children cumulated CPU time (s) 1149.37
Current children cumulated vsize (Kb) 184640

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64945 0 0 0 115750 187 0 0 25 0 1 0 22365019 189071360 30653 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46160 30653 364 364 0 45796 0
[pid=9650] vsize: 184640
Current children cumulated CPU time (s) 1159.37
Current children cumulated vsize (Kb) 184640

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 64970 0 0 0 116750 187 0 0 25 0 1 0 22365019 189071360 30678 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46160 30678 364 364 0 45796 0
[pid=9650] vsize: 184640
Current children cumulated CPU time (s) 1169.37
Current children cumulated vsize (Kb) 184640

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 65164 0 0 0 117749 188 0 0 25 0 1 0 22365019 189595648 30743 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46288 30743 364 364 0 45924 0
[pid=9650] vsize: 185152
Current children cumulated CPU time (s) 1179.37
Current children cumulated vsize (Kb) 185152

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 65759 0 0 0 118747 190 0 0 25 0 1 0 22365019 189595648 30743 4294967295 134512640 135987407 3221224560 3221222992 135486762 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46288 30743 364 364 0 45924 0
[pid=9650] vsize: 185152
Current children cumulated CPU time (s) 1189.37
Current children cumulated vsize (Kb) 185152

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 65760 0 0 0 119746 190 0 0 25 0 1 0 22365019 189595648 30744 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46288 30744 364 364 0 45924 0
[pid=9650] vsize: 185152
Current children cumulated CPU time (s) 1199.36
Current children cumulated vsize (Kb) 185152

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 65761 0 0 0 120745 190 0 0 25 0 1 0 22365019 189595648 30745 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46288 30745 364 364 0 45924 0
[pid=9650] vsize: 185152
Current children cumulated CPU time (s) 1209.35
Current children cumulated vsize (Kb) 185152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 9650
Raw data (/proc/9650/stat): 9650 (pb2sat) R 9649 9650 4059 0 -1 0 65761 0 0 0 120745 190 0 0 25 0 1 0 22365019 189595648 30745 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9650/statm): 46288 30745 364 364 0 45924 0
[pid=9650] vsize: 185152
Current children cumulated CPU time (s) 1209.35
Current children cumulated vsize (Kb) 185152

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

Child status: 10
Real time (s): 1210.57
CPU time (s): 1209.89
CPU user time (s): 1207.93
CPU system time (s): 1.9677
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (Kb): 185152

Verifier Data

Verifier:	OK	36224