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 27139

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 19:31:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18435 boxname=wulflinc3 idbench=1419 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gt2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gt2.opb
IDLAUNCH: 18435
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        880292 kB
Buffers:         11016 kB
Cached:         122628 kB
SwapCached:        112 kB
Active:          25244 kB
Inactive:       111360 kB
HighTotal:      131008 kB
HighFree:         4676 kB
LowTotal:       903652 kB
LowFree:        875616 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            12180 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:50:47 (client local time) WITH STATUS 10 IN 1177.16 SECONDS
stats: 18435 0 1177.16 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 556 variables and 180 constraints.
c After prepocess the problem consists of 556 variables and 193 constraints.
c preprocess terminated 0.78 s
c Initial Lower Bound: 17011
c Lower Bound Elapsed time: 0.0993
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 267669 @ 21.994
c NEW SOLUTION FOUND: 266191 @ 24.566
c NEW SOLUTION FOUND: 265435 @ 24.58
c NEW SOLUTION FOUND: 262225 @ 24.6
c NEW SOLUTION FOUND: 261469 @ 24.667
c NEW SOLUTION FOUND: 258259 @ 29.378
c NEW SOLUTION FOUND: 257617 @ 29.419
c NEW SOLUTION FOUND: 256490 @ 39.498
c NEW SOLUTION FOUND: 254507 @ 39.794
c NEW SOLUTION FOUND: 252609 @ 591.503
c NEW SOLUTION FOUND: 251957 @ 591.741
c NEW SOLUTION FOUND: 249899 @ 591.786
c NEW SOLUTION FOUND: 249247 @ 591.997
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: 1177.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.92 0.95 0.91 2/54 24284
Raw data (stat): 24284 (runsolver) R 24283 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774547285 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+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 3176 0 0 0 988 9 0 0 25 0 1 0 774547285 11980800 2239 4294967295 134512640 134714508 3221224592 3221222240 1075821161 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2239 1111 63 0 2862 0
vsize: 11700
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 3177 0 0 0 1988 9 0 0 25 0 1 0 774547285 11980800 2240 4294967295 134512640 134714508 3221224592 3221221576 1074831423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2240 1111 63 0 2862 0
vsize: 11700
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 6668 0 0 0 2968 28 0 0 25 0 1 0 774547285 12873728 2456 4294967295 134512640 134714508 3221224592 3221223008 1074117036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3143 2456 1111 63 0 3080 0
vsize: 12572
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 13851 0 0 0 3940 56 0 0 25 0 1 0 774547285 14331904 2817 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3499 2817 1111 63 0 3436 0
vsize: 13996
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 21145 0 0 0 4915 81 0 0 25 0 1 0 774547285 15757312 3159 4294967295 134512640 134714508 3221224592 3221223152 134650190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3847 3159 1111 63 0 3784 0
vsize: 15388
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 26856 0 0 0 5898 99 0 0 25 0 1 0 774547285 17137664 3383 4294967295 134512640 134714508 3221224592 3221221192 1075850662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 3383 1111 63 0 4121 0
vsize: 16736
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 32494 0 0 0 6882 115 0 0 25 0 1 0 774547285 17043456 3486 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4161 3486 1111 63 0 4098 0
vsize: 16644
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 43158 0 0 0 7848 149 0 0 25 0 1 0 774547285 18505728 3843 4294967295 134512640 134714508 3221224592 3221222592 1074916549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4518 3843 1111 63 0 4455 0
vsize: 18072
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 55522 0 0 0 8816 181 0 0 25 0 1 0 774547285 19865600 4175 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4850 4175 1111 63 0 4787 0
vsize: 19400
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 64925 0 0 0 9795 203 0 0 25 0 1 0 774547285 20361216 4286 4294967295 134512640 134714508 3221224592 3221223008 1074116573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4286 1111 63 0 4908 0
vsize: 19884
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 76090 0 0 0 10768 230 0 0 25 0 1 0 774547285 22253568 4743 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5433 4743 1111 63 0 5370 0
vsize: 21732
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 87360 0 0 0 11741 256 0 0 25 0 1 0 774547285 23093248 4950 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5638 4950 1111 63 0 5575 0
vsize: 22552
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 104746 0 0 0 12698 300 0 0 25 0 1 0 774547285 24764416 5363 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6046 5363 1111 63 0 5983 0
vsize: 24184
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 116129 0 0 0 13669 329 0 0 25 0 1 0 774547285 26202112 5703 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5703 1111 63 0 6334 0
vsize: 25588
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 130626 0 0 0 14635 363 0 0 25 0 1 0 774547285 27054080 5898 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6605 5898 1111 63 0 6542 0
vsize: 26420
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 133353 0 0 0 15627 371 0 0 25 0 1 0 774547285 27713536 5794 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5788 1111 63 0 6408 0
vsize: 27064
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 149361 0 0 0 16586 413 0 0 25 0 1 0 774547285 28377088 6235 4294967295 134512640 134714508 3221224592 3221222984 1074118161 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6928 6235 1111 63 0 6865 0
vsize: 27712
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 166747 0 0 0 17546 453 0 0 25 0 1 0 774547285 29769728 6588 4294967295 134512640 134714508 3221224592 3221223392 134622424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7268 6588 1111 63 0 7205 0
vsize: 29072
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 176465 0 0 0 18518 481 0 0 25 0 1 0 774547285 31055872 6902 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7582 6902 1111 63 0 7519 0
vsize: 30328
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 178614 0 0 0 19513 486 0 0 25 0 1 0 774547285 31412224 6989 4294967295 134512640 134714508 3221224592 3221223384 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7669 6989 1111 63 0 7606 0
vsize: 30676
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 179273 0 0 0 20512 487 0 0 25 0 1 0 774547285 31010816 6891 4294967295 134512640 134714508 3221224592 3221223008 1074117068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7571 6891 1111 63 0 7508 0
vsize: 30284
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 187733 0 0 0 21492 508 0 0 25 0 1 0 774547285 30773248 6833 4294967295 134512640 134714508 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7513 6833 1111 63 0 7450 0
vsize: 30052
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 199051 0 0 0 22464 536 0 0 25 0 1 0 774547285 31723520 7035 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7745 7035 1111 63 0 7682 0
vsize: 30980
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 204943 0 0 0 23450 551 0 0 25 0 1 0 774547285 32415744 7234 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 7234 1111 63 0 7851 0
vsize: 31656
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 215736 0 0 0 24422 578 0 0 25 0 1 0 774547285 33734656 7555 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7555 1111 63 0 8173 0
vsize: 32944
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 221945 0 0 0 25407 593 0 0 25 0 1 0 774547285 33107968 7403 4294967295 134512640 134714508 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 7403 1111 63 0 8020 0
vsize: 32332
[startup+270.114 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 226632 0 0 0 26403 607 0 0 25 0 1 0 774547285 35188736 7895 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8591 7895 1111 63 0 8528 0
vsize: 34364
[startup+280.114 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 229716 0 0 0 27395 614 0 0 25 0 1 0 774547285 33640448 7529 4294967295 134512640 134714508 3221224592 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7529 1111 63 0 8150 0
vsize: 32852
[startup+290.114 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 244053 0 0 0 28360 650 0 0 25 0 1 0 774547285 35377152 7927 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8637 7927 1111 63 0 8574 0
vsize: 34548
[startup+300.114 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 244826 0 0 0 29357 653 0 0 25 0 1 0 774547285 37478400 8443 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9150 8443 1111 63 0 9087 0
vsize: 36600
[startup+310.114 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 246913 0 0 0 30353 657 0 0 25 0 1 0 774547285 35774464 8033 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 8033 1111 63 0 8671 0
vsize: 34936
[startup+320.115 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 253551 0 0 0 31336 674 0 0 25 0 1 0 774547285 34910208 7822 4294967295 134512640 134714508 3221224592 3221222864 1074056010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8523 7822 1111 63 0 8460 0
vsize: 34092
[startup+330.119 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 273788 0 0 0 32286 725 0 0 25 0 1 0 774547285 35647488 7999 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8703 7999 1111 63 0 8640 0
vsize: 34812
[startup+340.12 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 289305 0 0 0 33248 763 0 0 25 0 1 0 774547285 35946496 8062 4294967295 134512640 134714508 3221224592 3221222592 1074915850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8776 8062 1111 63 0 8713 0
vsize: 35104
[startup+350.12 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 313917 0 0 0 34189 822 0 0 25 0 1 0 774547285 37752832 8173 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9217 8173 1111 63 0 9154 0
vsize: 36868
[startup+360.12 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 344171 0 0 0 35120 891 0 0 25 0 1 0 774547285 36466688 8205 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8903 8205 1111 63 0 8840 0
vsize: 35612
[startup+370.121 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 354471 0 0 0 36095 917 0 0 25 0 1 0 774547285 38002688 8564 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9278 8564 1111 63 0 9215 0
vsize: 37112
[startup+380.122 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 355249 0 0 0 37093 919 0 0 25 0 1 0 774547285 40013824 9065 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9769 9065 1111 63 0 9706 0
vsize: 39076
[startup+390.123 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 357223 0 0 0 38089 923 0 0 25 0 1 0 774547285 38359040 8667 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9365 8667 1111 63 0 9302 0
vsize: 37460
[startup+400.124 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 357322 0 0 0 39089 923 0 0 25 0 1 0 774547285 37801984 8531 4294967295 134512640 134714508 3221224592 3221222448 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9229 8531 1111 63 0 9166 0
vsize: 36916
[startup+410.123 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 358984 0 0 0 40085 927 0 0 25 0 1 0 774547285 38039552 8589 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9287 8589 1111 63 0 9224 0
vsize: 37148
[startup+420.124 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 379410 0 0 0 41035 978 0 0 25 0 1 0 774547285 39067648 8494 4294967295 134512640 134714508 3221224592 3221221672 1074619285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 8488 1111 63 0 9123 0
vsize: 38152
[startup+430.124 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 403164 0 0 0 41977 1036 0 0 25 0 1 0 774547285 38768640 8760 4294967295 134512640 134714508 3221224592 3221222320 1075635518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9465 8760 1111 63 0 9402 0
vsize: 37860
[startup+440.125 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 417891 0 0 0 42943 1071 0 0 25 0 1 0 774547285 39370752 8908 4294967295 134512640 134714508 3221224592 3221222872 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9612 8908 1111 63 0 9549 0
vsize: 38448
[startup+450.125 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 424994 0 0 0 43926 1087 0 0 25 0 1 0 774547285 39878656 9032 4294967295 134512640 134714508 3221224592 3221222588 1077404782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 9032 1111 63 0 9673 0
vsize: 38944
[startup+460.125 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 437190 0 0 0 44897 1116 0 0 25 0 1 0 774547285 40411136 9162 4294967295 134512640 134714508 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9866 9162 1111 63 0 9803 0
vsize: 39464
[startup+470.126 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 462078 0 0 0 45837 1177 0 0 25 0 1 0 774547285 42078208 9243 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10273 9254 1111 63 0 10210 0
vsize: 41092
[startup+480.125 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 482629 0 0 0 46788 1226 0 0 25 0 1 0 774547285 40787968 9254 4294967295 134512640 134714508 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9958 9254 1111 63 0 9895 0
vsize: 39832
[startup+490.126 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 490892 0 0 0 47770 1244 0 0 25 0 1 0 774547285 41390080 9313 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10369 9319 1111 63 0 10306 0
vsize: 40420
[startup+500.127 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 505076 0 0 0 48738 1277 0 0 25 0 1 0 774547285 41250816 9370 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10071 9370 1111 63 0 10008 0
vsize: 40284
[startup+510.127 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 527513 0 0 0 49686 1329 0 0 25 0 1 0 774547285 41914368 9521 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10233 9521 1111 63 0 10170 0
vsize: 40932
[startup+520.128 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 538129 0 0 0 50661 1354 0 0 25 0 1 0 774547285 42274816 9620 4294967295 134512640 134714508 3221224592 3221223152 134650027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10321 9620 1111 63 0 10258 0
vsize: 41284
[startup+530.129 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 557336 0 0 0 51614 1401 0 0 25 0 1 0 774547285 43229184 9853 4294967295 134512640 134714508 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10554 9853 1111 63 0 10491 0
vsize: 42216
[startup+540.129 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 567173 0 0 0 52591 1425 0 0 25 0 1 0 774547285 43364352 9886 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10587 9886 1111 63 0 10524 0
vsize: 42348
[startup+550.129 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 577251 0 0 0 53565 1450 0 0 25 0 1 0 774547285 44097536 10065 4294967295 134512640 134714508 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10766 10065 1111 63 0 10703 0
vsize: 43064
[startup+560.129 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 584850 0 0 0 54548 1468 0 0 25 0 1 0 774547285 44019712 10046 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10747 10046 1111 63 0 10684 0
vsize: 42988
[startup+570.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 589283 0 0 0 55537 1479 0 0 25 0 1 0 774547285 44638208 10197 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10898 10197 1111 63 0 10835 0
vsize: 43592
[startup+580.129 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 591619 0 0 0 56531 1485 0 0 25 0 1 0 774547285 44216320 10094 4294967295 134512640 134714508 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10795 10094 1111 63 0 10732 0
vsize: 43180
[startup+590.131 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 609048 0 0 0 57491 1525 0 0 25 0 1 0 774547285 44163072 10081 4294967295 134512640 134714508 3221224592 3221222320 1075635959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10782 10081 1111 63 0 10719 0
vsize: 43128
[startup+600.131 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 624250 0 0 0 58451 1565 0 0 25 0 1 0 774547285 46657536 10693 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11391 10693 1111 63 0 11328 0
vsize: 45564
[startup+610.132 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 635543 0 0 0 59422 1593 0 0 25 0 1 0 774547285 48500736 10877 4294967295 134512640 134714508 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11577 10793 1111 63 0 11514 0
vsize: 47364
[startup+620.132 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 647263 0 0 0 60396 1620 0 0 25 0 1 0 774547285 47443968 10885 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11583 10885 1111 63 0 11520 0
vsize: 46332
[startup+630.133 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 654928 0 0 0 61376 1641 0 0 25 0 1 0 774547285 49106944 11291 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11291 1111 63 0 11926 0
vsize: 47956
[startup+640.134 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 657497 0 0 0 62370 1647 0 0 25 0 1 0 774547285 49229824 11321 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12019 11321 1111 63 0 11956 0
vsize: 48076
[startup+650.135 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 657678 0 0 0 63370 1647 0 0 25 0 1 0 774547285 49078272 11273 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11982 11273 1111 63 0 11919 0
vsize: 47928
[startup+660.134 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 671215 0 0 0 64334 1683 0 0 25 0 1 0 774547285 49778688 11455 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12153 11455 1111 63 0 12090 0
vsize: 48612
[startup+670.135 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 686930 0 0 0 65293 1724 0 0 25 0 1 0 774547285 51367936 11849 4294967295 134512640 134714508 3221224592 3221222592 1074056605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12541 11849 1111 63 0 12478 0
vsize: 50164
[startup+680.135 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 697232 0 0 0 66269 1748 0 0 25 0 1 0 774547285 51597312 11906 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12597 11906 1111 63 0 12534 0
vsize: 50388
[startup+690.136 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 705460 0 0 0 67250 1768 0 0 25 0 1 0 774547285 52764672 12170 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12882 12170 1111 63 0 12819 0
vsize: 51528
[startup+700.137 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 707847 0 0 0 68244 1774 0 0 25 0 1 0 774547285 52944896 12235 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12926 12235 1111 63 0 12863 0
vsize: 51704
[startup+710.137 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 707847 0 0 0 69244 1774 0 0 25 0 1 0 774547285 52944896 12235 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12926 12235 1111 63 0 12863 0
vsize: 51704
[startup+720.137 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 711585 0 0 0 70236 1782 0 0 25 0 1 0 774547285 52445184 12113 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12804 12113 1111 63 0 12741 0
vsize: 51216
[startup+730.137 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 713645 0 0 0 71232 1787 0 0 25 0 1 0 774547285 52334592 12086 4294967295 134512640 134714508 3221224592 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12777 12086 1111 63 0 12714 0
vsize: 51108
[startup+740.138 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 715885 0 0 0 72227 1792 0 0 25 0 1 0 774547285 54235136 12520 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13241 12520 1111 63 0 13178 0
vsize: 52964
[startup+750.138 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 717331 0 0 0 73224 1795 0 0 25 0 1 0 774547285 52924416 12230 4294967295 134512640 134714508 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12921 12230 1111 63 0 12858 0
vsize: 51684
[startup+760.138 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 722629 0 0 0 74208 1811 0 0 25 0 1 0 774547285 53493760 12350 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13060 12350 1111 63 0 12997 0
vsize: 52240
[startup+770.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 724287 0 0 0 75206 1814 0 0 25 0 1 0 774547285 53575680 12385 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13080 12385 1111 63 0 13017 0
vsize: 52320
[startup+780.138 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 729904 0 0 0 76192 1827 0 0 25 0 1 0 774547285 54751232 12311 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13015 12305 1111 63 0 12952 0
vsize: 53468
[startup+790.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 738622 0 0 0 77164 1856 0 0 25 0 1 0 774547285 54538240 12602 4294967295 134512640 134714508 3221224592 3221222864 1074056210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13315 12602 1111 63 0 13252 0
vsize: 53260
[startup+800.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 753456 0 0 0 78119 1901 0 0 25 0 1 0 774547285 56860672 13174 4294967295 134512640 134714508 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13882 13174 1111 63 0 13819 0
vsize: 55528
[startup+810.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 766461 0 0 0 79080 1940 0 0 25 0 1 0 774547285 58806272 13521 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14357 13521 1111 63 0 14294 0
vsize: 57428
[startup+820.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 784225 0 0 0 80029 1991 0 0 25 0 1 0 774547285 60809216 14029 4294967295 134512640 134714508 3221224592 3221223144 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14846 14029 1111 63 0 14783 0
vsize: 59384
[startup+830.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 796951 0 0 0 80992 2029 0 0 25 0 1 0 774547285 62812160 14524 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15335 14524 1111 63 0 15272 0
vsize: 61340
[startup+840.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 802238 0 0 0 81976 2045 0 0 25 0 1 0 774547285 62857216 14533 4294967295 134512640 134714508 3221224592 3221223008 1074116448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15434 14535 1111 63 0 15371 0
vsize: 61384
[startup+850.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 815785 0 0 0 82936 2084 0 0 25 0 1 0 774547285 64729088 14991 4294967295 134512640 134714508 3221224592 3221222592 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15803 14991 1111 63 0 15740 0
vsize: 63212
[startup+860.139 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 822554 0 0 0 83918 2103 0 0 25 0 1 0 774547285 65458176 15162 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15981 15162 1111 63 0 15918 0
vsize: 63924
[startup+870.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 833034 0 0 0 84889 2132 0 0 25 0 1 0 774547285 66150400 15330 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16150 15330 1111 63 0 16087 0
vsize: 64600
[startup+880.141 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 833969 0 0 0 85885 2136 0 0 25 0 1 0 774547285 67428352 15614 4294967295 134512640 134714508 3221224592 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16462 15614 1111 63 0 16399 0
vsize: 65848
[startup+890.141 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834040 0 0 0 86884 2138 0 0 25 0 1 0 774547285 67710976 15685 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16531 15685 1111 63 0 16468 0
vsize: 66124
[startup+900.141 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834110 0 0 0 87883 2139 0 0 25 0 1 0 774547285 67932160 15755 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16585 15755 1111 63 0 16522 0
vsize: 66340
[startup+910.141 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834218 0 0 0 88882 2139 0 0 25 0 1 0 774547285 68448256 15863 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16711 15863 1111 63 0 16648 0
vsize: 66844
[startup+920.142 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834260 0 0 0 89882 2140 0 0 25 0 1 0 774547285 68620288 15905 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16753 15905 1111 63 0 16690 0
vsize: 67012
[startup+930.142 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834302 0 0 0 90881 2141 0 0 25 0 1 0 774547285 68775936 15947 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16791 15947 1111 63 0 16728 0
vsize: 67164
[startup+940.142 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834338 0 0 0 91881 2141 0 0 25 0 1 0 774547285 68923392 15983 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16827 15983 1111 63 0 16764 0
vsize: 67308
[startup+950.143 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834399 0 0 0 92880 2142 0 0 25 0 1 0 774547285 69062656 16044 4294967295 134512640 134714508 3221224592 3221222848 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16861 16044 1111 63 0 16798 0
vsize: 67444
[startup+960.142 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834432 0 0 0 93880 2143 0 0 25 0 1 0 774547285 69197824 16077 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16894 16077 1111 63 0 16831 0
vsize: 67576
[startup+970.143 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 834467 0 0 0 94880 2143 0 0 25 0 1 0 774547285 69341184 16112 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16929 16112 1111 63 0 16866 0
vsize: 67716
[startup+980.143 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 835869 0 0 0 95876 2147 0 0 25 0 1 0 774547285 75825152 17486 4294967295 134512640 134714508 3221224592 3221222320 1075829532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18512 17486 1111 63 0 18449 0
vsize: 74048
[startup+990.143 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 836574 0 0 0 96875 2148 0 0 25 0 1 0 774547285 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1000.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 836574 0 0 0 97875 2148 0 0 25 0 1 0 774547285 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1010.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 836574 0 0 0 98875 2148 0 0 25 0 1 0 774547285 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1020.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 836574 0 0 0 99875 2148 0 0 25 0 1 0 774547285 74956800 17477 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18300 17477 1111 63 0 18237 0
vsize: 73200
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 843232 0 0 0 100859 2165 0 0 25 0 1 0 774547285 67362816 15630 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16446 15630 1111 63 0 16383 0
vsize: 65784
[startup+1040.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 843374 0 0 0 101857 2167 0 0 25 0 1 0 774547285 67944448 15772 4294967295 134512640 134714508 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16588 15772 1111 63 0 16525 0
vsize: 66352
[startup+1050.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 843443 0 0 0 102856 2168 0 0 25 0 1 0 774547285 68227072 15841 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16657 15841 1111 63 0 16594 0
vsize: 66628
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 844539 0 0 0 103853 2171 0 0 25 0 1 0 774547285 71233536 16573 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17391 16573 1111 63 0 17328 0
vsize: 69564
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 844539 0 0 0 104853 2171 0 0 25 0 1 0 774547285 71233536 16573 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17391 16573 1111 63 0 17328 0
vsize: 69564
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 848290 0 0 0 105846 2179 0 0 25 0 1 0 774547285 67395584 15638 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16454 15638 1111 63 0 16391 0
vsize: 65816
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 850638 0 0 0 106840 2186 0 0 25 0 1 0 774547285 67162112 15553 4294967295 134512640 134714508 3221224592 3221222780 1074207552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16397 15553 1111 63 0 16334 0
vsize: 65588
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 853952 0 0 0 107831 2194 0 0 25 0 1 0 774547285 68026368 15766 4294967295 134512640 134714508 3221224592 3221222592 1074918322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16608 15766 1111 63 0 16545 0
vsize: 66432
[startup+1110.15 s]
Raw data (loadavg): 1.00 0.99 0.92 3/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 864430 0 0 0 108807 2218 0 0 25 0 1 0 774547285 66531328 15427 4294967295 134512640 134714508 3221224592 3221222600 1077374900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 15427 1111 63 0 16180 0
vsize: 64972
[startup+1120.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 867570 0 0 0 109799 2227 0 0 25 0 1 0 774547285 66715648 15472 4294967295 134512640 134714508 3221224592 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16288 15472 1111 63 0 16225 0
vsize: 65152
[startup+1130.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 874369 0 0 0 110781 2245 0 0 25 0 1 0 774547285 67350528 15599 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16443 15599 1111 63 0 16380 0
vsize: 65772
[startup+1140.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 882516 0 0 0 111762 2264 0 0 25 0 1 0 774547285 73760768 15694 4294967295 134512640 134714508 3221224592 3221220800 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 15694 1111 63 0 17945 0
vsize: 72032
[startup+1150.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 884288 0 0 0 112757 2269 0 0 25 0 1 0 774547285 75649024 16183 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18469 16183 1111 63 0 18406 0
vsize: 73876
[startup+1160.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 887608 0 0 0 113749 2278 0 0 25 0 1 0 774547285 66727936 15475 4294967295 134512640 134714508 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16291 15475 1111 63 0 16228 0
vsize: 65164
[startup+1170.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 890414 0 0 0 114742 2285 0 0 25 0 1 0 774547285 67276800 15609 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16425 15609 1111 63 0 16362 0
vsize: 65700
[startup+1177.03 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 24284
Raw data (stat): 24284 (bsolo_lpr) R 24283 20224 20223 0 -1 0 890414 0 0 0 114742 2285 0 0 25 0 1 0 774547285 67276800 15609 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16425 15609 1111 63 0 16362 0
vsize: 0

Child status: 10
Real time (s): 1177.03
CPU time (s): 1177.16
CPU user time (s): 1154.27
CPU system time (s): 22.8845
CPU usage (%): 100.011
Max. virtual memory (Kb): 74048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	249247
#### END VERIFIER DATA ####