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 25559

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 15:20:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19215 boxname=wulflinc31 idbench=1479 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  31a8734340f0544712ef974997c104b2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x10c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x10c.opb
IDLAUNCH: 19215
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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:        700356 kB
Buffers:         30104 kB
Cached:         283704 kB
SwapCached:       1168 kB
Active:         199920 kB
Inactive:       116212 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        700076 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12584 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 15:39:43 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 19215 0 1175.06 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.727 s
c Initial Lower Bound: 1434039
c Lower Bound Elapsed time: 0.3367
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 6892928 @ 148.249
c NEW SOLUTION FOUND: 6811904 @ 148.339
c NEW SOLUTION FOUND: 6799872 @ 148.344
c NEW SOLUTION FOUND: 6792832 @ 148.396
c NEW SOLUTION FOUND: 6780800 @ 148.425
c NEW SOLUTION FOUND: 6640064 @ 148.678
c NEW SOLUTION FOUND: 6532096 @ 207.489
c NEW SOLUTION FOUND: 6507712 @ 223.644
c NEW SOLUTION FOUND: 6396480 @ 342.8
c NEW SOLUTION FOUND: 6396352 @ 366.933
c NEW SOLUTION FOUND: 6386496 @ 771.196
c NEW SOLUTION FOUND: 6379584 @ 1124.42
c NEW SOLUTION FOUND: 6373184 @ 1124.51
c NEW SOLUTION FOUND: 6267456 @ 1162.13
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.03 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.93 0.98 0.99 2/55 416
Raw data (stat): 416 (runsolver) R 415 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 796686085 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 9885 0 0 0 972 23 0 0 25 0 1 0 796686085 19615744 4087 4294967295 134512640 134714508 3221221776 3221214696 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4087 1111 63 0 4726 0
vsize: 19156
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 13209 0 0 0 1964 31 0 0 25 0 1 0 796686085 19615744 4089 4294967295 134512640 134714508 3221221776 3221219200 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4089 1111 63 0 4726 0
vsize: 19156
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 16543 0 0 0 2956 39 0 0 25 0 1 0 796686085 19705856 4111 4294967295 134512640 134714508 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4811 4111 1111 63 0 4748 0
vsize: 19244
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 19949 0 0 0 3948 48 0 0 25 0 1 0 796686085 19701760 4111 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4810 4111 1111 63 0 4747 0
vsize: 19240
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 23278 0 0 0 4939 57 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221220064 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 25829 0 0 0 5931 65 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26534 0 0 0 6929 67 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221219296 1074153707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26718 0 0 0 7927 70 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221219776 1074056637 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26798 0 0 0 8926 71 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221219776 1074918328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26853 0 0 0 9925 72 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221219776 1074918944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26853 0 0 0 10925 72 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221220192 1074117059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26853 0 0 0 11924 72 0 0 25 0 1 0 796686085 19615744 4090 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4090 1111 63 0 4726 0
vsize: 19156
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26855 0 0 0 12924 73 0 0 25 0 1 0 796686085 19578880 4083 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4083 1111 63 0 4717 0
vsize: 19120
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26855 0 0 0 13923 74 0 0 25 0 1 0 796686085 19578880 4083 4294967295 134512640 134714508 3221221776 3221220128 1074115328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4083 1111 63 0 4717 0
vsize: 19120
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 14922 75 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221217740 1074860620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 15920 77 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 16920 78 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 17918 79 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 18918 80 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221217840 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 19917 80 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220080 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 20916 81 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 21914 83 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219736 1074138303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 22913 84 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220024 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 23911 86 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 24911 87 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26857 0 0 0 25909 88 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220480 134652502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 26966 0 0 0 26908 90 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27110 0 0 0 27907 91 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219680 1075460122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27110 0 0 0 28906 92 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220176 1074118848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27110 0 0 0 29905 93 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 30904 95 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219840 1075961624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 31903 95 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219600 1075824351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 32903 96 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219416 1077377504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 33902 97 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220416 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 34900 99 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 35899 100 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220688 134598752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 36898 101 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 37897 102 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220192 1074116407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 38896 103 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220240 1074119624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 39895 105 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220480 134652488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 40894 106 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219520 1075646943 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 41893 106 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219088 1075006847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 42892 108 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219680 1075460122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 43892 109 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220352 134535335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 44890 110 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221218760 1074831806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 45888 112 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220072 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 46888 113 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219664 1074051046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 47887 114 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 48886 115 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 49885 116 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 50884 117 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 51884 118 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 52883 119 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 53881 121 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220112 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 54880 122 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 55878 124 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27195 0 0 0 56878 125 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221219052 1077404542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 27196 0 0 0 57877 126 0 0 25 0 1 0 796686085 19578880 4085 4294967295 134512640 134714508 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4780 4085 1111 63 0 4717 0
vsize: 19120
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 58873 130 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220432 1074022039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 59872 131 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220388 1077378648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 60871 133 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220192 1074116558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 61870 134 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 62870 134 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 63869 135 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219776 1074056570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 64868 136 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 65867 137 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219696 1075799500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 66866 138 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 67865 139 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 68864 141 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219776 1074056630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 69863 142 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 70862 144 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 71861 145 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 72860 146 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 73860 146 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 74859 147 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 75859 148 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220192 1074116193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 76858 149 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219888 1074867358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 77857 150 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219936 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 78856 150 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+800.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 79856 152 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+810.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 80855 153 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+820.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 81855 153 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220192 1074116211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 82855 154 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221219888 1074208136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 83854 155 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 84852 156 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220176 1074119048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28082 0 0 0 85851 158 0 0 25 0 1 0 796686085 19922944 4152 4294967295 134512640 134714508 3221221776 3221220112 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4152 1111 63 0 4801 0
vsize: 19456
[startup+870.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 86851 158 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+880.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 87850 159 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220072 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 88849 160 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221217876 1075964143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 89847 162 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219728 1074056010 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 90846 163 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 91846 164 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+930.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 92844 166 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220480 134592441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+940.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 93843 167 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219648 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 94842 168 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220124 1074146096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+960.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 95842 169 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219976 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 96841 170 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219760 1074056269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+980.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 97840 171 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219696 1075799512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 98838 173 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220112 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 99838 174 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220544 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 100837 175 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220112 1073986807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 101836 176 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 102834 178 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219504 1075828215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 103833 179 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220448 134524431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 104832 181 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220016 1074143893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 105831 181 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 106830 182 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 107830 183 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220400 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 108828 185 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220416 134696051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 109827 186 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221218048 1074805815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 110827 186 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220128 1074115339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 111826 187 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220032 1074146351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 112825 189 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220144 1074140841 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 113824 190 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 114824 190 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221219744 1075961289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 115823 191 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220520 134604879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 116822 193 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 19456
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 416
Raw data (stat): 416 (bsolo_lpr) R 415 7876 7672 0 -1 0 28098 0 0 0 116822 193 0 0 25 0 1 0 796686085 19922944 4161 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4161 1111 63 0 4801 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.06
CPU user time (s): 1173.11
CPU system time (s): 1.9447
CPU usage (%): 100.009
Max. virtual memory (Kb): 19456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	6267456
#### END VERIFIER DATA ####