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/submitted/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
MD5SUM	88aaed929c30a489c8806c3852596de3
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	56
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.173973
Number of variables	5500
Total number of constraints	210
Number of constraints which are clauses	110
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	55
Trace number 23244

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 21:03:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=183 boxname=wulflinc31 idbench=21 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  88aaed929c30a489c8806c3852596de3  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_55_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_55_pb.cnf.cr.opb
IDLAUNCH: 183
/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:        929928 kB
Buffers:         36748 kB
Cached:          46096 kB
SwapCached:        864 kB
Active:          71252 kB
Inactive:        14020 kB
HighTotal:      131008 kB
HighFree:        83804 kB
LowTotal:       903652 kB
LowFree:        846124 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13956 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 21:23:17 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 183 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 5500 variables and 210 constraints.
c After prepocess the problem consists of 5500 variables and 210 constraints.
c preprocess terminated 2.748 s
c Not 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.98 0.91 2/54 14975
Raw data (stat): 14975 (runsolver) R 14974 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 634568896 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1768 0 0 0 989 7 0 0 25 0 1 0 634568896 11067392 1743 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1743 1111 63 0 2639 0
vsize: 10808
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1789 0 0 0 1987 9 0 0 25 0 1 0 634568896 11067392 1764 4294967295 134512640 134714540 3221221776 3221220500 1076648040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2702 1764 1111 63 0 2639 0
vsize: 10808
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1810 0 0 0 2985 11 0 0 25 0 1 0 634568896 11202560 1785 4294967295 134512640 134714540 3221221776 3221220452 134542962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2735 1785 1111 63 0 2672 0
vsize: 10940
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1813 0 0 0 3983 14 0 0 25 0 1 0 634568896 11202560 1788 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2735 1788 1111 63 0 2672 0
vsize: 10940
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1843 0 0 0 4981 16 0 0 25 0 1 0 634568896 11337728 1818 4294967295 134512640 134714540 3221221776 3221220464 134594343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1818 1111 63 0 2705 0
vsize: 11072
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1843 0 0 0 5979 17 0 0 25 0 1 0 634568896 11337728 1818 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1818 1111 63 0 2705 0
vsize: 11072
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1858 0 0 0 6977 20 0 0 25 0 1 0 634568896 11337728 1833 4294967295 134512640 134714540 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1833 1111 63 0 2705 0
vsize: 11072
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1858 0 0 0 7976 21 0 0 25 0 1 0 634568896 11337728 1833 4294967295 134512640 134714540 3221221776 3221220440 134539345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1833 1111 63 0 2705 0
vsize: 11072
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1858 0 0 0 8973 24 0 0 25 0 1 0 634568896 11337728 1833 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2768 1833 1111 63 0 2705 0
vsize: 11072
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1869 0 0 0 9971 26 0 0 25 0 1 0 634568896 11472896 1844 4294967295 134512640 134714540 3221221776 3221220560 134551774 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1844 1111 63 0 2738 0
vsize: 11204
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1869 0 0 0 10969 29 0 0 25 0 1 0 634568896 11472896 1844 4294967295 134512640 134714540 3221221776 3221220384 134548611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1844 1111 63 0 2738 0
vsize: 11204
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1917 0 0 0 11967 31 0 0 25 0 1 0 634568896 11608064 1892 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2834 1892 1111 63 0 2771 0
vsize: 11336
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1956 0 0 0 12965 33 0 0 25 0 1 0 634568896 11849728 1931 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 1931 1111 63 0 2830 0
vsize: 11572
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14975
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1981 0 0 0 13963 35 0 0 25 0 1 0 634568896 11849728 1956 4294967295 134512640 134714540 3221221776 3221220584 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 1956 1111 63 0 2830 0
vsize: 11572
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1981 0 0 0 14961 37 0 0 25 0 1 0 634568896 11849728 1956 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 1956 1111 63 0 2830 0
vsize: 11572
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 1992 0 0 0 15961 38 0 0 25 0 1 0 634568896 11984896 1967 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2926 1967 1111 63 0 2863 0
vsize: 11704
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2002 0 0 0 16958 40 0 0 25 0 1 0 634568896 11984896 1977 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2926 1977 1111 63 0 2863 0
vsize: 11704
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2002 0 0 0 17957 42 0 0 25 0 1 0 634568896 11984896 1977 4294967295 134512640 134714540 3221221776 3221220344 1077377534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2926 1977 1111 63 0 2863 0
vsize: 11704
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2030 0 0 0 18956 43 0 0 25 0 1 0 634568896 12120064 2005 4294967295 134512640 134714540 3221221776 3221220368 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2005 1111 63 0 2896 0
vsize: 11836
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2030 0 0 0 19955 44 0 0 25 0 1 0 634568896 12120064 2005 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2005 1111 63 0 2896 0
vsize: 11836
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2030 0 0 0 20954 45 0 0 25 0 1 0 634568896 12120064 2005 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2005 1111 63 0 2896 0
vsize: 11836
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2030 0 0 0 21953 47 0 0 25 0 1 0 634568896 12120064 2005 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2005 1111 63 0 2896 0
vsize: 11836
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2030 0 0 0 22951 49 0 0 25 0 1 0 634568896 12120064 2005 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2005 1111 63 0 2896 0
vsize: 11836
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2030 0 0 0 23950 50 0 0 25 0 1 0 634568896 12120064 2005 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2005 1111 63 0 2896 0
vsize: 11836
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2050 0 0 0 24949 51 0 0 25 0 1 0 634568896 12255232 2025 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2992 2025 1111 63 0 2929 0
vsize: 11968
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2050 0 0 0 25948 53 0 0 25 0 1 0 634568896 12255232 2025 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2992 2025 1111 63 0 2929 0
vsize: 11968
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2059 0 0 0 26946 54 0 0 25 0 1 0 634568896 12251136 2034 4294967295 134512640 134714540 3221221776 3221220020 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2034 1111 63 0 2928 0
vsize: 11964
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2059 0 0 0 27944 57 0 0 25 0 1 0 634568896 12251136 2034 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2034 1111 63 0 2928 0
vsize: 11964
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2065 0 0 0 28942 58 0 0 25 0 1 0 634568896 12251136 2040 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2040 1111 63 0 2928 0
vsize: 11964
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2065 0 0 0 29941 60 0 0 25 0 1 0 634568896 12251136 2040 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2040 1111 63 0 2928 0
vsize: 11964
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2065 0 0 0 30940 62 0 0 25 0 1 0 634568896 12251136 2040 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2040 1111 63 0 2928 0
vsize: 11964
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2074 0 0 0 31938 63 0 0 25 0 1 0 634568896 12251136 2049 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2049 1111 63 0 2928 0
vsize: 11964
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2074 0 0 0 32937 65 0 0 25 0 1 0 634568896 12251136 2049 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2049 1111 63 0 2928 0
vsize: 11964
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2074 0 0 0 33935 67 0 0 25 0 1 0 634568896 12251136 2049 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2049 1111 63 0 2928 0
vsize: 11964
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2080 0 0 0 34934 68 0 0 25 0 1 0 634568896 12251136 2055 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2055 1111 63 0 2928 0
vsize: 11964
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2087 0 0 0 35932 70 0 0 25 0 1 0 634568896 12386304 2062 4294967295 134512640 134714540 3221221776 3221220416 134696129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2062 1111 63 0 2961 0
vsize: 12096
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2090 0 0 0 36930 72 0 0 25 0 1 0 634568896 12386304 2065 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2065 1111 63 0 2961 0
vsize: 12096
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2113 0 0 0 37929 73 0 0 25 0 1 0 634568896 12386304 2088 4294967295 134512640 134714540 3221221776 3221220344 1077377374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2088 1111 63 0 2961 0
vsize: 12096
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2113 0 0 0 38928 75 0 0 25 0 1 0 634568896 12386304 2088 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2088 1111 63 0 2961 0
vsize: 12096
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2113 0 0 0 39926 77 0 0 25 0 1 0 634568896 12386304 2088 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2088 1111 63 0 2961 0
vsize: 12096
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2113 0 0 0 40925 78 0 0 25 0 1 0 634568896 12386304 2088 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2088 1111 63 0 2961 0
vsize: 12096
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2129 0 0 0 41924 79 0 0 25 0 1 0 634568896 12521472 2104 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2104 1111 63 0 2994 0
vsize: 12228
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2195 0 0 0 42922 81 0 0 25 0 1 0 634568896 12791808 2170 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3123 2170 1111 63 0 3060 0
vsize: 12492
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2246 0 0 0 43921 82 0 0 25 0 1 0 634568896 13049856 2221 4294967295 134512640 134714540 3221221776 3221220336 134696609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3186 2221 1111 63 0 3123 0
vsize: 12744
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2285 0 0 0 44920 83 0 0 25 0 1 0 634568896 13185024 2260 4294967295 134512640 134714540 3221221776 3221220504 1076647870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3219 2260 1111 63 0 3156 0
vsize: 12876
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2311 0 0 0 45918 86 0 0 25 0 1 0 634568896 13320192 2286 4294967295 134512640 134714540 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3252 2286 1111 63 0 3189 0
vsize: 13008
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2323 0 0 0 46916 88 0 0 25 0 1 0 634568896 13320192 2298 4294967295 134512640 134714540 3221221776 3221220336 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3252 2298 1111 63 0 3189 0
vsize: 13008
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2340 0 0 0 47915 90 0 0 25 0 1 0 634568896 13320192 2315 4294967295 134512640 134714540 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3252 2315 1111 63 0 3189 0
vsize: 13008
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2341 0 0 0 48913 91 0 0 25 0 1 0 634568896 13320192 2316 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3252 2316 1111 63 0 3189 0
vsize: 13008
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2355 0 0 0 49912 92 0 0 25 0 1 0 634568896 13455360 2330 4294967295 134512640 134714540 3221221776 3221220508 134532458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2330 1111 63 0 3222 0
vsize: 13140
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2370 0 0 0 50912 93 0 0 25 0 1 0 634568896 13455360 2345 4294967295 134512640 134714540 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2345 1111 63 0 3222 0
vsize: 13140
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2370 0 0 0 51911 94 0 0 25 0 1 0 634568896 13455360 2345 4294967295 134512640 134714540 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2345 1111 63 0 3222 0
vsize: 13140
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2370 0 0 0 52909 96 0 0 25 0 1 0 634568896 13455360 2345 4294967295 134512640 134714540 3221221776 3221220344 1077377221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2345 1111 63 0 3222 0
vsize: 13140
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2389 0 0 0 53908 97 0 0 25 0 1 0 634568896 13590528 2364 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3318 2364 1111 63 0 3255 0
vsize: 13272
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2389 0 0 0 54907 98 0 0 25 0 1 0 634568896 13590528 2364 4294967295 134512640 134714540 3221221776 3221220368 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3318 2364 1111 63 0 3255 0
vsize: 13272
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2404 0 0 0 55905 100 0 0 25 0 1 0 634568896 13590528 2379 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3318 2379 1111 63 0 3255 0
vsize: 13272
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2414 0 0 0 56904 101 0 0 25 0 1 0 634568896 13725696 2389 4294967295 134512640 134714540 3221221776 3221220568 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3351 2389 1111 63 0 3288 0
vsize: 13404
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2421 0 0 0 57903 103 0 0 25 0 1 0 634568896 13725696 2396 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3351 2396 1111 63 0 3288 0
vsize: 13404
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2443 0 0 0 58902 104 0 0 25 0 1 0 634568896 13860864 2418 4294967295 134512640 134714540 3221221776 3221220260 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2418 1111 63 0 3321 0
vsize: 13536
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2472 0 0 0 59900 105 0 0 25 0 1 0 634568896 13860864 2447 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2447 1111 63 0 3321 0
vsize: 13536
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2472 0 0 0 60900 106 0 0 25 0 1 0 634568896 13860864 2447 4294967295 134512640 134714540 3221221776 3221220344 1077377281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2447 1111 63 0 3321 0
vsize: 13536
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2472 0 0 0 61898 108 0 0 25 0 1 0 634568896 13860864 2447 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2447 1111 63 0 3321 0
vsize: 13536
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2472 0 0 0 62897 109 0 0 25 0 1 0 634568896 13860864 2447 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2447 1111 63 0 3321 0
vsize: 13536
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2472 0 0 0 63896 110 0 0 25 0 1 0 634568896 13860864 2447 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2447 1111 63 0 3321 0
vsize: 13536
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2472 0 0 0 64895 111 0 0 25 0 1 0 634568896 13860864 2447 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2447 1111 63 0 3321 0
vsize: 13536
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2483 0 0 0 65894 113 0 0 25 0 1 0 634568896 13991936 2458 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2458 1111 63 0 3353 0
vsize: 13664
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2483 0 0 0 66893 114 0 0 25 0 1 0 634568896 13991936 2458 4294967295 134512640 134714540 3221221776 3221220480 134524443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2458 1111 63 0 3353 0
vsize: 13664
[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2484 0 0 0 67891 116 0 0 25 0 1 0 634568896 13991936 2459 4294967295 134512640 134714540 3221221776 3221220516 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2459 1111 63 0 3353 0
vsize: 13664
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2484 0 0 0 68890 117 0 0 25 0 1 0 634568896 13991936 2459 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2459 1111 63 0 3353 0
vsize: 13664
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2486 0 0 0 69889 119 0 0 25 0 1 0 634568896 13991936 2461 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2461 1111 63 0 3353 0
vsize: 13664
[startup+710.016 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2512 0 0 0 70887 120 0 0 25 0 1 0 634568896 14123008 2487 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2487 1111 63 0 3385 0
vsize: 13792
[startup+720.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2512 0 0 0 71886 122 0 0 25 0 1 0 634568896 14123008 2487 4294967295 134512640 134714540 3221221776 3221220600 134590015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2487 1111 63 0 3385 0
vsize: 13792
[startup+730.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2522 0 0 0 72884 123 0 0 25 0 1 0 634568896 14123008 2497 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2497 1111 63 0 3385 0
vsize: 13792
[startup+740.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2522 0 0 0 73883 125 0 0 25 0 1 0 634568896 14123008 2497 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2497 1111 63 0 3385 0
vsize: 13792
[startup+750.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2534 0 0 0 74882 126 0 0 25 0 1 0 634568896 14123008 2509 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2509 1111 63 0 3385 0
vsize: 13792
[startup+760.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2560 0 0 0 75880 128 0 0 25 0 1 0 634568896 14258176 2535 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3481 2535 1111 63 0 3418 0
vsize: 13924
[startup+770.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2570 0 0 0 76879 130 0 0 25 0 1 0 634568896 14258176 2545 4294967295 134512640 134714540 3221221776 3221220452 134594355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3481 2545 1111 63 0 3418 0
vsize: 13924
[startup+780.018 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2585 0 0 0 77877 132 0 0 25 0 1 0 634568896 14389248 2560 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2560 1111 63 0 3450 0
vsize: 14052
[startup+790.018 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2586 0 0 0 78876 133 0 0 25 0 1 0 634568896 14389248 2561 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2561 1111 63 0 3450 0
vsize: 14052
[startup+800.018 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 79874 135 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+810.019 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 80873 137 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+820.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 81871 138 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+830.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 82870 139 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+840.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 83870 140 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220508 1076648036 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+850.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 84868 142 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+860.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2593 0 0 0 85866 144 0 0 25 0 1 0 634568896 14389248 2568 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2568 1111 63 0 3450 0
vsize: 14052
[startup+870.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2609 0 0 0 86864 146 0 0 25 0 1 0 634568896 14524416 2584 4294967295 134512640 134714540 3221221776 3221220536 134673069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2584 1111 63 0 3483 0
vsize: 14184
[startup+880.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2609 0 0 0 87862 148 0 0 25 0 1 0 634568896 14524416 2584 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2584 1111 63 0 3483 0
vsize: 14184
[startup+890.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2617 0 0 0 88861 150 0 0 25 0 1 0 634568896 14524416 2592 4294967295 134512640 134714540 3221221776 3221220560 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2592 1111 63 0 3483 0
vsize: 14184
[startup+900.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2617 0 0 0 89859 151 0 0 25 0 1 0 634568896 14524416 2592 4294967295 134512640 134714540 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2592 1111 63 0 3483 0
vsize: 14184
[startup+910.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2641 0 0 0 90858 153 0 0 25 0 1 0 634568896 14659584 2616 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2616 1111 63 0 3516 0
vsize: 14316
[startup+920.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2641 0 0 0 91857 154 0 0 25 0 1 0 634568896 14655488 2616 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2616 1111 63 0 3515 0
vsize: 14312
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2654 0 0 0 92855 156 0 0 25 0 1 0 634568896 14655488 2629 4294967295 134512640 134714540 3221221776 3221220320 134696450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2629 1111 63 0 3515 0
vsize: 14312
[startup+940.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2677 0 0 0 93854 157 0 0 25 0 1 0 634568896 14790656 2652 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3611 2652 1111 63 0 3548 0
vsize: 14444
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2677 0 0 0 94853 159 0 0 25 0 1 0 634568896 14790656 2652 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3611 2652 1111 63 0 3548 0
vsize: 14444
[startup+960.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2677 0 0 0 95851 161 0 0 25 0 1 0 634568896 14790656 2652 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3611 2652 1111 63 0 3548 0
vsize: 14444
[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2687 0 0 0 96850 162 0 0 25 0 1 0 634568896 14790656 2662 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3611 2662 1111 63 0 3548 0
vsize: 14444
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2687 0 0 0 97850 163 0 0 25 0 1 0 634568896 14790656 2662 4294967295 134512640 134714540 3221221776 3221220032 134697282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3611 2662 1111 63 0 3548 0
vsize: 14444
[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2692 0 0 0 98848 164 0 0 25 0 1 0 634568896 14790656 2667 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3611 2667 1111 63 0 3548 0
vsize: 14444
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2729 0 0 0 99848 165 0 0 25 0 1 0 634568896 14925824 2704 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3644 2704 1111 63 0 3581 0
vsize: 14576
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2729 0 0 0 100846 167 0 0 25 0 1 0 634568896 14925824 2704 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3644 2704 1111 63 0 3581 0
vsize: 14576
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2738 0 0 0 101846 167 0 0 25 0 1 0 634568896 15060992 2713 4294967295 134512640 134714540 3221221776 3221220528 134592373 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2713 1111 63 0 3614 0
vsize: 14708
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2738 0 0 0 102844 169 0 0 25 0 1 0 634568896 15060992 2713 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2713 1111 63 0 3614 0
vsize: 14708
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2738 0 0 0 103843 170 0 0 25 0 1 0 634568896 15060992 2713 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2713 1111 63 0 3614 0
vsize: 14708
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2738 0 0 0 104842 171 0 0 25 0 1 0 634568896 15060992 2713 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2713 1111 63 0 3614 0
vsize: 14708
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2738 0 0 0 105840 173 0 0 25 0 1 0 634568896 15060992 2713 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2713 1111 63 0 3614 0
vsize: 14708
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2738 0 0 0 106839 175 0 0 25 0 1 0 634568896 15060992 2713 4294967295 134512640 134714540 3221221776 3221220344 1077378438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2713 1111 63 0 3614 0
vsize: 14708
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2752 0 0 0 107837 176 0 0 25 0 1 0 634568896 15060992 2727 4294967295 134512640 134714540 3221221776 3221220544 134592098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3677 2727 1111 63 0 3614 0
vsize: 14708
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2771 0 0 0 108836 178 0 0 25 0 1 0 634568896 15196160 2746 4294967295 134512640 134714540 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2746 1111 63 0 3647 0
vsize: 14840
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2771 0 0 0 109835 179 0 0 25 0 1 0 634568896 15196160 2746 4294967295 134512640 134714540 3221221776 3221220404 134696291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2746 1111 63 0 3647 0
vsize: 14840
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2771 0 0 0 110833 181 0 0 25 0 1 0 634568896 15196160 2746 4294967295 134512640 134714540 3221221776 3221220448 134594380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2746 1111 63 0 3647 0
vsize: 14840
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2771 0 0 0 111832 182 0 0 25 0 1 0 634568896 15196160 2746 4294967295 134512640 134714540 3221221776 3221220232 1077377891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2746 1111 63 0 3647 0
vsize: 14840
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2771 0 0 0 112831 184 0 0 25 0 1 0 634568896 15196160 2746 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2746 1111 63 0 3647 0
vsize: 14840
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2806 0 0 0 113829 186 0 0 25 0 1 0 634568896 15331328 2781 4294967295 134512640 134714540 3221221776 3221220344 1077377353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2781 1111 63 0 3680 0
vsize: 14972
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2806 0 0 0 114828 187 0 0 25 0 1 0 634568896 15331328 2781 4294967295 134512640 134714540 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2781 1111 63 0 3680 0
vsize: 14972
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2810 0 0 0 115826 189 0 0 25 0 1 0 634568896 15331328 2785 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2785 1111 63 0 3680 0
vsize: 14972
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2810 0 0 0 116825 191 0 0 25 0 1 0 634568896 15331328 2785 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2785 1111 63 0 3680 0
vsize: 14972
[startup+1174.89 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 14977
Raw data (stat): 14975 (bsolo_mis) R 14974 7876 7672 0 -1 0 2810 0 0 0 116825 191 0 0 25 0 1 0 634568896 15331328 2785 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3743 2785 1111 63 0 3680 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.03
CPU user time (s): 1173.11
CPU system time (s): 1.92171
CPU usage (%): 100.012
Max. virtual memory (Kb): 14972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####