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/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb
MD5SUM	f1382105ee9fb79777762a53cf6a73c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	21166
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	62376
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	3092598
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	62376
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	3092598
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	556
Total number of constraints	217
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	191
Minimum length of a constraint	1
Maximum length of a constraint	48
Trace number 27140

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 19:33:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18437 boxname=wulflinc23 idbench=1419 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-gt2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-gt2.opb
IDLAUNCH: 18437
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        834676 kB
Buffers:         35628 kB
Cached:         142820 kB
SwapCached:        664 kB
Active:          73524 kB
Inactive:       107412 kB
HighTotal:      131008 kB
HighFree:         1792 kB
LowTotal:       903652 kB
LowFree:        832884 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13492 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:52:36 (client local time) WITH STATUS 10 IN 1175.23 SECONDS
stats: 18437 0 1175.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 556 variables and 180 constraints.
c After prepocess the problem consists of 556 variables and 180 constraints.
c preprocess terminated 0.551 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 262175 @ 27.838
c NEW SOLUTION FOUND: 261183 @ 27.997
c NEW SOLUTION FOUND: 260607 @ 28.1
c NEW SOLUTION FOUND: 259271 @ 28.189
c NEW SOLUTION FOUND: 255795 @ 65.594
c NEW SOLUTION FOUND: 253883 @ 66.336
c NEW SOLUTION FOUND: 253559 @ 66.517
c NEW SOLUTION FOUND: 253281 @ 70.853
c NEW SOLUTION FOUND: 253071 @ 71.024
c NEW SOLUTION FOUND: 251045 @ 71.052
c NEW SOLUTION FOUND: 250217 @ 128.597
c NEW SOLUTION FOUND: 250035 @ 134.158
c NEW SOLUTION FOUND: 249893 @ 136.152
c NEW SOLUTION FOUND: 249871 @ 137.171
c NEW SOLUTION FOUND: 249547 @ 141.645
s SATISFIABLE
v -x_0x2e__0x2e__0x2e_0101_bit0 -x_0x2e__0x2e__0x2e_0101_bit1 -x_0x2e__0x2e__0x2e_0101_bit2 -x_0x2e__0x2e__0x2e_0101_bit3 -x_0x2e__0x2e__0x2e_0201_bit0 -x_0x2e__0x2e__0x2e_0201_bit1 -x_0x2e__0x2e__0x2e_0201_bit2 -x_0x2e__0x2e__0x2e_0201_bit3 -x_0x2e__0x2e__0x2e_0301_bit0 -x_0x2e__0x2e__0x2e_0301_bit1 -x_0x2e__0x2e__0x2e_0301_bit2 -x_0x2e__0x2e__0x2e_0301_bit3 -x_0x2e__0x2e__0x2e_0401_bit0 x_0x2e__0x2e__0x2e_0401_bit1 -x_0x2e__0x2e__0x2e_0401_bit2 -x_0x2e__0x2e__0x2e_0401_bit3 -x_0x2e__0x2e__0x2e_0701_bit0 -x_0x2e__0x2e__0x2e_0701_bit1 -x_0x2e__0x2e__0x2e_0701_bit2 -x_0x2e__0x2e__0x2e_0701_bit3 -x_0x2e__0x2e__0x2e_0801_bit0 -x_0x2e__0x2e__0x2e_0801_bit1 -x_0x2e__0x2e__0x2e_0801_bit2 -x_0x2e__0x2e__0x2e_0801_bit3 -x_0x2e__0x2e__0x2e_0901_bit0 x_0x2e__0x2e__0x2e_0901_bit1 x_0x2e__0x2e__0x2e_0901_bit2 -x_0x2e__0x2e__0x2e_0901_bit3 -x_0x2e__0x2e__0x2e_1001_bit0 -x_0x2e__0x2e__0x2e_1001_bit1 -x_0x2e__0x2e__0x2e_1001_bit2 -x_0x2e__0x2e__0x2e_1001_bit3 -x_0x2e__0x2e__0x2e_0102_bit0 -x_0x2e__0x2e__0x2e_0102_bit1 -x_0x2e__0x2e__0x2e_0102_bit2 -x_0x2e__0x2e__0x2e_0102_bit3 -x_0x2e__0x2e__0x2e_0202_bit0 -x_0x2e__0x2e__0x2e_0202_bit1 -x_0x2e__0x2e__0x2e_0202_bit2 -x_0x2e__0x2e__0x2e_0202_bit3 -x_0x2e__0x2e__0x2e_0302_bit0 -x_0x2e__0x2e__0x2e_0302_bit1 -x_0x2e__0x2e__0x2e_0302_bit2 -x_0x2e__0x2e__0x2e_0302_bit3 -x_0x2e__0x2e__0x2e_0402_bit0 -x_0x2e__0x2e__0x2e_0402_bit1 -x_0x2e__0x2e__0x2e_0402_bit2 -x_0x2e__0x2e__0x2e_0402_bit3 -x_0x2e__0x2e__0x2e_0502_bit0 -x_0x2e__0x2e__0x2e_0502_bit1 -x_0x2e__0x2e__0x2e_0502_bit2 -x_0x2e__0x2e__0x2e_0502_bit3 x_0x2e__0x2e__0x2e_0602_bit0 x_0x2e__0x2e__0x2e_0602_bit1 x_0x2e__0x2e__0x2e_0602_bit2 x_0x2e__0x2e__0x2e_0602_bit3 -x_0x2e__0x2e__0x2e_0702_bit0 -x_0x2e__0x2e__0x2e_0702_bit1 -x_0x2e__0x2e__0x2e_0702_bit2 -x_0x2e__0x2e__0x2e_0702_bit3 -x_0x2e__0x2e__0x2e_0802_bit0 -x_0x2e__0x2e__0x2e_0802_bit1 -x_0x2e__0x2e__0x2e_0802_bit2 -x_0x2e__0x2e__0x2e_0802_bit3 -x_0x2e__0x2e__0x2e_0902_bit0 -x_0x2e__0x2e__0x2e_0902_bit1 -x_0x2e__0x2e__0x2e_0902_bit2 -x_0x2e__0x2e__0x2e_0902_bit3 -x_0x2e__0x2e__0x2e_1002_bit0 -x_0x2e__0x2e__0x2e_1002_bit1 -x_0x2e__0x2e__0x2e_1002_bit2 -x_0x2e__0x2e__0x2e_1002_bit3 -x_0x2e__0x2e__0x2e_1102_bit0 -x_0x2e__0x2e__0x2e_1102_bit1 -x_0x2e__0x2e__0x2e_1102_bit2 -x_0x2e__0x2e__0x2e_1102_bit3 -x_0x2e__0x2e__0x2e_1202_bit0 -x_0x2e__0x2e__0x2e_1202_bit1 -x_0x2e__0x2e__0x2e_1202_bit2 -x_0x2e__0x2e__0x2e_1202_bit3 -x_0x2e__0x2e__0x2e_0103_bit0 -x_0x2e__0x2e__0x2e_0103_bit1 -x_0x2e__0x2e__0x2e_0103_bit2 -x_0x2e__0x2e__0x2e_0103_bit3 -x_0x2e__0x2e__0x2e_0203_bit0 -x_0x2e__0x2e__0x2e_0203_bit1 -x_0x2e__0x2e__0x2e_0203_bit2 -x_0x2e__0x2e__0x2e_0203_bit3 -x_0x2e__0x2e__0x2e_0303_bit0 -x_0x2e__0x2e__0x2e_0303_bit1 -x_0x2e__0x2e__0x2e_0303_bit2 -x_0x2e__0x2e__0x2e_0303_bit3 -x_0x2e__0x2e__0x2e_0403_bit0 -x_0x2e__0x2e__0x2e_0403_bit1 x_0x2e__0x2e__0x2e_0403_bit2 -x_0x2e__0x2e__0x2e_0403_bit3 -x_0x2e__0x2e__0x2e_0503_bit0 -x_0x2e__0x2e__0x2e_0503_bit1 x_0x2e__0x2e__0x2e_0503_bit2 -x_0x2e__0x2e__0x2e_0503_bit3 -x_0x2e__0x2e__0x2e_0603_bit0 -x_0x2e__0x2e__0x2e_0603_bit1 x_0x2e__0x2e__0x2e_0603_bit2 -x_0x2e__0x2e__0x2e_0603_bit3 -x_0x2e__0x2e__0x2e_0703_bit0 -x_0x2e__0x2e__0x2e_0703_bit1 -x_0x2e__0x2e__0x2e_0703_bit2 -x_0x2e__0x2e__0x2e_0703_bit3 -x_0x2e__0x2e__0x2e_0803_bit0 -x_0x2e__0x2e__0x2e_0803_bit1 -x_0x2e__0x2e__0x2e_0803_bit2 -x_0x2e__0x2e__0x2e_0803_bit3 -x_0x2e__0x2e__0x2e_0903_bit0 -x_0x2e__0x2e__0x2e_0903_bit1 -x_0x2e__0x2e__0x2e_0903_bit2 -x_0x2e__0x2e__0x2e_0903_bit3 -x_0x2e__0x2e__0x2e_1003_bit0 -x_0x2e__0x2e__0x2e_1003_bit1 -x_0x2e__0x2e__0x2e_1003_bit2 -x_0x2e__0x2e__0x2e_1003_bit3 -x_0x2e__0x2e__0x2e_1103_bit0 x_0x2e__0x2e__0x2e_1103_bit1 -x_0x2e__0x2e__0x2e_1103_bit2 -x_0x2e__0x2e__0x2e_1103_bit3 -x_0x2e__0x2e__0x2e_1203_bit0 -x_0x2e__0x2e__0x2e_1203_bit1 -x_0x2e__0x2e__0x2e_1203_bit2 -x_0x2e__0x2e__0x2e_1203_bit3 -x_0x2e__0x2e__0x2e_0104_bit0 -x_0x2e__0x2e__0x2e_0204_bit0 -x_0x2e__0x2e__0x2e_0304_bit0 -x_0x2e__0x2e__0x2e_0404_bit0 -x_0x2e__0x2e__0x2e_0504_bit0 -x_0x2e__0x2e__0x2e_0604_bit0 -x_0x2e__0x2e__0x2e_0704_bit0 -x_0x2e__0x2e__0x2e_0804_bit0 -x_0x2e__0x2e__0x2e_0904_bit0 -x_0x2e__0x2e__0x2e_1004_bit0 -x_0x2e__0x2e__0x2e_1104_bit0 -x_0x2e__0x2e__0x2e_1204_bit0 -x_0x2e__0x2e__0x2e_0105_bit0 -x_0x2e__0x2e__0x2e_0105_bit1 -x_0x2e__0x2e__0x2e_0105_bit2 -x_0x2e__0x2e__0x2e_0205_bit0 -x_0x2e__0x2e__0x2e_0205_bit1 -x_0x2e__0x2e__0x2e_0205_bit2 -x_0x2e__0x2e__0x2e_0305_bit0 -x_0x2e__0x2e__0x2e_0305_bit1 -x_0x2e__0x2e__0x2e_0305_bit2 -x_0x2e__0x2e__0x2e_0405_bit0 -x_0x2e__0x2e__0x2e_0405_bit1 -x_0x2e__0x2e__0x2e_0405_bit2 -x_0x2e__0x2e__0x2e_0505_bit0 -x_0x2e__0x2e__0x2e_0505_bit1 -x_0x2e__0x2e__0x2e_0505_bit2 -x_0x2e__0x2e__0x2e_0605_bit0 -x_0x2e__0x2e__0x2e_0605_bit1 -x_0x2e__0x2e__0x2e_0605_bit2 -x_0x2e__0x2e__0x2e_0705_bit0 -x_0x2e__0x2e__0x2e_0705_bit1 -x_0x2e__0x2e__0x2e_0705_bit2 -x_0x2e__0x2e__0x2e_0805_bit0 -x_0x2e__0x2e__0x2e_0805_bit1 -x_0x2e__0x2e__0x2e_0805_bit2 -x_0x2e__0x2e__0x2e_0905_bit0 -x_0x2e__0x2e__0x2e_0905_bit1 -x_0x2e__0x2e__0x2e_0905_bit2 -x_0x2e__0x2e__0x2e_1005_bit0 -x_0x2e__0x2e__0x2e_1005_bit1 -x_0x2e__0x2e__0x2e_1005_bit2 -x_0x2e__0x2e__0x2e_1105_bit0 -x_0x2e__0x2e__0x2e_1105_bit1 -x_0x2e__0x2e__0x2e_1105_bit2 -x_0x2e__0x2e__0x2e_1205_bit0 -x_0x2e__0x2e__0x2e_1205_bit1 -x_0x2e__0x2e__0x2e_1205_bit2 -x_0x2e__0x2e__0x2e_0106_bit0 -x_0x2e__0x2e__0x2e_0106_bit1 x_0x2e__0x2e__0x2e_0106_bit2 -x_0x2e__0x2e__0x2e_0106_bit3 -x_0x2e__0x2e__0x2e_0206_bit0 -x_0x2e__0x2e__0x2e_0206_bit1 -x_0x2e__0x2e__0x2e_0206_bit2 -x_0x2e__0x2e__0x2e_0206_bit3 -x_0x2e__0x2e__0x2e_0306_bit0 -x_0x2e__0x2e__0x2e_0306_bit1 -x_0x2e__0x2e__0x2e_0306_bit2 -x_0x2e__0x2e__0x2e_0306_bit3 -x_0x2e__0x2e__0x2e_0406_bit0 -x_0x2e__0x2e__0x2e_0406_bit1 -x_0x2e__0x2e__0x2e_0406_bit2 -x_0x2e__0x2e__0x2e_0406_bit3 -x_0x2e__0x2e__0x2e_0506_bit0 -x_0x2e__0x2e__0x2e_0506_bit1 -x_0x2e__0x2e__0x2e_0506_bit2 -x_0x2e__0x2e__0x2e_0506_bit3 -x_0x2e__0x2e__0x2e_0606_bit0 -x_0x2e__0x2e__0x2e_0606_bit1 x_0x2e__0x2e__0x2e_0606_bit2 -x_0x2e__0x2e__0x2e_0606_bit3 -x_0x2e__0x2e__0x2e_0706_bit0 -x_0x2e__0x2e__0x2e_0706_bit1 -x_0x2e__0x2e__0x2e_0706_bit2 -x_0x2e__0x2e__0x2e_0706_bit3 -x_0x2e__0x2e__0x2e_0806_bit0 -x_0x2e__0x2e__0x2e_0806_bit1 -x_0x2e__0x2e__0x2e_0806_bit2 -x_0x2e__0x2e__0x2e_0806_bit3 -x_0x2e__0x2e__0x2e_0906_bit0 -x_0x2e__0x2e__0x2e_0906_bit1 -x_0x2e__0x2e__0x2e_0906_bit2 -x_0x2e__0x2e__0x2e_0906_bit3 -x_0x2e__0x2e__0x2e_1006_bit0 -x_0x2e__0x2e__0x2e_1006_bit1 -x_0x2e__0x2e__0x2e_1006_bit2 -x_0x2e__0x2e__0x2e_1006_bit3 -x_0x2e__0x2e__0x2e_1106_bit0 -x_0x2e__0x2e__0x2e_1106_bit1 -x_0x2e__0x2e__0x2e_1106_bit2 -x_0x2e__0x2e__0x2e_1106_bit3 -x_0x2e__0x2e__0x2e_1206_bit0 -x_0x2e__0x2e__0x2e_1206_bit1 -x_0x2e__0x2e__0x2e_1206_bit2 -x_0x2e__0x2e__0x2e_1206_bit3 -x_0x2e__0x2e__0x2e_0507_bit0 -x_0x2e__0x2e__0x2e_0507_bit1 -x_0x2e__0x2e__0x2e_0507_bit2 -x_0x2e__0x2e__0x2e_0607_bit0 -x_0x2e__0x2e__0x2e_0607_bit1 -x_0x2e__0x2e__0x2e_0607_bit2 -x_0x2e__0x2e__0x2e_1107_bit0 -x_0x2e__0x2e__0x2e_1107_bit1 -x_0x2e__0x2e__0x2e_1107_bit2 -x_0x2e__0x2e__0x2e_1207_bit0 -x_0x2e__0x2e__0x2e_1207_bit1 -x_0x2e__0x2e__0x2e_1207_bit2 -x_0x2e__0x2e__0x2e_0108_bit0 -x_0x2e__0x2e__0x2e_0108_bit1 -x_0x2e__0x2e__0x2e_0108_bit2 -x_0x2e__0x2e__0x2e_0108_bit3 -x_0x2e__0x2e__0x2e_0208_bit0 x_0x2e__0x2e__0x2e_0208_bit1 -x_0x2e__0x2e__0x2e_0208_bit2 -x_0x2e__0x2e__0x2e_0208_bit3 -x_0x2e__0x2e__0x2e_0308_bit0 -x_0x2e__0x2e__0x2e_0308_bit1 x_0x2e__0x2e__0x2e_0308_bit2 -x_0x2e__0x2e__0x2e_0308_bit3 -x_0x2e__0x2e__0x2e_0408_bit0 -x_0x2e__0x2e__0x2e_0408_bit1 -x_0x2e__0x2e__0x2e_0408_bit2 -x_0x2e__0x2e__0x2e_0408_bit3 -x_0x2e__0x2e__0x2e_0708_bit0 -x_0x2e__0x2e__0x2e_0708_bit1 -x_0x2e__0x2e__0x2e_0708_bit2 -x_0x2e__0x2e__0x2e_0708_bit3 -x_0x2e__0x2e__0x2e_0808_bit0 -x_0x2e__0x2e__0x2e_0808_bit1 -x_0x2e__0x2e__0x2e_0808_bit2 -x_0x2e__0x2e__0x2e_0808_bit3 -x_0x2e__0x2e__0x2e_0908_bit0 -x_0x2e__0x2e__0x2e_0908_bit1 x_0x2e__0x2e__0x2e_0908_bit2 -x_0x2e__0x2e__0x2e_0908_bit3 -x_0x2e__0x2e__0x2e_1008_bit0 -x_0x2e__0x2e__0x2e_1008_bit1 -x_0x2e__0x2e__0x2e_1008_bit2 -x_0x2e__0x2e__0x2e_1008_bit3 -x_0x2e__0x2e__0x2e_0109_bit0 -x_0x2e__0x2e__0x2e_0109_bit1 -x_0x2e__0x2e__0x2e_0109_bit2 -x_0x2e__0x2e__0x2e_0209_bit0 -x_0x2e__0x2e__0x2e_0209_bit1 -x_0x2e__0x2e__0x2e_0209_bit2 -x_0x2e__0x2e__0x2e_0309_bit0 -x_0x2e__0x2e__0x2e_0309_bit1 -x_0x2e__0x2e__0x2e_0309_bit2 -x_0x2e__0x2e__0x2e_0409_bit0 -x_0x2e__0x2e__0x2e_0409_bit1 -x_0x2e__0x2e__0x2e_0409_bit2 -x_0x2e__0x2e__0x2e_0509_bit0 -x_0x2e__0x2e__0x2e_0509_bit1 -x_0x2e__0x2e__0x2e_0509_bit2 -x_0x2e__0x2e__0x2e_0609_bit0 x_0x2e__0x2e__0x2e_0609_bit1 -x_0x2e__0x2e__0x2e_0609_bit2 -x_0x2e__0x2e__0x2e_0709_bit0 -x_0x2e__0x2e__0x2e_0709_bit1 -x_0x2e__0x2e__0x2e_0709_bit2 -x_0x2e__0x2e__0x2e_0809_bit0 -x_0x2e__0x2e__0x2e_0809_bit1 -x_0x2e__0x2e__0x2e_0809_bit2 -x_0x2e__0x2e__0x2e_0909_bit0 -x_0x2e__0x2e__0x2e_0909_bit1 -x_0x2e__0x2e__0x2e_0909_bit2 -x_0x2e__0x2e__0x2e_1009_bit0 -x_0x2e__0x2e__0x2e_1009_bit1 -x_0x2e__0x2e__0x2e_1009_bit2 -x_0x2e__0x2e__0x2e_1109_bit0 -x_0x2e__0x2e__0x2e_1109_bit1 -x_0x2e__0x2e__0x2e_1109_bit2 -x_0x2e__0x2e__0x2e_1209_bit0 -x_0x2e__0x2e__0x2e_1209_bit1 -x_0x2e__0x2e__0x2e_1209_bit2 -x_0x2e__0x2e__0x2e_0110_bit0 -x_0x2e__0x2e__0x2e_0110_bit1 -x_0x2e__0x2e__0x2e_0110_bit2 -x_0x2e__0x2e__0x2e_0111_bit0 -x_0x2e__0x2e__0x2e_0111_bit1 -x_0x2e__0x2e__0x2e_0111_bit2 -x_0x2e__0x2e__0x2e_0112_bit0 -x_0x2e__0x2e__0x2e_0112_bit1 -x_0x2e__0x2e__0x2e_0112_bit2 -x_0x2e__0x2e__0x2e_0112_bit3 -x_0x2e__0x2e__0x2e_0113_bit0 -x_0x2e__0x2e__0x2e_0113_bit1 -x_0x2e__0x2e__0x2e_0113_bit2 -x_0x2e__0x2e__0x2e_0114_bit0 -x_0x2e__0x2e__0x2e_0114_bit1 -x_0x2e__0x2e__0x2e_0114_bit2 -x_0x2e__0x2e__0x2e_0115_bit0 -x_0x2e__0x2e__0x2e_0115_bit1 -x_0x2e__0x2e__0x2e_0116_bit0 -x_0x2e__0x2e__0x2e_0116_bit1 -x_0x2e__0x2e__0x2e_0210_bit0 -x_0x2e__0x2e__0x2e_0210_bit1 -x_0x2e__0x2e__0x2e_0210_bit2 -x_0x2e__0x2e__0x2e_0211_bit0 -x_0x2e__0x2e__0x2e_0211_bit1 -x_0x2e__0x2e__0x2e_0211_bit2 -x_0x2e__0x2e__0x2e_0212_bit0 -x_0x2e__0x2e__0x2e_0212_bit1 -x_0x2e__0x2e__0x2e_0212_bit2 -x_0x2e__0x2e__0x2e_0212_bit3 -x_0x2e__0x2e__0x2e_0213_bit0 -x_0x2e__0x2e__0x2e_0213_bit1 -x_0x2e__0x2e__0x2e_0213_bit2 -x_0x2e__0x2e__0x2e_0214_bit0 -x_0x2e__0x2e__0x2e_0214_bit1 -x_0x2e__0x2e__0x2e_0214_bit2 -x_0x2e__0x2e__0x2e_0215_bit0 -x_0x2e__0x2e__0x2e_0215_bit1 -x_0x2e__0x2e__0x2e_0216_bit0 -x_0x2e__0x2e__0x2e_0216_bit1 -x_0x2e__0x2e__0x2e_0310_bit0 -x_0x2e__0x2e__0x2e_0310_bit1 -x_0x2e__0x2e__0x2e_0310_bit2 -x_0x2e__0x2e__0x2e_0311_bit0 -x_0x2e__0x2e__0x2e_0311_bit1 -x_0x2e__0x2e__0x2e_0311_bit2 -x_0x2e__0x2e__0x2e_0312_bit0 -x_0x2e__0x2e__0x2e_0312_bit1 x_0x2e__0x2e__0x2e_0312_bit2 -x_0x2e__0x2e__0x2e_0312_bit3 -x_0x2e__0x2e__0x2e_0313_bit0 -x_0x2e__0x2e__0x2e_0313_bit1 -x_0x2e__0x2e__0x2e_0313_bit2 -x_0x2e__0x2e__0x2e_0314_bit0 -x_0x2e__0x2e__0x2e_0314_bit1 -x_0x2e__0x2e__0x2e_0314_bit2 -x_0x2e__0x2e__0x2e_0315_bit0 -x_0x2e__0x2e__0x2e_0315_bit1 -x_0x2e__0x2e__0x2e_0316_bit0 -x_0x2e__0x2e__0x2e_0316_bit1 -x_0x2e__0x2e__0x2e_0410_bit0 -x_0x2e__0x2e__0x2e_0410_bit1 -x_0x2e__0x2e__0x2e_0410_bit2 -x_0x2e__0x2e__0x2e_0411_bit0 -x_0x2e__0x2e__0x2e_0411_bit1 -x_0x2e__0x2e__0x2e_0411_bit2 -x_0x2e__0x2e__0x2e_0412_bit0 -x_0x2e__0x2e__0x2e_0412_bit1 -x_0x2e__0x2e__0x2e_0412_bit2 -x_0x2e__0x2e__0x2e_0412_bit3 -x_0x2e__0x2e__0x2e_0413_bit0 -x_0x2e__0x2e__0x2e_0413_bit1 -x_0x2e__0x2e__0x2e_0413_bit2 -x_0x2e__0x2e__0x2e_0414_bit0 -x_0x2e__0x2e__0x2e_0414_bit1 -x_0x2e__0x2e__0x2e_0414_bit2 -x_0x2e__0x2e__0x2e_0415_bit0 -x_0x2e__0x2e__0x2e_0415_bit1 -x_0x2e__0x2e__0x2e_0416_bit0 -x_0x2e__0x2e__0x2e_0416_bit1 -x_0x2e__0x2e__0x2e_0510_bit0 -x_0x2e__0x2e__0x2e_0510_bit1 -x_0x2e__0x2e__0x2e_0510_bit2 -x_0x2e__0x2e__0x2e_0511_bit0 -x_0x2e__0x2e__0x2e_0511_bit1 -x_0x2e__0x2e__0x2e_0511_bit2 -x_0x2e__0x2e__0x2e_0512_bit0 -x_0x2e__0x2e__0x2e_0512_bit1 -x_0x2e__0x2e__0x2e_0512_bit2 -x_0x2e__0x2e__0x2e_0512_bit3 -x_0x2e__0x2e__0x2e_0513_bit0 -x_0x2e__0x2e__0x2e_0513_bit1 -x_0x2e__0x2e__0x2e_0513_bit2 -x_0x2e__0x2e__0x2e_0514_bit0 -x_0x2e__0x2e__0x2e_0514_bit1 -x_0x2e__0x2e__0x2e_0514_bit2 -x_0x2e__0x2e__0x2e_0515_bit0 -x_0x2e__0x2e__0x2e_0515_bit1 -x_0x2e__0x2e__0x2e_0516_bit0 -x_0x2e__0x2e__0x2e_0516_bit1 -x_0x2e__0x2e__0x2e_0610_bit0 -x_0x2e__0x2e__0x2e_0610_bit1 -x_0x2e__0x2e__0x2e_0610_bit2 -x_0x2e__0x2e__0x2e_0611_bit0 -x_0x2e__0x2e__0x2e_0611_bit1 -x_0x2e__0x2e__0x2e_0611_bit2 -x_0x2e__0x2e__0x2e_0612_bit0 -x_0x2e__0x2e__0x2e_0612_bit1 x_0x2e__0x2e__0x2e_0612_bit2 -x_0x2e__0x2e__0x2e_0612_bit3 -x_0x2e__0x2e__0x2e_0613_bit0 -x_0x2e__0x2e__0x2e_0613_bit1 -x_0x2e__0x2e__0x2e_0613_bit2 -x_0x2e__0x2e__0x2e_0614_bit0 x_0x2e__0x2e__0x2e_0614_bit1 -x_0x2e__0x2e__0x2e_0614_bit2 -x_0x2e__0x2e__0x2e_0615_bit0 -x_0x2e__0x2e__0x2e_0615_bit1 -x_0x2e__0x2e__0x2e_0616_bit0 -x_0x2e__0x2e__0x2e_0616_bit1 -x_0x2e__0x2e__0x2e_0710_bit0 x_0x2e__0x2e__0x2e_0710_bit1 -x_0x2e__0x2e__0x2e_0710_bit2 -x_0x2e__0x2e__0x2e_0711_bit0 -x_0x2e__0x2e__0x2e_0711_bit1 -x_0x2e__0x2e__0x2e_0711_bit2 -x_0x2e__0x2e__0x2e_0712_bit0 -x_0x2e__0x2e__0x2e_0712_bit1 -x_0x2e__0x2e__0x2e_0712_bit2 -x_0x2e__0x2e__0x2e_0712_bit3 -x_0x2e__0x2e__0x2e_0713_bit0 x_0x2e__0x2e__0x2e_0713_bit1 -x_0x2e__0x2e__0x2e_0713_bit2 -x_0x2e__0x2e__0x2e_0714_bit0 -x_0x2e__0x2e__0x2e_0714_bit1 -x_0x2e__0x2e__0x2e_0714_bit2 -x_0x2e__0x2e__0x2e_0715_bit0 -x_0x2e__0x2e__0x2e_0715_bit1 -x_0x2e__0x2e__0x2e_0716_bit0 -x_0x2e__0x2e__0x2e_0716_bit1 -x_0x2e__0x2e__0x2e_0810_bit0 -x_0x2e__0x2e__0x2e_0810_bit1 -x_0x2e__0x2e__0x2e_0810_bit2 -x_0x2e__0x2e__0x2e_0811_bit0 x_0x2e__0x2e__0x2e_0811_bit1 -x_0x2e__0x2e__0x2e_0811_bit2 -x_0x2e__0x2e__0x2e_0812_bit0 -x_0x2e__0x2e__0x2e_0812_bit1 -x_0x2e__0x2e__0x2e_0812_bit2 -x_0x2e__0x2e__0x2e_0812_bit3 -x_0x2e__0x2e__0x2e_0813_bit0 -x_0x2e__0x2e__0x2e_0813_bit1 -x_0x2e__0x2e__0x2e_0813_bit2 -x_0x2e__0x2e__0x2e_0814_bit0 -x_0x2e__0x2e__0x2e_0814_bit1 -x_0x2e__0x2e__0x2e_0814_bit2 -x_0x2e__0x2e__0x2e_0815_bit0 -x_0x2e__0x2e__0x2e_0815_bit1 -x_0x2e__0x2e__0x2e_0816_bit0 -x_0x2e__0x2e__0x2e_0816_bit1 -x_0x2e__0x2e__0x2e_0910_bit0 -x_0x2e__0x2e__0x2e_0910_bit1 -x_0x2e__0x2e__0x2e_0910_bit2 -x_0x2e__0x2e__0x2e_0911_bit0 -x_0x2e__0x2e__0x2e_0911_bit1 -x_0x2e__0x2e__0x2e_0911_bit2 -x_0x2e__0x2e__0x2e_0912_bit0 -x_0x2e__0x2e__0x2e_0912_bit1 -x_0x2e__0x2e__0x2e_0912_bit2 -x_0x2e__0x2e__0x2e_0912_bit3 -x_0x2e__0x2e__0x2e_0913_bit0 -x_0x2e__0x2e__0x2e_0913_bit1 -x_0x2e__0x2e__0x2e_0913_bit2 -x_0x2e__0x2e__0x2e_0914_bit0 -x_0x2e__0x2e__0x2e_0914_bit1 -x_0x2e__0x2e__0x2e_0914_bit2 -x_0x2e__0x2e__0x2e_0915_bit0 -x_0x2e__0x2e__0x2e_0915_bit1 -x_0x2e__0x2e__0x2e_0916_bit0 -x_0x2e__0x2e__0x2e_0916_bit1 -x_0x2e__0x2e__0x2e_1010_bit0 x_0x2e__0x2e__0x2e_1010_bit1 -x_0x2e__0x2e__0x2e_1010_bit2 -x_0x2e__0x2e__0x2e_1011_bit0 x_0x2e__0x2e__0x2e_1011_bit1 -x_0x2e__0x2e__0x2e_1011_bit2 -x_0x2e__0x2e__0x2e_1012_bit0 -x_0x2e__0x2e__0x2e_1012_bit1 -x_0x2e__0x2e__0x2e_1012_bit2 -x_0x2e__0x2e__0x2e_1012_bit3 -x_0x2e__0x2e__0x2e_1013_bit0 x_0x2e__0x2e__0x2e_1013_bit1 -x_0x2e__0x2e__0x2e_1013_bit2 -x_0x2e__0x2e__0x2e_1014_bit0 x_0x2e__0x2e__0x2e_1014_bit1 -x_0x2e__0x2e__0x2e_1014_bit2 -x_0x2e__0x2e__0x2e_1015_bit0 -x_0x2e__0x2e__0x2e_1015_bit1 -x_0x2e__0x2e__0x2e_1016_bit0 -x_0x2e__0x2e__0x2e_1016_bit1 -x_0x2e__0x2e__0x2e_1110_bit0 -x_0x2e__0x2e__0x2e_1110_bit1 -x_0x2e__0x2e__0x2e_1110_bit2 -x_0x2e__0x2e__0x2e_1111_bit0 -x_0x2e__0x2e__0x2e_1111_bit1 -x_0x2e__0x2e__0x2e_1111_bit2 -x_0x2e__0x2e__0x2e_1112_bit0 -x_0x2e__0x2e__0x2e_1112_bit1 -x_0x2e__0x2e__0x2e_1112_bit2 -x_0x2e__0x2e__0x2e_1112_bit3 -x_0x2e__0x2e__0x2e_1113_bit0 -x_0x2e__0x2e__0x2e_1113_bit1 -x_0x2e__0x2e__0x2e_1113_bit2 -x_0x2e__0x2e__0x2e_1114_bit0 -x_0x2e__0x2e__0x2e_1114_bit1 -x_0x2e__0x2e__0x2e_1114_bit2 -x_0x2e__0x2e__0x2e_1115_bit0 -x_0x2e__0x2e__0x2e_1115_bit1 -x_0x2e__0x2e__0x2e_1116_bit0 -x_0x2e__0x2e__0x2e_1116_bit1 -x_0x2e__0x2e__0x2e_1210_bit0 -x_0x2e__0x2e__0x2e_1210_bit1 -x_0x2e__0x2e__0x2e_1210_bit2 -x_0x2e__0x2e__0x2e_1211_bit0 -x_0x2e__0x2e__0x2e_1211_bit1 -x_0x2e__0x2e__0x2e_1211_bit2 -x_0x2e__0x2e__0x2e_1212_bit0 -x_0x2e__0x2e__0x2e_1212_bit1 -x_0x2e__0x2e__0x2e_1212_bit2 -x_0x2e__0x2e__0x2e_1212_bit3 -x_0x2e__0x2e__0x2e_1213_bit0 -x_0x2e__0x2e__0x2e_1213_bit1 -x_0x2e__0x2e__0x2e_1213_bit2 -x_0x2e__0x2e__0x2e_1214_bit0 -x_0x2e__0x2e__0x2e_1214_bit1 -x_0x2e__0x2e__0x2e_1214_bit2 -x_0x2e__0x2e__0x2e_1215_bit0 -x_0x2e__0x2e__0x2e_1215_bit1 -x_0x2e__0x2e__0x2e_1216_bit0 -x_0x2e__0x2e__0x2e_1216_bit1 -x_0x2e__0x2e__0x2e_0117_bit0 -x_0x2e__0x2e__0x2e_0217_bit0 -x_0x2e__0x2e__0x2e_0317_bit0 -x_0x2e__0x2e__0x2e_0417_bit0 -x_0x2e__0x2e__0x2e_0517_bit0 x_0x2e__0x2e__0x2e_0617_bit0 -x_0x2e__0x2e__0x2e_0717_bit0 -x_0x2e__0x2e__0x2e_0817_bit0 -x_0x2e__0x2e__0x2e_0917_bit0 -x_0x2e__0x2e__0x2e_1017_bit0 -x_0x2e__0x2e__0x2e_1117_bit0 -x_0x2e__0x2e__0x2e_1217_bit0 
c Exit Code: 10
c Total time: 1175.2 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.92 0.97 0.92 2/54 8927
Raw data (stat): 8927 (runsolver) R 8926 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832789224 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99953 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 2586 0 0 0 990 8 0 0 25 0 1 0 832789224 14159872 2560 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2560 1111 63 0 3394 0
vsize: 13828
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 2988 0 0 0 1987 11 0 0 25 0 1 0 832789224 15872000 2962 4294967295 134512640 134714540 3221224592 3221223236 134535481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 2962 1111 63 0 3812 0
vsize: 15500
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 3492 0 0 0 2984 15 0 0 25 0 1 0 832789224 17887232 3466 4294967295 134512640 134714540 3221224592 3221223100 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4367 3466 1111 63 0 4304 0
vsize: 17468
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 3748 0 0 0 3982 16 0 0 25 0 1 0 832789224 18968576 3722 4294967295 134512640 134714540 3221224592 3221223284 134542835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4631 3722 1111 63 0 4568 0
vsize: 18524
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 3843 0 0 0 4982 17 0 0 25 0 1 0 832789224 19374080 3817 4294967295 134512640 134714540 3221224592 3221223248 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4730 3817 1111 63 0 4667 0
vsize: 18920
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 3926 0 0 0 5982 17 0 0 25 0 1 0 832789224 19644416 3900 4294967295 134512640 134714540 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3900 1111 63 0 4733 0
vsize: 19184
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 3989 0 0 0 6981 18 0 0 25 0 1 0 832789224 19910656 3963 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4861 3963 1111 63 0 4798 0
vsize: 19444
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 4499 0 0 0 7980 19 0 0 25 0 1 0 832789224 22061056 4473 4294967295 134512640 134714540 3221224592 3221223340 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5386 4473 1111 63 0 5323 0
vsize: 21544
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 4700 0 0 0 8979 20 0 0 25 0 1 0 832789224 22872064 4674 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5584 4674 1111 63 0 5521 0
vsize: 22336
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 4813 0 0 0 9979 20 0 0 25 0 1 0 832789224 23396352 4787 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5712 4787 1111 63 0 5649 0
vsize: 22848
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 4813 0 0 0 10979 20 0 0 25 0 1 0 832789224 23396352 4787 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5712 4787 1111 63 0 5649 0
vsize: 22848
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 4832 0 0 0 11979 20 0 0 25 0 1 0 832789224 23396352 4806 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5712 4806 1111 63 0 5649 0
vsize: 22848
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 5053 0 0 0 12979 21 0 0 25 0 1 0 832789224 24342528 5027 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 5027 1111 63 0 5880 0
vsize: 23772
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 5338 0 0 0 13978 22 0 0 25 0 1 0 832789224 25423872 5312 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6207 5312 1111 63 0 6144 0
vsize: 24828
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 5451 0 0 0 14978 22 0 0 25 0 1 0 832789224 25964544 5425 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6339 5425 1111 63 0 6276 0
vsize: 25356
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 6011 0 0 0 15976 24 0 0 25 0 1 0 832789224 28246016 5985 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6896 5985 1111 63 0 6833 0
vsize: 27584
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 6274 0 0 0 16975 25 0 0 25 0 1 0 832789224 29327360 6248 4294967295 134512640 134714540 3221224592 3221223212 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7160 6248 1111 63 0 7097 0
vsize: 28640
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 6593 0 0 0 17974 26 0 0 25 0 1 0 832789224 30683136 6567 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7491 6567 1111 63 0 7428 0
vsize: 29964
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 6735 0 0 0 18974 27 0 0 25 0 1 0 832789224 31260672 6709 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7632 6709 1111 63 0 7569 0
vsize: 30528
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 6784 0 0 0 19974 27 0 0 25 0 1 0 832789224 31510528 6758 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7693 6758 1111 63 0 7630 0
vsize: 30772
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7006 0 0 0 20974 27 0 0 25 0 1 0 832789224 32436224 6980 4294967295 134512640 134714540 3221224592 3221223240 134539351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7919 6980 1111 63 0 7856 0
vsize: 31676
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7183 0 0 0 21974 28 0 0 25 0 1 0 832789224 33112064 7157 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8084 7157 1111 63 0 8021 0
vsize: 32336
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7331 0 0 0 22973 28 0 0 25 0 1 0 832789224 33652736 7305 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8216 7305 1111 63 0 8153 0
vsize: 32864
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7365 0 0 0 23973 29 0 0 25 0 1 0 832789224 33923072 7339 4294967295 134512640 134714540 3221224592 3221223184 134543102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8282 7339 1111 63 0 8219 0
vsize: 33128
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7544 0 0 0 24973 29 0 0 25 0 1 0 832789224 34598912 7518 4294967295 134512640 134714540 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8447 7518 1111 63 0 8384 0
vsize: 33788
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7665 0 0 0 25972 30 0 0 25 0 1 0 832789224 35155968 7639 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8583 7639 1111 63 0 8520 0
vsize: 34332
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 7847 0 0 0 26972 30 0 0 25 0 1 0 832789224 35831808 7821 4294967295 134512640 134714540 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8748 7821 1111 63 0 8685 0
vsize: 34992
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 8380 0 0 0 27970 32 0 0 25 0 1 0 832789224 38019072 8350 4294967295 134512640 134714540 3221224592 3221223408 134622297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9282 8350 1111 63 0 9219 0
vsize: 37128
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 8509 0 0 0 28970 33 0 0 25 0 1 0 832789224 38559744 8479 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9414 8479 1111 63 0 9351 0
vsize: 37656
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 8731 0 0 0 29969 33 0 0 25 0 1 0 832789224 39514112 8701 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9647 8701 1111 63 0 9584 0
vsize: 38588
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 8731 0 0 0 30969 33 0 0 25 0 1 0 832789224 39514112 8701 4294967295 134512640 134714540 3221224592 3221223372 134622696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9647 8701 1111 63 0 9584 0
vsize: 38588
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 8819 0 0 0 31969 34 0 0 25 0 1 0 832789224 39919616 8789 4294967295 134512640 134714540 3221224592 3221223372 134623145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9746 8789 1111 63 0 9683 0
vsize: 38984
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9129 0 0 0 32969 34 0 0 25 0 1 0 832789224 41168896 9092 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9092 1111 63 0 9988 0
vsize: 40204
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9158 0 0 0 33969 34 0 0 25 0 1 0 832789224 41304064 9121 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10084 9121 1111 63 0 10021 0
vsize: 40336
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9158 0 0 0 34969 35 0 0 25 0 1 0 832789224 41304064 9121 4294967295 134512640 134714540 3221224592 3221223160 1077378431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10084 9121 1111 63 0 10021 0
vsize: 40336
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9228 0 0 0 35969 35 0 0 25 0 1 0 832789224 41697280 9191 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10180 9191 1111 63 0 10117 0
vsize: 40720
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9605 0 0 0 36968 36 0 0 25 0 1 0 832789224 43184128 9568 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10543 9568 1111 63 0 10480 0
vsize: 42172
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9636 0 0 0 37968 36 0 0 25 0 1 0 832789224 43319296 9599 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10576 9599 1111 63 0 10513 0
vsize: 42304
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9782 0 0 0 38967 37 0 0 25 0 1 0 832789224 43859968 9745 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10708 9745 1111 63 0 10645 0
vsize: 42832
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9904 0 0 0 39967 37 0 0 25 0 1 0 832789224 44400640 9867 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10840 9867 1111 63 0 10777 0
vsize: 43360
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 9974 0 0 0 40967 38 0 0 25 0 1 0 832789224 44670976 9937 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10906 9937 1111 63 0 10843 0
vsize: 43624
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10038 0 0 0 41967 38 0 0 25 0 1 0 832789224 44941312 10001 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10972 10001 1111 63 0 10909 0
vsize: 43888
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10115 0 0 0 42967 38 0 0 25 0 1 0 832789224 45211648 10078 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11038 10078 1111 63 0 10975 0
vsize: 44152
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10118 0 0 0 43967 38 0 0 25 0 1 0 832789224 45211648 10081 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11038 10081 1111 63 0 10975 0
vsize: 44152
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10118 0 0 0 44967 38 0 0 25 0 1 0 832789224 45211648 10081 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11038 10081 1111 63 0 10975 0
vsize: 44152
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10143 0 0 0 45967 38 0 0 25 0 1 0 832789224 45346816 10106 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11071 10106 1111 63 0 11008 0
vsize: 44284
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10157 0 0 0 46967 38 0 0 25 0 1 0 832789224 45481984 10119 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11104 10119 1111 63 0 11041 0
vsize: 44416
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10157 0 0 0 47967 38 0 0 25 0 1 0 832789224 45481984 10119 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11104 10119 1111 63 0 11041 0
vsize: 44416
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10157 0 0 0 48967 39 0 0 25 0 1 0 832789224 45481984 10119 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11104 10119 1111 63 0 11041 0
vsize: 44416
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10217 0 0 0 49967 39 0 0 25 0 1 0 832789224 45617152 10179 4294967295 134512640 134714540 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11137 10179 1111 63 0 11074 0
vsize: 44548
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10244 0 0 0 50967 39 0 0 25 0 1 0 832789224 45752320 10206 4294967295 134512640 134714540 3221224592 3221223308 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11170 10206 1111 63 0 11107 0
vsize: 44680
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10249 0 0 0 51967 39 0 0 25 0 1 0 832789224 45752320 10211 4294967295 134512640 134714540 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11170 10211 1111 63 0 11107 0
vsize: 44680
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10320 0 0 0 52967 40 0 0 25 0 1 0 832789224 46157824 10282 4294967295 134512640 134714540 3221224592 3221223304 134543184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11269 10282 1111 63 0 11206 0
vsize: 45076
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10320 0 0 0 53967 40 0 0 25 0 1 0 832789224 46157824 10282 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11269 10282 1111 63 0 11206 0
vsize: 45076
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10340 0 0 0 54967 40 0 0 25 0 1 0 832789224 46157824 10302 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11269 10302 1111 63 0 11206 0
vsize: 45076
[startup+560.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10369 0 0 0 55967 40 0 0 25 0 1 0 832789224 46292992 10331 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11302 10331 1111 63 0 11239 0
vsize: 45208
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10370 0 0 0 56967 40 0 0 25 0 1 0 832789224 46292992 10332 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11302 10332 1111 63 0 11239 0
vsize: 45208
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10416 0 0 0 57967 40 0 0 25 0 1 0 832789224 46428160 10378 4294967295 134512640 134714540 3221224592 3221223304 134558488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11335 10378 1111 63 0 11272 0
vsize: 45340
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10456 0 0 0 58967 41 0 0 25 0 1 0 832789224 46698496 10418 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11401 10418 1111 63 0 11338 0
vsize: 45604
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10496 0 0 0 59967 41 0 0 25 0 1 0 832789224 46821376 10458 4294967295 134512640 134714540 3221224592 3221223144 134539209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10458 1111 63 0 11368 0
vsize: 45724
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10509 0 0 0 60967 41 0 0 25 0 1 0 832789224 46821376 10471 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10509 0 0 0 61967 41 0 0 25 0 1 0 832789224 46821376 10471 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10509 0 0 0 62967 41 0 0 25 0 1 0 832789224 46821376 10471 4294967295 134512640 134714540 3221224592 3221223312 134622837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10509 0 0 0 63967 41 0 0 25 0 1 0 832789224 46821376 10471 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10526 0 0 0 64967 41 0 0 25 0 1 0 832789224 46952448 10488 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11463 10488 1111 63 0 11400 0
vsize: 45852
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10600 0 0 0 65967 42 0 0 25 0 1 0 832789224 47222784 10562 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11529 10562 1111 63 0 11466 0
vsize: 46116
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10600 0 0 0 66967 42 0 0 25 0 1 0 832789224 47222784 10562 4294967295 134512640 134714540 3221224592 3221223392 134622273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11529 10562 1111 63 0 11466 0
vsize: 46116
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10815 0 0 0 67967 42 0 0 25 0 1 0 832789224 48054272 10777 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11732 10777 1111 63 0 11669 0
vsize: 46928
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10873 0 0 0 68966 43 0 0 25 0 1 0 832789224 48308224 10835 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11794 10835 1111 63 0 11731 0
vsize: 47176
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10961 0 0 0 69966 44 0 0 25 0 1 0 832789224 48713728 10923 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11893 10923 1111 63 0 11830 0
vsize: 47572
[startup+710.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10961 0 0 0 70966 44 0 0 25 0 1 0 832789224 48713728 10923 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11893 10923 1111 63 0 11830 0
vsize: 47572
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 10961 0 0 0 71966 44 0 0 25 0 1 0 832789224 48713728 10923 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11893 10923 1111 63 0 11830 0
vsize: 47572
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11039 0 0 0 72966 44 0 0 25 0 1 0 832789224 48984064 11001 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11959 11001 1111 63 0 11896 0
vsize: 47836
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11307 0 0 0 73965 45 0 0 25 0 1 0 832789224 50077696 11269 4294967295 134512640 134714540 3221224592 3221223392 134622525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12226 11269 1111 63 0 12163 0
vsize: 48904
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11336 0 0 0 74965 45 0 0 25 0 1 0 832789224 50212864 11298 4294967295 134512640 134714540 3221224592 3221223140 134696760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12259 11298 1111 63 0 12196 0
vsize: 49036
[startup+759.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11547 0 0 0 75964 46 0 0 25 0 1 0 832789224 51023872 11509 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12457 11509 1111 63 0 12394 0
vsize: 49828
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11608 0 0 0 76964 47 0 0 25 0 1 0 832789224 51294208 11570 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12523 11570 1111 63 0 12460 0
vsize: 50092
[startup+779.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11654 0 0 0 77964 47 0 0 25 0 1 0 832789224 51564544 11616 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 11616 1111 63 0 12526 0
vsize: 50356
[startup+789.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11654 0 0 0 78964 47 0 0 25 0 1 0 832789224 51564544 11616 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 11616 1111 63 0 12526 0
vsize: 50356
[startup+799.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11654 0 0 0 79964 47 0 0 25 0 1 0 832789224 51564544 11616 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 11616 1111 63 0 12526 0
vsize: 50356
[startup+809.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11681 0 0 0 80964 48 0 0 25 0 1 0 832789224 51564544 11643 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 11643 1111 63 0 12526 0
vsize: 50356
[startup+819.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11808 0 0 0 81963 48 0 0 25 0 1 0 832789224 52105216 11770 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11770 1111 63 0 12658 0
vsize: 50884
[startup+829.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11808 0 0 0 82963 48 0 0 25 0 1 0 832789224 52105216 11770 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11770 1111 63 0 12658 0
vsize: 50884
[startup+839.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11808 0 0 0 83963 48 0 0 25 0 1 0 832789224 52105216 11770 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11770 1111 63 0 12658 0
vsize: 50884
[startup+849.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11817 0 0 0 84964 48 0 0 25 0 1 0 832789224 52240384 11779 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12754 11779 1111 63 0 12691 0
vsize: 51016
[startup+859.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11833 0 0 0 85964 48 0 0 25 0 1 0 832789224 52240384 11795 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12754 11795 1111 63 0 12691 0
vsize: 51016
[startup+870 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 11873 0 0 0 86964 49 0 0 25 0 1 0 832789224 52510720 11835 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12820 11835 1111 63 0 12757 0
vsize: 51280
[startup+880 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12022 0 0 0 87964 49 0 0 25 0 1 0 832789224 53223424 11984 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+890 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12022 0 0 0 88964 49 0 0 25 0 1 0 832789224 53223424 11984 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12022 0 0 0 89964 49 0 0 25 0 1 0 832789224 53223424 11984 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+910 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12022 0 0 0 90964 49 0 0 25 0 1 0 832789224 53223424 11984 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12022 0 0 0 91964 49 0 0 25 0 1 0 832789224 53223424 11984 4294967295 134512640 134714540 3221224592 3221223392 134622273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+930 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12264 0 0 0 92964 50 0 0 25 0 1 0 832789224 54169600 12226 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13225 12226 1111 63 0 13162 0
vsize: 52900
[startup+940 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12300 0 0 0 93964 50 0 0 25 0 1 0 832789224 54304768 12262 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13258 12262 1111 63 0 13195 0
vsize: 53032
[startup+950.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12558 0 0 0 94963 51 0 0 25 0 1 0 832789224 55386112 12520 4294967295 134512640 134714540 3221224592 3221223380 134622386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13522 12520 1111 63 0 13459 0
vsize: 54088
[startup+960 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12678 0 0 0 95962 52 0 0 25 0 1 0 832789224 55914496 12638 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12638 1111 63 0 13588 0
vsize: 54604
[startup+970 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12691 0 0 0 96962 52 0 0 25 0 1 0 832789224 55914496 12651 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12691 0 0 0 97962 52 0 0 25 0 1 0 832789224 55914496 12651 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12691 0 0 0 98962 52 0 0 25 0 1 0 832789224 55914496 12651 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12691 0 0 0 99963 52 0 0 25 0 1 0 832789224 55914496 12651 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12838 0 0 0 100962 53 0 0 25 0 1 0 832789224 56582144 12798 4294967295 134512640 134714540 3221224592 3221223380 134622602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13814 12798 1111 63 0 13751 0
vsize: 55256
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 12983 0 0 0 101961 54 0 0 25 0 1 0 832789224 57118720 12943 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13945 12943 1111 63 0 13882 0
vsize: 55780
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13432 0 0 0 102960 55 0 0 25 0 1 0 832789224 59015168 13392 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14408 13392 1111 63 0 14345 0
vsize: 57632
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13563 0 0 0 103960 55 0 0 25 0 1 0 832789224 59555840 13523 4294967295 134512640 134714540 3221224592 3221223172 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14540 13523 1111 63 0 14477 0
vsize: 58160
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 104960 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 105960 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 106961 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 107961 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 108961 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 109961 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 110961 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 111961 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13694 0 0 0 112962 56 0 0 25 0 1 0 832789224 60108800 13654 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13806 0 0 0 113961 56 0 0 25 0 1 0 832789224 60514304 13766 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14774 13766 1111 63 0 14711 0
vsize: 59096
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13806 0 0 0 114961 56 0 0 25 0 1 0 832789224 60514304 13766 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14774 13766 1111 63 0 14711 0
vsize: 59096
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13806 0 0 0 115962 56 0 0 25 0 1 0 832789224 60514304 13766 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14774 13766 1111 63 0 14711 0
vsize: 59096
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13812 0 0 0 116962 56 0 0 25 0 1 0 832789224 60514304 13772 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14774 13772 1111 63 0 14711 0
vsize: 59096
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 8927
Raw data (stat): 8927 (bsolo_mis) R 8926 5562 5561 0 -1 0 13812 0 0 0 116962 56 0 0 25 0 1 0 832789224 60514304 13772 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14774 13772 1111 63 0 14711 0
vsize: 0

Child status: 10
Real time (s): 1175.05
CPU time (s): 1175.23
CPU user time (s): 1174.64
CPU system time (s): 0.596909
CPU usage (%): 100.016
Max. virtual memory (Kb): 59096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	249547
#### END VERIFIER DATA ####