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-ran10x10c.opb
MD5SUM	31a8734340f0544712ef974997c104b2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2677632
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	515723936
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	515723936
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 41629

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 18:07:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29695 boxname=wulflinc6 idbench=1479 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  31a8734340f0544712ef974997c104b2  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran10x10c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran10x10c.opb
IDLAUNCH: 29695
/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:        895524 kB
Buffers:         11452 kB
Cached:         107196 kB
SwapCached:        896 kB
Active:          28972 kB
Inactive:        91668 kB
HighTotal:      131008 kB
HighFree:        55888 kB
LowTotal:       903652 kB
LowFree:        839636 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            12928 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:26:57 (client local time) WITH STATUS 10 IN 1175.37 SECONDS
stats: 29695 0 1175.37 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1087 variables and 186 constraints.
c preprocess terminated 1.756 s
c Initial Lower Bound: 1433996
c Lower Bound Elapsed time: 0.119
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 6910144 @ 119.289
c NEW SOLUTION FOUND: 6805248 @ 119.553
c NEW SOLUTION FOUND: 6797952 @ 119.899
c NEW SOLUTION FOUND: 6797760 @ 121.337
c NEW SOLUTION FOUND: 6556352 @ 121.378
c NEW SOLUTION FOUND: 6415616 @ 121.647
c NEW SOLUTION FOUND: 6296448 @ 135.059
c NEW SOLUTION FOUND: 6196352 @ 140.807
c NEW SOLUTION FOUND: 6195008 @ 193.319
c NEW SOLUTION FOUND: 6168512 @ 208.95
c NEW SOLUTION FOUND: 6168320 @ 209.141
c NEW SOLUTION FOUND: 6166144 @ 557.748
c NEW SOLUTION FOUND: 6057472 @ 632.459
c NEW SOLUTION FOUND: 6038912 @ 641.5
c NEW SOLUTION FOUND: 6038784 @ 648.498
c NEW SOLUTION FOUND: 6038720 @ 718.557
c NEW SOLUTION FOUND: 5933120 @ 986.015
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 X11_bit_1 X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 X18_bit0 -X18_bit1 X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 X23_bit0 X23_bit1 X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 X27_bit1 X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 X31_bit_1 X31_bit0 X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 X33_bit0 X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 X35_bit_1 X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 X63_bit_1 X63_bit0 -X63_bit1 X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 X64_bit_1 X64_bit0 X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 X69_bit_1 X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 X71_bit0 X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 X75_bit_1 X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 X91_bit_1 X91_bit0 X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 X94_bit_1 X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 X96_bit0 X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 Y11_bit0 Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 Y17_bit0 Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 Y23_bit0 -Y24_bit0 -Y25_bit0 Y26_bit0 Y27_bit0 Y28_bit0 -Y29_bit0 -Y30_bit0 Y31_bit0 -Y32_bit0 Y33_bit0 Y34_bit0 Y35_bit0 Y36_bit0 -Y37_bit0 Y38_bit0 -Y39_bit0 -Y40_bit0 Y41_bit0 Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 Y48_bit0 -Y49_bit0 Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 Y61_bit0 -Y62_bit0 Y63_bit0 Y64_bit0 -Y65_bit0 Y66_bit0 -Y67_bit0 -Y68_bit0 Y69_bit0 -Y70_bit0 Y71_bit0 Y72_bit0 -Y73_bit0 -Y74_bit0 Y75_bit0 -Y76_bit0 Y77_bit0 Y78_bit0 -Y79_bit0 Y80_bit0 Y81_bit0 -Y82_bit0 Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 Y87_bit0 Y88_bit0 -Y89_bit0 -Y90_bit0 Y91_bit0 -Y92_bit0 Y93_bit0 Y94_bit0 Y95_bit0 Y96_bit0 -Y97_bit0 Y98_bit0 -Y99_bit0 
c Exit Code: 10
c Total time: 1175.2 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/54 15297
Raw data (stat): 15297 (runsolver) R 15296 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912309509 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.0012 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 5614 0 0 0 982 15 0 0 25 0 1 0 912309509 16191488 3247 4294967295 134512640 134716908 3221224560 3221222288 1075635942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3247 1111 63 0 3890 0
vsize: 15812
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 8018 0 0 0 1976 22 0 0 25 0 1 0 912309509 16191488 3248 4294967295 134512640 134716908 3221224560 3221222864 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3248 1111 63 0 3890 0
vsize: 15812
[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 9841 0 0 0 2970 29 0 0 25 0 1 0 912309509 16191488 3248 4294967295 134512640 134716908 3221224560 3221222560 1074916974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3248 1111 63 0 3890 0
vsize: 15812
[startup+40.0036 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 11770 0 0 0 3962 37 0 0 25 0 1 0 912309509 16191488 3248 4294967295 134512640 134716908 3221224560 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3248 1111 63 0 3890 0
vsize: 15812
[startup+50.0047 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 13364 0 0 0 4956 43 0 0 25 0 1 0 912309509 16191488 3248 4294967295 134512640 134716908 3221224560 3221222560 1074918347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3248 1111 63 0 3890 0
vsize: 15812
[startup+60.0109 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 14103 0 0 0 5951 48 0 0 25 0 1 0 912309509 16191488 3248 4294967295 134512640 134716908 3221224560 3221222548 1077374446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3248 1111 63 0 3890 0
vsize: 15812
[startup+70.018 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 14389 0 0 0 6948 53 0 0 25 0 1 0 912309509 16191488 3248 4294967295 134512640 134716908 3221224560 3221222560 1074913787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3248 1111 63 0 3890 0
vsize: 15812
[startup+80.0188 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 17355 0 0 0 7937 64 0 0 25 0 1 0 912309509 17326080 3500 4294967295 134512640 134716908 3221224560 3221222416 1075460122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4230 3500 1111 63 0 4167 0
vsize: 16920
[startup+90.0189 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 21081 0 0 0 8924 77 0 0 25 0 1 0 912309509 17301504 3523 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3523 1111 63 0 4161 0
vsize: 16896
[startup+100.019 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 23727 0 0 0 9914 87 0 0 25 0 1 0 912309509 17424384 3553 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3553 1111 63 0 4191 0
vsize: 17016
[startup+110.021 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 23727 0 0 0 10914 88 0 0 25 0 1 0 912309509 17424384 3553 4294967295 134512640 134716908 3221224560 3221222720 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3553 1111 63 0 4191 0
vsize: 17016
[startup+120.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 23784 0 0 0 11912 90 0 0 25 0 1 0 912309509 17424384 3554 4294967295 134512640 134716908 3221224560 3221222712 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3554 1111 63 0 4191 0
vsize: 17016
[startup+130.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 39147 0 0 0 12870 132 0 0 25 0 1 0 912309509 36098048 8064 4294967295 134512640 134716908 3221224560 3221222880 1075006831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8813 8064 1111 63 0 8750 0
vsize: 35252
[startup+140.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 40447 0 0 0 13864 138 0 0 25 0 1 0 912309509 37105664 8359 4294967295 134512640 134716908 3221224560 3221222896 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8359 1111 63 0 8996 0
vsize: 36236
[startup+150.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 51364 0 0 0 14837 166 0 0 25 0 1 0 912309509 49700864 11391 4294967295 134512640 134716908 3221224560 3221222896 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12134 11391 1111 63 0 12071 0
vsize: 48536
[startup+160.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 52888 0 0 0 15830 173 0 0 25 0 1 0 912309509 51122176 11768 4294967295 134512640 134716908 3221224560 3221223008 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12481 11768 1111 63 0 12418 0
vsize: 49924
[startup+170.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 62344 0 0 0 16807 196 0 0 25 0 1 0 912309509 61353984 14276 4294967295 134512640 134716908 3221224560 3221222304 1075646667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14979 14276 1111 63 0 14916 0
vsize: 59916
[startup+180.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 70875 0 0 0 17784 220 0 0 25 0 1 0 912309509 68878336 16030 4294967295 134512640 134716908 3221224560 3221220528 1074872816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16816 16030 1111 63 0 16753 0
vsize: 67264
[startup+190.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 79219 0 0 0 18764 240 0 0 25 0 1 0 912309509 77099008 18050 4294967295 134512640 134716908 3221224560 3221223432 134543274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18823 18050 1111 63 0 18760 0
vsize: 75292
[startup+200.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 94286 0 0 0 19724 280 0 0 25 0 1 0 912309509 89030656 20976 4294967295 134512640 134716908 3221224560 3221222384 1075824351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21736 20976 1111 63 0 21673 0
vsize: 86944
[startup+210.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 105412 0 0 0 20691 313 0 0 25 0 1 0 912309509 100499456 23808 4294967295 134512640 134716908 3221224560 3221222976 1074116190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24536 23808 1111 63 0 24473 0
vsize: 98144
[startup+220.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 114793 0 0 0 21662 342 0 0 25 0 1 0 912309509 108249088 25700 4294967295 134512640 134716908 3221224560 3221223004 1076647876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26428 25700 1111 63 0 26365 0
vsize: 105712
[startup+230.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 120210 0 0 0 22648 357 0 0 25 0 1 0 912309509 110522368 26180 4294967295 134512640 134716908 3221224560 3221220560 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26983 26180 1111 63 0 26920 0
vsize: 107932
[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 129869 0 0 0 23623 382 0 0 25 0 1 0 912309509 118857728 28285 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29018 28285 1111 63 0 28955 0
vsize: 116072
[startup+250.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 136423 0 0 0 24603 403 0 0 25 0 1 0 912309509 122298368 29056 4294967295 134512640 134716908 3221224560 3221221624 1077410145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29858 29056 1111 63 0 29795 0
vsize: 119432
[startup+260.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 145318 0 0 0 25579 427 0 0 25 0 1 0 912309509 129593344 30855 4294967295 134512640 134716908 3221224560 3221223040 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31639 30855 1111 63 0 31576 0
vsize: 126556
[startup+270.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 158265 0 0 0 26545 461 0 0 25 0 1 0 912309509 141664256 33809 4294967295 134512640 134716908 3221224560 3221222960 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34586 33809 1111 63 0 34523 0
vsize: 138344
[startup+280.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 164931 0 0 0 27528 478 0 0 25 0 1 0 912309509 146022400 34866 4294967295 134512640 134716908 3221224560 3221222504 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35650 34866 1111 63 0 35587 0
vsize: 142600
[startup+290.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 177986 0 0 0 28494 512 0 0 25 0 1 0 912309509 155418624 37127 4294967295 134512640 134716908 3221224560 3221222944 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37944 37127 1111 63 0 37881 0
vsize: 151776
[startup+300.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 190365 0 0 0 29463 544 0 0 25 0 1 0 912309509 164028416 39241 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40046 39241 1111 63 0 39983 0
vsize: 160184
[startup+310.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 202612 0 0 0 30432 576 0 0 25 0 1 0 912309509 172793856 41370 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42186 41370 1111 63 0 42123 0
vsize: 168744
[startup+320.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 214967 0 0 0 31401 607 0 0 25 0 1 0 912309509 185856000 44466 4294967295 134512640 134716908 3221224560 3221222472 1074138300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45375 44466 1111 63 0 45312 0
vsize: 181500
[startup+330.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 228805 0 0 0 32369 639 0 0 25 0 1 0 912309509 200921088 47952 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49053 47952 1111 63 0 48990 0
vsize: 196212
[startup+340.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 237219 0 0 0 33348 660 0 0 25 0 1 0 912309509 205041664 49014 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50059 49014 1111 63 0 49996 0
vsize: 200236
[startup+350.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 252347 0 0 0 34314 695 0 0 25 0 1 0 912309509 218390528 52166 4294967295 134512640 134716908 3221224560 3221220724 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53318 52166 1111 63 0 53255 0
vsize: 213272
[startup+360.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 265135 0 0 0 35282 728 0 0 25 0 1 0 912309509 225259520 53834 4294967295 134512640 134716908 3221224560 3221223356 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54995 53834 1111 63 0 54932 0
vsize: 219980
[startup+370.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 275576 0 0 0 36256 754 0 0 25 0 1 0 912309509 232022016 55463 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56646 55463 1111 63 0 56583 0
vsize: 226584
[startup+380.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 288243 0 0 0 37226 784 0 0 25 0 1 0 912309509 242118656 57885 4294967295 134512640 134716908 3221224560 3221223052 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59111 57885 1111 63 0 59048 0
vsize: 236444
[startup+390.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 296364 0 0 0 38207 804 0 0 25 0 1 0 912309509 243916800 58392 4294967295 134512640 134716908 3221224560 3221222712 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59550 58392 1111 63 0 59487 0
vsize: 238200
[startup+400.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 305586 0 0 0 39183 828 0 0 25 0 1 0 912309509 249061376 59638 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60806 59638 1111 63 0 60743 0
vsize: 243224
[startup+410.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 320614 0 0 0 40148 863 0 0 25 0 1 0 912309509 258019328 61801 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62993 61801 1111 63 0 62930 0
vsize: 251972
[startup+420.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 332892 0 0 0 41119 893 0 0 25 0 1 0 912309509 264404992 63312 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64552 63312 1111 63 0 64489 0
vsize: 258208
[startup+430.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 345731 0 0 0 42087 925 0 0 25 0 1 0 912309509 272306176 65274 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66481 65274 1111 63 0 66418 0
vsize: 265924
[startup+440.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 358555 0 0 0 43057 955 0 0 25 0 1 0 912309509 281575424 67444 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68744 67444 1111 63 0 68681 0
vsize: 274976
[startup+450.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 370980 0 0 0 44027 986 0 0 25 0 1 0 912309509 286949376 68797 4294967295 134512640 134716908 3221224560 3221222664 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70056 68797 1111 63 0 69993 0
vsize: 280224
[startup+460.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 379702 0 0 0 45005 1008 0 0 25 0 1 0 912309509 291790848 69935 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71238 69935 1111 63 0 71175 0
vsize: 284952
[startup+470.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 389435 0 0 0 45984 1030 0 0 25 0 1 0 912309509 297250816 71254 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72571 71254 1111 63 0 72508 0
vsize: 290284
[startup+480.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 399586 0 0 0 46959 1055 0 0 25 0 1 0 912309509 304496640 72806 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74340 72806 1111 63 0 74277 0
vsize: 297360
[startup+490.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 408810 0 0 0 47935 1079 0 0 25 0 1 0 912309509 305074176 73187 4294967295 134512640 134716908 3221224560 3221223056 134646708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73187 1111 63 0 74418 0
vsize: 297924
[startup+500.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 415505 0 0 0 48918 1096 0 0 25 0 1 0 912309509 305074176 73189 4294967295 134512640 134716908 3221224560 3221222536 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73189 1111 63 0 74418 0
vsize: 297924
[startup+510.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 423256 0 0 0 49898 1117 0 0 25 0 1 0 912309509 306135040 73271 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74740 73271 1111 63 0 74677 0
vsize: 298960
[startup+520.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 429379 0 0 0 50884 1131 0 0 25 0 1 0 912309509 305074176 73262 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73262 1111 63 0 74418 0
vsize: 297924
[startup+530.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 437897 0 0 0 51864 1151 0 0 25 0 1 0 912309509 305074176 73266 4294967295 134512640 134716908 3221224560 3221221752 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73266 1111 63 0 74418 0
vsize: 297924
[startup+540.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 444699 0 0 0 52848 1168 0 0 25 0 1 0 912309509 305868800 73360 4294967295 134512640 134716908 3221224560 3221220896 1075114245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74675 73360 1111 63 0 74612 0
vsize: 298700
[startup+550.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 452215 0 0 0 53830 1186 0 0 25 0 1 0 912309509 305868800 73377 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74675 73377 1111 63 0 74612 0
vsize: 298700
[startup+560.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 456266 0 0 0 54819 1198 0 0 25 0 1 0 912309509 305602560 73361 4294967295 134512640 134716908 3221224560 3221220880 1075169529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74610 73361 1111 63 0 74547 0
vsize: 298440
[startup+570.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 458379 0 0 0 55812 1205 0 0 25 0 1 0 912309509 305074176 73303 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73303 1111 63 0 74418 0
vsize: 297924
[startup+580.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 461361 0 0 0 56804 1213 0 0 25 0 1 0 912309509 305074176 73314 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73314 1111 63 0 74418 0
vsize: 297924
[startup+590.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 464347 0 0 0 57796 1222 0 0 25 0 1 0 912309509 305074176 73314 4294967295 134512640 134716908 3221224560 3221223280 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73314 1111 63 0 74418 0
vsize: 297924
[startup+600.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 467538 0 0 0 58787 1231 0 0 25 0 1 0 912309509 305602560 73340 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74610 73340 1111 63 0 74547 0
vsize: 298440
[startup+610.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 470889 0 0 0 59777 1241 0 0 25 0 1 0 912309509 305602560 73334 4294967295 134512640 134716908 3221224560 3221221552 1075110494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73326 1111 63 0 74418 0
vsize: 298440
[startup+620.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 473052 0 0 0 60772 1247 0 0 25 0 1 0 912309509 306266112 73651 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74772 73651 1111 63 0 74709 0
vsize: 299088
[startup+630.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 477655 0 0 0 61761 1258 0 0 25 0 1 0 912309509 305074176 73360 4294967295 134512640 134716908 3221224560 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73360 1111 63 0 74418 0
vsize: 297924
[startup+640.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 482935 0 0 0 62749 1270 0 0 25 0 1 0 912309509 305074176 73379 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73379 1111 63 0 74418 0
vsize: 297924
[startup+650.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 492150 0 0 0 63728 1291 0 0 25 0 1 0 912309509 305074176 73381 4294967295 134512640 134716908 3221224560 3221222752 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73381 1111 63 0 74418 0
vsize: 297924
[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 495744 0 0 0 64720 1300 0 0 25 0 1 0 912309509 305074176 73381 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73381 1111 63 0 74418 0
vsize: 297924
[startup+670.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 499277 0 0 0 65712 1309 0 0 25 0 1 0 912309509 305074176 73381 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73381 1111 63 0 74418 0
vsize: 297924
[startup+680.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 502457 0 0 0 66703 1317 0 0 25 0 1 0 912309509 305074176 73381 4294967295 134512640 134716908 3221224560 3221222560 1074918500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73381 1111 63 0 74418 0
vsize: 297924
[startup+690.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 507443 0 0 0 67690 1331 0 0 25 0 1 0 912309509 307007488 73668 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74953 73668 1111 63 0 74890 0
vsize: 299812
[startup+700.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 513690 0 0 0 68676 1345 0 0 25 0 1 0 912309509 305074176 73381 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73381 1111 63 0 74418 0
vsize: 297924
[startup+710.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 518502 0 0 0 69665 1356 0 0 25 0 1 0 912309509 306032640 73614 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74715 73614 1111 63 0 74652 0
vsize: 298860
[startup+720.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 521440 0 0 0 70657 1365 0 0 25 0 1 0 912309509 305717248 73422 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73422 1111 63 0 74575 0
vsize: 298552
[startup+730.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 524239 0 0 0 71651 1372 0 0 25 0 1 0 912309509 306360320 73463 4294967295 134512640 134716908 3221224560 3221220800 1075115699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74795 73463 1111 63 0 74732 0
vsize: 299180
[startup+740.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 526665 0 0 0 72645 1377 0 0 25 0 1 0 912309509 305074176 73410 4294967295 134512640 134716908 3221224560 3221222720 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73410 1111 63 0 74418 0
vsize: 297924
[startup+750.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 528484 0 0 0 73641 1382 0 0 25 0 1 0 912309509 305074176 73410 4294967295 134512640 134716908 3221224560 3221223056 134534092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73410 1111 63 0 74418 0
vsize: 297924
[startup+760.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 530077 0 0 0 74637 1386 0 0 25 0 1 0 912309509 305717248 73432 4294967295 134512640 134716908 3221224560 3221220832 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73432 1111 63 0 74575 0
vsize: 298552
[startup+770.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 531897 0 0 0 75633 1391 0 0 25 0 1 0 912309509 305717248 73441 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73441 1111 63 0 74575 0
vsize: 298552
[startup+780.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 533569 0 0 0 76627 1397 0 0 25 0 1 0 912309509 305074176 73413 4294967295 134512640 134716908 3221224560 3221222912 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73413 1111 63 0 74418 0
vsize: 297924
[startup+790.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 535684 0 0 0 77622 1402 0 0 25 0 1 0 912309509 305074176 73427 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73427 1111 63 0 74418 0
vsize: 297924
[startup+800.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 538816 0 0 0 78613 1412 0 0 25 0 1 0 912309509 305074176 73430 4294967295 134512640 134716908 3221224560 3221222864 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73430 1111 63 0 74418 0
vsize: 297924
[startup+810.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 542178 0 0 0 79605 1420 0 0 25 0 1 0 912309509 305074176 73430 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73430 1111 63 0 74418 0
vsize: 297924
[startup+820.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 545910 0 0 0 80597 1429 0 0 25 0 1 0 912309509 305074176 73430 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73430 1111 63 0 74418 0
vsize: 297924
[startup+830.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 548386 0 0 0 81591 1435 0 0 25 0 1 0 912309509 305074176 73433 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73433 1111 63 0 74418 0
vsize: 297924
[startup+840.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 551041 0 0 0 82584 1442 0 0 25 0 1 0 912309509 305074176 73435 4294967295 134512640 134716908 3221224560 3221222584 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73435 1111 63 0 74418 0
vsize: 297924
[startup+850.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 553419 0 0 0 83579 1448 0 0 25 0 1 0 912309509 305717248 73458 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73458 1111 63 0 74575 0
vsize: 298552
[startup+860.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 556837 0 0 0 84572 1456 0 0 25 0 1 0 912309509 305074176 73435 4294967295 134512640 134716908 3221224560 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73435 1111 63 0 74418 0
vsize: 297924
[startup+870.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 559833 0 0 0 85564 1464 0 0 25 0 1 0 912309509 305074176 73454 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73454 1111 63 0 74418 0
vsize: 297924
[startup+880.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 564026 0 0 0 86553 1474 0 0 25 0 1 0 912309509 305074176 73454 4294967295 134512640 134716908 3221224560 3221223260 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73454 1111 63 0 74418 0
vsize: 297924
[startup+890.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 566912 0 0 0 87546 1482 0 0 25 0 1 0 912309509 305074176 73454 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73454 1111 63 0 74418 0
vsize: 297924
[startup+900.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 570215 0 0 0 88537 1492 0 0 25 0 1 0 912309509 306360320 73503 4294967295 134512640 134716908 3221224560 3221220932 1075965504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74795 73504 1111 63 0 74732 0
vsize: 299180
[startup+910.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 573765 0 0 0 89530 1499 0 0 25 0 1 0 912309509 305074176 73457 4294967295 134512640 134716908 3221224560 3221222680 1077377218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73457 1111 63 0 74418 0
vsize: 297924
[startup+920.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 577456 0 0 0 90522 1508 0 0 25 0 1 0 912309509 305074176 73457 4294967295 134512640 134716908 3221224560 3221222280 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73457 1111 63 0 74418 0
vsize: 297924
[startup+930.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 579579 0 0 0 91515 1514 0 0 25 0 1 0 912309509 305074176 73457 4294967295 134512640 134716908 3221224560 3221222376 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73457 1111 63 0 74418 0
vsize: 297924
[startup+940.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 583445 0 0 0 92508 1523 0 0 25 0 1 0 912309509 305717248 73467 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73467 1111 63 0 74575 0
vsize: 298552
[startup+950.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 586914 0 0 0 93499 1533 0 0 25 0 1 0 912309509 305074176 73458 4294967295 134512640 134716908 3221224560 3221222848 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73458 1111 63 0 74418 0
vsize: 297924
[startup+960.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 590794 0 0 0 94490 1542 0 0 25 0 1 0 912309509 305717248 73502 4294967295 134512640 134716908 3221224560 3221221604 1074846137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73502 1111 63 0 74575 0
vsize: 298552
[startup+970.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 593642 0 0 0 95483 1549 0 0 25 0 1 0 912309509 305717248 73483 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73483 1111 63 0 74575 0
vsize: 298552
[startup+980.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 596058 0 0 0 96476 1557 0 0 25 0 1 0 912309509 305074176 73458 4294967295 134512640 134716908 3221224560 3221223292 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73458 1111 63 0 74418 0
vsize: 297924
[startup+990.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 597827 0 0 0 97469 1563 0 0 25 0 1 0 912309509 305074176 73461 4294967295 134512640 134716908 3221224560 3221222400 1074052283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74481 73461 1111 63 0 74418 0
vsize: 297924
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 599500 0 0 0 98463 1569 0 0 25 0 1 0 912309509 305074176 73461 4294967295 134512640 134716908 3221224560 3221222832 1074039505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74481 73461 1111 63 0 74418 0
vsize: 297924
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 601657 0 0 0 99459 1574 0 0 25 0 1 0 912309509 305074176 73461 4294967295 134512640 134716908 3221224560 3221223220 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74481 73461 1111 63 0 74418 0
vsize: 297924
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 604970 0 0 0 100450 1583 0 0 25 0 1 0 912309509 305717248 73468 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74638 73468 1111 63 0 74575 0
vsize: 298552
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 609380 0 0 0 101438 1595 0 0 25 0 1 0 912309509 306970624 73724 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74944 73724 1111 63 0 74881 0
vsize: 299776
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 619648 0 0 0 102415 1618 0 0 25 0 1 0 912309509 308187136 74255 4294967295 134512640 134716908 3221224560 3221223040 1074031964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74255 1111 63 0 75178 0
vsize: 300964
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 632436 0 0 0 103384 1650 0 0 25 0 1 0 912309509 311664640 75077 4294967295 134512640 134716908 3221224560 3221223072 134540332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76090 75077 1111 63 0 76027 0
vsize: 304360
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 642461 0 0 0 104362 1673 0 0 25 0 1 0 912309509 314765312 75844 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76847 75844 1111 63 0 76784 0
vsize: 307388
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 654328 0 0 0 105333 1702 0 0 25 0 1 0 912309509 317104128 76394 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77418 76394 1111 63 0 77355 0
vsize: 309672
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 664600 0 0 0 106310 1726 0 0 25 0 1 0 912309509 319361024 76958 4294967295 134512640 134716908 3221224560 3221222680 1074138243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77969 76958 1111 63 0 77906 0
vsize: 311876
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 677478 0 0 0 107278 1758 0 0 25 0 1 0 912309509 321978368 77613 4294967295 134512640 134716908 3221224560 3221223264 134654840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78608 77613 1111 63 0 78545 0
vsize: 314432
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 690251 0 0 0 108248 1788 0 0 25 0 1 0 912309509 327364608 78880 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79923 78880 1111 63 0 79860 0
vsize: 319692
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 699728 0 0 0 109225 1811 0 0 25 0 1 0 912309509 328155136 79104 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80116 79104 1111 63 0 80053 0
vsize: 320464
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 709410 0 0 0 110203 1834 0 0 25 0 1 0 912309509 331132928 79621 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80843 79621 1111 63 0 80780 0
vsize: 323372
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 718357 0 0 0 111182 1855 0 0 25 0 1 0 912309509 332210176 80082 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81106 80082 1111 63 0 81043 0
vsize: 324424
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 727651 0 0 0 112160 1877 0 0 25 0 1 0 912309509 335253504 80812 4294967295 134512640 134716908 3221224560 3221223024 1074119510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81849 80812 1111 63 0 81786 0
vsize: 327396
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 737384 0 0 0 113136 1902 0 0 25 0 1 0 912309509 339820544 81905 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82964 81905 1111 63 0 82901 0
vsize: 331856
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 750763 0 0 0 114106 1933 0 0 25 0 1 0 912309509 346632192 83457 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84627 83457 1111 63 0 84564 0
vsize: 338508
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 761451 0 0 0 115082 1957 0 0 25 0 1 0 912309509 350351360 84356 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85535 84356 1111 63 0 85472 0
vsize: 342140
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 15297
Raw data (stat): 15297 (bsolo_lpr_cuts-) R 15296 25568 25567 0 -1 0 761451 0 0 0 115082 1957 0 0 25 0 1 0 912309509 350351360 84356 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85535 84356 1111 63 0 85472 0
vsize: 0

Child status: 10
Real time (s): 1175.05
CPU time (s): 1175.37
CPU user time (s): 1155.53
CPU system time (s): 19.841
CPU usage (%): 100.027
Max. virtual memory (Kb): 342140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5933120
#### END VERIFIER DATA ####