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-fpga40_39_sat_pb.cnf.cr.opb
MD5SUM	b0b9c98556325dcf5a5811fc2d17a816
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	4.5833
Number of variables	2340
Total number of constraints	1678
Number of constraints which are clauses	1599
Number of constraints which are cardinality constraints (but not clauses)	79
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23404

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 06:23:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=471 boxname=wulflinc31 idbench=53 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b0b9c98556325dcf5a5811fc2d17a816  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_39_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_39_sat_pb.cnf.cr.opb
IDLAUNCH: 471
/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:        923344 kB
Buffers:         39452 kB
Cached:          49840 kB
SwapCached:        944 kB
Active:          74884 kB
Inactive:        16848 kB
HighTotal:      131008 kB
HighFree:        80220 kB
LowTotal:       903652 kB
LowFree:        843124 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14220 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 06:43:10 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 471 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2340 variables and 1678 constraints.
c After prepocess the problem consists of 2340 variables and 1678 constraints.
c preprocess terminated 5.429 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.91 0.98 0.99 2/54 32125
Raw data (stat): 32125 (runsolver) R 32124 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 646569613 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1675 0 0 0 989 7 0 0 25 0 1 0 646569613 10514432 1650 4294967295 134512640 134714540 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2567 1650 1111 63 0 2504 0
vsize: 10268
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1713 0 0 0 1987 9 0 0 25 0 1 0 646569613 10649600 1688 4294967295 134512640 134714540 3221221776 3221220512 134534159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1688 1111 63 0 2537 0
vsize: 10400
[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1760 0 0 0 2985 11 0 0 25 0 1 0 646569613 10919936 1735 4294967295 134512640 134714540 3221221776 3221220464 134542952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2666 1735 1111 63 0 2603 0
vsize: 10664
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1785 0 0 0 3983 13 0 0 25 0 1 0 646569613 11051008 1760 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2698 1760 1111 63 0 2635 0
vsize: 10792
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1819 0 0 0 4982 15 0 0 25 0 1 0 646569613 11186176 1794 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1794 1111 63 0 2668 0
vsize: 10924
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1837 0 0 0 5981 16 0 0 25 0 1 0 646569613 11186176 1812 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1812 1111 63 0 2668 0
vsize: 10924
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1837 0 0 0 6979 18 0 0 25 0 1 0 646569613 11186176 1812 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2731 1812 1111 63 0 2668 0
vsize: 10924
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1875 0 0 0 7979 19 0 0 25 0 1 0 646569613 11321344 1850 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1850 1111 63 0 2701 0
vsize: 11056
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1892 0 0 0 8977 20 0 0 25 0 1 0 646569613 11456512 1867 4294967295 134512640 134714540 3221221776 3221220456 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1867 1111 63 0 2734 0
vsize: 11188
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1899 0 0 0 9976 22 0 0 25 0 1 0 646569613 11456512 1874 4294967295 134512640 134714540 3221221776 3221220464 134551890 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1874 1111 63 0 2734 0
vsize: 11188
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1903 0 0 0 10974 23 0 0 25 0 1 0 646569613 11456512 1878 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1878 1111 63 0 2734 0
vsize: 11188
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1933 0 0 0 11972 26 0 0 25 0 1 0 646569613 11571200 1908 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2825 1908 1111 63 0 2762 0
vsize: 11300
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1961 0 0 0 12971 27 0 0 25 0 1 0 646569613 11706368 1936 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2858 1936 1111 63 0 2795 0
vsize: 11432
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1993 0 0 0 13970 29 0 0 25 0 1 0 646569613 11841536 1968 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2891 1968 1111 63 0 2828 0
vsize: 11564
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 1997 0 0 0 14968 30 0 0 25 0 1 0 646569613 11841536 1972 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2891 1972 1111 63 0 2828 0
vsize: 11564
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2004 0 0 0 15967 32 0 0 25 0 1 0 646569613 11841536 1979 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2891 1979 1111 63 0 2828 0
vsize: 11564
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2028 0 0 0 16965 34 0 0 25 0 1 0 646569613 11976704 2003 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2924 2003 1111 63 0 2861 0
vsize: 11696
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2043 0 0 0 17964 35 0 0 25 0 1 0 646569613 12111872 2018 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2957 2018 1111 63 0 2894 0
vsize: 11828
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2052 0 0 0 18963 36 0 0 25 0 1 0 646569613 12111872 2027 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2957 2027 1111 63 0 2894 0
vsize: 11828
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2077 0 0 0 19962 38 0 0 25 0 1 0 646569613 12247040 2052 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2990 2052 1111 63 0 2927 0
vsize: 11960
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2080 0 0 0 20960 39 0 0 25 0 1 0 646569613 12238848 2055 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 2055 1111 63 0 2925 0
vsize: 11952
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2131 0 0 0 21958 41 0 0 25 0 1 0 646569613 12365824 2106 4294967295 134512640 134714540 3221221776 3221220424 134613406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3019 2106 1111 63 0 2956 0
vsize: 12076
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2143 0 0 0 22955 43 0 0 25 0 1 0 646569613 12500992 2118 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2118 1111 63 0 2989 0
vsize: 12208
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2148 0 0 0 23953 46 0 0 25 0 1 0 646569613 12500992 2123 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2123 1111 63 0 2989 0
vsize: 12208
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2161 0 0 0 24952 47 0 0 25 0 1 0 646569613 12500992 2136 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2136 1111 63 0 2989 0
vsize: 12208
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2166 0 0 0 25951 49 0 0 25 0 1 0 646569613 12500992 2141 4294967295 134512640 134714540 3221221776 3221220180 134697228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3052 2141 1111 63 0 2989 0
vsize: 12208
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2196 0 0 0 26949 50 0 0 25 0 1 0 646569613 12636160 2171 4294967295 134512640 134714540 3221221776 3221220016 134697408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2171 1111 63 0 3022 0
vsize: 12340
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2211 0 0 0 27948 52 0 0 25 0 1 0 646569613 12771328 2186 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2186 1111 63 0 3055 0
vsize: 12472
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2230 0 0 0 28946 53 0 0 25 0 1 0 646569613 12771328 2205 4294967295 134512640 134714540 3221221776 3221220528 134592438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2205 1111 63 0 3055 0
vsize: 12472
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2230 0 0 0 29945 55 0 0 25 0 1 0 646569613 12771328 2205 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2205 1111 63 0 3055 0
vsize: 12472
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2243 0 0 0 30944 56 0 0 25 0 1 0 646569613 12906496 2218 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2218 1111 63 0 3088 0
vsize: 12604
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2259 0 0 0 31943 58 0 0 25 0 1 0 646569613 12906496 2234 4294967295 134512640 134714540 3221221776 3221220384 1077377142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2234 1111 63 0 3088 0
vsize: 12604
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2259 0 0 0 32941 59 0 0 25 0 1 0 646569613 12906496 2234 4294967295 134512640 134714540 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2234 1111 63 0 3088 0
vsize: 12604
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2259 0 0 0 33940 61 0 0 25 0 1 0 646569613 12906496 2234 4294967295 134512640 134714540 3221221776 3221220528 134592373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2234 1111 63 0 3088 0
vsize: 12604
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2291 0 0 0 34939 62 0 0 25 0 1 0 646569613 13041664 2266 4294967295 134512640 134714540 3221221776 3221220448 1076647572 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2266 1111 63 0 3121 0
vsize: 12736
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2299 0 0 0 35938 63 0 0 25 0 1 0 646569613 13041664 2274 4294967295 134512640 134714540 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2274 1111 63 0 3121 0
vsize: 12736
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2321 0 0 0 36936 65 0 0 25 0 1 0 646569613 13172736 2296 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2296 1111 63 0 3153 0
vsize: 12864
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2321 0 0 0 37935 67 0 0 25 0 1 0 646569613 13172736 2296 4294967295 134512640 134714540 3221221776 3221220400 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2296 1111 63 0 3153 0
vsize: 12864
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2331 0 0 0 38934 68 0 0 25 0 1 0 646569613 13172736 2306 4294967295 134512640 134714540 3221221776 3221220528 134592371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2306 1111 63 0 3153 0
vsize: 12864
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2336 0 0 0 39933 69 0 0 25 0 1 0 646569613 13303808 2311 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2311 1111 63 0 3185 0
vsize: 12992
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2366 0 0 0 40931 71 0 0 25 0 1 0 646569613 13438976 2341 4294967295 134512640 134714540 3221221776 3221220432 134526931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2341 1111 63 0 3218 0
vsize: 13124
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2366 0 0 0 41930 72 0 0 25 0 1 0 646569613 13438976 2341 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2341 1111 63 0 3218 0
vsize: 13124
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2379 0 0 0 42929 74 0 0 25 0 1 0 646569613 13438976 2354 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2354 1111 63 0 3218 0
vsize: 13124
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2379 0 0 0 43928 74 0 0 25 0 1 0 646569613 13438976 2354 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2354 1111 63 0 3218 0
vsize: 13124
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2395 0 0 0 44927 76 0 0 25 0 1 0 646569613 13438976 2370 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2370 1111 63 0 3218 0
vsize: 13124
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2406 0 0 0 45925 78 0 0 25 0 1 0 646569613 13574144 2381 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2381 1111 63 0 3251 0
vsize: 13256
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2406 0 0 0 46924 79 0 0 25 0 1 0 646569613 13574144 2381 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2381 1111 63 0 3251 0
vsize: 13256
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2406 0 0 0 47923 80 0 0 25 0 1 0 646569613 13574144 2381 4294967295 134512640 134714540 3221221776 3221220688 134595188 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2381 1111 63 0 3251 0
vsize: 13256
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 48922 81 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 49921 83 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 50919 85 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 51919 85 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 52917 87 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 53916 88 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 54915 89 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 55914 91 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220368 134548578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 56913 92 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220344 1077378441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2413 0 0 0 57911 94 0 0 25 0 1 0 646569613 13574144 2388 4294967295 134512640 134714540 3221221776 3221220400 1077377136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2388 1111 63 0 3251 0
vsize: 13256
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2414 0 0 0 58911 95 0 0 25 0 1 0 646569613 13574144 2389 4294967295 134512640 134714540 3221221776 3221220432 134527272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2389 1111 63 0 3251 0
vsize: 13256
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2426 0 0 0 59909 96 0 0 25 0 1 0 646569613 13574144 2401 4294967295 134512640 134714540 3221221776 3221220480 1076648065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2401 1111 63 0 3251 0
vsize: 13256
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2427 0 0 0 60907 98 0 0 25 0 1 0 646569613 13574144 2402 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2402 1111 63 0 3251 0
vsize: 13256
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2427 0 0 0 61906 100 0 0 25 0 1 0 646569613 13574144 2402 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2402 1111 63 0 3251 0
vsize: 13256
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2427 0 0 0 62905 101 0 0 25 0 1 0 646569613 13574144 2402 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3314 2402 1111 63 0 3251 0
vsize: 13256
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2433 0 0 0 63904 102 0 0 25 0 1 0 646569613 13705216 2408 4294967295 134512640 134714540 3221221776 3221220512 134591875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2408 1111 63 0 3283 0
vsize: 13384
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2445 0 0 0 64903 104 0 0 25 0 1 0 646569613 13705216 2420 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2420 1111 63 0 3283 0
vsize: 13384
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2445 0 0 0 65901 105 0 0 25 0 1 0 646569613 13705216 2420 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2420 1111 63 0 3283 0
vsize: 13384
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2453 0 0 0 66900 106 0 0 25 0 1 0 646569613 13705216 2428 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3346 2428 1111 63 0 3283 0
vsize: 13384
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2472 0 0 0 67899 107 0 0 25 0 1 0 646569613 13840384 2447 4294967295 134512640 134714540 3221221776 3221220404 1077374071 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2447 1111 63 0 3316 0
vsize: 13516
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2487 0 0 0 68898 109 0 0 25 0 1 0 646569613 13840384 2462 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2462 1111 63 0 3316 0
vsize: 13516
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2494 0 0 0 69896 111 0 0 25 0 1 0 646569613 13840384 2469 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2469 1111 63 0 3316 0
vsize: 13516
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2503 0 0 0 70895 112 0 0 25 0 1 0 646569613 13959168 2478 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3408 2478 1111 63 0 3345 0
vsize: 13632
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2509 0 0 0 71894 113 0 0 25 0 1 0 646569613 13959168 2484 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3408 2484 1111 63 0 3345 0
vsize: 13632
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2509 0 0 0 72893 115 0 0 25 0 1 0 646569613 13959168 2484 4294967295 134512640 134714540 3221221776 3221219940 134697375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3408 2484 1111 63 0 3345 0
vsize: 13632
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2509 0 0 0 73891 117 0 0 25 0 1 0 646569613 13959168 2484 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3408 2484 1111 63 0 3345 0
vsize: 13632
[startup+750.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2527 0 0 0 74889 119 0 0 25 0 1 0 646569613 14094336 2502 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2502 1111 63 0 3378 0
vsize: 13764
[startup+760.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2531 0 0 0 75888 120 0 0 25 0 1 0 646569613 14094336 2506 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2506 1111 63 0 3378 0
vsize: 13764
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2555 0 0 0 76887 121 0 0 25 0 1 0 646569613 14094336 2530 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2530 1111 63 0 3378 0
vsize: 13764
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2565 0 0 0 77886 123 0 0 25 0 1 0 646569613 14229504 2540 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2540 1111 63 0 3411 0
vsize: 13896
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2570 0 0 0 78885 124 0 0 25 0 1 0 646569613 14229504 2545 4294967295 134512640 134714540 3221221776 3221220104 134697505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2545 1111 63 0 3411 0
vsize: 13896
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2570 0 0 0 79885 124 0 0 25 0 1 0 646569613 14229504 2545 4294967295 134512640 134714540 3221221776 3221220504 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2545 1111 63 0 3411 0
vsize: 13896
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2586 0 0 0 80884 125 0 0 25 0 1 0 646569613 14229504 2561 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2561 1111 63 0 3411 0
vsize: 13896
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2594 0 0 0 81883 127 0 0 25 0 1 0 646569613 14340096 2569 4294967295 134512640 134714540 3221221776 3221220464 134524469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3501 2569 1111 63 0 3438 0
vsize: 14004
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2607 0 0 0 82882 128 0 0 25 0 1 0 646569613 14340096 2582 4294967295 134512640 134714540 3221221776 3221220500 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3501 2582 1111 63 0 3438 0
vsize: 14004
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2612 0 0 0 83881 129 0 0 25 0 1 0 646569613 14340096 2587 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3501 2587 1111 63 0 3438 0
vsize: 14004
[startup+850.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2626 0 0 0 84879 131 0 0 25 0 1 0 646569613 14475264 2601 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3534 2601 1111 63 0 3471 0
vsize: 14136
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2626 0 0 0 85878 132 0 0 25 0 1 0 646569613 14475264 2601 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3534 2601 1111 63 0 3471 0
vsize: 14136
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2631 0 0 0 86877 134 0 0 25 0 1 0 646569613 14417920 2606 4294967295 134512640 134714540 3221221776 3221220500 134591841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3520 2606 1111 63 0 3457 0
vsize: 14080
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2644 0 0 0 87875 136 0 0 25 0 1 0 646569613 14553088 2619 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2619 1111 63 0 3490 0
vsize: 14212
[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2653 0 0 0 88874 136 0 0 25 0 1 0 646569613 14553088 2628 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2628 1111 63 0 3490 0
vsize: 14212
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2673 0 0 0 89873 138 0 0 25 0 1 0 646569613 14688256 2648 4294967295 134512640 134714540 3221221776 3221220344 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3586 2648 1111 63 0 3523 0
vsize: 14344
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2673 0 0 0 90871 140 0 0 25 0 1 0 646569613 14688256 2648 4294967295 134512640 134714540 3221221776 3221220532 134592339 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3586 2648 1111 63 0 3523 0
vsize: 14344
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2674 0 0 0 91870 141 0 0 25 0 1 0 646569613 14688256 2649 4294967295 134512640 134714540 3221221776 3221220248 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3586 2649 1111 63 0 3523 0
vsize: 14344
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2693 0 0 0 92869 143 0 0 25 0 1 0 646569613 14688256 2668 4294967295 134512640 134714540 3221221776 3221220584 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3586 2668 1111 63 0 3523 0
vsize: 14344
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2708 0 0 0 93868 144 0 0 25 0 1 0 646569613 14823424 2683 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3619 2683 1111 63 0 3556 0
vsize: 14476
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2725 0 0 0 94867 145 0 0 25 0 1 0 646569613 14815232 2700 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2700 1111 63 0 3554 0
vsize: 14468
[startup+960.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2725 0 0 0 95866 146 0 0 25 0 1 0 646569613 14815232 2700 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2700 1111 63 0 3554 0
vsize: 14468
[startup+970.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2725 0 0 0 96865 147 0 0 25 0 1 0 646569613 14815232 2700 4294967295 134512640 134714540 3221221776 3221220432 134536743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2700 1111 63 0 3554 0
vsize: 14468
[startup+980.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2725 0 0 0 97864 148 0 0 25 0 1 0 646569613 14815232 2700 4294967295 134512640 134714540 3221221776 3221220332 134535888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2700 1111 63 0 3554 0
vsize: 14468
[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2725 0 0 0 98863 150 0 0 25 0 1 0 646569613 14815232 2700 4294967295 134512640 134714540 3221221776 3221220292 1076648028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2700 1111 63 0 3554 0
vsize: 14468
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2725 0 0 0 99862 150 0 0 25 0 1 0 646569613 14815232 2700 4294967295 134512640 134714540 3221221776 3221220480 134528721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3617 2700 1111 63 0 3554 0
vsize: 14468
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2736 0 0 0 100862 151 0 0 25 0 1 0 646569613 14950400 2711 4294967295 134512640 134714540 3221221776 3221220384 134549332 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3650 2711 1111 63 0 3587 0
vsize: 14600
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2738 0 0 0 101860 153 0 0 25 0 1 0 646569613 14913536 2713 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2713 1111 63 0 3578 0
vsize: 14564
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2738 0 0 0 102858 155 0 0 25 0 1 0 646569613 14913536 2713 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2713 1111 63 0 3578 0
vsize: 14564
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2748 0 0 0 103858 156 0 0 25 0 1 0 646569613 14913536 2723 4294967295 134512640 134714540 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2723 1111 63 0 3578 0
vsize: 14564
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2748 0 0 0 104856 157 0 0 25 0 1 0 646569613 14913536 2723 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2723 1111 63 0 3578 0
vsize: 14564
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2748 0 0 0 105855 159 0 0 25 0 1 0 646569613 14913536 2723 4294967295 134512640 134714540 3221221776 3221220416 134696155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2723 1111 63 0 3578 0
vsize: 14564
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2756 0 0 0 106853 160 0 0 25 0 1 0 646569613 14913536 2731 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2731 1111 63 0 3578 0
vsize: 14564
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2756 0 0 0 107852 162 0 0 25 0 1 0 646569613 14913536 2731 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2731 1111 63 0 3578 0
vsize: 14564
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2756 0 0 0 108852 163 0 0 25 0 1 0 646569613 14913536 2731 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2731 1111 63 0 3578 0
vsize: 14564
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2783 0 0 0 109851 164 0 0 25 0 1 0 646569613 14991360 2750 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3660 2750 1111 63 0 3597 0
vsize: 14640
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2783 0 0 0 110850 165 0 0 25 0 1 0 646569613 14991360 2750 4294967295 134512640 134714540 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3660 2750 1111 63 0 3597 0
vsize: 14640
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2790 0 0 0 111849 166 0 0 25 0 1 0 646569613 15077376 2757 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2757 1111 63 0 3618 0
vsize: 14724
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2797 0 0 0 112848 167 0 0 25 0 1 0 646569613 15077376 2764 4294967295 134512640 134714540 3221221776 3221220404 134696259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2764 1111 63 0 3618 0
vsize: 14724
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2797 0 0 0 113847 168 0 0 25 0 1 0 646569613 15077376 2764 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2764 1111 63 0 3618 0
vsize: 14724
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2797 0 0 0 114846 170 0 0 25 0 1 0 646569613 15077376 2764 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2764 1111 63 0 3618 0
vsize: 14724
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2797 0 0 0 115844 171 0 0 25 0 1 0 646569613 15077376 2764 4294967295 134512640 134714540 3221221776 3221220404 134696291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2764 1111 63 0 3618 0
vsize: 14724
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2797 0 0 0 116843 172 0 0 25 0 1 0 646569613 15077376 2764 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2764 1111 63 0 3618 0
vsize: 14724
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 32125
Raw data (stat): 32125 (bsolo_mis) R 32124 7876 7672 0 -1 0 2797 0 0 0 116843 172 0 0 25 0 1 0 646569613 15077376 2764 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3681 2764 1111 63 0 3618 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.29
CPU system time (s): 1.74073
CPU usage (%): 100.011
Max. virtual memory (Kb): 14724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####