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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	11.8052
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 25180

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 08:34:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20244 boxname=wulflinc31 idbench=1558 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ic.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ic.opb
IDLAUNCH: 20244
/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:        713168 kB
Buffers:         19580 kB
Cached:         273820 kB
SwapCached:       1040 kB
Active:          83940 kB
Inactive:       217428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        712916 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14324 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 08:53:46 (client local time) WITH STATUS 0 IN 1175.53 SECONDS
stats: 20244 7 1175.53 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 468.169 s
c Initial Lower Bound: 214277037
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.34 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.87 0.95 0.96 2/55 24532
Raw data (stat): 24532 (runsolver) R 24531 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768327106 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.0005 s]
Raw data (loadavg): 0.89 0.95 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 23840 0 0 0 944 52 0 0 25 0 1 0 768327106 111050752 23817 4294967295 134512640 134714540 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27112 23817 1111 63 0 27049 0
vsize: 108448
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 45189 0 0 0 1905 92 0 0 25 0 1 0 768327106 198545408 45166 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48473 45166 1111 63 0 48410 0
vsize: 193892
[startup+30.0024 s]
Raw data (loadavg): 0.92 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 66315 0 0 0 2871 126 0 0 25 0 1 0 768327106 285159424 66292 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69619 66292 1111 63 0 69556 0
vsize: 278476
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 76825 0 0 0 3852 145 0 0 25 0 1 0 768327106 328187904 76802 4294967295 134512640 134714540 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80124 76802 1111 63 0 80061 0
vsize: 320496
[startup+50.0042 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 77223 0 0 0 4851 146 0 0 25 0 1 0 768327106 329854976 77196 4294967295 134512640 134714540 3221221776 3221220400 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80531 77196 1111 63 0 80468 0
vsize: 322124
[startup+60.0052 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 77859 0 0 0 5849 148 0 0 25 0 1 0 768327106 332611584 77830 4294967295 134512640 134714540 3221221776 3221219416 1077360695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81204 77830 1111 63 0 81141 0
vsize: 324816
[startup+70.0061 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 78526 0 0 0 6846 151 0 0 25 0 1 0 768327106 335491072 78495 4294967295 134512640 134714540 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81907 78495 1111 63 0 81844 0
vsize: 327628
[startup+80.007 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 79287 0 0 0 7844 153 0 0 25 0 1 0 768327106 338657280 79254 4294967295 134512640 134714540 3221221776 3221220048 134566629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82680 79254 1111 63 0 82617 0
vsize: 330720
[startup+90.007 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 80011 0 0 0 8841 156 0 0 25 0 1 0 768327106 341663744 79978 4294967295 134512640 134714540 3221221776 3221220052 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83414 79978 1111 63 0 83351 0
vsize: 333656
[startup+100.008 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 80800 0 0 0 9840 157 0 0 25 0 1 0 768327106 344965120 80763 4294967295 134512640 134714540 3221221776 3221220280 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84220 80763 1111 63 0 84157 0
vsize: 336880
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 81526 0 0 0 10837 160 0 0 25 0 1 0 768327106 348151808 81487 4294967295 134512640 134714540 3221221776 3221218252 1077198256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84998 81487 1111 63 0 84935 0
vsize: 339992
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 11833 164 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 12833 165 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 13832 165 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 14832 166 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 15832 166 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 16831 167 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 17831 167 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 18831 168 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 19830 168 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 20830 169 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 21829 169 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 22829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 23829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 24829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 25829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220304 134542944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 26829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 27829 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 28830 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 29830 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83117 0 0 0 30830 170 0 0 25 0 1 0 768327106 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83118 0 0 0 31830 170 0 0 25 0 1 0 768327106 345079808 83010 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83010 1111 63 0 84185 0
vsize: 336992
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83119 0 0 0 32830 170 0 0 25 0 1 0 768327106 345079808 83011 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83011 1111 63 0 84185 0
vsize: 336992
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83119 0 0 0 33830 170 0 0 25 0 1 0 768327106 345079808 83011 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83011 1111 63 0 84185 0
vsize: 336992
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83120 0 0 0 34831 170 0 0 25 0 1 0 768327106 345079808 83012 4294967295 134512640 134714540 3221221776 3221220256 134543008 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83012 1111 63 0 84185 0
vsize: 336992
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83121 0 0 0 35831 170 0 0 25 0 1 0 768327106 345079808 83013 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83013 1111 63 0 84185 0
vsize: 336992
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83122 0 0 0 36831 170 0 0 25 0 1 0 768327106 345079808 83014 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83014 1111 63 0 84185 0
vsize: 336992
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83124 0 0 0 37831 171 0 0 25 0 1 0 768327106 345079808 83016 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83016 1111 63 0 84185 0
vsize: 336992
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83128 0 0 0 38831 171 0 0 25 0 1 0 768327106 345079808 83020 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83020 1111 63 0 84185 0
vsize: 336992
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83131 0 0 0 39832 171 0 0 25 0 1 0 768327106 345079808 83023 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83023 1111 63 0 84185 0
vsize: 336992
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83132 0 0 0 40832 171 0 0 25 0 1 0 768327106 345079808 83024 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83024 1111 63 0 84185 0
vsize: 336992
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83136 0 0 0 41832 171 0 0 25 0 1 0 768327106 345079808 83028 4294967295 134512640 134714540 3221221776 3221220220 134536771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83028 1111 63 0 84185 0
vsize: 336992
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83138 0 0 0 42832 171 0 0 25 0 1 0 768327106 345079808 83030 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83030 1111 63 0 84185 0
vsize: 336992
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83140 0 0 0 43832 171 0 0 25 0 1 0 768327106 345079808 83032 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83032 1111 63 0 84185 0
vsize: 336992
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83145 0 0 0 44832 171 0 0 25 0 1 0 768327106 345079808 83037 4294967295 134512640 134714540 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83037 1111 63 0 84185 0
vsize: 336992
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83148 0 0 0 45833 171 0 0 25 0 1 0 768327106 345079808 83040 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83040 1111 63 0 84185 0
vsize: 336992
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83530 0 0 0 46832 171 0 0 25 0 1 0 768327106 346607616 83422 4294967295 134512640 134714540 3221221776 3221220332 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84621 83422 1111 63 0 84558 0
vsize: 338484
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83538 0 0 0 47832 172 0 0 25 0 1 0 768327106 346607616 83430 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84621 83430 1111 63 0 84558 0
vsize: 338484
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83548 0 0 0 48832 172 0 0 25 0 1 0 768327106 346742784 83440 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84654 83440 1111 63 0 84591 0
vsize: 338616
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83564 0 0 0 49832 172 0 0 25 0 1 0 768327106 346742784 83456 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84654 83456 1111 63 0 84591 0
vsize: 338616
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83574 0 0 0 50832 172 0 0 25 0 1 0 768327106 346742784 83466 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84654 83466 1111 63 0 84591 0
vsize: 338616
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83585 0 0 0 51832 172 0 0 25 0 1 0 768327106 346877952 83477 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84687 83477 1111 63 0 84624 0
vsize: 338748
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83598 0 0 0 52832 172 0 0 25 0 1 0 768327106 346877952 83490 4294967295 134512640 134714540 3221221776 3221220576 134622163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84687 83490 1111 63 0 84624 0
vsize: 338748
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83617 0 0 0 53833 172 0 0 25 0 1 0 768327106 347013120 83509 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84720 83509 1111 63 0 84657 0
vsize: 338880
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83637 0 0 0 54833 172 0 0 25 0 1 0 768327106 347013120 83529 4294967295 134512640 134714540 3221221776 3221220512 134695331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84720 83529 1111 63 0 84657 0
vsize: 338880
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83657 0 0 0 55833 172 0 0 25 0 1 0 768327106 347148288 83549 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84753 83549 1111 63 0 84690 0
vsize: 339012
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83681 0 0 0 56833 173 0 0 25 0 1 0 768327106 347283456 83573 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84786 83573 1111 63 0 84723 0
vsize: 339144
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83704 0 0 0 57833 173 0 0 25 0 1 0 768327106 347283456 83596 4294967295 134512640 134714540 3221221776 3221220332 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84786 83596 1111 63 0 84723 0
vsize: 339144
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83730 0 0 0 58833 173 0 0 25 0 1 0 768327106 347418624 83622 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84819 83622 1111 63 0 84756 0
vsize: 339276
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83751 0 0 0 59833 173 0 0 25 0 1 0 768327106 347553792 83643 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84852 83643 1111 63 0 84789 0
vsize: 339408
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83776 0 0 0 60833 173 0 0 25 0 1 0 768327106 347688960 83668 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84885 83668 1111 63 0 84822 0
vsize: 339540
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83800 0 0 0 61833 173 0 0 25 0 1 0 768327106 347688960 83692 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84885 83692 1111 63 0 84822 0
vsize: 339540
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83836 0 0 0 62833 173 0 0 25 0 1 0 768327106 347824128 83728 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84918 83728 1111 63 0 84855 0
vsize: 339672
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83865 0 0 0 63833 173 0 0 25 0 1 0 768327106 347959296 83757 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84951 83757 1111 63 0 84888 0
vsize: 339804
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83902 0 0 0 64833 173 0 0 25 0 1 0 768327106 348094464 83794 4294967295 134512640 134714540 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84984 83794 1111 63 0 84921 0
vsize: 339936
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83938 0 0 0 65833 174 0 0 25 0 1 0 768327106 348229632 83830 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85017 83830 1111 63 0 84954 0
vsize: 340068
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 83970 0 0 0 66833 174 0 0 25 0 1 0 768327106 348364800 83862 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85050 83862 1111 63 0 84987 0
vsize: 340200
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84007 0 0 0 67834 174 0 0 25 0 1 0 768327106 348635136 83899 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85116 83899 1111 63 0 85053 0
vsize: 340464
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84046 0 0 0 68834 174 0 0 25 0 1 0 768327106 348770304 83938 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85149 83938 1111 63 0 85086 0
vsize: 340596
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84156 0 0 0 69833 175 0 0 25 0 1 0 768327106 349179904 84048 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85249 84048 1111 63 0 85186 0
vsize: 340996
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84200 0 0 0 70833 175 0 0 25 0 1 0 768327106 349315072 84092 4294967295 134512640 134714540 3221221776 3221220568 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85282 84092 1111 63 0 85219 0
vsize: 341128
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84239 0 0 0 71833 175 0 0 25 0 1 0 768327106 349585408 84131 4294967295 134512640 134714540 3221221776 3221220512 134695385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85348 84131 1111 63 0 85285 0
vsize: 341392
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84283 0 0 0 72834 175 0 0 25 0 1 0 768327106 349720576 84175 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85381 84175 1111 63 0 85318 0
vsize: 341524
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84330 0 0 0 73834 175 0 0 25 0 1 0 768327106 349855744 84222 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85414 84222 1111 63 0 85351 0
vsize: 341656
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84368 0 0 0 74834 175 0 0 25 0 1 0 768327106 350126080 84260 4294967295 134512640 134714540 3221221776 3221220512 134695325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85480 84260 1111 63 0 85417 0
vsize: 341920
[startup+760.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84414 0 0 0 75834 175 0 0 25 0 1 0 768327106 350261248 84306 4294967295 134512640 134714540 3221221776 3221220560 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85513 84306 1111 63 0 85450 0
vsize: 342052
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84501 0 0 0 76834 175 0 0 25 0 1 0 768327106 350670848 84393 4294967295 134512640 134714540 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85613 84393 1111 63 0 85550 0
vsize: 342452
[startup+780.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84597 0 0 0 77834 176 0 0 25 0 1 0 768327106 350941184 84489 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85679 84489 1111 63 0 85616 0
vsize: 342716
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84688 0 0 0 78834 176 0 0 25 0 1 0 768327106 351350784 84580 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85779 84580 1111 63 0 85716 0
vsize: 343116
[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84751 0 0 0 79834 176 0 0 25 0 1 0 768327106 351637504 84643 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85849 84643 1111 63 0 85786 0
vsize: 343396
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84854 0 0 0 80834 176 0 0 25 0 1 0 768327106 352043008 84746 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85948 84746 1111 63 0 85885 0
vsize: 343792
[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84909 0 0 0 81834 177 0 0 25 0 1 0 768327106 352313344 84801 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86014 84801 1111 63 0 85951 0
vsize: 344056
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 84994 0 0 0 82834 177 0 0 25 0 1 0 768327106 352718848 84886 4294967295 134512640 134714540 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86113 84886 1111 63 0 86050 0
vsize: 344452
[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85048 0 0 0 83834 177 0 0 25 0 1 0 768327106 352854016 84940 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86146 84940 1111 63 0 86083 0
vsize: 344584
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85204 0 0 0 84834 177 0 0 25 0 1 0 768327106 353529856 85096 4294967295 134512640 134714540 3221221776 3221220568 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86311 85096 1111 63 0 86248 0
vsize: 345244
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85269 0 0 0 85833 178 0 0 25 0 1 0 768327106 353800192 85161 4294967295 134512640 134714540 3221221776 3221220536 134556737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86377 85161 1111 63 0 86314 0
vsize: 345508
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85351 0 0 0 86833 178 0 0 25 0 1 0 768327106 354205696 85243 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86476 85243 1111 63 0 86413 0
vsize: 345904
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85415 0 0 0 87833 178 0 0 25 0 1 0 768327106 354476032 85307 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86542 85307 1111 63 0 86479 0
vsize: 346168
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85532 0 0 0 88833 179 0 0 25 0 1 0 768327106 354889728 85424 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86643 85424 1111 63 0 86580 0
vsize: 346572
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85631 0 0 0 89833 179 0 0 25 0 1 0 768327106 355295232 85522 4294967295 134512640 134714540 3221221776 3221220572 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86742 85522 1111 63 0 86679 0
vsize: 346968
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85706 0 0 0 90833 179 0 0 25 0 1 0 768327106 355565568 85596 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86808 85596 1111 63 0 86745 0
vsize: 347232
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85799 0 0 0 91833 179 0 0 25 0 1 0 768327106 355971072 85688 4294967295 134512640 134714540 3221221776 3221220536 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86907 85688 1111 63 0 86844 0
vsize: 347628
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 85994 0 0 0 92832 180 0 0 25 0 1 0 768327106 356782080 85883 4294967295 134512640 134714540 3221221776 3221220332 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87105 85883 1111 63 0 87042 0
vsize: 348420
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86042 0 0 0 93833 180 0 0 25 0 1 0 768327106 357052416 85931 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87171 85931 1111 63 0 87108 0
vsize: 348684
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86097 0 0 0 94833 180 0 0 25 0 1 0 768327106 357187584 85986 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87204 85986 1111 63 0 87141 0
vsize: 348816
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86236 0 0 0 95832 181 0 0 25 0 1 0 768327106 357863424 86125 4294967295 134512640 134714540 3221221776 3221220672 134621504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87369 86125 1111 63 0 87306 0
vsize: 349476
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86304 0 0 0 96832 181 0 0 25 0 1 0 768327106 358133760 86193 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87435 86193 1111 63 0 87372 0
vsize: 349740
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86389 0 0 0 97833 181 0 0 25 0 1 0 768327106 358412288 86277 4294967295 134512640 134714540 3221221776 3221220652 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87503 86277 1111 63 0 87440 0
vsize: 350012
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86483 0 0 0 98832 181 0 0 25 0 1 0 768327106 358817792 86371 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87602 86371 1111 63 0 87539 0
vsize: 350408
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86560 0 0 0 99832 182 0 0 25 0 1 0 768327106 359088128 86448 4294967295 134512640 134714540 3221221776 3221220656 134621577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87668 86448 1111 63 0 87605 0
vsize: 350672
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86616 0 0 0 100832 182 0 0 25 0 1 0 768327106 359358464 86504 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87734 86504 1111 63 0 87671 0
vsize: 350936
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86718 0 0 0 101832 182 0 0 25 0 1 0 768327106 359768064 86606 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87834 86606 1111 63 0 87771 0
vsize: 351336
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86787 0 0 0 102832 182 0 0 25 0 1 0 768327106 360038400 86675 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87900 86675 1111 63 0 87837 0
vsize: 351600
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86845 0 0 0 103832 182 0 0 25 0 1 0 768327106 360308736 86733 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87966 86733 1111 63 0 87903 0
vsize: 351864
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 86955 0 0 0 104832 182 0 0 25 0 1 0 768327106 360714240 86843 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88065 86843 1111 63 0 88002 0
vsize: 352260
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87128 0 0 0 105832 183 0 0 25 0 1 0 768327106 361525248 87016 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88263 87016 1111 63 0 88200 0
vsize: 353052
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87290 0 0 0 106832 183 0 0 25 0 1 0 768327106 362205184 87178 4294967295 134512640 134714540 3221221776 3221220656 134621636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88429 87178 1111 63 0 88366 0
vsize: 353716
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87388 0 0 0 107832 183 0 0 25 0 1 0 768327106 362610688 87276 4294967295 134512640 134714540 3221221776 3221220512 134695328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88528 87276 1111 63 0 88465 0
vsize: 354112
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87475 0 0 0 108832 184 0 0 25 0 1 0 768327106 362881024 87363 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88594 87363 1111 63 0 88531 0
vsize: 354376
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87571 0 0 0 109832 184 0 0 25 0 1 0 768327106 363290624 87459 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88694 87459 1111 63 0 88631 0
vsize: 354776
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87655 0 0 0 110832 184 0 0 25 0 1 0 768327106 363696128 87543 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88793 87543 1111 63 0 88730 0
vsize: 355172
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87744 0 0 0 111832 184 0 0 25 0 1 0 768327106 363966464 87632 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88859 87632 1111 63 0 88796 0
vsize: 355436
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87833 0 0 0 112831 185 0 0 25 0 1 0 768327106 364371968 87721 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88958 87721 1111 63 0 88895 0
vsize: 355832
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87914 0 0 0 113831 185 0 0 25 0 1 0 768327106 364777472 87802 4294967295 134512640 134714540 3221221776 3221220540 134556736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89057 87802 1111 63 0 88994 0
vsize: 356228
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 87999 0 0 0 114831 185 0 0 25 0 1 0 768327106 365047808 87887 4294967295 134512640 134714540 3221221776 3221220648 134536901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89123 87887 1111 63 0 89060 0
vsize: 356492
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 88074 0 0 0 115831 185 0 0 25 0 1 0 768327106 365457408 87962 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89223 87962 1111 63 0 89160 0
vsize: 356892
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 88148 0 0 0 116831 186 0 0 25 0 1 0 768327106 365727744 88036 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89289 88036 1111 63 0 89226 0
vsize: 357156
[startup+1175.41 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 24532
Raw data (stat): 24532 (bsolo_mis) R 24531 7876 7672 0 -1 0 88148 0 0 0 116831 186 0 0 25 0 1 0 768327106 365727744 88036 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89289 88036 1111 63 0 89226 0
vsize: 0

Child status: 0
Real time (s): 1175.41
CPU time (s): 1175.53
CPU user time (s): 1173.5
CPU system time (s): 2.03069
CPU usage (%): 100.01
Max. virtual memory (Kb): 357156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####