PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 41610

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 17:07:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29675 boxname=wulflinc6 idbench=1459 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 29675
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        914904 kB
Buffers:          6536 kB
Cached:          92528 kB
SwapCached:        896 kB
Active:          28836 kB
Inactive:        72236 kB
HighTotal:      131008 kB
HighFree:        70420 kB
LowTotal:       903652 kB
LowFree:        844484 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            12932 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:26:49 (client local time) WITH STATUS 10 IN 1175.37 SECONDS
stats: 29675 0 1175.37 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2016 variables and 136 constraints.
c After prepocess the problem consists of 1175 variables and 165 constraints.
c preprocess terminated 1.126 s
c Initial Lower Bound: 5775229
c Lower Bound Elapsed time: 0.119
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 23341056 @ 150.482
c NEW SOLUTION FOUND: 22816640 @ 150.921
c NEW SOLUTION FOUND: 22643456 @ 151.691
c NEW SOLUTION FOUND: 22303232 @ 152.2
c NEW SOLUTION FOUND: 22188032 @ 152.581
c NEW SOLUTION FOUND: 21938944 @ 152.673
c NEW SOLUTION FOUND: 21920768 @ 156.621
c NEW SOLUTION FOUND: 21698560 @ 157.555
c NEW SOLUTION FOUND: 21672960 @ 159.323
c NEW SOLUTION FOUND: 21557760 @ 163.953
c NEW SOLUTION FOUND: 21550720 @ 168.862
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 X2_bit1 X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 X9_bit1 X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 X18_bit0 X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 X21_bit1 X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 X25_bit1 X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 X27_bit0 X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 X29_bit0 X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 X32_bit1 X32_bit2 X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 X34_bit1 X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 X37_bit0 -X37_bit1 X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 X39_bit0 X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 X41_bit0 -X41_bit1 X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 X44_bit1 X44_bit2 X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 X45_bit1 X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 X54_bit0 X54_bit1 X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 X60_bit1 -X60_bit2 X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 X65_bit2 X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 X66_bit1 X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 X68_bit0 -X68_bit1 X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 X78_bit1 X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 X87_bit1 X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 X90_bit1 X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 X91_bit0 X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 Y0_bit0 -Y1_bit0 Y2_bit0 Y3_bit0 Y4_bit0 -Y5_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 Y9_bit0 -Y10_bit0 -Y11_bit0 Y12_bit0 -Y13_bit0 Y14_bit0 Y15_bit0 Y16_bit0 -Y17_bit0 Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 Y23_bit0 Y24_bit0 Y25_bit0 Y26_bit0 Y27_bit0 Y28_bit0 Y29_bit0 Y30_bit0 Y31_bit0 Y32_bit0 Y33_bit0 Y34_bit0 Y35_bit0 -Y36_bit0 Y37_bit0 Y38_bit0 Y39_bit0 -Y40_bit0 Y41_bit0 Y42_bit0 -Y43_bit0 Y44_bit0 Y45_bit0 Y46_bit0 Y47_bit0 -Y48_bit0 Y49_bit0 Y50_bit0 Y51_bit0 Y52_bit0 -Y53_bit0 Y54_bit0 Y55_bit0 Y56_bit0 -Y57_bit0 Y58_bit0 -Y59_bit0 Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 Y65_bit0 Y66_bit0 Y67_bit0 Y68_bit0 -Y69_bit0 Y70_bit0 Y71_bit0 -Y72_bit0 -Y73_bit0 Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 Y78_bit0 -Y79_bit0 Y80_bit0 Y81_bit0 -Y82_bit0 -Y83_bit0 Y84_bit0 Y85_bit0 -Y86_bit0 Y87_bit0 -Y88_bit0 -Y89_bit0 Y90_bit0 Y91_bit0 -Y92_bit0 Y93_bit0 -Y94_bit0 -Y95_bit0 
c Exit Code: 10
c Total time: 1175.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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 1/54 14963
Raw data (stat): 14963 (runsolver) R 14962 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911948633 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 9670 0 0 0 972 25 0 0 25 0 1 0 911948633 15912960 3180 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3180 1111 63 0 3822 0
vsize: 15540
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 17137 0 0 0 1952 46 0 0 25 0 1 0 911948633 16457728 3246 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3246 1111 63 0 3955 0
vsize: 16072
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 23831 0 0 0 2935 64 0 0 25 0 1 0 911948633 16076800 3190 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3925 3190 1111 63 0 3862 0
vsize: 15700
[startup+40 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 30406 0 0 0 3917 81 0 0 25 0 1 0 911948633 15912960 3180 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3180 1111 63 0 3822 0
vsize: 15540
[startup+49.9996 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 36696 0 0 0 4900 99 0 0 25 0 1 0 911948633 15945728 3180 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3180 1111 63 0 3830 0
vsize: 15572
[startup+59.9992 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 42626 0 0 0 5881 118 0 0 25 0 1 0 911948633 15912960 3180 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3180 1111 63 0 3822 0
vsize: 15540
[startup+69.999 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 48099 0 0 0 6866 134 0 0 25 0 1 0 911948633 15912960 3181 4294967295 134512640 134716908 3221224560 3221222832 1074146269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3181 1111 63 0 3822 0
vsize: 15540
[startup+79.9991 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 52488 0 0 0 7851 149 0 0 25 0 1 0 911948633 15912960 3182 4294967295 134512640 134716908 3221224560 3221222840 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3182 1111 63 0 3822 0
vsize: 15540
[startup+89.9982 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 56222 0 0 0 8840 160 0 0 25 0 1 0 911948633 15912960 3185 4294967295 134512640 134716908 3221224560 3221222848 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3185 1111 63 0 3822 0
vsize: 15540
[startup+99.9974 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 60164 0 0 0 9827 174 0 0 25 0 1 0 911948633 15912960 3186 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3885 3186 1111 63 0 3822 0
vsize: 15540
[startup+109.998 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 64445 0 0 0 10811 189 0 0 25 0 1 0 911948633 15958016 3195 4294967295 134512640 134716908 3221224560 3221222480 1075802510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 3195 1111 63 0 3833 0
vsize: 15584
[startup+119.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 68421 0 0 0 11797 204 0 0 25 0 1 0 911948633 16289792 3199 4294967295 134512640 134716908 3221224560 3221221600 1075971389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3977 3206 1111 63 0 3914 0
vsize: 15908
[startup+129.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 72364 0 0 0 12783 218 0 0 25 0 1 0 911948633 15958016 3197 4294967295 134512640 134716908 3221224560 3221222876 1073972552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 3197 1111 63 0 3833 0
vsize: 15584
[startup+139.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 76197 0 0 0 13769 233 0 0 25 0 1 0 911948633 16199680 3199 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 3199 1111 63 0 3892 0
vsize: 15820
[startup+149.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 80508 0 0 0 14753 249 0 0 25 0 1 0 911948633 15958016 3197 4294967295 134512640 134716908 3221224560 3221222808 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 3197 1111 63 0 3833 0
vsize: 15584
[startup+159.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 88654 0 0 0 15725 277 0 0 25 0 1 0 911948633 22888448 4890 4294967295 134512640 134716908 3221224560 3221222976 1074116576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5588 4890 1111 63 0 5525 0
vsize: 22352
[startup+169.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 100509 0 0 0 16691 311 0 0 25 0 1 0 911948633 33382400 7403 4294967295 134512640 134716908 3221224560 3221220768 1074815299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8150 7403 1111 63 0 8087 0
vsize: 32600
[startup+179.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 112907 0 0 0 17657 346 0 0 25 0 1 0 911948633 42668032 9640 4294967295 134512640 134716908 3221224560 3221220972 1075894404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10341 9616 1111 63 0 10278 0
vsize: 41668
[startup+189.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 127279 0 0 0 18618 385 0 0 25 0 1 0 911948633 49999872 11510 4294967295 134512640 134716908 3221224560 3221222224 1074865635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12207 11510 1111 63 0 12144 0
vsize: 48828
[startup+199.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 140922 0 0 0 19575 428 0 0 25 0 1 0 911948633 60624896 14105 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14801 14105 1111 63 0 14738 0
vsize: 59204
[startup+209.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 155147 0 0 0 20532 471 0 0 25 0 1 0 911948633 70893568 16581 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17308 16581 1111 63 0 17245 0
vsize: 69232
[startup+219.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 169206 0 0 0 21493 510 0 0 25 0 1 0 911948633 80605184 18896 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19679 18900 1111 63 0 19616 0
vsize: 78716
[startup+229.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 180276 0 0 0 22463 541 0 0 25 0 1 0 911948633 88035328 20800 4294967295 134512640 134716908 3221224560 3221222288 1075635990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21493 20800 1111 63 0 21430 0
vsize: 85972
[startup+239.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 183399 0 0 0 23452 552 0 0 25 0 1 0 911948633 88629248 20939 4294967295 134512640 134716908 3221224560 3221223280 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21638 20939 1111 63 0 21575 0
vsize: 86552
[startup+249.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 191566 0 0 0 24430 574 0 0 25 0 1 0 911948633 94543872 22369 4294967295 134512640 134716908 3221224560 3221222296 1077380786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23082 22369 1111 63 0 23019 0
vsize: 92328
[startup+259.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 198493 0 0 0 25413 592 0 0 25 0 1 0 911948633 98058240 23247 4294967295 134512640 134716908 3221224560 3221222712 1074950117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23940 23247 1111 63 0 23877 0
vsize: 95760
[startup+269.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 202928 0 0 0 26399 606 0 0 25 0 1 0 911948633 98058240 23247 4294967295 134512640 134716908 3221224560 3221222956 1074912878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23940 23247 1111 63 0 23877 0
vsize: 95760
[startup+279.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 211092 0 0 0 27378 627 0 0 25 0 1 0 911948633 98058240 23247 4294967295 134512640 134716908 3221224560 3221223152 134654114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23940 23247 1111 63 0 23877 0
vsize: 95760
[startup+289.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 224136 0 0 0 28342 663 0 0 25 0 1 0 911948633 103636992 24609 4294967295 134512640 134716908 3221224560 3221222816 1073990032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25302 24609 1111 63 0 25239 0
vsize: 101208
[startup+299.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 232766 0 0 0 29321 685 0 0 25 0 1 0 911948633 107171840 25352 4294967295 134512640 134716908 3221224560 3221220592 1075965280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26165 25352 1111 63 0 26102 0
vsize: 104660
[startup+309.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 244931 0 0 0 30290 715 0 0 25 0 1 0 911948633 113713152 27034 4294967295 134512640 134716908 3221224560 3221221996 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27867 27040 1111 63 0 27804 0
vsize: 111048
[startup+319.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 255704 0 0 0 31267 740 0 0 25 0 1 0 911948633 117583872 27984 4294967295 134512640 134716908 3221224560 3221222672 1074867302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28707 27984 1111 63 0 28644 0
vsize: 114828
[startup+329.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 263546 0 0 0 32246 760 0 0 25 0 1 0 911948633 119386112 28460 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29147 28460 1111 63 0 29084 0
vsize: 116588
[startup+339.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 272274 0 0 0 33224 782 0 0 25 0 1 0 911948633 120614912 28534 4294967295 134512640 134716908 3221224560 3221220924 1075522564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29447 28534 1111 63 0 29384 0
vsize: 117788
[startup+349.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 279303 0 0 0 34204 803 0 0 25 0 1 0 911948633 120614912 28547 4294967295 134512640 134716908 3221224560 3221220552 1075964737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29447 28547 1111 63 0 29384 0
vsize: 117788
[startup+359.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 284041 0 0 0 35194 814 0 0 25 0 1 0 911948633 119320576 28444 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29131 28444 1111 63 0 29068 0
vsize: 116524
[startup+369.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 292521 0 0 0 36174 834 0 0 25 0 1 0 911948633 119320576 28444 4294967295 134512640 134716908 3221224560 3221221752 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29131 28444 1111 63 0 29068 0
vsize: 116524
[startup+379.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 300831 0 0 0 37155 853 0 0 25 0 1 0 911948633 120614912 28537 4294967295 134512640 134716908 3221224560 3221221632 1074867323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29447 28537 1111 63 0 29384 0
vsize: 117788
[startup+389.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 309670 0 0 0 38133 875 0 0 25 0 1 0 911948633 119320576 28444 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29131 28444 1111 63 0 29068 0
vsize: 116524
[startup+399.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 321998 0 0 0 39105 904 0 0 25 0 1 0 911948633 119320576 28444 4294967295 134512640 134716908 3221224560 3221221752 1074138309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29447 28449 1111 63 0 29384 0
vsize: 116524
[startup+409.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 334609 0 0 0 40075 934 0 0 25 0 1 0 911948633 122187776 28891 4294967295 134512640 134716908 3221224560 3221220584 1074790513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29831 28891 1111 63 0 29768 0
vsize: 119324
[startup+419.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 348226 0 0 0 41041 968 0 0 25 0 1 0 911948633 125706240 30002 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30690 30002 1111 63 0 30627 0
vsize: 122760
[startup+429.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 361628 0 0 0 42010 999 0 0 25 0 1 0 911948633 128344064 30647 4294967295 134512640 134716908 3221224560 3221222748 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31334 30647 1111 63 0 31271 0
vsize: 125336
[startup+439.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 382086 0 0 0 42960 1050 0 0 25 0 1 0 911948633 139186176 33294 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33981 33294 1111 63 0 33918 0
vsize: 135924
[startup+449.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 393930 0 0 0 43932 1078 0 0 25 0 1 0 911948633 141074432 33755 4294967295 134512640 134716908 3221224560 3221222848 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34442 33755 1111 63 0 34379 0
vsize: 137768
[startup+459.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 404795 0 0 0 44906 1104 0 0 25 0 1 0 911948633 144420864 34566 4294967295 134512640 134716908 3221224560 3221223068 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35259 34566 1111 63 0 35196 0
vsize: 141036
[startup+469.985 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 419209 0 0 0 45871 1140 0 0 25 0 1 0 911948633 148426752 35314 4294967295 134512640 134716908 3221224560 3221220660 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36237 35314 1111 63 0 36174 0
vsize: 144948
[startup+479.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 435263 0 0 0 46831 1179 0 0 25 0 1 0 911948633 152498176 36279 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37231 36279 1111 63 0 37168 0
vsize: 148924
[startup+489.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 450875 0 0 0 47792 1219 0 0 25 0 1 0 911948633 156282880 37462 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38155 37462 1111 63 0 38092 0
vsize: 152620
[startup+499.984 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 466973 0 0 0 48754 1258 0 0 25 0 1 0 911948633 160821248 38575 4294967295 134512640 134716908 3221224560 3221222896 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39263 38575 1111 63 0 39200 0
vsize: 157052
[startup+509.983 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 480732 0 0 0 49720 1292 0 0 25 0 1 0 911948633 163328000 39186 4294967295 134512640 134716908 3221224560 3221222560 1074056591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39875 39186 1111 63 0 39812 0
vsize: 159500
[startup+519.983 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 498554 0 0 0 50675 1337 0 0 25 0 1 0 911948633 171159552 41081 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41787 41081 1111 63 0 41724 0
vsize: 167148
[startup+529.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 513568 0 0 0 51638 1374 0 0 25 0 1 0 911948633 178982912 42942 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43697 42942 1111 63 0 43634 0
vsize: 174788
[startup+539.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 529480 0 0 0 52601 1411 0 0 25 0 1 0 911948633 185610240 44579 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45315 44579 1111 63 0 45252 0
vsize: 181260
[startup+549.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 545737 0 0 0 53562 1451 0 0 25 0 1 0 911948633 191791104 45805 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46824 45817 1111 63 0 46761 0
vsize: 187296
[startup+559.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 562110 0 0 0 54521 1493 0 0 25 0 1 0 911948633 200577024 48205 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48969 48205 1111 63 0 48906 0
vsize: 195876
[startup+569.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 579515 0 0 0 55481 1532 0 0 25 0 1 0 911948633 209539072 50410 4294967295 134512640 134716908 3221224560 3221222224 1074865202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51236 50411 1111 63 0 51173 0
vsize: 204628
[startup+579.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 595028 0 0 0 56445 1569 0 0 25 0 1 0 911948633 214921216 51693 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52471 51693 1111 63 0 52408 0
vsize: 209884
[startup+589.982 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 609491 0 0 0 57411 1604 0 0 25 0 1 0 911948633 219852800 52931 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53675 52931 1111 63 0 53612 0
vsize: 214700
[startup+599.981 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 622440 0 0 0 58378 1636 0 0 25 0 1 0 911948633 223825920 53885 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54645 53885 1111 63 0 54582 0
vsize: 218580
[startup+609.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 638964 0 0 0 59337 1679 0 0 25 0 1 0 911948633 231387136 55515 4294967295 134512640 134716908 3221224560 3221220832 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56491 55515 1111 63 0 56428 0
vsize: 225964
[startup+619.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 653283 0 0 0 60302 1714 0 0 25 0 1 0 911948633 236224512 56670 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57672 56670 1111 63 0 57609 0
vsize: 230688
[startup+629.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 668453 0 0 0 61265 1752 0 0 25 0 1 0 911948633 240599040 57985 4294967295 134512640 134716908 3221224560 3221222848 1074153462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58740 57985 1111 63 0 58677 0
vsize: 234960
[startup+639.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 680561 0 0 0 62237 1779 0 0 25 0 1 0 911948633 244072448 58793 4294967295 134512640 134716908 3221224560 3221222288 1075828192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59588 58793 1111 63 0 59525 0
vsize: 238352
[startup+649.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 696270 0 0 0 63200 1817 0 0 25 0 1 0 911948633 249835520 60235 4294967295 134512640 134716908 3221224560 3221222728 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60995 60235 1111 63 0 60932 0
vsize: 243980
[startup+659.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 708328 0 0 0 64170 1847 0 0 25 0 1 0 911948633 255348736 61310 4294967295 134512640 134716908 3221224560 3221220768 1074815556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62341 61310 1111 63 0 62278 0
vsize: 249364
[startup+669.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 725310 0 0 0 65126 1891 0 0 25 0 1 0 911948633 257380352 62046 4294967295 134512640 134716908 3221224560 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62837 62046 1111 63 0 62774 0
vsize: 251348
[startup+679.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 744225 0 0 0 66080 1938 0 0 25 0 1 0 911948633 264757248 63874 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64638 63874 1111 63 0 64575 0
vsize: 258552
[startup+689.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 761562 0 0 0 67035 1983 0 0 25 0 1 0 911948633 269811712 65108 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65907 65111 1111 63 0 65844 0
vsize: 263488
[startup+699.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 784314 0 0 0 67981 2038 0 0 25 0 1 0 911948633 279261184 67419 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68179 67419 1111 63 0 68116 0
vsize: 272716
[startup+709.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 805332 0 0 0 68928 2092 0 0 25 0 1 0 911948633 285560832 68707 4294967295 134512640 134716908 3221224560 3221220688 1075561100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69717 68707 1111 63 0 69654 0
vsize: 278868
[startup+719.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 825241 0 0 0 69879 2140 0 0 25 0 1 0 911948633 291475456 70400 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71161 70400 1111 63 0 71098 0
vsize: 284644
[startup+729.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 844887 0 0 0 70831 2189 0 0 25 0 1 0 911948633 300093440 72500 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73265 72504 1111 63 0 73202 0
vsize: 293060
[startup+739.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 862668 0 0 0 71785 2235 0 0 25 0 1 0 911948633 306139136 73947 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74741 73947 1111 63 0 74678 0
vsize: 298964
[startup+749.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 879761 0 0 0 72744 2277 0 0 25 0 1 0 911948633 312958976 75593 4294967295 134512640 134716908 3221224560 3221222504 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76406 75593 1111 63 0 76343 0
vsize: 305624
[startup+759.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 900082 0 0 0 73695 2326 0 0 25 0 1 0 911948633 322715648 77855 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78788 77855 1111 63 0 78725 0
vsize: 315152
[startup+769.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 920913 0 0 0 74647 2374 0 0 25 0 1 0 911948633 331636736 79928 4294967295 134512640 134716908 3221224560 3221222912 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80966 79928 1111 63 0 80903 0
vsize: 323864
[startup+779.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 938359 0 0 0 75603 2418 0 0 25 0 1 0 911948633 340492288 81770 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83128 81770 1111 63 0 83065 0
vsize: 332512
[startup+789.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 959837 0 0 0 76552 2470 0 0 25 0 1 0 911948633 352129024 84183 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85969 84186 1111 63 0 85906 0
vsize: 343876
[startup+799.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 978791 0 0 0 77503 2519 0 0 25 0 1 0 911948633 356278272 85503 4294967295 134512640 134716908 3221224560 3221223184 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86982 85503 1111 63 0 86919 0
vsize: 347928
[startup+809.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1000899 0 0 0 78450 2572 0 0 25 0 1 0 911948633 369098752 88310 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90112 88310 1111 63 0 90049 0
vsize: 360448
[startup+819.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1019405 0 0 0 79406 2617 0 0 25 0 1 0 911948633 379092992 90663 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92552 90663 1111 63 0 92489 0
vsize: 370208
[startup+829.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1040786 0 0 0 80355 2669 0 0 25 0 1 0 911948633 391999488 93410 4294967295 134512640 134716908 3221224560 3221221600 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95703 93410 1111 63 0 95640 0
vsize: 382812
[startup+839.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1060128 0 0 0 81308 2715 0 0 25 0 1 0 911948633 400437248 95482 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97763 95482 1111 63 0 97700 0
vsize: 391052
[startup+849.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1075801 0 0 0 82269 2755 0 0 25 0 1 0 911948633 402415616 96186 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98246 96186 1111 63 0 98183 0
vsize: 392984
[startup+859.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1094105 0 0 0 83227 2797 0 0 25 0 1 0 911948633 411996160 98158 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100585 98158 1111 63 0 100522 0
vsize: 402340
[startup+869.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1109782 0 0 0 84188 2837 0 0 25 0 1 0 911948633 415584256 99200 4294967295 134512640 134716908 3221224560 3221222912 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101461 99200 1111 63 0 101398 0
vsize: 405844
[startup+879.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1127766 0 0 0 85144 2881 0 0 25 0 1 0 911948633 423530496 101106 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103401 101106 1111 63 0 103338 0
vsize: 413604
[startup+889.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1144829 0 0 0 86102 2924 0 0 25 0 1 0 911948633 431968256 103014 4294967295 134512640 134716908 3221224560 3221220788 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105461 103014 1111 63 0 105398 0
vsize: 421844
[startup+899.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1162994 0 0 0 87057 2969 0 0 25 0 1 0 911948633 434372608 103824 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106048 103824 1111 63 0 105985 0
vsize: 424192
[startup+909.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1178561 0 0 0 88018 3008 0 0 25 0 1 0 911948633 440180736 105121 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107466 105121 1111 63 0 107403 0
vsize: 429864
[startup+919.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1192143 0 0 0 88986 3041 0 0 25 0 1 0 911948633 443424768 105921 4294967295 134512640 134716908 3221224560 3221223280 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108258 105921 1111 63 0 108195 0
vsize: 433032
[startup+929.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1210290 0 0 0 89943 3084 0 0 25 0 1 0 911948633 450867200 107507 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110075 107511 1111 63 0 110012 0
vsize: 440300
[startup+939.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1223674 0 0 0 90909 3118 0 0 25 0 1 0 911948633 453259264 108323 4294967295 134512640 134716908 3221224560 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110659 108323 1111 63 0 110596 0
vsize: 442636
[startup+949.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1242718 0 0 0 91864 3163 0 0 25 0 1 0 911948633 460701696 109915 4294967295 134512640 134716908 3221224560 3221220768 1074815500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112476 109915 1111 63 0 112413 0
vsize: 449904
[startup+959.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1259050 0 0 0 92828 3200 0 0 25 0 1 0 911948633 467836928 111678 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114218 111678 1111 63 0 114155 0
vsize: 456872
[startup+969.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1271329 0 0 0 93799 3230 0 0 25 0 1 0 911948633 470429696 112567 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114851 112567 1111 63 0 114788 0
vsize: 459404
[startup+979.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1284657 0 0 0 94766 3262 0 0 25 0 1 0 911948633 475885568 113912 4294967295 134512640 134716908 3221224560 3221223024 1074121071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116183 113912 1111 63 0 116120 0
vsize: 464732
[startup+989.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1300911 0 0 0 95725 3304 0 0 25 0 1 0 911948633 477904896 114414 4294967295 134512640 134716908 3221224560 3221223040 1074031989 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116676 114414 1111 63 0 116613 0
vsize: 466704
[startup+999.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1321730 0 0 0 96675 3354 0 0 25 0 1 0 911948633 485011456 116154 4294967295 134512640 134716908 3221224560 3221222704 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118411 116154 1111 63 0 118348 0
vsize: 473644
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1338589 0 0 0 97633 3396 0 0 25 0 1 0 911948633 491831296 117530 4294967295 134512640 134716908 3221224560 3221220768 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120076 117530 1111 63 0 120013 0
vsize: 480304
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1353318 0 0 0 98600 3430 0 0 25 0 1 0 911948633 496082944 118852 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121114 118852 1111 63 0 121051 0
vsize: 484456
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1367538 0 0 0 99566 3464 0 0 25 0 1 0 911948633 500707328 119970 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122243 119970 1111 63 0 122180 0
vsize: 488972
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1384923 0 0 0 100522 3509 0 0 25 0 1 0 911948633 507609088 121697 4294967295 134512640 134716908 3221224560 3221222560 1074915844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123928 121697 1111 63 0 123865 0
vsize: 495712
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1394516 0 0 0 101500 3531 0 0 25 0 1 0 911948633 508211200 121868 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124075 121868 1111 63 0 124012 0
vsize: 496300
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1417495 0 0 0 102447 3585 0 0 25 0 1 0 911948633 516898816 123766 4294967295 134512640 134716908 3221224560 3221220928 1075894562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126196 123766 1111 63 0 126133 0
vsize: 504784
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1439263 0 0 0 103392 3639 0 0 25 0 1 0 911948633 525840384 125961 4294967295 134512640 134716908 3221224560 3221222088 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128379 125961 1111 63 0 128316 0
vsize: 513516
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1459205 0 0 0 104347 3685 0 0 25 0 1 0 911948633 531714048 127699 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129813 127699 1111 63 0 129750 0
vsize: 519252
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1476171 0 0 0 105306 3727 0 0 25 0 1 0 911948633 541413376 130004 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132181 130004 1111 63 0 132118 0
vsize: 528724
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1489294 0 0 0 106274 3759 0 0 25 0 1 0 911948633 547803136 131405 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133741 131405 1111 63 0 133678 0
vsize: 534964
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1498476 0 0 0 107251 3782 0 0 25 0 1 0 911948633 547209216 131174 4294967295 134512640 134716908 3221224560 3221220572 1075964624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133596 131174 1111 63 0 133533 0
vsize: 534384
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1506274 0 0 0 108231 3802 0 0 25 0 1 0 911948633 547209216 131246 4294967295 134512640 134716908 3221224560 3221220896 1075114272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133596 131246 1111 63 0 133533 0
vsize: 534384
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1514161 0 0 0 109213 3821 0 0 25 0 1 0 911948633 545914880 131126 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133280 131126 1111 63 0 133217 0
vsize: 533120
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1522418 0 0 0 110193 3842 0 0 25 0 1 0 911948633 545914880 131127 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133280 131127 1111 63 0 133217 0
vsize: 533120
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1530287 0 0 0 111174 3860 0 0 25 0 1 0 911948633 545914880 131127 4294967295 134512640 134716908 3221224560 3221222912 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133280 131127 1111 63 0 133217 0
vsize: 533120
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1545012 0 0 0 112137 3898 0 0 25 0 1 0 911948633 545914880 131127 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133280 131127 1111 63 0 133217 0
vsize: 533120
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1557971 0 0 0 113107 3928 0 0 25 0 1 0 911948633 545914880 131127 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133280 131127 1111 63 0 133217 0
vsize: 533120
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 14963
Raw data (stat): 14963 (bsolo_lpr_cuts-) R 14962 25568 25567 0 -1 0 1557971 0 0 0 113107 3928 0 0 25 0 1 0 911948633 545914880 131127 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133280 131127 1111 63 0 133217 0
vsize: 0

Child status: 10
Real time (s): 1175.01
CPU time (s): 1175.37
CPU user time (s): 1135.75
CPU system time (s): 39.625
CPU usage (%): 100.031
Max. virtual memory (Kb): 534964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	21550720
#### END VERIFIER DATA ####