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 26905

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 17:56:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19191 boxname=wulflinc30 idbench=1477 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 19191
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        443504 kB
Buffers:          8536 kB
Cached:         551248 kB
SwapCached:        672 kB
Active:          24592 kB
Inactive:       537428 kB
HighTotal:      131008 kB
HighFree:         5152 kB
LowTotal:       903652 kB
LowFree:        438352 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23488 kB
Committed_AS:    63660 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:15:59 (client local time) WITH STATUS 10 IN 1175.06 SECONDS
stats: 19191 0 1175.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1118 variables and 140 constraints.
c preprocess terminated 1.088 s
c Initial Lower Bound: 28
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 649344 @ 17.32
c NEW SOLUTION FOUND: 627328 @ 17.33
c NEW SOLUTION FOUND: 605184 @ 17.339
c NEW SOLUTION FOUND: 604672 @ 17.656
c NEW SOLUTION FOUND: 603136 @ 18.066
c NEW SOLUTION FOUND: 598272 @ 18.656
c NEW SOLUTION FOUND: 595200 @ 19.074
c NEW SOLUTION FOUND: 594176 @ 19.157
c NEW SOLUTION FOUND: 590720 @ 41.929
c NEW SOLUTION FOUND: 590208 @ 42.798
c NEW SOLUTION FOUND: 584064 @ 67.772
c NEW SOLUTION FOUND: 582272 @ 70.774
c NEW SOLUTION FOUND: 579328 @ 79.929
c NEW SOLUTION FOUND: 577152 @ 79.957
c NEW SOLUTION FOUND: 575104 @ 173.927
c NEW SOLUTION FOUND: 574208 @ 285.114
c NEW SOLUTION FOUND: 573184 @ 322.655
c NEW SOLUTION FOUND: 570880 @ 338.504
c NEW SOLUTION FOUND: 570368 @ 346.479
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.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.99 2/54 25022
Raw data (stat): 25022 (runsolver) R 25021 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832202530 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 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+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 2864 0 0 0 990 9 0 0 25 0 1 0 832202530 15429632 2833 4294967295 134512640 134714540 3221224592 3221223344 134592345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3767 2833 1111 63 0 3704 0
vsize: 15068
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 3334 0 0 0 1986 12 0 0 25 0 1 0 832202530 17371136 3303 4294967295 134512640 134714540 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4241 3303 1111 63 0 4178 0
vsize: 16964
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 4114 0 0 0 2983 14 0 0 25 0 1 0 832202530 20414464 4075 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4075 1111 63 0 4921 0
vsize: 19936
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 4554 0 0 0 3981 16 0 0 25 0 1 0 832202530 22188032 4497 4294967295 134512640 134714540 3221224592 3221223168 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5417 4497 1111 63 0 5354 0
vsize: 21668
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 4867 0 0 0 4980 17 0 0 25 0 1 0 832202530 23310336 4779 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5691 4779 1111 63 0 5628 0
vsize: 22764
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 5117 0 0 0 5979 18 0 0 25 0 1 0 832202530 24281088 5001 4294967295 134512640 134714540 3221224592 3221223288 134672948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5928 5001 1111 63 0 5865 0
vsize: 23712
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 5429 0 0 0 6979 19 0 0 25 0 1 0 832202530 25636864 5313 4294967295 134512640 134714540 3221224592 3221223324 134518132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6259 5313 1111 63 0 6196 0
vsize: 25036
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 5475 0 0 0 7978 20 0 0 25 0 1 0 832202530 25772032 5359 4294967295 134512640 134714540 3221224592 3221223232 134696334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6292 5359 1111 63 0 6229 0
vsize: 25168
[startup+90.0197 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 5637 0 0 0 8978 20 0 0 25 0 1 0 832202530 26468352 5521 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6462 5521 1111 63 0 6399 0
vsize: 25848
[startup+100.02 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 5638 0 0 0 9977 21 0 0 25 0 1 0 832202530 26468352 5522 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6462 5522 1111 63 0 6399 0
vsize: 25848
[startup+110.021 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6014 0 0 0 10975 23 0 0 25 0 1 0 832202530 27811840 5876 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 5876 1111 63 0 6727 0
vsize: 27160
[startup+120.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6211 0 0 0 11974 24 0 0 25 0 1 0 832202530 28471296 6037 4294967295 134512640 134714540 3221224592 3221223184 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6951 6037 1111 63 0 6888 0
vsize: 27804
[startup+130.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6329 0 0 0 12974 25 0 0 25 0 1 0 832202530 29036544 6155 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7089 6155 1111 63 0 7026 0
vsize: 28356
[startup+140.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6645 0 0 0 13973 27 0 0 25 0 1 0 832202530 29990912 6406 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7322 6406 1111 63 0 7259 0
vsize: 29288
[startup+150.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6698 0 0 0 14972 28 0 0 25 0 1 0 832202530 30261248 6459 4294967295 134512640 134714540 3221224592 3221223304 134534137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7388 6459 1111 63 0 7325 0
vsize: 29552
[startup+160.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6710 0 0 0 15972 28 0 0 25 0 1 0 832202530 30261248 6471 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7388 6471 1111 63 0 7325 0
vsize: 29552
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 6710 0 0 0 16972 28 0 0 25 0 1 0 832202530 30261248 6471 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7388 6471 1111 63 0 7325 0
vsize: 29552
[startup+180.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 7059 0 0 0 17970 30 0 0 25 0 1 0 832202530 31563776 6791 4294967295 134512640 134714540 3221224592 3221223280 134558540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7706 6791 1111 63 0 7643 0
vsize: 30824
[startup+190.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 7617 0 0 0 18969 31 0 0 25 0 1 0 832202530 34054144 7344 4294967295 134512640 134714540 3221224592 3221223160 1077378337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8314 7344 1111 63 0 8251 0
vsize: 33256
[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 7776 0 0 0 19967 33 0 0 25 0 1 0 832202530 34729984 7503 4294967295 134512640 134714540 3221224592 3221223352 134592430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8479 7503 1111 63 0 8416 0
vsize: 33916
[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25022
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 8065 0 0 0 20966 34 0 0 25 0 1 0 832202530 35885056 7791 4294967295 134512640 134714540 3221224592 3221223184 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 7791 1111 63 0 8698 0
vsize: 35044
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 25025
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 8183 0 0 0 21965 35 0 0 25 0 1 0 832202530 36425728 7909 4294967295 134512640 134714540 3221224592 3221223228 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8893 7909 1111 63 0 8830 0
vsize: 35572
[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 8475 0 0 0 22963 37 0 0 25 0 1 0 832202530 37355520 8151 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9120 8151 1111 63 0 9057 0
vsize: 36480
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 8934 0 0 0 23962 39 0 0 25 0 1 0 832202530 39108608 8584 4294967295 134512640 134714540 3221224592 3221223376 134528774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 8584 1111 63 0 9485 0
vsize: 38192
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 9450 0 0 0 24959 41 0 0 25 0 1 0 832202530 41033728 9062 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10018 9062 1111 63 0 9955 0
vsize: 40072
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 9672 0 0 0 25958 42 0 0 25 0 1 0 832202530 41877504 9279 4294967295 134512640 134714540 3221224592 3221223364 134624428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10224 9279 1111 63 0 10161 0
vsize: 40896
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 9991 0 0 0 26958 43 0 0 25 0 1 0 832202530 43159552 9576 4294967295 134512640 134714540 3221224592 3221223280 134524466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10537 9576 1111 63 0 10474 0
vsize: 42148
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 10261 0 0 0 27957 44 0 0 25 0 1 0 832202530 44085248 9829 4294967295 134512640 134714540 3221224592 3221223332 134604535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10763 9829 1111 63 0 10700 0
vsize: 43052
[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25075
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 10786 0 0 0 28955 46 0 0 25 0 1 0 832202530 46243840 10354 4294967295 134512640 134714540 3221224592 3221223220 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11290 10354 1111 63 0 11227 0
vsize: 45160
[startup+300.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 11116 0 0 0 29954 48 0 0 25 0 1 0 832202530 47509504 10656 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 10656 1111 63 0 11536 0
vsize: 46396
[startup+310.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 11422 0 0 0 30953 50 0 0 25 0 1 0 832202530 48742400 10956 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11900 10956 1111 63 0 11837 0
vsize: 47600
[startup+320.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 11966 0 0 0 31951 52 0 0 25 0 1 0 832202530 51441664 11477 4294967295 134512640 134714540 3221224592 3221223180 134523384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12559 11477 1111 63 0 12496 0
vsize: 50236
[startup+330.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 12402 0 0 0 32949 55 0 0 25 0 1 0 832202530 53092352 11877 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12962 11877 1111 63 0 12899 0
vsize: 51848
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 12604 0 0 0 33948 56 0 0 25 0 1 0 832202530 53915648 12066 4294967295 134512640 134714540 3221224592 3221223116 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13163 12066 1111 63 0 13100 0
vsize: 52652
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 12660 0 0 0 34947 56 0 0 25 0 1 0 832202530 54140928 12122 4294967295 134512640 134714540 3221224592 3221223324 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13218 12122 1111 63 0 13155 0
vsize: 52872
[startup+360.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 12703 0 0 0 35947 57 0 0 25 0 1 0 832202530 54276096 12165 4294967295 134512640 134714540 3221224592 3221223212 134539584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13251 12165 1111 63 0 13188 0
vsize: 53004
[startup+370.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 12873 0 0 0 36946 58 0 0 25 0 1 0 832202530 54931456 12327 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13411 12327 1111 63 0 13348 0
vsize: 53644
[startup+380.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 13183 0 0 0 37944 61 0 0 25 0 1 0 832202530 56205312 12631 4294967295 134512640 134714540 3221224592 3221223152 134540498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13722 12631 1111 63 0 13659 0
vsize: 54888
[startup+390.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 13491 0 0 0 38943 62 0 0 25 0 1 0 832202530 57335808 12911 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13998 12911 1111 63 0 13935 0
vsize: 55992
[startup+400.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 13817 0 0 0 39942 63 0 0 25 0 1 0 832202530 58499072 13184 4294967295 134512640 134714540 3221224592 3221223312 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14282 13184 1111 63 0 14219 0
vsize: 57128
[startup+410.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 13876 0 0 0 40941 64 0 0 25 0 1 0 832202530 58712064 13243 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14334 13243 1111 63 0 14271 0
vsize: 57336
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 14153 0 0 0 41940 65 0 0 25 0 1 0 832202530 59650048 13481 4294967295 134512640 134714540 3221224592 3221223184 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14563 13481 1111 63 0 14500 0
vsize: 58252
[startup+430.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 14370 0 0 0 42939 66 0 0 25 0 1 0 832202530 60465152 13679 4294967295 134512640 134714540 3221224592 3221223292 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14762 13679 1111 63 0 14699 0
vsize: 59048
[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 14545 0 0 0 43938 67 0 0 25 0 1 0 832202530 60993536 13813 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14891 13813 1111 63 0 14828 0
vsize: 59564
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 14744 0 0 0 44937 68 0 0 25 0 1 0 832202530 61718528 13966 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15068 13966 1111 63 0 15005 0
vsize: 60272
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 14925 0 0 0 45937 69 0 0 25 0 1 0 832202530 62283776 14137 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15206 14137 1111 63 0 15143 0
vsize: 60824
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15106 0 0 0 46935 70 0 0 25 0 1 0 832202530 63037440 14318 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15390 14318 1111 63 0 15327 0
vsize: 61560
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15106 0 0 0 47935 71 0 0 25 0 1 0 832202530 63037440 14318 4294967295 134512640 134714540 3221224592 3221223160 1077377140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15390 14318 1111 63 0 15327 0
vsize: 61560
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15299 0 0 0 48934 73 0 0 25 0 1 0 832202530 63696896 14472 4294967295 134512640 134714540 3221224592 3221223320 134543271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15551 14472 1111 63 0 15488 0
vsize: 62204
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15418 0 0 0 49933 73 0 0 25 0 1 0 832202530 64163840 14591 4294967295 134512640 134714540 3221224592 3221223232 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15665 14591 1111 63 0 15602 0
vsize: 62660
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15678 0 0 0 50933 74 0 0 25 0 1 0 832202530 65159168 14836 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15908 14836 1111 63 0 15845 0
vsize: 63632
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15716 0 0 0 51932 75 0 0 25 0 1 0 832202530 65294336 14874 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15941 14874 1111 63 0 15878 0
vsize: 63764
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25077
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15865 0 0 0 52932 76 0 0 25 0 1 0 832202530 65933312 15023 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16097 15023 1111 63 0 16034 0
vsize: 64388
[startup+540.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15954 0 0 0 53931 76 0 0 25 0 1 0 832202530 66318336 15112 4294967295 134512640 134714540 3221224592 3221223312 134592125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15112 1111 63 0 16128 0
vsize: 64764
[startup+550.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15975 0 0 0 54931 77 0 0 25 0 1 0 832202530 66318336 15133 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15133 1111 63 0 16128 0
vsize: 64764
[startup+560.045 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15975 0 0 0 55931 77 0 0 25 0 1 0 832202530 66318336 15133 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15133 1111 63 0 16128 0
vsize: 64764
[startup+570.046 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15975 0 0 0 56931 77 0 0 25 0 1 0 832202530 66318336 15133 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15133 1111 63 0 16128 0
vsize: 64764
[startup+580.045 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15975 0 0 0 57931 77 0 0 25 0 1 0 832202530 66318336 15133 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15133 1111 63 0 16128 0
vsize: 64764
[startup+590.045 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 15975 0 0 0 58931 77 0 0 25 0 1 0 832202530 66318336 15133 4294967295 134512640 134714540 3221224592 3221223132 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15133 1111 63 0 16128 0
vsize: 64764
[startup+600.046 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16044 0 0 0 59930 78 0 0 25 0 1 0 832202530 66732032 15202 4294967295 134512640 134714540 3221224592 3221223184 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16292 15202 1111 63 0 16229 0
vsize: 65168
[startup+610.047 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16193 0 0 0 60930 79 0 0 25 0 1 0 832202530 67297280 15351 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16430 15351 1111 63 0 16367 0
vsize: 65720
[startup+620.047 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16193 0 0 0 61930 79 0 0 25 0 1 0 832202530 67297280 15351 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16430 15351 1111 63 0 16367 0
vsize: 65720
[startup+630.046 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16295 0 0 0 62929 80 0 0 25 0 1 0 832202530 67497984 15421 4294967295 134512640 134714540 3221224592 3221223288 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16479 15421 1111 63 0 16416 0
vsize: 65916
[startup+640.046 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16575 0 0 0 63928 81 0 0 25 0 1 0 832202530 68419584 15637 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16704 15637 1111 63 0 16641 0
vsize: 66816
[startup+650.046 s]
Raw data (loadavg): 1.09 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16637 0 0 0 64928 81 0 0 25 0 1 0 832202530 68694016 15699 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16771 15699 1111 63 0 16708 0
vsize: 67084
[startup+660.047 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16668 0 0 0 65928 82 0 0 25 0 1 0 832202530 68718592 15730 4294967295 134512640 134714540 3221224592 3221223156 134523392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16777 15730 1111 63 0 16714 0
vsize: 67108
[startup+670.048 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16721 0 0 0 66927 83 0 0 25 0 1 0 832202530 68964352 15783 4294967295 134512640 134714540 3221224592 3221223232 134524417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16837 15783 1111 63 0 16774 0
vsize: 67348
[startup+680.048 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16949 0 0 0 67926 84 0 0 25 0 1 0 832202530 69763072 15979 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17032 15979 1111 63 0 16969 0
vsize: 68128
[startup+690.047 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 16995 0 0 0 68926 84 0 0 25 0 1 0 832202530 69857280 16014 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17055 16014 1111 63 0 16992 0
vsize: 68220
[startup+700.048 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17098 0 0 0 69925 85 0 0 25 0 1 0 832202530 70201344 16104 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17139 16104 1111 63 0 17076 0
vsize: 68556
[startup+710.049 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17137 0 0 0 70925 86 0 0 25 0 1 0 832202530 70426624 16139 4294967295 134512640 134714540 3221224592 3221222876 1077379991 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17194 16139 1111 63 0 17131 0
vsize: 68776
[startup+720.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17303 0 0 0 71924 87 0 0 25 0 1 0 832202530 71045120 16293 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 16293 1111 63 0 17282 0
vsize: 69380
[startup+730.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17303 0 0 0 72924 87 0 0 25 0 1 0 832202530 70938624 16287 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17319 16287 1111 63 0 17256 0
vsize: 69276
[startup+740.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17431 0 0 0 73923 88 0 0 25 0 1 0 832202530 71360512 16370 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17422 16370 1111 63 0 17359 0
vsize: 69688
[startup+750.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17632 0 0 0 74922 89 0 0 25 0 1 0 832202530 72175616 16571 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17621 16571 1111 63 0 17558 0
vsize: 70484
[startup+760.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 17781 0 0 0 75922 90 0 0 25 0 1 0 832202530 72810496 16720 4294967295 134512640 134714540 3221224592 3221223220 1077374563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17776 16720 1111 63 0 17713 0
vsize: 71104
[startup+770.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18060 0 0 0 76921 91 0 0 25 0 1 0 832202530 73662464 16943 4294967295 134512640 134714540 3221224592 3221223128 134543617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17984 16943 1111 63 0 17921 0
vsize: 71936
[startup+780.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18206 0 0 0 77919 93 0 0 25 0 1 0 832202530 74338304 17089 4294967295 134512640 134714540 3221224592 3221223172 1077374180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18149 17089 1111 63 0 18086 0
vsize: 72596
[startup+790.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18297 0 0 0 78919 93 0 0 25 0 1 0 832202530 74612736 17166 4294967295 134512640 134714540 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18216 17166 1111 63 0 18153 0
vsize: 72864
[startup+800.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18630 0 0 0 79918 95 0 0 25 0 1 0 832202530 75694080 17466 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18480 17466 1111 63 0 18417 0
vsize: 73920
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18749 0 0 0 80917 95 0 0 25 0 1 0 832202530 76144640 17570 4294967295 134512640 134714540 3221224592 3221223344 134604472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18590 17570 1111 63 0 18527 0
vsize: 74360
[startup+820.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18959 0 0 0 81917 96 0 0 25 0 1 0 832202530 77086720 17779 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18820 17779 1111 63 0 18757 0
vsize: 75280
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18959 0 0 0 82917 96 0 0 25 0 1 0 832202530 77086720 17779 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18820 17779 1111 63 0 18757 0
vsize: 75280
[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18959 0 0 0 83917 96 0 0 25 0 1 0 832202530 77086720 17779 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18820 17779 1111 63 0 18757 0
vsize: 75280
[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18959 0 0 0 84917 96 0 0 25 0 1 0 832202530 77086720 17779 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18820 17779 1111 63 0 18757 0
vsize: 75280
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 18959 0 0 0 85917 96 0 0 25 0 1 0 832202530 77086720 17779 4294967295 134512640 134714540 3221224592 3221223148 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18820 17779 1111 63 0 18757 0
vsize: 75280
[startup+870.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 19207 0 0 0 86916 98 0 0 25 0 1 0 832202530 77950976 18008 4294967295 134512640 134714540 3221224592 3221223184 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19031 18008 1111 63 0 18968 0
vsize: 76124
[startup+880.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 19491 0 0 0 87915 99 0 0 25 0 1 0 832202530 78929920 18242 4294967295 134512640 134714540 3221224592 3221222920 1077377534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19270 18242 1111 63 0 19207 0
vsize: 77080
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 19741 0 0 0 88915 100 0 0 25 0 1 0 832202530 79761408 18429 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19473 18429 1111 63 0 19410 0
vsize: 77892
[startup+900.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20061 0 0 0 89914 101 0 0 25 0 1 0 832202530 80912384 18731 4294967295 134512640 134714540 3221224592 3221223272 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19754 18731 1111 63 0 19691 0
vsize: 79016
[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20062 0 0 0 90914 101 0 0 25 0 1 0 832202530 80912384 18732 4294967295 134512640 134714540 3221224592 3221223104 134540373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19754 18732 1111 63 0 19691 0
vsize: 79016
[startup+920.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20784 0 0 0 91913 102 0 0 25 0 1 0 832202530 85123072 19374 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20782 19374 1111 63 0 20719 0
vsize: 83128
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20784 0 0 0 92913 102 0 0 25 0 1 0 832202530 85123072 19374 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20782 19374 1111 63 0 20719 0
vsize: 83128
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20784 0 0 0 93913 103 0 0 25 0 1 0 832202530 85123072 19374 4294967295 134512640 134714540 3221224592 3221223312 134622735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20782 19374 1111 63 0 20719 0
vsize: 83128
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20784 0 0 0 94912 103 0 0 25 0 1 0 832202530 85123072 19374 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20782 19374 1111 63 0 20719 0
vsize: 83128
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 95912 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 96913 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223312 134622834 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 97913 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 98913 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 99913 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 100913 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 101914 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 102914 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 20906 0 0 0 103914 103 0 0 25 0 1 0 832202530 85667840 19496 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20915 19496 1111 63 0 20852 0
vsize: 83660
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21066 0 0 0 104913 104 0 0 25 0 1 0 832202530 86216704 19651 4294967295 134512640 134714540 3221224592 3221223280 134528425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21049 19651 1111 63 0 20986 0
vsize: 84196
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21113 0 0 0 105913 105 0 0 25 0 1 0 832202530 86446080 19698 4294967295 134512640 134714540 3221224592 3221223184 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21105 19698 1111 63 0 21042 0
vsize: 84420
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21422 0 0 0 106911 106 0 0 25 0 1 0 832202530 87592960 20002 4294967295 134512640 134714540 3221224592 3221223280 134534159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21385 20002 1111 63 0 21322 0
vsize: 85540
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21650 0 0 0 107910 108 0 0 25 0 1 0 832202530 88526848 20230 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21613 20230 1111 63 0 21550 0
vsize: 86452
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21707 0 0 0 108910 108 0 0 25 0 1 0 832202530 88801280 20287 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21680 20287 1111 63 0 21617 0
vsize: 86720
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21707 0 0 0 109910 108 0 0 25 0 1 0 832202530 88801280 20287 4294967295 134512640 134714540 3221224592 3221223320 134622857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21680 20287 1111 63 0 21617 0
vsize: 86720
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21707 0 0 0 110910 108 0 0 25 0 1 0 832202530 88801280 20287 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21680 20287 1111 63 0 21617 0
vsize: 86720
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21707 0 0 0 111910 108 0 0 25 0 1 0 832202530 88801280 20287 4294967295 134512640 134714540 3221224592 3221223328 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21680 20287 1111 63 0 21617 0
vsize: 86720
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21707 0 0 0 112910 108 0 0 25 0 1 0 832202530 88801280 20287 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21680 20287 1111 63 0 21617 0
vsize: 86720
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21741 0 0 0 113911 108 0 0 25 0 1 0 832202530 88846336 20317 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21691 20317 1111 63 0 21628 0
vsize: 86764
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 21920 0 0 0 114910 109 0 0 25 0 1 0 832202530 89657344 20496 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21889 20496 1111 63 0 21826 0
vsize: 87556
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 22086 0 0 0 115910 110 0 0 25 0 1 0 832202530 90251264 20647 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22034 20647 1111 63 0 21971 0
vsize: 88136
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 22227 0 0 0 116909 110 0 0 25 0 1 0 832202530 90804224 20774 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22169 20774 1111 63 0 22106 0
vsize: 88676
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 25079
Raw data (stat): 25022 (bsolo_mis) R 25021 22056 22055 0 -1 0 22227 0 0 0 116909 110 0 0 25 0 1 0 832202530 90804224 20774 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22169 20774 1111 63 0 22106 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.06
CPU user time (s): 1173.91
CPU system time (s): 1.14682
CPU usage (%): 100.012
Max. virtual memory (Kb): 88676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	570368
#### END VERIFIER DATA ####