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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
MD5SUM	6bb160e5eb0ef9c02ca7232f62836f2b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	8436
Biggest coefficient in the objective function	368640
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	57614442
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	483840
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	72412534
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.48
Number of variables	8436
Total number of constraints	1050
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	1050
Minimum length of a constraint	8
Maximum length of a constraint	8436
Trace number 27757

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 23:13:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15772 boxname=wulflinc31 idbench=1214 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6bb160e5eb0ef9c02ca7232f62836f2b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit1d.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit1d.opb
IDLAUNCH: 15772
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        842120 kB
Buffers:         26696 kB
Cached:         144652 kB
SwapCached:       1236 kB
Active:          61704 kB
Inactive:       112188 kB
HighTotal:      131008 kB
HighFree:        52472 kB
LowTotal:       903652 kB
LowFree:        789648 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            13004 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:33:22 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 15772 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 8436 variables and 1051 constraints.
c After prepocess the problem consists of 8434 variables and 1049 constraints.
c preprocess terminated 95.481 s
c Initial Lower Bound: -7197852
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.99 1.00 0.92 2/55 3906
Raw data (stat): 3906 (runsolver) R 3905 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834092336 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3908
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 13705 0 0 0 966 32 0 0 25 0 1 0 834092336 69779456 13683 4294967295 134512640 134714540 3221224592 3221222868 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17036 13683 1111 63 0 16973 0
vsize: 68144
[startup+20.0015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3908
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 14300 0 0 0 1964 34 0 0 25 0 1 0 834092336 72417280 14262 4294967295 134512640 134714540 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17680 14262 1111 63 0 17617 0
vsize: 70720
[startup+30.0015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3908
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 14436 0 0 0 2964 34 0 0 25 0 1 0 834092336 73056256 14390 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17836 14390 1111 63 0 17773 0
vsize: 71344
[startup+40.0014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3908
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 14696 0 0 0 3962 36 0 0 25 0 1 0 834092336 74039296 14646 4294967295 134512640 134714540 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 14646 1111 63 0 18013 0
vsize: 72304
[startup+50.0013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3908
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 14900 0 0 0 4961 36 0 0 25 0 1 0 834092336 75083776 14843 4294967295 134512640 134714540 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 14843 1111 63 0 18268 0
vsize: 73324
[startup+60.0024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3908
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 15209 0 0 0 5961 37 0 0 25 0 1 0 834092336 76406784 15143 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18654 15143 1111 63 0 18591 0
vsize: 74616
[startup+70.0032 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3910
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 15396 0 0 0 6961 37 0 0 25 0 1 0 834092336 77234176 15329 4294967295 134512640 134714540 3221224592 3221222652 1077360305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18856 15329 1111 63 0 18793 0
vsize: 75424
[startup+80.0033 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3910
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 16512 0 0 0 7959 39 0 0 25 0 1 0 834092336 71933952 16397 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17562 16397 1111 63 0 17499 0
vsize: 70248
[startup+90.0041 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3910
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 16516 0 0 0 8959 39 0 0 25 0 1 0 834092336 71933952 16401 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17562 16401 1111 63 0 17499 0
vsize: 70248
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3910
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18279 0 0 0 9955 43 0 0 25 0 1 0 834092336 79056896 18161 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18161 1111 63 0 19238 0
vsize: 77204
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3910
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18279 0 0 0 10955 43 0 0 25 0 1 0 834092336 79056896 18161 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18161 1111 63 0 19238 0
vsize: 77204
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3910
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18280 0 0 0 11955 43 0 0 25 0 1 0 834092336 79056896 18162 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18162 1111 63 0 19238 0
vsize: 77204
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3912
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18280 0 0 0 12955 43 0 0 25 0 1 0 834092336 79056896 18162 4294967295 134512640 134714540 3221224592 3221223380 134558500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18162 1111 63 0 19238 0
vsize: 77204
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3912
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18281 0 0 0 13955 43 0 0 25 0 1 0 834092336 79056896 18163 4294967295 134512640 134714540 3221224592 3221223272 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18163 1111 63 0 19238 0
vsize: 77204
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3912
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18281 0 0 0 14955 43 0 0 25 0 1 0 834092336 79056896 18163 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18163 1111 63 0 19238 0
vsize: 77204
[startup+160.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3912
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18281 0 0 0 15955 43 0 0 25 0 1 0 834092336 79056896 18163 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18163 1111 63 0 19238 0
vsize: 77204
[startup+170.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3912
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18281 0 0 0 16955 43 0 0 25 0 1 0 834092336 79056896 18163 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18163 1111 63 0 19238 0
vsize: 77204
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3912
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18282 0 0 0 17955 44 0 0 25 0 1 0 834092336 79056896 18164 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18164 1111 63 0 19238 0
vsize: 77204
[startup+190.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3914
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18283 0 0 0 18956 44 0 0 25 0 1 0 834092336 79056896 18165 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18165 1111 63 0 19238 0
vsize: 77204
[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3914
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18283 0 0 0 19955 44 0 0 25 0 1 0 834092336 79056896 18165 4294967295 134512640 134714540 3221224592 3221223296 134556894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18165 1111 63 0 19238 0
vsize: 77204
[startup+210.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3914
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18283 0 0 0 20956 44 0 0 25 0 1 0 834092336 79056896 18165 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18165 1111 63 0 19238 0
vsize: 77204
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3914
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18284 0 0 0 21956 44 0 0 25 0 1 0 834092336 79056896 18166 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18166 1111 63 0 19238 0
vsize: 77204
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3914
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18285 0 0 0 22956 44 0 0 25 0 1 0 834092336 79056896 18167 4294967295 134512640 134714540 3221224592 3221223392 134622163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18167 1111 63 0 19238 0
vsize: 77204
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3914
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18285 0 0 0 23956 44 0 0 25 0 1 0 834092336 79056896 18167 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18167 1111 63 0 19238 0
vsize: 77204
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3916
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18285 0 0 0 24956 45 0 0 25 0 1 0 834092336 79056896 18167 4294967295 134512640 134714540 3221224592 3221223408 134610966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18167 1111 63 0 19238 0
vsize: 77204
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3916
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18286 0 0 0 25956 45 0 0 25 0 1 0 834092336 79056896 18168 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18168 1111 63 0 19238 0
vsize: 77204
[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3916
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18287 0 0 0 26956 45 0 0 25 0 1 0 834092336 79056896 18169 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18169 1111 63 0 19238 0
vsize: 77204
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3916
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18287 0 0 0 27956 45 0 0 25 0 1 0 834092336 79056896 18169 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18169 1111 63 0 19238 0
vsize: 77204
[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3916
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18288 0 0 0 28956 45 0 0 25 0 1 0 834092336 79056896 18170 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18170 1111 63 0 19238 0
vsize: 77204
[startup+300.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3916
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18289 0 0 0 29956 45 0 0 25 0 1 0 834092336 79056896 18171 4294967295 134512640 134714540 3221224592 3221223296 134556918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18171 1111 63 0 19238 0
vsize: 77204
[startup+310.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3918
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18290 0 0 0 30956 46 0 0 25 0 1 0 834092336 79056896 18172 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18172 1111 63 0 19238 0
vsize: 77204
[startup+320.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3918
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18291 0 0 0 31956 46 0 0 25 0 1 0 834092336 79056896 18173 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18173 1111 63 0 19238 0
vsize: 77204
[startup+330.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3918
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18291 0 0 0 32956 46 0 0 25 0 1 0 834092336 79056896 18173 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18173 1111 63 0 19238 0
vsize: 77204
[startup+340.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3918
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18291 0 0 0 33956 46 0 0 25 0 1 0 834092336 79056896 18173 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18173 1111 63 0 19238 0
vsize: 77204
[startup+350.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3918
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 18293 0 0 0 34956 47 0 0 25 0 1 0 834092336 79056896 18175 4294967295 134512640 134714540 3221224592 3221223404 134622150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19301 18175 1111 63 0 19238 0
vsize: 77204
[startup+360.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3918
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 21806 0 0 0 35949 54 0 0 25 0 1 0 834092336 93470720 21688 4294967295 134512640 134714540 3221224592 3221223360 134542603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22820 21688 1111 63 0 22757 0
vsize: 91280
[startup+370.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3920
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22313 0 0 0 36947 55 0 0 25 0 1 0 834092336 95547392 22195 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23327 22195 1111 63 0 23264 0
vsize: 93308
[startup+380.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3920
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22313 0 0 0 37948 55 0 0 25 0 1 0 834092336 95547392 22195 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23327 22195 1111 63 0 23264 0
vsize: 93308
[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3920
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22313 0 0 0 38948 56 0 0 25 0 1 0 834092336 95547392 22195 4294967295 134512640 134714540 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23327 22195 1111 63 0 23264 0
vsize: 93308
[startup+400.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3920
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22345 0 0 0 39948 56 0 0 25 0 1 0 834092336 95211520 22126 4294967295 134512640 134714540 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23245 22126 1111 63 0 23182 0
vsize: 92980
[startup+410.017 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3920
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22616 0 0 0 40947 57 0 0 25 0 1 0 834092336 96448512 22397 4294967295 134512640 134714540 3221224592 3221223400 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23547 22397 1111 63 0 23484 0
vsize: 94188
[startup+420.018 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3920
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22616 0 0 0 41947 57 0 0 25 0 1 0 834092336 96448512 22397 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23547 22397 1111 63 0 23484 0
vsize: 94188
[startup+430.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3922
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22616 0 0 0 42948 57 0 0 25 0 1 0 834092336 96448512 22397 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23547 22397 1111 63 0 23484 0
vsize: 94188
[startup+440.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3922
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22616 0 0 0 43948 57 0 0 25 0 1 0 834092336 96448512 22397 4294967295 134512640 134714540 3221224592 3221223340 134535616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23547 22397 1111 63 0 23484 0
vsize: 94188
[startup+450.029 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3922
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22653 0 0 0 44948 57 0 0 25 0 1 0 834092336 96440320 22423 4294967295 134512640 134714540 3221224592 3221223336 134672933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23545 22423 1111 63 0 23482 0
vsize: 94180
[startup+460.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3922
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22728 0 0 0 45949 57 0 0 25 0 1 0 834092336 96866304 22498 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23649 22498 1111 63 0 23586 0
vsize: 94596
[startup+470.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3922
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22728 0 0 0 46949 57 0 0 25 0 1 0 834092336 96866304 22498 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23649 22498 1111 63 0 23586 0
vsize: 94596
[startup+480.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3922
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22728 0 0 0 47949 57 0 0 25 0 1 0 834092336 96866304 22498 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23649 22498 1111 63 0 23586 0
vsize: 94596
[startup+490.032 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3924
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22728 0 0 0 48949 58 0 0 25 0 1 0 834092336 96866304 22498 4294967295 134512640 134714540 3221224592 3221223232 134613490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23649 22498 1111 63 0 23586 0
vsize: 94596
[startup+500.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3924
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22753 0 0 0 49949 58 0 0 25 0 1 0 834092336 96440320 22426 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23545 22426 1111 63 0 23482 0
vsize: 94180
[startup+510.032 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3924
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22996 0 0 0 50948 58 0 0 25 0 1 0 834092336 97280000 22600 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23750 22600 1111 63 0 23687 0
vsize: 95000
[startup+520.033 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3924
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22996 0 0 0 51948 59 0 0 25 0 1 0 834092336 97280000 22600 4294967295 134512640 134714540 3221224592 3221223360 134592140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23750 22600 1111 63 0 23687 0
vsize: 95000
[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 0.92 2/55 3924
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22996 0 0 0 52948 59 0 0 25 0 1 0 834092336 97280000 22600 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23750 22600 1111 63 0 23687 0
vsize: 95000
[startup+540.034 s]
Raw data (loadavg): 1.14 1.03 0.93 2/55 3924
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 22996 0 0 0 53948 59 0 0 25 0 1 0 834092336 97280000 22600 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23750 22600 1111 63 0 23687 0
vsize: 95000
[startup+550.034 s]
Raw data (loadavg): 1.12 1.03 0.93 2/55 3926
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23020 0 0 0 54948 60 0 0 25 0 1 0 834092336 96452608 22429 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23548 22429 1111 63 0 23485 0
vsize: 94192
[startup+560.035 s]
Raw data (loadavg): 1.10 1.03 0.93 2/55 3926
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23362 0 0 0 55947 60 0 0 25 0 1 0 834092336 97693696 22701 4294967295 134512640 134714540 3221224592 3221223336 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23851 22701 1111 63 0 23788 0
vsize: 95404
[startup+570.035 s]
Raw data (loadavg): 1.08 1.03 0.93 2/55 3926
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23362 0 0 0 56948 60 0 0 25 0 1 0 834092336 97693696 22701 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23851 22701 1111 63 0 23788 0
vsize: 95404
[startup+580.035 s]
Raw data (loadavg): 1.07 1.03 0.93 2/55 3926
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23362 0 0 0 57948 60 0 0 25 0 1 0 834092336 97693696 22701 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23851 22701 1111 63 0 23788 0
vsize: 95404
[startup+590.036 s]
Raw data (loadavg): 1.06 1.03 0.93 2/55 3926
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23362 0 0 0 58948 61 0 0 25 0 1 0 834092336 97693696 22701 4294967295 134512640 134714540 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23851 22701 1111 63 0 23788 0
vsize: 95404
[startup+600.036 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 3926
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23386 0 0 0 59947 61 0 0 25 0 1 0 834092336 97665024 22722 4294967295 134512640 134714540 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23844 22722 1111 63 0 23781 0
vsize: 95376
[startup+610.037 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 3928
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23466 0 0 0 60947 62 0 0 25 0 1 0 834092336 98078720 22802 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23945 22802 1111 63 0 23882 0
vsize: 95780
[startup+620.037 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 3928
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23466 0 0 0 61947 62 0 0 25 0 1 0 834092336 98078720 22802 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23945 22802 1111 63 0 23882 0
vsize: 95780
[startup+630.037 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 3928
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23466 0 0 0 62947 62 0 0 25 0 1 0 834092336 98078720 22802 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23945 22802 1111 63 0 23882 0
vsize: 95780
[startup+640.037 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 3928
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23466 0 0 0 63947 62 0 0 25 0 1 0 834092336 98078720 22802 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23945 22802 1111 63 0 23882 0
vsize: 95780
[startup+650.037 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 3928
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23491 0 0 0 64947 62 0 0 25 0 1 0 834092336 97665024 22725 4294967295 134512640 134714540 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23844 22725 1111 63 0 23781 0
vsize: 95376
[startup+660.036 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 3928
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23738 0 0 0 65946 63 0 0 25 0 1 0 834092336 98525184 22903 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24054 22903 1111 63 0 23991 0
vsize: 96216
[startup+670.036 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 3930
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23738 0 0 0 66946 63 0 0 25 0 1 0 834092336 98525184 22903 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24054 22903 1111 63 0 23991 0
vsize: 96216
[startup+680.036 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 3930
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23738 0 0 0 67946 63 0 0 25 0 1 0 834092336 98525184 22903 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24054 22903 1111 63 0 23991 0
vsize: 96216
[startup+690.036 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 3930
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23738 0 0 0 68947 63 0 0 25 0 1 0 834092336 98525184 22903 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24054 22903 1111 63 0 23991 0
vsize: 96216
[startup+700.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 3930
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23755 0 0 0 69947 63 0 0 25 0 1 0 834092336 98111488 22834 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23953 22834 1111 63 0 23890 0
vsize: 95812
[startup+710.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 3930
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23995 0 0 0 70946 64 0 0 25 0 1 0 834092336 98938880 23005 4294967295 134512640 134714540 3221224592 3221223352 134592337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24155 23005 1111 63 0 24092 0
vsize: 96620
[startup+720.037 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3930
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23995 0 0 0 71946 64 0 0 25 0 1 0 834092336 98938880 23005 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24155 23005 1111 63 0 24092 0
vsize: 96620
[startup+730.041 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3932
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23995 0 0 0 72947 64 0 0 25 0 1 0 834092336 98938880 23005 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24155 23005 1111 63 0 24092 0
vsize: 96620
[startup+740.041 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3932
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 23995 0 0 0 73947 64 0 0 25 0 1 0 834092336 98938880 23005 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24155 23005 1111 63 0 24092 0
vsize: 96620
[startup+750.041 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3932
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24016 0 0 0 74947 65 0 0 25 0 1 0 834092336 98111488 22834 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23953 22834 1111 63 0 23890 0
vsize: 95812
[startup+760.049 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3932
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24357 0 0 0 75947 65 0 0 25 0 1 0 834092336 99352576 23106 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24256 23106 1111 63 0 24193 0
vsize: 97024
[startup+770.049 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3932
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24357 0 0 0 76947 65 0 0 25 0 1 0 834092336 99352576 23106 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24256 23106 1111 63 0 24193 0
vsize: 97024
[startup+780.049 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3932
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24357 0 0 0 77947 65 0 0 25 0 1 0 834092336 99352576 23106 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24256 23106 1111 63 0 24193 0
vsize: 97024
[startup+790.049 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3934
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24357 0 0 0 78947 65 0 0 25 0 1 0 834092336 99352576 23106 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24256 23106 1111 63 0 24193 0
vsize: 97024
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3934
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24374 0 0 0 79947 66 0 0 25 0 1 0 834092336 99323904 23123 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24249 23123 1111 63 0 24186 0
vsize: 96996
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3934
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24458 0 0 0 80947 66 0 0 25 0 1 0 834092336 99737600 23207 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24350 23207 1111 63 0 24287 0
vsize: 97400
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3934
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24458 0 0 0 81947 66 0 0 25 0 1 0 834092336 99737600 23207 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24350 23207 1111 63 0 24287 0
vsize: 97400
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3934
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24458 0 0 0 82947 66 0 0 25 0 1 0 834092336 99737600 23207 4294967295 134512640 134714540 3221224592 3221223344 134592438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24350 23207 1111 63 0 24287 0
vsize: 97400
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3934
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24458 0 0 0 83948 66 0 0 25 0 1 0 834092336 99737600 23207 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24350 23207 1111 63 0 24287 0
vsize: 97400
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3936
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24479 0 0 0 84948 66 0 0 25 0 1 0 834092336 99356672 23138 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24257 23138 1111 63 0 24194 0
vsize: 97028
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3936
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24719 0 0 0 85947 67 0 0 25 0 1 0 834092336 100184064 23309 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24459 23309 1111 63 0 24396 0
vsize: 97836
[startup+870.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3936
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24719 0 0 0 86947 67 0 0 25 0 1 0 834092336 100184064 23309 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24459 23309 1111 63 0 24396 0
vsize: 97836
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3936
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24719 0 0 0 87948 67 0 0 25 0 1 0 834092336 100184064 23309 4294967295 134512640 134714540 3221224592 3221223152 134540040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24459 23309 1111 63 0 24396 0
vsize: 97836
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3936
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24719 0 0 0 88947 67 0 0 25 0 1 0 834092336 100184064 23309 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24459 23309 1111 63 0 24396 0
vsize: 97836
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3936
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 24906 0 0 0 89947 67 0 0 25 0 1 0 834092336 100184064 23309 4294967295 134512640 134714540 3221224592 3221223324 1076648036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24459 23309 1111 63 0 24396 0
vsize: 97836
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3938
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25077 0 0 0 90947 68 0 0 25 0 1 0 834092336 100597760 23410 4294967295 134512640 134714540 3221224592 3221223232 134613424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23410 1111 63 0 24497 0
vsize: 98240
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3938
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25077 0 0 0 91947 68 0 0 25 0 1 0 834092336 100597760 23410 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23410 1111 63 0 24497 0
vsize: 98240
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3938
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25077 0 0 0 92947 68 0 0 25 0 1 0 834092336 100597760 23410 4294967295 134512640 134714540 3221224592 3221223152 134540217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23410 1111 63 0 24497 0
vsize: 98240
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3938
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25077 0 0 0 93947 68 0 0 25 0 1 0 834092336 100597760 23410 4294967295 134512640 134714540 3221224592 3221223200 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23410 1111 63 0 24497 0
vsize: 98240
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3938
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25089 0 0 0 94947 68 0 0 25 0 1 0 834092336 100597760 23422 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23422 1111 63 0 24497 0
vsize: 98240
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3938
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25175 0 0 0 95947 69 0 0 25 0 1 0 834092336 101011456 23508 4294967295 134512640 134714540 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24661 23508 1111 63 0 24598 0
vsize: 98644
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3940
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25175 0 0 0 96947 69 0 0 25 0 1 0 834092336 101011456 23508 4294967295 134512640 134714540 3221224592 3221223336 134672933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24661 23508 1111 63 0 24598 0
vsize: 98644
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3940
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25175 0 0 0 97947 69 0 0 25 0 1 0 834092336 101011456 23508 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24661 23508 1111 63 0 24598 0
vsize: 98644
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3940
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25175 0 0 0 98947 69 0 0 25 0 1 0 834092336 101011456 23508 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24661 23508 1111 63 0 24598 0
vsize: 98644
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3940
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25180 0 0 0 99947 69 0 0 25 0 1 0 834092336 100663296 23454 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24576 23454 1111 63 0 24513 0
vsize: 98304
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3940
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25234 0 0 0 100947 69 0 0 25 0 1 0 834092336 100937728 23508 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24643 23508 1111 63 0 24580 0
vsize: 98572
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3940
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25234 0 0 0 101948 69 0 0 25 0 1 0 834092336 100937728 23508 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24643 23508 1111 63 0 24580 0
vsize: 98572
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3942
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25234 0 0 0 102948 69 0 0 25 0 1 0 834092336 100937728 23508 4294967295 134512640 134714540 3221224592 3221223244 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24643 23508 1111 63 0 24580 0
vsize: 98572
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3942
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25234 0 0 0 103948 69 0 0 25 0 1 0 834092336 100937728 23508 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24643 23508 1111 63 0 24580 0
vsize: 98572
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3942
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25234 0 0 0 104948 69 0 0 25 0 1 0 834092336 100937728 23508 4294967295 134512640 134714540 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24643 23508 1111 63 0 24580 0
vsize: 98572
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3942
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 105948 69 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3942
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 106948 69 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3942
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 107948 70 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223340 134535530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3944
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 108948 70 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3944
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 109948 70 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3944
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 110948 70 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223400 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3944
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 111948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3944
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 112948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3944
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 113948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3946
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 114948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223160 1077378441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3946
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 115948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223200 134523396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3946
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 116948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223308 134591887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 98648
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 3946
Raw data (stat): 3906 (bsolo_mis) R 3905 29618 29617 0 -1 0 25246 0 0 0 116948 71 0 0 25 0 1 0 834092336 101015552 23520 4294967295 134512640 134714540 3221224592 3221223308 134591887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 23520 1111 63 0 24599 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1174.31
CPU system time (s): 0.763883
CPU usage (%): 100.012
Max. virtual memory (Kb): 98648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####