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-bk4x3.opb
MD5SUM	c2339539ffa69702e62053614fe34ce1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	44800
Optimality of the best value was proved	NO
Number of terms in the objective function	252
Biggest coefficient in the objective function	2621440
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	35682270
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	2621440
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	35682270
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	24.1133
Number of variables	252
Total number of constraints	19
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	19
Minimum length of a constraint	21
Maximum length of a constraint	80
Trace number 26984

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 18:29:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18970 boxname=wulflinc26 idbench=1460 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c2339539ffa69702e62053614fe34ce1  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-bk4x3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-bk4x3.opb
IDLAUNCH: 18970
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        437048 kB
Buffers:         34828 kB
Cached:         531952 kB
SwapCached:        680 kB
Active:          39464 kB
Inactive:       529916 kB
HighTotal:      131008 kB
HighFree:         1344 kB
LowTotal:       903652 kB
LowFree:        435704 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            22584 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:49:15 (client local time) WITH STATUS 10 IN 1176.82 SECONDS
stats: 18970 0 1176.82 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 252 variables and 26 constraints.
c After prepocess the problem consists of 154 variables and 26 constraints.
c preprocess terminated 0.081 s
c Initial Lower Bound: 17
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 70912 @ 0.148
c NEW SOLUTION FOUND: 68864 @ 0.149
c NEW SOLUTION FOUND: 67072 @ 0.168
c NEW SOLUTION FOUND: 66816 @ 0.177
c NEW SOLUTION FOUND: 64768 @ 0.178
c NEW SOLUTION FOUND: 64256 @ 0.183
c NEW SOLUTION FOUND: 63232 @ 0.202
c NEW SOLUTION FOUND: 62720 @ 0.203
c NEW SOLUTION FOUND: 60416 @ 0.22
c NEW SOLUTION FOUND: 56320 @ 0.222
c NEW SOLUTION FOUND: 54272 @ 0.391
c NEW SOLUTION FOUND: 51968 @ 0.579
c NEW SOLUTION FOUND: 49664 @ 4.261
c NEW SOLUTION FOUND: 48640 @ 6.422
c NEW SOLUTION FOUND: 46080 @ 6.932
c NEW SOLUTION FOUND: 44800 @ 239
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 -Y0_bit0 -Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 Y6_bit0 Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 Y11_bit0 
c Exit Code: 10
c Total time: 1176.78 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.77 0.93 0.95 2/54 22856
Raw data (stat): 22856 (runsolver) R 22855 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832413346 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99982 s]
Raw data (loadavg): 0.81 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 3795 0 0 0 989 9 0 0 25 0 1 0 832413346 19156992 3771 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4677 3771 1111 63 0 4614 0
vsize: 18708
[startup+20.0002 s]
Raw data (loadavg): 0.84 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 4368 0 0 0 1988 10 0 0 25 0 1 0 832413346 21594112 4344 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5272 4344 1111 63 0 5209 0
vsize: 21088
[startup+30.0001 s]
Raw data (loadavg): 0.86 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 5750 0 0 0 2985 13 0 0 25 0 1 0 832413346 27287552 5724 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6662 5724 1111 63 0 6599 0
vsize: 26648
[startup+39.9998 s]
Raw data (loadavg): 0.88 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 6744 0 0 0 3982 16 0 0 25 0 1 0 832413346 31518720 6717 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7695 6717 1111 63 0 7632 0
vsize: 30780
[startup+50.0002 s]
Raw data (loadavg): 0.90 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 7018 0 0 0 4981 18 0 0 25 0 1 0 832413346 32604160 6991 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7960 6991 1111 63 0 7897 0
vsize: 31840
[startup+60.0002 s]
Raw data (loadavg): 0.91 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 7097 0 0 0 5981 18 0 0 25 0 1 0 832413346 33017856 7069 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8061 7069 1111 63 0 7998 0
vsize: 32244
[startup+70.0008 s]
Raw data (loadavg): 0.93 0.94 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 7582 0 0 0 6979 20 0 0 25 0 1 0 832413346 35061760 7553 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 7553 1111 63 0 8497 0
vsize: 34240
[startup+80.0012 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 8085 0 0 0 7978 21 0 0 25 0 1 0 832413346 37240832 8049 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9092 8049 1111 63 0 9029 0
vsize: 36368
[startup+90.0016 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 8086 0 0 0 8979 21 0 0 25 0 1 0 832413346 37240832 8050 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9092 8050 1111 63 0 9029 0
vsize: 36368
[startup+100.002 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 8192 0 0 0 9978 21 0 0 25 0 1 0 832413346 37646336 8156 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9191 8156 1111 63 0 9128 0
vsize: 36764
[startup+110.001 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 8290 0 0 0 10978 21 0 0 25 0 1 0 832413346 38051840 8253 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9290 8253 1111 63 0 9227 0
vsize: 37160
[startup+120.002 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 8515 0 0 0 11978 22 0 0 25 0 1 0 832413346 39010304 8478 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9524 8478 1111 63 0 9461 0
vsize: 38096
[startup+130.002 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 8744 0 0 0 12977 23 0 0 25 0 1 0 832413346 40116224 8703 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9794 8703 1111 63 0 9731 0
vsize: 39176
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 9185 0 0 0 13976 24 0 0 25 0 1 0 832413346 41881600 9144 4294967295 134512640 134714540 3221224592 3221223308 134543124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10225 9144 1111 63 0 10162 0
vsize: 40900
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 9185 0 0 0 14976 24 0 0 25 0 1 0 832413346 41881600 9144 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10225 9144 1111 63 0 10162 0
vsize: 40900
[startup+160.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 9185 0 0 0 15976 24 0 0 25 0 1 0 832413346 41881600 9144 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10225 9144 1111 63 0 10162 0
vsize: 40900
[startup+170.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 9626 0 0 0 16975 25 0 0 25 0 1 0 832413346 43663360 9584 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 9584 1111 63 0 10597 0
vsize: 42640
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10039 0 0 0 17974 26 0 0 25 0 1 0 832413346 45309952 9995 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11062 9995 1111 63 0 10999 0
vsize: 44248
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10177 0 0 0 18974 27 0 0 25 0 1 0 832413346 45989888 10131 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11228 10131 1111 63 0 11165 0
vsize: 44912
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10177 0 0 0 19974 27 0 0 25 0 1 0 832413346 45989888 10131 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11228 10131 1111 63 0 11165 0
vsize: 44912
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10206 0 0 0 20974 27 0 0 25 0 1 0 832413346 46125056 10160 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 10160 1111 63 0 11198 0
vsize: 45044
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10206 0 0 0 21974 27 0 0 25 0 1 0 832413346 46125056 10160 4294967295 134512640 134714540 3221224592 3221223384 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 10160 1111 63 0 11198 0
vsize: 45044
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10291 0 0 0 22974 27 0 0 25 0 1 0 832413346 46395392 10245 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 10245 1111 63 0 11264 0
vsize: 45308
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10425 0 0 0 23974 28 0 0 25 0 1 0 832413346 46936064 10379 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11459 10379 1111 63 0 11396 0
vsize: 45836
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10646 0 0 0 24973 28 0 0 25 0 1 0 832413346 47890432 10599 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11692 10599 1111 63 0 11629 0
vsize: 46768
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10677 0 0 0 25973 28 0 0 25 0 1 0 832413346 48025600 10630 4294967295 134512640 134714540 3221224592 3221223312 134622789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11725 10630 1111 63 0 11662 0
vsize: 46900
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10745 0 0 0 26973 29 0 0 25 0 1 0 832413346 48295936 10697 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11791 10697 1111 63 0 11728 0
vsize: 47164
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10750 0 0 0 27973 29 0 0 25 0 1 0 832413346 48295936 10702 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11791 10702 1111 63 0 11728 0
vsize: 47164
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10750 0 0 0 28973 29 0 0 25 0 1 0 832413346 48295936 10702 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11791 10702 1111 63 0 11728 0
vsize: 47164
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 10852 0 0 0 29973 29 0 0 25 0 1 0 832413346 48701440 10804 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11890 10804 1111 63 0 11827 0
vsize: 47560
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 11112 0 0 0 30972 30 0 0 25 0 1 0 832413346 49782784 11063 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12154 11063 1111 63 0 12091 0
vsize: 48616
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 11140 0 0 0 31972 31 0 0 25 0 1 0 832413346 49917952 11091 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12187 11091 1111 63 0 12124 0
vsize: 48748
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 11140 0 0 0 32972 31 0 0 25 0 1 0 832413346 49917952 11091 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12187 11091 1111 63 0 12124 0
vsize: 48748
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 11238 0 0 0 33972 31 0 0 25 0 1 0 832413346 50323456 11189 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12286 11189 1111 63 0 12223 0
vsize: 49144
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 11948 0 0 0 34969 34 0 0 25 0 1 0 832413346 53334016 11890 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13021 11890 1111 63 0 12958 0
vsize: 52084
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12068 0 0 0 35969 34 0 0 25 0 1 0 832413346 53739520 12009 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13120 12009 1111 63 0 13057 0
vsize: 52480
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12501 0 0 0 36969 35 0 0 25 0 1 0 832413346 55582720 12440 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13570 12440 1111 63 0 13507 0
vsize: 54280
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12611 0 0 0 37969 36 0 0 25 0 1 0 832413346 56000512 12548 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13672 12548 1111 63 0 13609 0
vsize: 54688
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12611 0 0 0 38969 36 0 0 25 0 1 0 832413346 56000512 12548 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13672 12548 1111 63 0 13609 0
vsize: 54688
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12611 0 0 0 39969 36 0 0 25 0 1 0 832413346 56000512 12548 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13672 12548 1111 63 0 13609 0
vsize: 54688
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12611 0 0 0 40969 36 0 0 25 0 1 0 832413346 56000512 12548 4294967295 134512640 134714540 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13672 12548 1111 63 0 13609 0
vsize: 54688
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12611 0 0 0 41969 36 0 0 25 0 1 0 832413346 56000512 12548 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13672 12548 1111 63 0 13609 0
vsize: 54688
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12646 0 0 0 42969 36 0 0 25 0 1 0 832413346 56135680 12583 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13705 12583 1111 63 0 13642 0
vsize: 54820
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12646 0 0 0 43969 36 0 0 25 0 1 0 832413346 56135680 12583 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13705 12583 1111 63 0 13642 0
vsize: 54820
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 12646 0 0 0 44969 36 0 0 25 0 1 0 832413346 56135680 12583 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13705 12583 1111 63 0 13642 0
vsize: 54820
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13061 0 0 0 45969 37 0 0 25 0 1 0 832413346 57892864 12996 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14134 12996 1111 63 0 14071 0
vsize: 56536
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13061 0 0 0 46969 37 0 0 25 0 1 0 832413346 57892864 12996 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14134 12996 1111 63 0 14071 0
vsize: 56536
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13061 0 0 0 47969 37 0 0 25 0 1 0 832413346 57892864 12996 4294967295 134512640 134714540 3221224592 3221223372 134622696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14134 12996 1111 63 0 14071 0
vsize: 56536
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13175 0 0 0 48968 38 0 0 25 0 1 0 832413346 58433536 13110 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14266 13110 1111 63 0 14203 0
vsize: 57064
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13175 0 0 0 49969 38 0 0 25 0 1 0 832413346 58433536 13110 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14266 13110 1111 63 0 14203 0
vsize: 57064
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13175 0 0 0 50969 38 0 0 25 0 1 0 832413346 58433536 13110 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14266 13110 1111 63 0 14203 0
vsize: 57064
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13289 0 0 0 51968 39 0 0 25 0 1 0 832413346 58916864 13216 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14384 13216 1111 63 0 14321 0
vsize: 57536
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13289 0 0 0 52968 39 0 0 25 0 1 0 832413346 58916864 13216 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14384 13216 1111 63 0 14321 0
vsize: 57536
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13526 0 0 0 53968 39 0 0 25 0 1 0 832413346 60010496 13451 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14651 13451 1111 63 0 14588 0
vsize: 58604
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13526 0 0 0 54968 39 0 0 25 0 1 0 832413346 60010496 13451 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14651 13451 1111 63 0 14588 0
vsize: 58604
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13529 0 0 0 55968 39 0 0 25 0 1 0 832413346 60010496 13454 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14651 13454 1111 63 0 14588 0
vsize: 58604
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13529 0 0 0 56969 39 0 0 25 0 1 0 832413346 60010496 13454 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14651 13454 1111 63 0 14588 0
vsize: 58604
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13790 0 0 0 57968 40 0 0 25 0 1 0 832413346 61136896 13706 4294967295 134512640 134714540 3221224592 3221223320 134622831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14926 13706 1111 63 0 14863 0
vsize: 59704
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 13928 0 0 0 58967 41 0 0 25 0 1 0 832413346 61730816 13834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15071 13834 1111 63 0 15008 0
vsize: 60284
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14147 0 0 0 59967 42 0 0 25 0 1 0 832413346 62746624 14046 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14046 1111 63 0 15256 0
vsize: 61276
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14147 0 0 0 60967 42 0 0 25 0 1 0 832413346 62746624 14046 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14046 1111 63 0 15256 0
vsize: 61276
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14147 0 0 0 61967 42 0 0 25 0 1 0 832413346 62746624 14046 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14046 1111 63 0 15256 0
vsize: 61276
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14147 0 0 0 62967 42 0 0 25 0 1 0 832413346 62746624 14046 4294967295 134512640 134714540 3221224592 3221223312 134622815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14046 1111 63 0 15256 0
vsize: 61276
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14148 0 0 0 63967 42 0 0 25 0 1 0 832413346 62746624 14047 4294967295 134512640 134714540 3221224592 3221223328 134622803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14047 1111 63 0 15256 0
vsize: 61276
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14148 0 0 0 64968 42 0 0 25 0 1 0 832413346 62746624 14047 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14047 1111 63 0 15256 0
vsize: 61276
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14148 0 0 0 65968 42 0 0 25 0 1 0 832413346 62746624 14047 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14047 1111 63 0 15256 0
vsize: 61276
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14148 0 0 0 66968 42 0 0 25 0 1 0 832413346 62746624 14047 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 14047 1111 63 0 15256 0
vsize: 61276
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14371 0 0 0 67967 43 0 0 25 0 1 0 832413346 63692800 14265 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15550 14265 1111 63 0 15487 0
vsize: 62200
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14467 0 0 0 68967 43 0 0 25 0 1 0 832413346 64098304 14361 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15649 14361 1111 63 0 15586 0
vsize: 62596
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14566 0 0 0 69967 44 0 0 25 0 1 0 832413346 64536576 14460 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15756 14460 1111 63 0 15693 0
vsize: 63024
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14583 0 0 0 70967 44 0 0 25 0 1 0 832413346 64536576 14477 4294967295 134512640 134714540 3221224592 3221223184 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15756 14477 1111 63 0 15693 0
vsize: 63024
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14755 0 0 0 71966 44 0 0 25 0 1 0 832413346 65228800 14647 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15925 14647 1111 63 0 15862 0
vsize: 63700
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 14868 0 0 0 72967 44 0 0 25 0 1 0 832413346 65765376 14758 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16056 14758 1111 63 0 15993 0
vsize: 64224
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15069 0 0 0 73966 45 0 0 25 0 1 0 832413346 66576384 14959 4294967295 134512640 134714540 3221224592 3221223328 134622705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16254 14959 1111 63 0 16191 0
vsize: 65016
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15210 0 0 0 74966 46 0 0 25 0 1 0 832413346 67117056 15099 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16386 15099 1111 63 0 16323 0
vsize: 65544
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15333 0 0 0 75965 46 0 0 25 0 1 0 832413346 67670016 15221 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16521 15221 1111 63 0 16458 0
vsize: 66084
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15483 0 0 0 76965 46 0 0 25 0 1 0 832413346 68214784 15371 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16654 15371 1111 63 0 16591 0
vsize: 66616
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15502 0 0 0 77965 47 0 0 25 0 1 0 832413346 68349952 15390 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15390 1111 63 0 16624 0
vsize: 66748
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15518 0 0 0 78965 47 0 0 25 0 1 0 832413346 68349952 15406 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15406 1111 63 0 16624 0
vsize: 66748
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15518 0 0 0 79966 47 0 0 25 0 1 0 832413346 68349952 15406 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15406 1111 63 0 16624 0
vsize: 66748
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15518 0 0 0 80965 47 0 0 25 0 1 0 832413346 68349952 15406 4294967295 134512640 134714540 3221224592 3221223384 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15406 1111 63 0 16624 0
vsize: 66748
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 15856 0 0 0 81965 48 0 0 25 0 1 0 832413346 69902336 15741 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17066 15741 1111 63 0 17003 0
vsize: 68264
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16345 0 0 0 82964 49 0 0 25 0 1 0 832413346 72216576 16214 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16214 1111 63 0 17568 0
vsize: 70524
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16346 0 0 0 83964 49 0 0 25 0 1 0 832413346 72216576 16215 4294967295 134512640 134714540 3221224592 3221223112 1077377254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16215 1111 63 0 17568 0
vsize: 70524
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16346 0 0 0 84964 49 0 0 25 0 1 0 832413346 72216576 16215 4294967295 134512640 134714540 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17631 16215 1111 63 0 17568 0
vsize: 70524
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16528 0 0 0 85964 49 0 0 25 0 1 0 832413346 72892416 16396 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 16396 1111 63 0 17733 0
vsize: 71184
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16642 0 0 0 86964 50 0 0 25 0 1 0 832413346 73433088 16509 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17928 16509 1111 63 0 17865 0
vsize: 71712
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16642 0 0 0 87964 50 0 0 25 0 1 0 832413346 73433088 16509 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17928 16509 1111 63 0 17865 0
vsize: 71712
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 16652 0 0 0 88964 50 0 0 25 0 1 0 832413346 73433088 16519 4294967295 134512640 134714540 3221224592 3221223400 134622628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17928 16519 1111 63 0 17865 0
vsize: 71712
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17036 0 0 0 89963 51 0 0 25 0 1 0 832413346 75169792 16892 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18352 16892 1111 63 0 18289 0
vsize: 73408
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17036 0 0 0 90963 51 0 0 25 0 1 0 832413346 75169792 16892 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18352 16892 1111 63 0 18289 0
vsize: 73408
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17036 0 0 0 91963 52 0 0 25 0 1 0 832413346 75169792 16892 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18352 16892 1111 63 0 18289 0
vsize: 73408
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17181 0 0 0 92963 52 0 0 25 0 1 0 832413346 75845632 17035 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18517 17035 1111 63 0 18454 0
vsize: 74068
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17270 0 0 0 93962 53 0 0 25 0 1 0 832413346 76115968 17124 4294967295 134512640 134714540 3221224592 3221223372 134623145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18583 17124 1111 63 0 18520 0
vsize: 74332
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17506 0 0 0 94962 54 0 0 25 0 1 0 832413346 77099008 17358 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18823 17358 1111 63 0 18760 0
vsize: 75292
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17658 0 0 0 95961 54 0 0 25 0 1 0 832413346 77750272 17510 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18982 17510 1111 63 0 18919 0
vsize: 75928
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17658 0 0 0 96961 54 0 0 25 0 1 0 832413346 77750272 17510 4294967295 134512640 134714540 3221224592 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18982 17510 1111 63 0 18919 0
vsize: 75928
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17780 0 0 0 97961 55 0 0 25 0 1 0 832413346 78315520 17628 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19120 17628 1111 63 0 19057 0
vsize: 76480
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 98961 55 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 99961 55 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 100961 55 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 101961 55 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 102961 55 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 103961 56 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 104962 56 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 105962 56 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 106962 56 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 107962 56 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17915 0 0 0 108962 56 0 0 25 0 1 0 832413346 78856192 17763 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19252 17763 1111 63 0 19189 0
vsize: 77008
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17970 0 0 0 109962 56 0 0 25 0 1 0 832413346 78991360 17818 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 17818 1111 63 0 19222 0
vsize: 77140
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17970 0 0 0 110963 56 0 0 25 0 1 0 832413346 78991360 17818 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 17818 1111 63 0 19222 0
vsize: 77140
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17970 0 0 0 111963 56 0 0 25 0 1 0 832413346 78991360 17818 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 17818 1111 63 0 19222 0
vsize: 77140
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17973 0 0 0 112963 56 0 0 25 0 1 0 832413346 78991360 17821 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 17821 1111 63 0 19222 0
vsize: 77140
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 17973 0 0 0 113963 56 0 0 25 0 1 0 832413346 78991360 17821 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 17821 1111 63 0 19222 0
vsize: 77140
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 18065 0 0 0 114963 56 0 0 25 0 1 0 832413346 79396864 17913 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 17913 1111 63 0 19321 0
vsize: 77536
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 18065 0 0 0 115963 56 0 0 25 0 1 0 832413346 79396864 17913 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 17913 1111 63 0 19321 0
vsize: 77536
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 18065 0 0 0 116963 56 0 0 25 0 1 0 832413346 79396864 17913 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 17913 1111 63 0 19321 0
vsize: 77536
[startup+1176.63 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 22856
Raw data (stat): 22856 (bsolo_mis) R 22855 20687 20686 0 -1 0 18065 0 0 0 116963 56 0 0 25 0 1 0 832413346 79396864 17913 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 17913 1111 63 0 19321 0
vsize: 0

Child status: 10
Real time (s): 1176.63
CPU time (s): 1176.82
CPU user time (s): 1176.22
CPU system time (s): 0.600908
CPU usage (%): 100.016
Max. virtual memory (Kb): 77536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	44800
#### END VERIFIER DATA ####