PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	422.405
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 26899

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 17:51:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19204 boxname=wulflinc3 idbench=1478 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c76102ddcf7f5ab3b2677033d320eaa3  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x10b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x10b.opb
IDLAUNCH: 19204
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        906840 kB
Buffers:          2784 kB
Cached:         103932 kB
SwapCached:        112 kB
Active:          21788 kB
Inactive:        87912 kB
HighTotal:      131008 kB
HighFree:        22680 kB
LowTotal:       903652 kB
LowFree:        884160 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:            1088 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            12404 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:10:50 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 19204 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1092 variables and 140 constraints.
c preprocess terminated 1.085 s
c Initial Lower Bound: 34
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 879104 @ 5.394
c NEW SOLUTION FOUND: 873984 @ 5.397
c NEW SOLUTION FOUND: 856192 @ 5.477
c NEW SOLUTION FOUND: 849920 @ 5.485
c NEW SOLUTION FOUND: 803200 @ 5.512
c NEW SOLUTION FOUND: 779520 @ 5.516
c NEW SOLUTION FOUND: 775552 @ 7.842
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 X10_bit0 X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 X37_bit0 -X37_bit1 -X37_bit2 X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 X42_bit0 X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 X53_bit2 X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 X69_bit0 -X69_bit1 -X69_bit2 X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 X72_bit0 X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 X93_bit0 -X93_bit1 X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 Y15_bit0 Y16_bit0 -Y17_bit0 Y18_bit0 -Y19_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 Y41_bit0 Y42_bit0 -Y43_bit0 -Y44_bit0 Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 -Y67_bit0 -Y68_bit0 Y69_bit0 -Y70_bit0 -Y71_bit0 Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 -Y78_bit0 -Y79_bit0 -Y80_bit0 Y81_bit0 -Y82_bit0 Y83_bit0 Y84_bit0 -Y85_bit0 Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 -Y90_bit0 Y91_bit0 -Y92_bit0 Y93_bit0 -Y94_bit0 -Y95_bit0 Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 
c Exit Code: 10
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 23614
Raw data (stat): 23614 (runsolver) R 23613 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773947757 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3205 0 0 0 989 9 0 0 25 0 1 0 773947757 16744448 3161 4294967295 134512640 134714540 3221224592 3221223104 134540480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4088 3161 1111 63 0 4025 0
vsize: 16352
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3437 0 0 0 1987 11 0 0 25 0 1 0 773947757 17702912 3393 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3393 1111 63 0 4259 0
vsize: 17288
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3572 0 0 0 2985 13 0 0 25 0 1 0 773947757 18214912 3528 4294967295 134512640 134714540 3221224592 3221223288 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3528 1111 63 0 4384 0
vsize: 17788
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3619 0 0 0 3984 14 0 0 25 0 1 0 773947757 18468864 3575 4294967295 134512640 134714540 3221224592 3221223328 134529088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4509 3575 1111 63 0 4446 0
vsize: 18036
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3631 0 0 0 4984 15 0 0 25 0 1 0 773947757 18452480 3587 4294967295 134512640 134714540 3221224592 3221223292 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3587 1111 63 0 4442 0
vsize: 18020
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3721 0 0 0 5984 15 0 0 25 0 1 0 773947757 18853888 3677 4294967295 134512640 134714540 3221224592 3221223152 134539596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4603 3677 1111 63 0 4540 0
vsize: 18412
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3747 0 0 0 6982 16 0 0 25 0 1 0 773947757 18853888 3693 4294967295 134512640 134714540 3221224592 3221222872 1077378283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4603 3693 1111 63 0 4540 0
vsize: 18412
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3754 0 0 0 7982 17 0 0 25 0 1 0 773947757 18989056 3700 4294967295 134512640 134714540 3221224592 3221223128 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3700 1111 63 0 4573 0
vsize: 18544
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3754 0 0 0 8981 18 0 0 25 0 1 0 773947757 18976768 3700 4294967295 134512640 134714540 3221224592 3221223200 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4633 3700 1111 63 0 4570 0
vsize: 18532
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3829 0 0 0 9980 19 0 0 25 0 1 0 773947757 19230720 3775 4294967295 134512640 134714540 3221224592 3221223336 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4695 3775 1111 63 0 4632 0
vsize: 18780
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3851 0 0 0 10980 20 0 0 25 0 1 0 773947757 19357696 3797 4294967295 134512640 134714540 3221224592 3221223200 1077378571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 3797 1111 63 0 4663 0
vsize: 18904
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3975 0 0 0 11979 21 0 0 25 0 1 0 773947757 19886080 3921 4294967295 134512640 134714540 3221224592 3221223264 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3921 1111 63 0 4792 0
vsize: 19420
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3975 0 0 0 12978 22 0 0 25 0 1 0 773947757 19886080 3921 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3921 1111 63 0 4792 0
vsize: 19420
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3975 0 0 0 13978 23 0 0 25 0 1 0 773947757 19886080 3921 4294967295 134512640 134714540 3221224592 3221223352 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3921 1111 63 0 4792 0
vsize: 19420
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 3975 0 0 0 14977 24 0 0 25 0 1 0 773947757 19886080 3921 4294967295 134512640 134714540 3221224592 3221223160 1077377712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3921 1111 63 0 4792 0
vsize: 19420
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 15976 25 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223296 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 16976 25 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 17975 26 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223312 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 18974 27 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221222972 1076647536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 19973 28 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 20973 28 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 21972 29 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223328 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 22972 30 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223216 134543749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 23971 31 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 24971 32 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 25970 32 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223208 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 26970 33 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223264 134524434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 27969 33 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 28969 34 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 29968 35 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223200 134538825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 30967 36 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4164 0 0 0 31967 37 0 0 25 0 1 0 773947757 20586496 4110 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5026 4110 1111 63 0 4963 0
vsize: 20104
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4305 0 0 0 32966 38 0 0 25 0 1 0 773947757 21061632 4232 4294967295 134512640 134714540 3221224592 3221223104 134539608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5142 4232 1111 63 0 5079 0
vsize: 20568
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4375 0 0 0 33965 39 0 0 25 0 1 0 773947757 21471232 4302 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5242 4302 1111 63 0 5179 0
vsize: 20968
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4572 0 0 0 34964 40 0 0 25 0 1 0 773947757 22126592 4492 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4492 1111 63 0 5339 0
vsize: 21608
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4678 0 0 0 35964 41 0 0 25 0 1 0 773947757 22573056 4598 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 4598 1111 63 0 5448 0
vsize: 22044
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4749 0 0 0 36962 42 0 0 25 0 1 0 773947757 22880256 4668 4294967295 134512640 134714540 3221224592 3221223220 1077374110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5586 4668 1111 63 0 5523 0
vsize: 22344
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4900 0 0 0 37962 43 0 0 25 0 1 0 773947757 23543808 4819 4294967295 134512640 134714540 3221224592 3221223320 134600201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4819 1111 63 0 5685 0
vsize: 22992
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 4982 0 0 0 38961 44 0 0 25 0 1 0 773947757 23416832 4805 4294967295 134512640 134714540 3221224592 3221223196 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5717 4805 1111 63 0 5654 0
vsize: 22868
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5067 0 0 0 39960 46 0 0 25 0 1 0 773947757 23584768 4848 4294967295 134512640 134714540 3221224592 3221223260 1076647546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5758 4848 1111 63 0 5695 0
vsize: 23032
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5093 0 0 0 40958 47 0 0 25 0 1 0 773947757 23724032 4874 4294967295 134512640 134714540 3221224592 3221223152 134540037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5792 4874 1111 63 0 5729 0
vsize: 23168
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5139 0 0 0 41957 48 0 0 25 0 1 0 773947757 23986176 4920 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5856 4920 1111 63 0 5793 0
vsize: 23424
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5139 0 0 0 42957 49 0 0 25 0 1 0 773947757 23834624 4909 4294967295 134512640 134714540 3221224592 3221223296 134592388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5819 4909 1111 63 0 5756 0
vsize: 23276
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5146 0 0 0 43956 50 0 0 25 0 1 0 773947757 23969792 4916 4294967295 134512640 134714540 3221224592 3221223288 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5852 4916 1111 63 0 5789 0
vsize: 23408
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5146 0 0 0 44955 51 0 0 25 0 1 0 773947757 23855104 4914 4294967295 134512640 134714540 3221224592 3221223292 134535671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5824 4914 1111 63 0 5761 0
vsize: 23296
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5281 0 0 0 45954 53 0 0 25 0 1 0 773947757 24276992 5011 4294967295 134512640 134714540 3221224592 3221223168 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5927 5011 1111 63 0 5864 0
vsize: 23708
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5309 0 0 0 46953 53 0 0 25 0 1 0 773947757 24358912 5032 4294967295 134512640 134714540 3221224592 3221223292 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5947 5032 1111 63 0 5884 0
vsize: 23788
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5448 0 0 0 47953 54 0 0 25 0 1 0 773947757 24985600 5171 4294967295 134512640 134714540 3221224592 3221223328 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 5171 1111 63 0 6037 0
vsize: 24400
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5448 0 0 0 48952 55 0 0 25 0 1 0 773947757 24985600 5171 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 5171 1111 63 0 6037 0
vsize: 24400
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5530 0 0 0 49951 56 0 0 25 0 1 0 773947757 25067520 5210 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6120 5210 1111 63 0 6057 0
vsize: 24480
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5692 0 0 0 50950 57 0 0 25 0 1 0 773947757 25526272 5318 4294967295 134512640 134714540 3221224592 3221223112 1077378381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6232 5318 1111 63 0 6169 0
vsize: 24928
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23614
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5714 0 0 0 51949 58 0 0 25 0 1 0 773947757 25620480 5340 4294967295 134512640 134714540 3221224592 3221223184 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5340 1111 63 0 6192 0
vsize: 25020
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 23652
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5714 0 0 0 52949 59 0 0 25 0 1 0 773947757 25620480 5340 4294967295 134512640 134714540 3221224592 3221223296 134603392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5340 1111 63 0 6192 0
vsize: 25020
[startup+540.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23667
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5750 0 0 0 53949 59 0 0 25 0 1 0 773947757 25862144 5372 4294967295 134512640 134714540 3221224592 3221223288 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6314 5372 1111 63 0 6251 0
vsize: 25256
[startup+550.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23667
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 5894 0 0 0 54948 60 0 0 25 0 1 0 773947757 26406912 5516 4294967295 134512640 134714540 3221224592 3221223208 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6447 5516 1111 63 0 6384 0
vsize: 25788
[startup+560.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23667
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 55946 62 0 0 25 0 1 0 773947757 27250688 5733 4294967295 134512640 134714540 3221224592 3221223216 134594375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6653 5733 1111 63 0 6590 0
vsize: 26612
[startup+570.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23667
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 56946 62 0 0 25 0 1 0 773947757 27250688 5733 4294967295 134512640 134714540 3221224592 3221223272 1076648037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6653 5733 1111 63 0 6590 0
vsize: 26612
[startup+580.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23667
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 57945 63 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223216 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+590.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23667
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 58944 65 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+600.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 59943 66 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221222920 1077377771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+610.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 60943 66 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223284 134591993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+620.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 61942 67 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223280 134524456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+630.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 62942 68 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223288 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+640.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 63941 68 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223292 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+650.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 64941 69 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+660.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 65941 69 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 66940 70 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+680.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6111 0 0 0 67939 71 0 0 25 0 1 0 773947757 27234304 5733 4294967295 134512640 134714540 3221224592 3221223232 134524417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5733 1111 63 0 6586 0
vsize: 26596
[startup+690.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6114 0 0 0 68939 72 0 0 25 0 1 0 773947757 27234304 5736 4294967295 134512640 134714540 3221224592 3221223312 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5736 1111 63 0 6586 0
vsize: 26596
[startup+700.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6114 0 0 0 69938 72 0 0 25 0 1 0 773947757 27234304 5736 4294967295 134512640 134714540 3221224592 3221223384 134558587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6649 5736 1111 63 0 6586 0
vsize: 26596
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6119 0 0 0 70938 73 0 0 25 0 1 0 773947757 27336704 5741 4294967295 134512640 134714540 3221224592 3221223340 134535545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6674 5741 1111 63 0 6611 0
vsize: 26696
[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6206 0 0 0 71936 75 0 0 25 0 1 0 773947757 27693056 5828 4294967295 134512640 134714540 3221224592 3221223296 134604745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6761 5828 1111 63 0 6698 0
vsize: 27044
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6206 0 0 0 72936 76 0 0 25 0 1 0 773947757 27693056 5828 4294967295 134512640 134714540 3221224592 3221223104 134540347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6761 5828 1111 63 0 6698 0
vsize: 27044
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6206 0 0 0 73935 76 0 0 25 0 1 0 773947757 27693056 5828 4294967295 134512640 134714540 3221224592 3221223184 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6761 5828 1111 63 0 6698 0
vsize: 27044
[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6206 0 0 0 74935 77 0 0 25 0 1 0 773947757 27451392 5792 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6702 5792 1111 63 0 6639 0
vsize: 26808
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6206 0 0 0 75934 78 0 0 25 0 1 0 773947757 27451392 5792 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6702 5792 1111 63 0 6639 0
vsize: 26808
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6301 0 0 0 76933 79 0 0 25 0 1 0 773947757 27860992 5887 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 5887 1111 63 0 6739 0
vsize: 27208
[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6316 0 0 0 77932 80 0 0 25 0 1 0 773947757 27844608 5888 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6798 5888 1111 63 0 6735 0
vsize: 27192
[startup+790.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6316 0 0 0 78932 80 0 0 25 0 1 0 773947757 27844608 5888 4294967295 134512640 134714540 3221224592 3221223112 1077377790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6798 5888 1111 63 0 6735 0
vsize: 27192
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6337 0 0 0 79932 81 0 0 25 0 1 0 773947757 27865088 5893 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 5893 1111 63 0 6740 0
vsize: 27212
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 80929 83 0 0 25 0 1 0 773947757 28827648 6105 4294967295 134512640 134714540 3221224592 3221223312 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7038 6105 1111 63 0 6975 0
vsize: 28152
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 81929 84 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223208 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 82929 84 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223188 134535326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 83929 85 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223292 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 84928 85 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223316 134542595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23669
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 85928 86 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223068 1076533124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 86927 87 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 87926 88 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223284 134534151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 88926 88 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223104 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+900.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 89925 89 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223184 134538797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 90925 90 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223312 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+920.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 91925 90 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221222876 1077379846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+930.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6560 0 0 0 92924 91 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6577 0 0 0 93924 92 0 0 25 0 1 0 773947757 28631040 6080 4294967295 134512640 134714540 3221224592 3221223328 134604688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6990 6080 1111 63 0 6927 0
vsize: 27960
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6637 0 0 0 94924 92 0 0 25 0 1 0 773947757 28786688 6093 4294967295 134512640 134714540 3221224592 3221223152 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7028 6093 1111 63 0 6965 0
vsize: 28112
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6769 0 0 0 95923 93 0 0 25 0 1 0 773947757 29290496 6225 4294967295 134512640 134714540 3221224592 3221223228 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7151 6225 1111 63 0 7088 0
vsize: 28604
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6848 0 0 0 96921 95 0 0 25 0 1 0 773947757 29515776 6296 4294967295 134512640 134714540 3221224592 3221223104 134540040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7206 6296 1111 63 0 7143 0
vsize: 28824
[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 6987 0 0 0 97921 95 0 0 25 0 1 0 773947757 30056448 6428 4294967295 134512640 134714540 3221224592 3221223216 1077377136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7338 6428 1111 63 0 7275 0
vsize: 29352
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7016 0 0 0 98921 96 0 0 25 0 1 0 773947757 30191616 6457 4294967295 134512640 134714540 3221224592 3221223128 1077377712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7371 6457 1111 63 0 7308 0
vsize: 29484
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7052 0 0 0 99920 97 0 0 25 0 1 0 773947757 30330880 6493 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6493 1111 63 0 7342 0
vsize: 29620
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7052 0 0 0 100919 98 0 0 25 0 1 0 773947757 30330880 6493 4294967295 134512640 134714540 3221224592 3221223160 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6493 1111 63 0 7342 0
vsize: 29620
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7052 0 0 0 101918 99 0 0 25 0 1 0 773947757 30330880 6493 4294967295 134512640 134714540 3221224592 3221223168 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7405 6493 1111 63 0 7342 0
vsize: 29620
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7100 0 0 0 102917 100 0 0 25 0 1 0 773947757 30511104 6537 4294967295 134512640 134714540 3221224592 3221223160 1077378421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7449 6537 1111 63 0 7386 0
vsize: 29796
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7376 0 0 0 103916 101 0 0 25 0 1 0 773947757 31391744 6727 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7664 6727 1111 63 0 7601 0
vsize: 30656
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7496 0 0 0 104916 102 0 0 25 0 1 0 773947757 31723520 6820 4294967295 134512640 134714540 3221224592 3221223384 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7745 6820 1111 63 0 7682 0
vsize: 30980
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7621 0 0 0 105915 103 0 0 25 0 1 0 773947757 32002048 6902 4294967295 134512640 134714540 3221224592 3221223224 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7813 6902 1111 63 0 7750 0
vsize: 31252
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7660 0 0 0 106914 104 0 0 25 0 1 0 773947757 32276480 6941 4294967295 134512640 134714540 3221224592 3221223352 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 6941 1111 63 0 7817 0
vsize: 31520
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 7824 0 0 0 107914 105 0 0 25 0 1 0 773947757 33079296 7105 4294967295 134512640 134714540 3221224592 3221223160 1077377218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8076 7105 1111 63 0 8013 0
vsize: 32304
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8140 0 0 0 108923 106 0 0 25 0 1 0 773947757 34312192 7421 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8377 7421 1111 63 0 8314 0
vsize: 33508
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8174 0 0 0 109923 107 0 0 25 0 1 0 773947757 34447360 7455 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7455 1111 63 0 8347 0
vsize: 33640
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8174 0 0 0 110922 108 0 0 25 0 1 0 773947757 34447360 7455 4294967295 134512640 134714540 3221224592 3221223084 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7455 1111 63 0 8347 0
vsize: 33640
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8174 0 0 0 111922 108 0 0 25 0 1 0 773947757 34447360 7455 4294967295 134512640 134714540 3221224592 3221223292 134535530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7455 1111 63 0 8347 0
vsize: 33640
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8174 0 0 0 112922 109 0 0 25 0 1 0 773947757 34447360 7455 4294967295 134512640 134714540 3221224592 3221223312 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7455 1111 63 0 8347 0
vsize: 33640
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8174 0 0 0 113922 109 0 0 25 0 1 0 773947757 34447360 7455 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7455 1111 63 0 8347 0
vsize: 33640
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8174 0 0 0 114921 110 0 0 25 0 1 0 773947757 34447360 7455 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8410 7455 1111 63 0 8347 0
vsize: 33640
[startup+1160.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8215 0 0 0 115920 111 0 0 25 0 1 0 773947757 34545664 7487 4294967295 134512640 134714540 3221224592 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8434 7487 1111 63 0 8371 0
vsize: 33736
[startup+1170.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8279 0 0 0 116920 111 0 0 25 0 1 0 773947757 34746368 7536 4294967295 134512640 134714540 3221224592 3221223264 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8483 7536 1111 63 0 8420 0
vsize: 33932
[startup+1174.86 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 23671
Raw data (stat): 23614 (bsolo_mis) R 23613 20224 20223 0 -1 0 8279 0 0 0 116920 111 0 0 25 0 1 0 773947757 34746368 7536 4294967295 134512640 134714540 3221224592 3221223264 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8483 7536 1111 63 0 8420 0
vsize: 0

Child status: 10
Real time (s): 1174.86
CPU time (s): 1175.03
CPU user time (s): 1173.9
CPU system time (s): 1.13683
CPU usage (%): 100.015
Max. virtual memory (Kb): 33932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	775552
#### END VERIFIER DATA ####