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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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	1177.34
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 28343

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 01:45:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13445 boxname=wulflinc1 idbench=1035 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-gt2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-gt2.opb
IDLAUNCH: 13445
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        874084 kB
Buffers:         14128 kB
Cached:         120236 kB
SwapCached:          4 kB
Active:          25188 kB
Inactive:       112232 kB
HighTotal:      131008 kB
HighFree:        12208 kB
LowTotal:       903652 kB
LowFree:        861876 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7140 kB
Slab:            17212 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:05:35 (client local time) WITH STATUS 10 IN 1181.16 SECONDS
stats: 13445 0 1181.16 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.562 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.755
c NEW SOLUTION FOUND: 261183 @ 27.913
c NEW SOLUTION FOUND: 260607 @ 28.019
c NEW SOLUTION FOUND: 259271 @ 28.108
c NEW SOLUTION FOUND: 255795 @ 65.305
c NEW SOLUTION FOUND: 253883 @ 66.055
c NEW SOLUTION FOUND: 253559 @ 66.236
c NEW SOLUTION FOUND: 253281 @ 70.581
c NEW SOLUTION FOUND: 253071 @ 70.751
c NEW SOLUTION FOUND: 251045 @ 70.778
c NEW SOLUTION FOUND: 250217 @ 127.796
c NEW SOLUTION FOUND: 250035 @ 133.318
c NEW SOLUTION FOUND: 249893 @ 135.299
c NEW SOLUTION FOUND: 249871 @ 136.306
c NEW SOLUTION FOUND: 249547 @ 140.743
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: 1181.12 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/55 14567
Raw data (stat): 14567 (runsolver) R 14566 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 719946968 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+9.99975 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 2586 0 0 0 990 9 0 0 25 0 1 0 719946968 14159872 2560 4294967295 134512640 134714540 3221224592 3221223304 134558485 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.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 2992 0 0 0 1988 11 0 0 25 0 1 0 719946968 15872000 2966 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 2966 1111 63 0 3812 0
vsize: 15500
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 3510 0 0 0 2986 13 0 0 25 0 1 0 719946968 18022400 3484 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4400 3484 1111 63 0 4337 0
vsize: 17600
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 3748 0 0 0 3985 14 0 0 25 0 1 0 719946968 18968576 3722 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 3843 0 0 0 4985 15 0 0 25 0 1 0 719946968 19374080 3817 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 3926 0 0 0 5984 16 0 0 25 0 1 0 719946968 19644416 3900 4294967295 134512640 134714540 3221224592 3221223316 134622911 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.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 3989 0 0 0 6983 17 0 0 25 0 1 0 719946968 19910656 3963 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 4499 0 0 0 7981 19 0 0 25 0 1 0 719946968 22061056 4473 4294967295 134512640 134714540 3221224592 3221223408 134622252 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.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 4721 0 0 0 8980 20 0 0 25 0 1 0 719946968 23007232 4695 4294967295 134512640 134714540 3221224592 3221223392 134622273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5617 4695 1111 63 0 5554 0
vsize: 22468
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 4813 0 0 0 9980 21 0 0 25 0 1 0 719946968 23396352 4787 4294967295 134512640 134714540 3221224592 3221223304 134558492 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.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 4813 0 0 0 10980 21 0 0 25 0 1 0 719946968 23396352 4787 4294967295 134512640 134714540 3221224592 3221223396 134622267 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.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 4862 0 0 0 11979 22 0 0 25 0 1 0 719946968 23531520 4836 4294967295 134512640 134714540 3221224592 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5745 4836 1111 63 0 5682 0
vsize: 22980
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 5068 0 0 0 12978 23 0 0 25 0 1 0 719946968 24342528 5042 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 5042 1111 63 0 5880 0
vsize: 23772
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 5338 0 0 0 13977 24 0 0 25 0 1 0 719946968 25423872 5312 4294967295 134512640 134714540 3221224592 3221223160 1077378425 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 5542 0 0 0 14976 25 0 0 25 0 1 0 719946968 26370048 5516 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6438 5516 1111 63 0 6375 0
vsize: 25752
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 6011 0 0 0 15974 28 0 0 25 0 1 0 719946968 28246016 5985 4294967295 134512640 134714540 3221224592 3221223384 134543179 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 6324 0 0 0 16972 29 0 0 25 0 1 0 719946968 29597696 6298 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7226 6298 1111 63 0 7163 0
vsize: 28904
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 6593 0 0 0 17971 31 0 0 25 0 1 0 719946968 30683136 6567 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7491 6567 1111 63 0 7428 0
vsize: 29964
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 6735 0 0 0 18971 31 0 0 25 0 1 0 719946968 31260672 6709 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7632 6709 1111 63 0 7569 0
vsize: 30528
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 6796 0 0 0 19971 31 0 0 25 0 1 0 719946968 31510528 6770 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7693 6770 1111 63 0 7630 0
vsize: 30772
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7036 0 0 0 20970 32 0 0 25 0 1 0 719946968 32436224 7010 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7919 7010 1111 63 0 7856 0
vsize: 31676
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7183 0 0 0 21970 33 0 0 25 0 1 0 719946968 33112064 7157 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 7157 1111 63 0 8021 0
vsize: 32336
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7365 0 0 0 22969 33 0 0 25 0 1 0 719946968 33923072 7339 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8282 7339 1111 63 0 8219 0
vsize: 33128
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7365 0 0 0 23969 33 0 0 25 0 1 0 719946968 33923072 7339 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 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.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7565 0 0 0 24969 34 0 0 25 0 1 0 719946968 34734080 7539 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8480 7539 1111 63 0 8417 0
vsize: 33920
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7772 0 0 0 25969 34 0 0 25 0 1 0 719946968 35561472 7746 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8682 7746 1111 63 0 8619 0
vsize: 34728
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 7994 0 0 0 26968 35 0 0 25 0 1 0 719946968 36372480 7968 4294967295 134512640 134714540 3221224592 3221223108 134535880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 7968 1111 63 0 8817 0
vsize: 35520
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 8509 0 0 0 27968 36 0 0 25 0 1 0 719946968 38559744 8479 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9414 8479 1111 63 0 9351 0
vsize: 37656
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 8668 0 0 0 28967 36 0 0 25 0 1 0 719946968 39243776 8638 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9581 8638 1111 63 0 9518 0
vsize: 38324
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 8731 0 0 0 29967 37 0 0 25 0 1 0 719946968 39514112 8701 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9647 8701 1111 63 0 9584 0
vsize: 38588
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 8819 0 0 0 30967 37 0 0 25 0 1 0 719946968 39919616 8789 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9746 8789 1111 63 0 9683 0
vsize: 38984
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 8990 0 0 0 31967 37 0 0 25 0 1 0 719946968 40628224 8953 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8953 1111 63 0 9856 0
vsize: 39676
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9158 0 0 0 32967 38 0 0 25 0 1 0 719946968 41304064 9121 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10084 9121 1111 63 0 10021 0
vsize: 40336
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9158 0 0 0 33967 38 0 0 25 0 1 0 719946968 41304064 9121 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10084 9121 1111 63 0 10021 0
vsize: 40336
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9190 0 0 0 34966 38 0 0 25 0 1 0 719946968 41439232 9153 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10117 9153 1111 63 0 10054 0
vsize: 40468
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9486 0 0 0 35965 40 0 0 25 0 1 0 719946968 42643456 9449 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10411 9449 1111 63 0 10348 0
vsize: 41644
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9636 0 0 0 36965 40 0 0 25 0 1 0 719946968 43319296 9599 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10576 9599 1111 63 0 10513 0
vsize: 42304
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9736 0 0 0 37965 40 0 0 25 0 1 0 719946968 43724800 9699 4294967295 134512640 134714540 3221224592 3221223184 134696109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10675 9699 1111 63 0 10612 0
vsize: 42700
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9904 0 0 0 38964 41 0 0 25 0 1 0 719946968 44400640 9867 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10840 9867 1111 63 0 10777 0
vsize: 43360
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 9974 0 0 0 39964 41 0 0 25 0 1 0 719946968 44670976 9937 4294967295 134512640 134714540 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10906 9937 1111 63 0 10843 0
vsize: 43624
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10014 0 0 0 40964 41 0 0 25 0 1 0 719946968 44806144 9977 4294967295 134512640 134714540 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10939 9977 1111 63 0 10876 0
vsize: 43756
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10115 0 0 0 41965 42 0 0 25 0 1 0 719946968 45211648 10078 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11038 10078 1111 63 0 10975 0
vsize: 44152
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10115 0 0 0 42965 42 0 0 25 0 1 0 719946968 45211648 10078 4294967295 134512640 134714540 3221224592 3221223316 134622908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11038 10078 1111 63 0 10975 0
vsize: 44152
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10118 0 0 0 43965 42 0 0 25 0 1 0 719946968 45211648 10081 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11038 10081 1111 63 0 10975 0
vsize: 44152
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10143 0 0 0 44965 42 0 0 25 0 1 0 719946968 45346816 10106 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11071 10106 1111 63 0 11008 0
vsize: 44284
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10157 0 0 0 45965 42 0 0 25 0 1 0 719946968 45481984 10119 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11104 10119 1111 63 0 11041 0
vsize: 44416
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10157 0 0 0 46965 42 0 0 25 0 1 0 719946968 45481984 10119 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11104 10119 1111 63 0 11041 0
vsize: 44416
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10157 0 0 0 47965 42 0 0 25 0 1 0 719946968 45481984 10119 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11104 10119 1111 63 0 11041 0
vsize: 44416
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10217 0 0 0 48965 42 0 0 25 0 1 0 719946968 45617152 10179 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11137 10179 1111 63 0 11074 0
vsize: 44548
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10244 0 0 0 49965 42 0 0 25 0 1 0 719946968 45752320 10206 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11170 10206 1111 63 0 11107 0
vsize: 44680
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10249 0 0 0 50965 42 0 0 25 0 1 0 719946968 45752320 10211 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11170 10211 1111 63 0 11107 0
vsize: 44680
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10320 0 0 0 51965 43 0 0 25 0 1 0 719946968 46157824 10282 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11269 10282 1111 63 0 11206 0
vsize: 45076
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10320 0 0 0 52965 43 0 0 25 0 1 0 719946968 46157824 10282 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11269 10282 1111 63 0 11206 0
vsize: 45076
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10340 0 0 0 53965 43 0 0 25 0 1 0 719946968 46157824 10302 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11269 10302 1111 63 0 11206 0
vsize: 45076
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10369 0 0 0 54965 43 0 0 25 0 1 0 719946968 46292992 10331 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11302 10331 1111 63 0 11239 0
vsize: 45208
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10370 0 0 0 55965 43 0 0 25 0 1 0 719946968 46292992 10332 4294967295 134512640 134714540 3221224592 3221223352 134592382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11302 10332 1111 63 0 11239 0
vsize: 45208
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10439 0 0 0 56965 44 0 0 25 0 1 0 719946968 46563328 10401 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11368 10401 1111 63 0 11305 0
vsize: 45472
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10463 0 0 0 57964 44 0 0 25 0 1 0 719946968 46698496 10425 4294967295 134512640 134714540 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11401 10425 1111 63 0 11338 0
vsize: 45604
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10496 0 0 0 58964 45 0 0 25 0 1 0 719946968 46821376 10458 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11431 10458 1111 63 0 11368 0
vsize: 45724
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10509 0 0 0 59965 45 0 0 25 0 1 0 719946968 46821376 10471 4294967295 134512640 134714540 3221224592 3221223160 1077378381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10509 0 0 0 60965 45 0 0 25 0 1 0 719946968 46821376 10471 4294967295 134512640 134714540 3221224592 3221223384 134542401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10509 0 0 0 61965 45 0 0 25 0 1 0 719946968 46821376 10471 4294967295 134512640 134714540 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11431 10471 1111 63 0 11368 0
vsize: 45724
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10517 0 0 0 62965 45 0 0 25 0 1 0 719946968 46956544 10479 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11464 10479 1111 63 0 11401 0
vsize: 45856
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10573 0 0 0 63965 45 0 0 25 0 1 0 719946968 47087616 10535 4294967295 134512640 134714540 3221224592 3221223248 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11496 10535 1111 63 0 11433 0
vsize: 45984
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10600 0 0 0 64965 45 0 0 25 0 1 0 719946968 47222784 10562 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11529 10562 1111 63 0 11466 0
vsize: 46116
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10750 0 0 0 65964 46 0 0 25 0 1 0 719946968 47783936 10712 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11666 10712 1111 63 0 11603 0
vsize: 46664
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10862 0 0 0 66964 47 0 0 25 0 1 0 719946968 48308224 10824 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11794 10824 1111 63 0 11731 0
vsize: 47176
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10961 0 0 0 67963 48 0 0 25 0 1 0 719946968 48713728 10923 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10923 1111 63 0 11830 0
vsize: 47572
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10961 0 0 0 68963 48 0 0 25 0 1 0 719946968 48713728 10923 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10923 1111 63 0 11830 0
vsize: 47572
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10961 0 0 0 69963 48 0 0 25 0 1 0 719946968 48713728 10923 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10923 1111 63 0 11830 0
vsize: 47572
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 10962 0 0 0 70963 48 0 0 25 0 1 0 719946968 48713728 10924 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10924 1111 63 0 11830 0
vsize: 47572
[startup+720.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11293 0 0 0 71962 49 0 0 25 0 1 0 719946968 50077696 11255 4294967295 134512640 134714540 3221224592 3221223348 134592415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 11255 1111 63 0 12163 0
vsize: 48904
[startup+730.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11336 0 0 0 72963 50 0 0 25 0 1 0 719946968 50212864 11298 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12259 11298 1111 63 0 12196 0
vsize: 49036
[startup+740.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11547 0 0 0 73962 50 0 0 25 0 1 0 719946968 51023872 11509 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12457 11509 1111 63 0 12394 0
vsize: 49828
[startup+750.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11608 0 0 0 74962 51 0 0 25 0 1 0 719946968 51294208 11570 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12523 11570 1111 63 0 12460 0
vsize: 50092
[startup+760.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11654 0 0 0 75962 51 0 0 25 0 1 0 719946968 51564544 11616 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11616 1111 63 0 12526 0
vsize: 50356
[startup+770.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11654 0 0 0 76962 51 0 0 25 0 1 0 719946968 51564544 11616 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11616 1111 63 0 12526 0
vsize: 50356
[startup+780.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11654 0 0 0 77962 51 0 0 25 0 1 0 719946968 51564544 11616 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11616 1111 63 0 12526 0
vsize: 50356
[startup+790.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11681 0 0 0 78962 51 0 0 25 0 1 0 719946968 51564544 11643 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11643 1111 63 0 12526 0
vsize: 50356
[startup+800.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11808 0 0 0 79962 52 0 0 25 0 1 0 719946968 52105216 11770 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12721 11770 1111 63 0 12658 0
vsize: 50884
[startup+810.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11808 0 0 0 80962 52 0 0 25 0 1 0 719946968 52105216 11770 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12721 11770 1111 63 0 12658 0
vsize: 50884
[startup+820.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11817 0 0 0 81963 52 0 0 25 0 1 0 719946968 52240384 11779 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12754 11779 1111 63 0 12691 0
vsize: 51016
[startup+830.126 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11817 0 0 0 82973 52 0 0 25 0 1 0 719946968 52240384 11779 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12754 11779 1111 63 0 12691 0
vsize: 51016
[startup+840.126 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14567
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 11833 0 0 0 83973 52 0 0 25 0 1 0 719946968 52240384 11795 4294967295 134512640 134714540 3221224592 3221223312 134622941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12754 11795 1111 63 0 12691 0
vsize: 51016
[startup+850.126 s]
Raw data (loadavg): 1.00 0.99 0.91 3/58 14604
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12002 0 0 0 84973 52 0 0 25 0 1 0 719946968 53088256 11964 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12961 11964 1111 63 0 12898 0
vsize: 51844
[startup+860.125 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 14620
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12022 0 0 0 85972 52 0 0 25 0 1 0 719946968 53223424 11984 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+870.126 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 14620
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12022 0 0 0 86973 52 0 0 25 0 1 0 719946968 53223424 11984 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+880.126 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 14620
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12022 0 0 0 87973 52 0 0 25 0 1 0 719946968 53223424 11984 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+890.129 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 14620
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12022 0 0 0 88973 52 0 0 25 0 1 0 719946968 53223424 11984 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12994 11984 1111 63 0 12931 0
vsize: 51976
[startup+900.137 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 14620
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12074 0 0 0 89974 52 0 0 25 0 1 0 719946968 53358592 12036 4294967295 134512640 134714540 3221224592 3221223264 1076647554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 12036 1111 63 0 12964 0
vsize: 52108
[startup+910.136 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 14622
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12300 0 0 0 90974 53 0 0 25 0 1 0 719946968 54304768 12262 4294967295 134512640 134714540 3221224592 3221223172 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13258 12262 1111 63 0 13195 0
vsize: 53032
[startup+920.137 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12498 0 0 0 91973 53 0 0 25 0 1 0 719946968 55115776 12460 4294967295 134512640 134714540 3221224592 3221223308 134673068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13456 12460 1111 63 0 13393 0
vsize: 53824
[startup+930.137 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12656 0 0 0 92973 54 0 0 25 0 1 0 719946968 55779328 12616 4294967295 134512640 134714540 3221224592 3221223184 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13618 12616 1111 63 0 13555 0
vsize: 54472
[startup+940.137 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12691 0 0 0 93972 55 0 0 25 0 1 0 719946968 55914496 12651 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+950.137 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12691 0 0 0 94972 55 0 0 25 0 1 0 719946968 55914496 12651 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+960.136 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12691 0 0 0 95972 55 0 0 25 0 1 0 719946968 55914496 12651 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+970.137 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12691 0 0 0 96972 55 0 0 25 0 1 0 719946968 55914496 12651 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 12651 1111 63 0 13588 0
vsize: 54604
[startup+980.137 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12838 0 0 0 97972 55 0 0 25 0 1 0 719946968 56582144 12798 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13814 12798 1111 63 0 13751 0
vsize: 55256
[startup+990.137 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 12983 0 0 0 98972 56 0 0 25 0 1 0 719946968 57118720 12943 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13945 12943 1111 63 0 13882 0
vsize: 55780
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13414 0 0 0 99971 57 0 0 25 0 1 0 719946968 58880000 13374 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14375 13374 1111 63 0 14312 0
vsize: 57500
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13466 0 0 0 100971 57 0 0 25 0 1 0 719946968 59150336 13426 4294967295 134512640 134714540 3221224592 3221223160 134543011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14441 13426 1111 63 0 14378 0
vsize: 57764
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 101970 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 102971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223408 134622645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 103971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 104971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 105971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 106971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 107971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 108971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223388 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13694 0 0 0 109971 58 0 0 25 0 1 0 719946968 60108800 13654 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14675 13654 1111 63 0 14612 0
vsize: 58700
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13806 0 0 0 110971 59 0 0 25 0 1 0 719946968 60514304 13766 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14774 13766 1111 63 0 14711 0
vsize: 59096
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13806 0 0 0 111971 59 0 0 25 0 1 0 719946968 60514304 13766 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14774 13766 1111 63 0 14711 0
vsize: 59096
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13806 0 0 0 112971 59 0 0 25 0 1 0 719946968 60514304 13766 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14774 13766 1111 63 0 14711 0
vsize: 59096
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13899 0 0 0 113971 59 0 0 25 0 1 0 719946968 60919808 13859 4294967295 134512640 134714540 3221224592 3221223384 134622601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14873 13859 1111 63 0 14810 0
vsize: 59492
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13949 0 0 0 114971 60 0 0 25 0 1 0 719946968 61173760 13909 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14935 13909 1111 63 0 14872 0
vsize: 59740
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13949 0 0 0 115971 60 0 0 25 0 1 0 719946968 61173760 13909 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14935 13909 1111 63 0 14872 0
vsize: 59740
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13949 0 0 0 116971 60 0 0 25 0 1 0 719946968 61173760 13909 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14935 13909 1111 63 0 14872 0
vsize: 59740
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13949 0 0 0 117972 60 0 0 25 0 1 0 719946968 61173760 13909 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14935 13909 1111 63 0 14872 0
vsize: 59740
[startup+1180.98 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 14624
Raw data (stat): 14567 (bsolo_mis) R 14566 8378 8377 0 -1 0 13949 0 0 0 117972 60 0 0 25 0 1 0 719946968 61173760 13909 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14935 13909 1111 63 0 14872 0
vsize: 0

Child status: 10
Real time (s): 1180.98
CPU time (s): 1181.16
CPU user time (s): 1180.53
CPU system time (s): 0.628904
CPU usage (%): 100.015
Max. virtual memory (Kb): 59740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	249547
#### END VERIFIER DATA ####