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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.54
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 28312

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 01:29:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13640 boxname=wulflinc3 idbench=1050 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 13640
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        958652 kB
Buffers:          4044 kB
Cached:          52532 kB
SwapCached:          0 kB
Active:          28912 kB
Inactive:        30356 kB
HighTotal:      131008 kB
HighFree:        74396 kB
LowTotal:       903652 kB
LowFree:        884256 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            11104 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:49:13 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 13640 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2655 variables and 291 constraints.
c After prepocess the problem consists of 2463 variables and 281 constraints.
c preprocess terminated 13.801 s
c Initial Lower Bound: 1998
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.92 0.95 0.97 2/54 28354
Raw data (stat): 28354 (runsolver) R 28353 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776698432 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 17140 0 0 0 957 41 0 0 25 0 1 0 776698432 73785344 17103 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 17103 1111 63 0 17951 0
vsize: 72056
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 17459 0 0 0 1955 42 0 0 25 0 1 0 776698432 75132928 17422 4294967295 134512640 134714540 3221224592 3221223376 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18343 17422 1111 63 0 18280 0
vsize: 73372
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 17559 0 0 0 2954 43 0 0 25 0 1 0 776698432 75538432 17522 4294967295 134512640 134714540 3221224592 3221223328 134695351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18442 17522 1111 63 0 18379 0
vsize: 73768
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 17600 0 0 0 3953 44 0 0 25 0 1 0 776698432 75673600 17563 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18475 17563 1111 63 0 18412 0
vsize: 73900
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 18663 0 0 0 4949 49 0 0 25 0 1 0 776698432 80089088 18626 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19553 18626 1111 63 0 19490 0
vsize: 78212
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 18905 0 0 0 5948 50 0 0 25 0 1 0 776698432 81035264 18868 4294967295 134512640 134714540 3221224592 3221223296 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19784 18868 1111 63 0 19721 0
vsize: 79136
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 18988 0 0 0 6948 50 0 0 25 0 1 0 776698432 81428480 18951 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 18988 0 0 0 7948 50 0 0 25 0 1 0 776698432 81428480 18951 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19233 0 0 0 8947 51 0 0 25 0 1 0 776698432 82411520 19196 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19233 0 0 0 9947 51 0 0 25 0 1 0 776698432 82411520 19196 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19259 0 0 0 10947 52 0 0 25 0 1 0 776698432 82546688 19222 4294967295 134512640 134714540 3221224592 3221223160 1077377742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20153 19222 1111 63 0 20090 0
vsize: 80612
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19323 0 0 0 11947 52 0 0 25 0 1 0 776698432 82817024 19286 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20219 19286 1111 63 0 20156 0
vsize: 80876
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 12947 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 13947 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 14947 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 15947 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223320 134558585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 16948 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223320 134622809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 17948 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19324 0 0 0 18948 53 0 0 25 0 1 0 776698432 82804736 19287 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19486 0 0 0 19948 53 0 0 25 0 1 0 776698432 83443712 19449 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20372 19449 1111 63 0 20309 0
vsize: 81488
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19812 0 0 0 20945 56 0 0 25 0 1 0 776698432 84795392 19775 4294967295 134512640 134714540 3221224592 3221223408 134622651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20702 19775 1111 63 0 20639 0
vsize: 82808
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19953 0 0 0 21944 57 0 0 25 0 1 0 776698432 85299200 19916 4294967295 134512640 134714540 3221224592 3221223400 134611413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20825 19916 1111 63 0 20762 0
vsize: 83300
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19964 0 0 0 22944 58 0 0 25 0 1 0 776698432 85434368 19927 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19964 0 0 0 23944 58 0 0 25 0 1 0 776698432 85434368 19927 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 19965 0 0 0 24944 58 0 0 25 0 1 0 776698432 85434368 19928 4294967295 134512640 134714540 3221224592 3221223232 134695889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19928 1111 63 0 20795 0
vsize: 83432
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20053 0 0 0 25943 59 0 0 25 0 1 0 776698432 85704704 20016 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20924 20016 1111 63 0 20861 0
vsize: 83696
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20205 0 0 0 26942 60 0 0 25 0 1 0 776698432 86376448 20168 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21088 20168 1111 63 0 21025 0
vsize: 84352
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20604 0 0 0 27941 62 0 0 25 0 1 0 776698432 87986176 20567 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21481 20567 1111 63 0 21418 0
vsize: 85924
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20793 0 0 0 28939 64 0 0 25 0 1 0 776698432 88797184 20756 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21679 20756 1111 63 0 21616 0
vsize: 86716
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20871 0 0 0 29938 65 0 0 25 0 1 0 776698432 89067520 20834 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21745 20834 1111 63 0 21682 0
vsize: 86980
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20924 0 0 0 30937 66 0 0 25 0 1 0 776698432 89333760 20887 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21810 20887 1111 63 0 21747 0
vsize: 87240
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20938 0 0 0 31937 67 0 0 25 0 1 0 776698432 89333760 20901 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21810 20901 1111 63 0 21747 0
vsize: 87240
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20970 0 0 0 32936 68 0 0 25 0 1 0 776698432 89468928 20933 4294967295 134512640 134714540 3221224592 3221223264 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21843 20933 1111 63 0 21780 0
vsize: 87372
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 20998 0 0 0 33935 69 0 0 25 0 1 0 776698432 89604096 20961 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21876 20961 1111 63 0 21813 0
vsize: 87504
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21054 0 0 0 34934 70 0 0 25 0 1 0 776698432 89862144 21017 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21939 21017 1111 63 0 21876 0
vsize: 87756
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21185 0 0 0 35933 71 0 0 25 0 1 0 776698432 90398720 21148 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21185 0 0 0 36932 72 0 0 25 0 1 0 776698432 90398720 21148 4294967295 134512640 134714540 3221224592 3221223280 134524417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21237 0 0 0 37931 74 0 0 25 0 1 0 776698432 90656768 21200 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22133 21200 1111 63 0 22070 0
vsize: 88532
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21313 0 0 0 38930 75 0 0 25 0 1 0 776698432 90927104 21276 4294967295 134512640 134714540 3221224592 3221223384 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22199 21276 1111 63 0 22136 0
vsize: 88796
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21313 0 0 0 39929 76 0 0 25 0 1 0 776698432 90927104 21276 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22199 21276 1111 63 0 22136 0
vsize: 88796
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21336 0 0 0 40928 77 0 0 25 0 1 0 776698432 91062272 21299 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22232 21299 1111 63 0 22169 0
vsize: 88928
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21363 0 0 0 41928 77 0 0 25 0 1 0 776698432 91062272 21326 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22232 21326 1111 63 0 22169 0
vsize: 88928
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21469 0 0 0 42928 78 0 0 25 0 1 0 776698432 91602944 21432 4294967295 134512640 134714540 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22364 21432 1111 63 0 22301 0
vsize: 89456
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 43927 79 0 0 25 0 1 0 776698432 91738112 21469 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 44926 80 0 0 25 0 1 0 776698432 91738112 21469 4294967295 134512640 134714540 3221224592 3221223392 134622422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 45927 80 0 0 25 0 1 0 776698432 91738112 21469 4294967295 134512640 134714540 3221224592 3221223160 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 46926 81 0 0 25 0 1 0 776698432 91738112 21469 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 47925 81 0 0 25 0 1 0 776698432 91738112 21469 4294967295 134512640 134714540 3221224592 3221223264 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 48925 82 0 0 25 0 1 0 776698432 91697152 21469 4294967295 134512640 134714540 3221224592 3221223232 134696043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21506 0 0 0 49924 83 0 0 25 0 1 0 776698432 91697152 21469 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21587 0 0 0 50923 85 0 0 25 0 1 0 776698432 91967488 21550 4294967295 134512640 134714540 3221224592 3221223384 134542458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22453 21550 1111 63 0 22390 0
vsize: 89812
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21590 0 0 0 51922 85 0 0 25 0 1 0 776698432 92102656 21553 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21553 1111 63 0 22423 0
vsize: 89944
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21620 0 0 0 52922 86 0 0 25 0 1 0 776698432 92102656 21583 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21620 0 0 0 53922 86 0 0 25 0 1 0 776698432 92102656 21583 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21620 0 0 0 54921 87 0 0 25 0 1 0 776698432 92102656 21583 4294967295 134512640 134714540 3221224592 3221223276 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21620 0 0 0 55921 88 0 0 25 0 1 0 776698432 92102656 21583 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21620 0 0 0 56920 88 0 0 25 0 1 0 776698432 92102656 21583 4294967295 134512640 134714540 3221224592 3221223312 134622791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 57920 88 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 58920 88 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 59920 89 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223232 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 60919 90 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223440 134623467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 61919 90 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223316 134622911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 62918 91 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223308 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 63918 92 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 64918 92 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 65918 92 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223396 134622413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 66918 92 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 67918 93 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 68918 93 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 69918 94 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223376 134622290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21639 0 0 0 70918 94 0 0 25 0 1 0 776698432 92237824 21602 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21642 0 0 0 71919 94 0 0 25 0 1 0 776698432 92237824 21605 4294967295 134512640 134714540 3221224592 3221223384 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21605 1111 63 0 22456 0
vsize: 90076
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21852 0 0 0 72918 95 0 0 25 0 1 0 776698432 93184000 21815 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22750 21815 1111 63 0 22687 0
vsize: 91000
[startup+740.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21934 0 0 0 73918 95 0 0 25 0 1 0 776698432 93454336 21897 4294967295 134512640 134714540 3221224592 3221223392 134622417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22816 21897 1111 63 0 22753 0
vsize: 91264
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21944 0 0 0 74918 96 0 0 25 0 1 0 776698432 93454336 21907 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22816 21907 1111 63 0 22753 0
vsize: 91264
[startup+760.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 21976 0 0 0 75917 96 0 0 25 0 1 0 776698432 93589504 21939 4294967295 134512640 134714540 3221224592 3221223172 134696293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22849 21939 1111 63 0 22786 0
vsize: 91396
[startup+770.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22003 0 0 0 76917 97 0 0 25 0 1 0 776698432 93724672 21966 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 21966 1111 63 0 22819 0
vsize: 91528
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22011 0 0 0 77917 97 0 0 25 0 1 0 776698432 93724672 21974 4294967295 134512640 134714540 3221224592 3221223304 134543154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 21974 1111 63 0 22819 0
vsize: 91528
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22033 0 0 0 78917 97 0 0 25 0 1 0 776698432 93822976 21996 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22906 21996 1111 63 0 22843 0
vsize: 91624
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22103 0 0 0 79916 99 0 0 25 0 1 0 776698432 94093312 22066 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22972 22066 1111 63 0 22909 0
vsize: 91888
[startup+810.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22128 0 0 0 80915 99 0 0 25 0 1 0 776698432 94228480 22091 4294967295 134512640 134714540 3221224592 3221223392 134622663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23005 22091 1111 63 0 22942 0
vsize: 92020
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22146 0 0 0 81915 100 0 0 25 0 1 0 776698432 94363648 22109 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23038 22109 1111 63 0 22975 0
vsize: 92152
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22187 0 0 0 82915 100 0 0 25 0 1 0 776698432 94498816 22150 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23071 22150 1111 63 0 23008 0
vsize: 92284
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22197 0 0 0 83916 100 0 0 25 0 1 0 776698432 94511104 22155 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23074 22155 1111 63 0 23011 0
vsize: 92296
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22197 0 0 0 84915 101 0 0 25 0 1 0 776698432 94511104 22155 4294967295 134512640 134714540 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23074 22155 1111 63 0 23011 0
vsize: 92296
[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22222 0 0 0 85915 101 0 0 25 0 1 0 776698432 94646272 22180 4294967295 134512640 134714540 3221224592 3221223372 134556736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+870.055 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22222 0 0 0 86915 102 0 0 25 0 1 0 776698432 94646272 22180 4294967295 134512640 134714540 3221224592 3221223172 1077378677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22245 0 0 0 87914 102 0 0 25 0 1 0 776698432 94646272 22203 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23107 22203 1111 63 0 23044 0
vsize: 92428
[startup+890.055 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22263 0 0 0 88914 103 0 0 25 0 1 0 776698432 94781440 22221 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22263 0 0 0 89913 104 0 0 25 0 1 0 776698432 94781440 22221 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22306 0 0 0 90913 104 0 0 25 0 1 0 776698432 94916608 22264 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23173 22264 1111 63 0 23110 0
vsize: 92692
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22315 0 0 0 91913 105 0 0 25 0 1 0 776698432 95051776 22273 4294967295 134512640 134714540 3221224592 3221223232 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23206 22273 1111 63 0 23143 0
vsize: 92824
[startup+930.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22335 0 0 0 92912 105 0 0 25 0 1 0 776698432 95051776 22293 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23206 22293 1111 63 0 23143 0
vsize: 92824
[startup+940.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22370 0 0 0 93912 106 0 0 25 0 1 0 776698432 95174656 22328 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22370 0 0 0 94911 107 0 0 25 0 1 0 776698432 95174656 22328 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+960.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22370 0 0 0 95911 107 0 0 25 0 1 0 776698432 95174656 22328 4294967295 134512640 134714540 3221224592 3221223312 134622860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22373 0 0 0 96910 108 0 0 25 0 1 0 776698432 95174656 22331 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22331 1111 63 0 23173 0
vsize: 92944
[startup+980.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22421 0 0 0 97910 108 0 0 25 0 1 0 776698432 95444992 22379 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22379 1111 63 0 23239 0
vsize: 93208
[startup+990.057 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 98909 109 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 99910 109 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134535841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 100910 109 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223392 134622422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 101910 110 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 102909 110 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 103910 110 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 104909 110 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 105909 111 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 106909 111 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 107909 111 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223408 134622342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 108909 112 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 109908 112 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 110909 112 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 111908 112 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 112908 113 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223232 134696407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 113908 113 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 114908 113 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 115908 113 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 116909 113 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1174.89 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 28354
Raw data (stat): 28354 (bsolo_mis) R 28353 20224 20223 0 -1 0 22425 0 0 0 116909 113 0 0 25 0 1 0 776698432 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.06
CPU user time (s): 1173.87
CPU system time (s): 1.18182
CPU usage (%): 100.014
Max. virtual memory (Kb): 93208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####