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-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
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	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
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 26907

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 17:57:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19189 boxname=wulflinc13 idbench=1477 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 19189
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        897312 kB
Buffers:         19400 kB
Cached:          92980 kB
SwapCached:       5124 kB
Active:          24572 kB
Inactive:        94960 kB
HighTotal:      131008 kB
HighFree:        33992 kB
LowTotal:       903652 kB
LowFree:        863320 kB
SwapTotal:     2097136 kB
SwapFree:      2091632 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6160 kB
Slab:            12024 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:16:41 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 19189 0 1175.05 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 1118 variables and 170 constraints.
c preprocess terminated 1.541 s
c Initial Lower Bound: 160365
c Lower Bound Elapsed time: 0.1983
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1200064 @ 91.232
c NEW SOLUTION FOUND: 1191104 @ 91.285
c NEW SOLUTION FOUND: 1162688 @ 91.313
c NEW SOLUTION FOUND: 1161792 @ 91.383
c NEW SOLUTION FOUND: 1152832 @ 91.477
c NEW SOLUTION FOUND: 1142336 @ 91.508
c NEW SOLUTION FOUND: 1114496 @ 91.801
c NEW SOLUTION FOUND: 1109184 @ 93.242
c NEW SOLUTION FOUND: 1093824 @ 94.403
c NEW SOLUTION FOUND: 1066560 @ 94.953
c NEW SOLUTION FOUND: 1057728 @ 143.854
c NEW SOLUTION FOUND: 1052672 @ 144.376
c NEW SOLUTION FOUND: 1038656 @ 144.663
c NEW SOLUTION FOUND: 1029568 @ 144.761
c NEW SOLUTION FOUND: 1023680 @ 325.743
c NEW SOLUTION FOUND: 1023488 @ 373.11
c NEW SOLUTION FOUND: 1017472 @ 395.379
c NEW SOLUTION FOUND: 1016512 @ 511.466
c NEW SOLUTION FOUND: 1012288 @ 547.653
c NEW SOLUTION FOUND: 1007360 @ 635.49
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.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.93 2/54 3420
Raw data (stat): 3420 (runsolver) R 3419 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773996595 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99967 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5351 0 0 0 982 15 0 0 25 0 1 0 773996595 17817600 3646 4294967295 134512640 134714508 3221224592 3221222880 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3646 1111 63 0 4287 0
vsize: 17400
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 1981 16 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221222032 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 2981 16 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221220736 1074970884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 3980 17 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221222320 1075635727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 4979 18 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221222320 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 5978 18 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221222592 1074918328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 6978 19 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221223296 134652516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5352 0 0 0 7977 20 0 0 25 0 1 0 773996595 17817600 3647 4294967295 134512640 134714508 3221224592 3221222320 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3647 1111 63 0 4287 0
vsize: 17400
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5356 0 0 0 8976 21 0 0 25 0 1 0 773996595 17817600 3651 4294967295 134512640 134714508 3221224592 3221220588 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3651 1111 63 0 4287 0
vsize: 17400
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5358 0 0 0 9974 23 0 0 25 0 1 0 773996595 17817600 3653 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3653 1111 63 0 4287 0
vsize: 17400
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 5403 0 0 0 10973 25 0 0 25 0 1 0 773996595 17817600 3653 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3653 1111 63 0 4287 0
vsize: 17400
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 7513 0 0 0 11960 37 0 0 25 0 1 0 773996595 18038784 3707 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3707 1111 63 0 4341 0
vsize: 17616
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 8444 0 0 0 12949 48 0 0 25 0 1 0 773996595 18190336 3735 4294967295 134512640 134714508 3221224592 3221223112 1077377159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3735 1111 63 0 4378 0
vsize: 17764
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 9127 0 0 0 13943 54 0 0 25 0 1 0 773996595 18341888 3734 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4478 3734 1111 63 0 4415 0
vsize: 17912
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 10046 0 0 0 14935 62 0 0 25 0 1 0 773996595 18190336 3744 4294967295 134512640 134714508 3221224592 3221222556 1073952152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3744 1111 63 0 4378 0
vsize: 17764
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 10672 0 0 0 15930 68 0 0 25 0 1 0 773996595 18190336 3744 4294967295 134512640 134714508 3221224592 3221223008 1074116266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3744 1111 63 0 4378 0
vsize: 17764
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 3420
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 11337 0 0 0 16923 75 0 0 25 0 1 0 773996595 18190336 3744 4294967295 134512640 134714508 3221224592 3221223212 134613496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3744 1111 63 0 4378 0
vsize: 17764
[startup+180.006 s]
Raw data (loadavg): 1.07 0.99 0.94 3/57 3455
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 14740 0 0 0 17905 92 0 0 25 0 1 0 773996595 18190336 3744 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4441 3744 1111 63 0 4378 0
vsize: 17764
[startup+190.007 s]
Raw data (loadavg): 1.13 1.00 0.94 2/54 3473
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 20118 0 0 0 18886 110 0 0 25 0 1 0 773996595 18206720 3747 4294967295 134512640 134714508 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4445 3747 1111 63 0 4382 0
vsize: 17780
[startup+200.007 s]
Raw data (loadavg): 1.11 1.00 0.94 2/54 3473
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 26579 0 0 0 19865 132 0 0 25 0 1 0 773996595 18563072 3773 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4532 3773 1111 63 0 4469 0
vsize: 18128
[startup+210.007 s]
Raw data (loadavg): 1.10 1.00 0.94 2/54 3473
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 32027 0 0 0 20845 152 0 0 25 0 1 0 773996595 18362368 3786 4294967295 134512640 134714508 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4483 3786 1111 63 0 4420 0
vsize: 17932
[startup+220.007 s]
Raw data (loadavg): 1.08 1.00 0.94 2/54 3473
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 35401 0 0 0 21832 165 0 0 25 0 1 0 773996595 18345984 3782 4294967295 134512640 134714508 3221224592 3221222972 1074152822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4479 3782 1111 63 0 4416 0
vsize: 17916
[startup+230.007 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 3473
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 40568 0 0 0 22815 182 0 0 25 0 1 0 773996595 18452480 3808 4294967295 134512640 134714508 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3808 1111 63 0 4442 0
vsize: 18020
[startup+240.008 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 3473
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 42609 0 0 0 23804 193 0 0 25 0 1 0 773996595 18513920 3823 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3823 1111 63 0 4457 0
vsize: 18080
[startup+250.007 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 48255 0 0 0 24783 215 0 0 25 0 1 0 773996595 18513920 3823 4294967295 134512640 134714508 3221224592 3221223344 134604532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4520 3823 1111 63 0 4457 0
vsize: 18080
[startup+260.007 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 56226 0 0 0 25759 239 0 0 25 0 1 0 773996595 18743296 3879 4294967295 134512640 134714508 3221224592 3221222416 1075823328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3879 1111 63 0 4513 0
vsize: 18304
[startup+270.008 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 56254 0 0 0 26757 241 0 0 25 0 1 0 773996595 18743296 3879 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3879 1111 63 0 4513 0
vsize: 18304
[startup+280.007 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 56515 0 0 0 27754 244 0 0 25 0 1 0 773996595 18743296 3879 4294967295 134512640 134714508 3221224592 3221222320 1075635916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3879 1111 63 0 4513 0
vsize: 18304
[startup+290.008 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 58887 0 0 0 28746 252 0 0 25 0 1 0 773996595 18948096 3926 4294967295 134512640 134714508 3221224592 3221222320 1075828608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 3926 1111 63 0 4563 0
vsize: 18504
[startup+300.008 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 58888 0 0 0 29745 254 0 0 25 0 1 0 773996595 18948096 3927 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 3927 1111 63 0 4563 0
vsize: 18504
[startup+310.007 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 58888 0 0 0 30744 255 0 0 25 0 1 0 773996595 18948096 3927 4294967295 134512640 134714508 3221224592 3221222944 1074153654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 3927 1111 63 0 4563 0
vsize: 18504
[startup+320.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 59273 0 0 0 31740 258 0 0 25 0 1 0 773996595 19001344 3942 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3942 1111 63 0 4576 0
vsize: 18556
[startup+330.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 59273 0 0 0 32740 259 0 0 25 0 1 0 773996595 19001344 3942 4294967295 134512640 134714508 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3942 1111 63 0 4576 0
vsize: 18556
[startup+340.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 59273 0 0 0 33739 260 0 0 25 0 1 0 773996595 19001344 3942 4294967295 134512640 134714508 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3942 1111 63 0 4576 0
vsize: 18556
[startup+350.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 59273 0 0 0 34738 262 0 0 25 0 1 0 773996595 19001344 3942 4294967295 134512640 134714508 3221224592 3221223296 134652498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3942 1111 63 0 4576 0
vsize: 18556
[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 59299 0 0 0 35737 263 0 0 25 0 1 0 773996595 19001344 3942 4294967295 134512640 134714508 3221224592 3221222536 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4639 3942 1111 63 0 4576 0
vsize: 18556
[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 63819 0 0 0 36721 279 0 0 25 0 1 0 773996595 19046400 3953 4294967295 134512640 134714508 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3953 1111 63 0 4587 0
vsize: 18600
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67569 0 0 0 37708 292 0 0 25 0 1 0 773996595 19419136 4044 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4741 4044 1111 63 0 4678 0
vsize: 18964
[startup+390.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67569 0 0 0 38707 293 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221222512 1075799526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+400.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67569 0 0 0 39706 295 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221222636 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67569 0 0 0 40705 295 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67570 0 0 0 41704 296 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221223056 1074121018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67570 0 0 0 42704 298 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+440.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67573 0 0 0 43703 299 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67573 0 0 0 44702 299 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67573 0 0 0 45701 300 0 0 25 0 1 0 773996595 19365888 4031 4294967295 134512640 134714508 3221224592 3221222944 1074115328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4031 1111 63 0 4665 0
vsize: 18912
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 46699 303 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222320 1075635491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 47697 304 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 48696 306 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222944 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 49695 307 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222320 1075635580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+510.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 50694 308 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 51693 309 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221221360 1076083950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3475
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67979 0 0 0 52692 310 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222320 1075635518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 67991 0 0 0 53690 312 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68483 0 0 0 54685 318 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68483 0 0 0 55683 319 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222684 1077379819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68483 0 0 0 56682 321 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68483 0 0 0 57680 323 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68483 0 0 0 58678 324 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221223040 1073990251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68483 0 0 0 59677 326 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+610.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68484 0 0 0 60676 327 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221223124 1077378607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68779 0 0 0 61671 332 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68781 0 0 0 62670 333 0 0 25 0 1 0 773996595 19435520 4048 4294967295 134512640 134714508 3221224592 3221222512 1075799500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4745 4048 1111 63 0 4682 0
vsize: 18980
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 68852 0 0 0 63668 335 0 0 25 0 1 0 773996595 19443712 4048 4294967295 134512640 134714508 3221224592 3221222320 1075635444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4747 4048 1111 63 0 4684 0
vsize: 18988
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69238 0 0 0 64665 339 0 0 25 0 1 0 773996595 19660800 4096 4294967295 134512640 134714508 3221224592 3221222600 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4800 4096 1111 63 0 4737 0
vsize: 19200
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69343 0 0 0 65662 342 0 0 25 0 1 0 773996595 19660800 4103 4294967295 134512640 134714508 3221224592 3221222840 1077374049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4800 4103 1111 63 0 4737 0
vsize: 19200
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 66659 345 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221221712 1074834327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 67657 346 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 68656 348 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222512 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 69655 349 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 70653 351 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223284 134558543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 71652 352 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222336 1075646924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 72650 354 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 73649 355 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222992 1074153587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 74648 356 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221221708 1074815812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 75647 357 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222320 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 76647 358 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223204 134523392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 77645 359 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 78644 361 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222944 1074115334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 79643 362 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223304 134558576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 80642 363 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223008 1074116440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 81640 365 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 82639 366 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222320 1075831097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 83637 368 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 84636 369 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 85635 370 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 86634 372 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222560 1074247411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 87633 373 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 88632 374 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221221712 1074866164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 89630 376 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222480 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 90629 377 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 91628 379 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+930.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 92627 380 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 93625 382 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 94624 383 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222272 1075895015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 95622 385 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+970.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 96621 387 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 97620 387 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 98619 388 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222336 1075645406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 99618 390 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223312 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 100616 392 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221221168 1076049599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 101616 392 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 102615 393 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 103614 394 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 104613 396 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223220 1077374560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 105613 396 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222560 1075809065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 106612 397 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222592 1074056237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 107611 398 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 108610 399 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221222272 1075894992 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 109609 400 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223292 134535530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 110608 402 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 111607 403 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223128 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 112607 403 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223220 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 113607 403 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223204 1077378648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 114606 405 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221221904 1075006800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 115604 407 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221223168 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 116602 408 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221220732 1076121268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 19356
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 3477
Raw data (stat): 3420 (bsolo_lpr) R 3419 1269 1268 0 -1 0 69535 0 0 0 116602 408 0 0 25 0 1 0 773996595 19820544 4131 4294967295 134512640 134714508 3221224592 3221220732 1076121268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4839 4131 1111 63 0 4776 0
vsize: 0

Child status: 10
Real time (s): 1175.01
CPU time (s): 1175.05
CPU user time (s): 1170.95
CPU system time (s): 4.10038
CPU usage (%): 100.004
Max. virtual memory (Kb): 19356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1007360
#### END VERIFIER DATA ####