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-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
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	1175.78
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 25870

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 02:56:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17033 boxname=wulflinc31 idbench=1311 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 17033
/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:        500324 kB
Buffers:          1664 kB
Cached:         502600 kB
SwapCached:        976 kB
Active:          43348 kB
Inactive:       463084 kB
HighTotal:      131008 kB
HighFree:         1092 kB
LowTotal:       903652 kB
LowFree:        499232 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            22280 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 03:16:13 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 17033 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.956 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): 1.48 1.85 1.33 1/55 837
Raw data (stat): 837 (runsolver) D 836 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 818147600 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 1.41 1.82 1.32 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 17141 0 0 0 957 38 0 0 25 0 1 0 818147600 73785344 17103 4294967295 134512640 134714540 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18014 17103 1111 63 0 17951 0
vsize: 72056
[startup+20.0021 s]
Raw data (loadavg): 1.34 1.79 1.32 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 17460 0 0 0 1956 39 0 0 25 0 1 0 818147600 75132928 17422 4294967295 134512640 134714540 3221221776 3221220400 134535405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18343 17422 1111 63 0 18280 0
vsize: 73372
[startup+30.003 s]
Raw data (loadavg): 1.29 1.77 1.31 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 17560 0 0 0 2955 40 0 0 25 0 1 0 818147600 75538432 17522 4294967295 134512640 134714540 3221221776 3221220416 134539425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18442 17522 1111 63 0 18379 0
vsize: 73768
[startup+40.0029 s]
Raw data (loadavg): 1.25 1.74 1.31 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 17601 0 0 0 3953 42 0 0 25 0 1 0 818147600 75673600 17563 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18475 17563 1111 63 0 18412 0
vsize: 73900
[startup+50.0038 s]
Raw data (loadavg): 1.21 1.72 1.31 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 18664 0 0 0 4950 45 0 0 25 0 1 0 818147600 80089088 18626 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19553 18626 1111 63 0 19490 0
vsize: 78212
[startup+60.0046 s]
Raw data (loadavg): 1.17 1.69 1.30 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 18891 0 0 0 5949 46 0 0 25 0 1 0 818147600 81035264 18853 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19784 18853 1111 63 0 19721 0
vsize: 79136
[startup+70.0052 s]
Raw data (loadavg): 1.15 1.67 1.30 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 18989 0 0 0 6949 47 0 0 25 0 1 0 818147600 81428480 18951 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+80.0065 s]
Raw data (loadavg): 1.12 1.65 1.30 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 18989 0 0 0 7948 47 0 0 25 0 1 0 818147600 81428480 18951 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+90.0064 s]
Raw data (loadavg): 1.10 1.62 1.29 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19234 0 0 0 8947 49 0 0 25 0 1 0 818147600 82411520 19196 4294967295 134512640 134714540 3221221776 3221220496 134622817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+100.007 s]
Raw data (loadavg): 1.09 1.60 1.29 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19234 0 0 0 9946 50 0 0 25 0 1 0 818147600 82411520 19196 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+110.008 s]
Raw data (loadavg): 1.07 1.58 1.28 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19234 0 0 0 10946 51 0 0 25 0 1 0 818147600 82411520 19196 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+120.008 s]
Raw data (loadavg): 1.06 1.56 1.28 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19324 0 0 0 11945 51 0 0 25 0 1 0 818147600 82817024 19286 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20219 19286 1111 63 0 20156 0
vsize: 80876
[startup+130.01 s]
Raw data (loadavg): 1.05 1.54 1.28 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 12944 53 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220368 134543075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+140.01 s]
Raw data (loadavg): 1.04 1.53 1.27 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 13944 53 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+150.011 s]
Raw data (loadavg): 1.04 1.51 1.27 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 14944 53 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220504 134622755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+160.012 s]
Raw data (loadavg): 1.03 1.49 1.27 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 15944 53 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+170.012 s]
Raw data (loadavg): 1.02 1.47 1.26 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 16944 54 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+180.013 s]
Raw data (loadavg): 1.02 1.46 1.26 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 17944 54 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+190.014 s]
Raw data (loadavg): 1.02 1.44 1.26 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19325 0 0 0 18944 54 0 0 25 0 1 0 818147600 82804736 19287 4294967295 134512640 134714540 3221221776 3221220488 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+200.014 s]
Raw data (loadavg): 1.01 1.43 1.25 2/55 837
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19451 0 0 0 19943 55 0 0 25 0 1 0 818147600 83308544 19413 4294967295 134512640 134714540 3221221776 3221220512 134695289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20339 19413 1111 63 0 20276 0
vsize: 81356
[startup+210.015 s]
Raw data (loadavg): 1.01 1.41 1.25 3/58 878
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19801 0 0 0 20931 67 0 0 25 0 1 0 818147600 84660224 19763 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20669 19763 1111 63 0 20606 0
vsize: 82676
[startup+220.022 s]
Raw data (loadavg): 1.08 1.42 1.25 2/55 890
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19954 0 0 0 21929 69 0 0 25 0 1 0 818147600 85299200 19916 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20825 19916 1111 63 0 20762 0
vsize: 83300
[startup+230.022 s]
Raw data (loadavg): 1.07 1.40 1.25 2/55 890
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19965 0 0 0 22929 70 0 0 25 0 1 0 818147600 85434368 19927 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+240.022 s]
Raw data (loadavg): 1.06 1.39 1.25 2/55 890
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19965 0 0 0 23929 70 0 0 25 0 1 0 818147600 85434368 19927 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+250.023 s]
Raw data (loadavg): 1.05 1.37 1.25 2/55 890
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 19965 0 0 0 24929 70 0 0 25 0 1 0 818147600 85434368 19927 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+260.024 s]
Raw data (loadavg): 1.04 1.36 1.24 2/55 890
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20054 0 0 0 25928 71 0 0 25 0 1 0 818147600 85704704 20016 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20924 20016 1111 63 0 20861 0
vsize: 83696
[startup+270.024 s]
Raw data (loadavg): 1.03 1.35 1.24 2/55 890
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20141 0 0 0 26928 72 0 0 25 0 1 0 818147600 86106112 20103 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21022 20103 1111 63 0 20959 0
vsize: 84088
[startup+280.024 s]
Raw data (loadavg): 1.03 1.34 1.24 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20535 0 0 0 27926 74 0 0 25 0 1 0 818147600 87715840 20497 4294967295 134512640 134714540 3221221776 3221220560 134528850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21415 20497 1111 63 0 21352 0
vsize: 85660
[startup+290.025 s]
Raw data (loadavg): 1.02 1.33 1.23 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20774 0 0 0 28925 75 0 0 25 0 1 0 818147600 88662016 20736 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21646 20736 1111 63 0 21583 0
vsize: 86584
[startup+300.026 s]
Raw data (loadavg): 1.02 1.31 1.23 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20842 0 0 0 29923 77 0 0 25 0 1 0 818147600 88932352 20804 4294967295 134512640 134714540 3221221776 3221220572 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21712 20804 1111 63 0 21649 0
vsize: 86848
[startup+310.026 s]
Raw data (loadavg): 1.02 1.30 1.23 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20906 0 0 0 30922 79 0 0 25 0 1 0 818147600 89198592 20868 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21777 20868 1111 63 0 21714 0
vsize: 87108
[startup+320.027 s]
Raw data (loadavg): 1.01 1.29 1.22 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20939 0 0 0 31921 80 0 0 25 0 1 0 818147600 89333760 20901 4294967295 134512640 134714540 3221221776 3221220472 1077374433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21810 20901 1111 63 0 21747 0
vsize: 87240
[startup+330.026 s]
Raw data (loadavg): 1.01 1.28 1.22 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20961 0 0 0 32920 81 0 0 25 0 1 0 818147600 89468928 20923 4294967295 134512640 134714540 3221221776 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21843 20923 1111 63 0 21780 0
vsize: 87372
[startup+340.026 s]
Raw data (loadavg): 1.01 1.27 1.22 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 20993 0 0 0 33918 83 0 0 25 0 1 0 818147600 89604096 20955 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21876 20955 1111 63 0 21813 0
vsize: 87504
[startup+350.026 s]
Raw data (loadavg): 1.01 1.26 1.22 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21032 0 0 0 34917 84 0 0 25 0 1 0 818147600 89726976 20994 4294967295 134512640 134714540 3221221776 3221220520 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21906 20994 1111 63 0 21843 0
vsize: 87624
[startup+360.027 s]
Raw data (loadavg): 1.00 1.25 1.21 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21186 0 0 0 35916 85 0 0 25 0 1 0 818147600 90398720 21148 4294967295 134512640 134714540 3221221776 3221220344 1077377885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+370.028 s]
Raw data (loadavg): 1.00 1.25 1.21 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21186 0 0 0 36914 87 0 0 25 0 1 0 818147600 90398720 21148 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+380.028 s]
Raw data (loadavg): 1.00 1.24 1.21 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21213 0 0 0 37914 88 0 0 25 0 1 0 818147600 90521600 21175 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22100 21175 1111 63 0 22037 0
vsize: 88400
[startup+390.028 s]
Raw data (loadavg): 1.00 1.23 1.20 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21306 0 0 0 38911 90 0 0 25 0 1 0 818147600 90927104 21268 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22199 21268 1111 63 0 22136 0
vsize: 88796
[startup+400.028 s]
Raw data (loadavg): 1.00 1.22 1.20 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21314 0 0 0 39910 92 0 0 25 0 1 0 818147600 90927104 21276 4294967295 134512640 134714540 3221221776 3221220580 134611161 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22199 21276 1111 63 0 22136 0
vsize: 88796
[startup+410.028 s]
Raw data (loadavg): 1.00 1.21 1.20 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21325 0 0 0 40909 93 0 0 25 0 1 0 818147600 90927104 21287 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22199 21287 1111 63 0 22136 0
vsize: 88796
[startup+420.028 s]
Raw data (loadavg): 1.00 1.21 1.20 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21337 0 0 0 41909 93 0 0 25 0 1 0 818147600 91062272 21299 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22232 21299 1111 63 0 22169 0
vsize: 88928
[startup+430.029 s]
Raw data (loadavg): 1.00 1.20 1.19 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21465 0 0 0 42907 95 0 0 25 0 1 0 818147600 91467776 21427 4294967295 134512640 134714540 3221221776 3221220488 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22331 21427 1111 63 0 22268 0
vsize: 89324
[startup+440.03 s]
Raw data (loadavg): 1.00 1.19 1.19 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 43907 96 0 0 25 0 1 0 818147600 91738112 21469 4294967295 134512640 134714540 3221221776 3221220416 134696126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+450.03 s]
Raw data (loadavg): 1.00 1.18 1.19 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 44906 96 0 0 25 0 1 0 818147600 91738112 21469 4294967295 134512640 134714540 3221221776 3221220544 134592098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+460.031 s]
Raw data (loadavg): 1.00 1.18 1.18 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 45906 97 0 0 25 0 1 0 818147600 91738112 21469 4294967295 134512640 134714540 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+470.031 s]
Raw data (loadavg): 1.00 1.17 1.18 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 46906 97 0 0 25 0 1 0 818147600 91738112 21469 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+480.031 s]
Raw data (loadavg): 1.00 1.17 1.18 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 47906 97 0 0 25 0 1 0 818147600 91738112 21469 4294967295 134512640 134714540 3221221776 3221220496 134622891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+490.031 s]
Raw data (loadavg): 1.00 1.16 1.18 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 48905 98 0 0 25 0 1 0 818147600 91697152 21469 4294967295 134512640 134714540 3221221776 3221220416 134538802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+500.03 s]
Raw data (loadavg): 1.00 1.15 1.17 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21507 0 0 0 49904 99 0 0 25 0 1 0 818147600 91697152 21469 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+510.03 s]
Raw data (loadavg): 1.00 1.15 1.17 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21570 0 0 0 50903 100 0 0 25 0 1 0 818147600 91967488 21532 4294967295 134512640 134714540 3221221776 3221220352 134542340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22453 21532 1111 63 0 22390 0
vsize: 89812
[startup+520.03 s]
Raw data (loadavg): 1.00 1.14 1.17 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21591 0 0 0 51902 101 0 0 25 0 1 0 818147600 92102656 21553 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21553 1111 63 0 22423 0
vsize: 89944
[startup+530.031 s]
Raw data (loadavg): 1.00 1.14 1.17 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21621 0 0 0 52902 102 0 0 25 0 1 0 818147600 92102656 21583 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+540.031 s]
Raw data (loadavg): 1.00 1.13 1.17 2/55 892
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21621 0 0 0 53902 102 0 0 25 0 1 0 818147600 92102656 21583 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+550.031 s]
Raw data (loadavg): 1.00 1.13 1.16 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21621 0 0 0 54902 102 0 0 25 0 1 0 818147600 92102656 21583 4294967295 134512640 134714540 3221221776 3221220528 134584998 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+560.032 s]
Raw data (loadavg): 1.00 1.12 1.16 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21621 0 0 0 55901 103 0 0 25 0 1 0 818147600 92102656 21583 4294967295 134512640 134714540 3221221776 3221220496 134622791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+570.032 s]
Raw data (loadavg): 1.00 1.12 1.16 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21621 0 0 0 56901 104 0 0 25 0 1 0 818147600 92102656 21583 4294967295 134512640 134714540 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+580.032 s]
Raw data (loadavg): 1.00 1.11 1.16 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 57900 104 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220368 134542680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+590.032 s]
Raw data (loadavg): 1.00 1.11 1.16 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 58900 105 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+600.032 s]
Raw data (loadavg): 1.00 1.11 1.16 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 59899 105 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220492 134543124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+610.032 s]
Raw data (loadavg): 1.00 1.10 1.15 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 60899 106 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+620.032 s]
Raw data (loadavg): 1.00 1.10 1.15 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 61898 107 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+630.032 s]
Raw data (loadavg): 1.00 1.09 1.15 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 62898 108 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220544 134556877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+640.031 s]
Raw data (loadavg): 1.00 1.09 1.15 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 63897 108 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220528 134556763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+650.031 s]
Raw data (loadavg): 1.00 1.09 1.15 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 64897 108 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220580 134622413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+660.031 s]
Raw data (loadavg): 1.00 1.08 1.14 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 65897 108 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220512 134622851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+670.032 s]
Raw data (loadavg): 1.00 1.08 1.14 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 66897 109 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+680.032 s]
Raw data (loadavg): 1.00 1.08 1.14 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 67897 109 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+690.032 s]
Raw data (loadavg): 1.00 1.08 1.14 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 68897 109 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+700.032 s]
Raw data (loadavg): 1.00 1.07 1.14 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 69897 110 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+710.033 s]
Raw data (loadavg): 1.00 1.07 1.13 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21640 0 0 0 70896 110 0 0 25 0 1 0 818147600 92237824 21602 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+720.033 s]
Raw data (loadavg): 1.07 1.08 1.14 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21643 0 0 0 71896 111 0 0 25 0 1 0 818147600 92237824 21605 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21605 1111 63 0 22456 0
vsize: 90076
[startup+730.033 s]
Raw data (loadavg): 1.06 1.08 1.13 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21853 0 0 0 72896 111 0 0 25 0 1 0 818147600 93184000 21815 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22750 21815 1111 63 0 22687 0
vsize: 91000
[startup+740.034 s]
Raw data (loadavg): 1.05 1.08 1.13 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21935 0 0 0 73895 112 0 0 25 0 1 0 818147600 93454336 21897 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22816 21897 1111 63 0 22753 0
vsize: 91264
[startup+750.034 s]
Raw data (loadavg): 1.04 1.07 1.13 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21945 0 0 0 74894 113 0 0 25 0 1 0 818147600 93454336 21907 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22816 21907 1111 63 0 22753 0
vsize: 91264
[startup+760.034 s]
Raw data (loadavg): 1.03 1.07 1.13 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 21977 0 0 0 75894 113 0 0 25 0 1 0 818147600 93589504 21939 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22849 21939 1111 63 0 22786 0
vsize: 91396
[startup+770.034 s]
Raw data (loadavg): 1.03 1.07 1.13 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22004 0 0 0 76894 114 0 0 25 0 1 0 818147600 93724672 21966 4294967295 134512640 134714540 3221221776 3221220400 134535391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22882 21966 1111 63 0 22819 0
vsize: 91528
[startup+780.034 s]
Raw data (loadavg): 1.02 1.06 1.12 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22012 0 0 0 77893 115 0 0 25 0 1 0 818147600 93724672 21974 4294967295 134512640 134714540 3221221776 3221220552 134542401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22882 21974 1111 63 0 22819 0
vsize: 91528
[startup+790.035 s]
Raw data (loadavg): 1.02 1.06 1.12 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22034 0 0 0 78893 115 0 0 25 0 1 0 818147600 93822976 21996 4294967295 134512640 134714540 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22906 21996 1111 63 0 22843 0
vsize: 91624
[startup+800.034 s]
Raw data (loadavg): 1.02 1.06 1.12 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22104 0 0 0 79892 116 0 0 25 0 1 0 818147600 94093312 22066 4294967295 134512640 134714540 3221221776 3221220556 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22972 22066 1111 63 0 22909 0
vsize: 91888
[startup+810.035 s]
Raw data (loadavg): 1.01 1.06 1.12 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22129 0 0 0 80892 116 0 0 25 0 1 0 818147600 94228480 22091 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23005 22091 1111 63 0 22942 0
vsize: 92020
[startup+820.035 s]
Raw data (loadavg): 1.01 1.05 1.12 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22147 0 0 0 81892 117 0 0 25 0 1 0 818147600 94363648 22109 4294967295 134512640 134714540 3221221776 3221220592 134622366 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23038 22109 1111 63 0 22975 0
vsize: 92152
[startup+830.035 s]
Raw data (loadavg): 1.01 1.05 1.11 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22188 0 0 0 82891 117 0 0 25 0 1 0 818147600 94498816 22150 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23071 22150 1111 63 0 23008 0
vsize: 92284
[startup+840.035 s]
Raw data (loadavg): 1.01 1.05 1.11 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22198 0 0 0 83891 118 0 0 25 0 1 0 818147600 94511104 22155 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23074 22155 1111 63 0 23011 0
vsize: 92296
[startup+850.035 s]
Raw data (loadavg): 1.00 1.05 1.11 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22198 0 0 0 84891 118 0 0 25 0 1 0 818147600 94511104 22155 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23074 22155 1111 63 0 23011 0
vsize: 92296
[startup+860.036 s]
Raw data (loadavg): 1.00 1.05 1.11 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22223 0 0 0 85891 118 0 0 25 0 1 0 818147600 94646272 22180 4294967295 134512640 134714540 3221221776 3221220568 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+870.036 s]
Raw data (loadavg): 1.00 1.04 1.11 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22223 0 0 0 86891 118 0 0 25 0 1 0 818147600 94646272 22180 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+880.037 s]
Raw data (loadavg): 1.00 1.04 1.10 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22247 0 0 0 87891 119 0 0 25 0 1 0 818147600 94646272 22204 4294967295 134512640 134714540 3221221776 3221220556 134543569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23107 22204 1111 63 0 23044 0
vsize: 92428
[startup+890.037 s]
Raw data (loadavg): 1.00 1.04 1.10 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22264 0 0 0 88891 119 0 0 25 0 1 0 818147600 94781440 22221 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+900.037 s]
Raw data (loadavg): 1.00 1.04 1.10 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22264 0 0 0 89891 119 0 0 25 0 1 0 818147600 94781440 22221 4294967295 134512640 134714540 3221221776 3221220572 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+910.038 s]
Raw data (loadavg): 1.00 1.04 1.10 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22314 0 0 0 90890 120 0 0 25 0 1 0 818147600 95051776 22271 4294967295 134512640 134714540 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23206 22271 1111 63 0 23143 0
vsize: 92824
[startup+920.038 s]
Raw data (loadavg): 1.00 1.03 1.10 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22316 0 0 0 91890 120 0 0 25 0 1 0 818147600 95051776 22273 4294967295 134512640 134714540 3221221776 3221220568 134536868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23206 22273 1111 63 0 23143 0
vsize: 92824
[startup+930.038 s]
Raw data (loadavg): 1.00 1.03 1.10 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22336 0 0 0 92890 121 0 0 25 0 1 0 818147600 95051776 22293 4294967295 134512640 134714540 3221221776 3221220512 134695243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23206 22293 1111 63 0 23143 0
vsize: 92824
[startup+940.037 s]
Raw data (loadavg): 1.00 1.03 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22371 0 0 0 93889 121 0 0 25 0 1 0 818147600 95174656 22328 4294967295 134512640 134714540 3221221776 3221220600 134624369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+950.037 s]
Raw data (loadavg): 1.00 1.03 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22371 0 0 0 94889 122 0 0 25 0 1 0 818147600 95174656 22328 4294967295 134512640 134714540 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+960.038 s]
Raw data (loadavg): 1.00 1.03 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22371 0 0 0 95889 122 0 0 25 0 1 0 818147600 95174656 22328 4294967295 134512640 134714540 3221221776 3221220592 134622335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+970.038 s]
Raw data (loadavg): 1.00 1.03 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22374 0 0 0 96888 122 0 0 25 0 1 0 818147600 95174656 22331 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22331 1111 63 0 23173 0
vsize: 92944
[startup+980.039 s]
Raw data (loadavg): 1.00 1.03 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22422 0 0 0 97886 124 0 0 25 0 1 0 818147600 95444992 22379 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22379 1111 63 0 23239 0
vsize: 93208
[startup+990.039 s]
Raw data (loadavg): 1.00 1.02 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 98886 124 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220592 134610842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.02 1.09 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 99886 124 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 100886 124 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 101886 125 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220524 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 102885 125 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 103885 126 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 104885 126 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 105885 126 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 106885 126 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 107885 126 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.02 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 108885 127 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.01 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 109885 127 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220488 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.01 1.08 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 110885 127 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220512 134622851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.01 1.07 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 111885 127 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220560 134538646 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.01 1.07 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 112885 127 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.01 1.07 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 113885 128 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.01 1.07 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 114885 128 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.01 1.07 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 115885 128 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220488 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.01 1.07 2/55 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 116885 129 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.01 1.07 1/54 894
Raw data (stat): 837 (bsolo_mis) R 836 7876 7672 0 -1 0 22426 0 0 0 116885 129 0 0 25 0 1 0 818147600 95444992 22383 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 0

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