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/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
MD5SUM	4f7891bf040f9fa135208e1a9808a8bc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1430464
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	81788220
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	6.00309
Number of variables	1320
Total number of constraints	374
Number of constraints which are clauses	155
Number of constraints which are cardinality constraints (but not clauses)	82
Number of constraints which are nor clauses,nor cardinality constraints	137
Minimum length of a constraint	1
Maximum length of a constraint	301
Trace number 27464

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 22:00:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16981 boxname=wulflinc26 idbench=1307 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4f7891bf040f9fa135208e1a9808a8bc  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-misc05.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-misc05.opb
IDLAUNCH: 16981
/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:        896196 kB
Buffers:         26348 kB
Cached:          88732 kB
SwapCached:        656 kB
Active:          21640 kB
Inactive:        96112 kB
HighTotal:      131008 kB
HighFree:        45276 kB
LowTotal:       903652 kB
LowFree:        850920 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15032 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:19:46 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 16981 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1320 variables and 329 constraints.
c After prepocess the problem consists of 963 variables and 289 constraints.
c preprocess terminated 2.414 s
c Initial Lower Bound: 1048576
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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 0.97 0.91 2/54 24615
Raw data (stat): 24615 (runsolver) R 24614 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833676800 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.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24615
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 2832 0 0 0 989 9 0 0 25 0 1 0 833676800 15249408 2807 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2807 1111 63 0 3660 0
vsize: 14892
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24615
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 1987 12 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223156 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+30.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24615
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 2985 14 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223328 134523886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+40.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24615
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 3983 16 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+50.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24615
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 4981 18 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223272 134594352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+60.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24615
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 5980 19 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223232 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+70.0037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 6978 21 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223296 134556927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+80.0039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 7976 24 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223152 134539764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+90.0041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 8974 25 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223200 134523401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 9972 28 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223340 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 10969 31 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223260 134538941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 11966 34 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223236 134535481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 12964 36 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223216 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 13962 38 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223232 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3127 0 0 0 14960 41 0 0 25 0 1 0 833676800 16400384 3102 4294967295 134512640 134714540 3221224592 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4004 3102 1111 63 0 3941 0
vsize: 16016
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 15958 43 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221223472 134621641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 16957 44 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 17955 46 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 18954 47 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221223332 134613737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 19953 48 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 20953 49 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221223132 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3232 0 0 0 21951 50 0 0 25 0 1 0 833676800 16941056 3207 4294967295 134512640 134714540 3221224592 3221223232 134696114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 3207 1111 63 0 4073 0
vsize: 16544
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 22950 51 0 0 25 0 1 0 833676800 17465344 3332 4294967295 134512640 134714540 3221224592 3221222948 1077378785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4264 3332 1111 63 0 4201 0
vsize: 17056
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 23950 52 0 0 25 0 1 0 833676800 17399808 3332 4294967295 134512640 134714540 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 3332 1111 63 0 4185 0
vsize: 16992
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 24947 54 0 0 25 0 1 0 833676800 17399808 3332 4294967295 134512640 134714540 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 3332 1111 63 0 4185 0
vsize: 16992
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 25946 55 0 0 25 0 1 0 833676800 17399808 3332 4294967295 134512640 134714540 3221224592 3221223296 134524477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 3332 1111 63 0 4185 0
vsize: 16992
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 26945 57 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223332 134558500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 27944 58 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223268 1077374543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 28943 60 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 29941 61 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221222920 1077378370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 30940 62 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223268 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 31939 63 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24617
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 32938 65 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 33936 66 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223232 134696109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 34935 68 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 35934 69 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223064 1077377281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 36933 70 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 37932 72 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 38931 73 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223184 134543738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 39929 75 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 40928 76 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223232 134696324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 41927 77 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223296 134556906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 42926 79 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223320 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 43925 80 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 44923 82 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223280 134534089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 45921 83 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 46919 85 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 47918 87 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223368 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 48915 89 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223216 134538768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 49914 91 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223176 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 50914 91 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223232 134539425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 51913 93 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 52911 94 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 53910 95 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223344 134592391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 54909 97 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 55907 99 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221222964 1077378603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 56905 101 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 57904 102 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223472 134621544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 58903 103 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223252 134536744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 59901 105 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 60900 107 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223184 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 61898 108 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221222920 1077377488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 62896 110 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223216 134535477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 63894 112 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 64893 113 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 65891 115 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 66891 116 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 67890 117 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223152 134539664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 68888 119 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 69887 120 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223316 134556636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 70886 121 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223336 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 71884 123 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223232 134696145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 72883 125 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 73881 127 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223344 134592340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 74879 128 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223332 134558543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3357 0 0 0 75878 130 0 0 25 0 1 0 833676800 17342464 3332 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4234 3332 1111 63 0 4171 0
vsize: 16936
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 76877 131 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 77875 133 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 78875 134 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223344 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 79873 135 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 80873 136 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 81871 138 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 82870 139 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223264 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 83869 140 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221222996 134697375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 84867 142 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223428 134623280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 85866 144 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223236 134535481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 86864 145 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 87864 146 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 88863 147 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223344 134592345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 89861 149 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 90860 150 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223388 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 91860 150 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 92858 152 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 93857 154 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223160 1077377281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 94855 155 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 95854 156 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 96853 158 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223384 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 97851 159 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 98850 161 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223256 134613401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 99848 163 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223160 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 100847 164 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 101846 165 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223256 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 102844 167 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223268 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 103843 169 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223464 134586765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 104842 171 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 105840 172 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223360 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 106839 173 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223360 134542621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 107837 175 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 108836 177 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223160 1077377249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 109835 178 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 110833 180 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3361 0 0 0 111832 181 0 0 25 0 1 0 833676800 17477632 3336 4294967295 134512640 134714540 3221224592 3221223272 134523851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4267 3336 1111 63 0 4204 0
vsize: 17068
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3428 0 0 0 112831 182 0 0 25 0 1 0 833676800 17747968 3403 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4333 3403 1111 63 0 4270 0
vsize: 17332
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3460 0 0 0 113829 184 0 0 25 0 1 0 833676800 17846272 3435 4294967295 134512640 134714540 3221224592 3221223264 134542912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 3435 1111 63 0 4294 0
vsize: 17428
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3524 0 0 0 114828 185 0 0 25 0 1 0 833676800 18120704 3499 4294967295 134512640 134714540 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4424 3499 1111 63 0 4361 0
vsize: 17696
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3680 0 0 0 115827 186 0 0 25 0 1 0 833676800 18722816 3655 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3655 1111 63 0 4508 0
vsize: 18284
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3680 0 0 0 116826 188 0 0 25 0 1 0 833676800 18722816 3655 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3655 1111 63 0 4508 0
vsize: 18284
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 24619
Raw data (stat): 24615 (bsolo_mis) R 24614 20687 20686 0 -1 0 3680 0 0 0 116826 188 0 0 25 0 1 0 833676800 18722816 3655 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3655 1111 63 0 4508 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.02
CPU user time (s): 1173.12
CPU system time (s): 1.89371
CPU usage (%): 100.009
Max. virtual memory (Kb): 18284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####