PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUM	64cd8dd71c00255f05a721f3d3f16ae5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7037881
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23384
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	1202
Trace number 28538

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 02:52:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12418 boxname=wulflinc18 idbench=956 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  64cd8dd71c00255f05a721f3d3f16ae5  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-aflow40b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-aflow40b.opb
IDLAUNCH: 12418
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        676056 kB
Buffers:         14424 kB
Cached:         313156 kB
SwapCached:        588 kB
Active:          27572 kB
Inactive:       305364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        675804 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:             520 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            20092 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:11:55 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 12418 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 23384 variables and 2884 constraints.
c After prepocess the problem consists of 23338 variables and 2843 constraints.
c preprocess terminated 374.237 s
c Initial Lower Bound: 767
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.99 2/54 28815
Raw data (stat): 28815 (runsolver) R 28814 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835409350 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 29168 0 0 0 935 63 0 0 25 0 1 0 835409350 133259264 29146 4294967295 134512640 134714540 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32534 29146 1111 63 0 32471 0
vsize: 130136
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 1912 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 2912 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223008 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 3912 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 4913 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 5913 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 6913 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 7913 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 8913 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223072 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 9914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+110.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 10914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 11914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 12914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223072 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 13914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222972 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 14914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 15914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 16914 86 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223100 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 17914 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223360 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 18915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 19915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223004 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 20915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223208 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 21915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223024 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 22915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 23915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223036 134542824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 24915 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222984 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 25916 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223144 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 26916 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223208 134536889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 27916 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 28916 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 29916 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 30916 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 31917 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223448 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 32917 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 33917 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222972 134539282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 34917 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221222956 134539273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 35917 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39262 0 0 0 36917 87 0 0 25 0 1 0 835409350 164724736 39160 4294967295 134512640 134714540 3221224592 3221223136 134584811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40216 39160 1111 63 0 40153 0
vsize: 160864
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39325 0 0 0 37916 87 0 0 25 0 1 0 835409350 165101568 39223 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39223 1111 63 0 40245 0
vsize: 161232
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39325 0 0 0 38916 87 0 0 25 0 1 0 835409350 165101568 39223 4294967295 134512640 134714540 3221224592 3221223364 134624779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39223 1111 63 0 40245 0
vsize: 161232
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39325 0 0 0 39916 88 0 0 25 0 1 0 835409350 165101568 39223 4294967295 134512640 134714540 3221224592 3221223296 134556515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39223 1111 63 0 40245 0
vsize: 161232
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39325 0 0 0 40917 88 0 0 25 0 1 0 835409350 165101568 39223 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39223 1111 63 0 40245 0
vsize: 161232
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39327 0 0 0 41917 88 0 0 25 0 1 0 835409350 165101568 39225 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39225 1111 63 0 40245 0
vsize: 161232
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39327 0 0 0 42917 88 0 0 25 0 1 0 835409350 165101568 39225 4294967295 134512640 134714540 3221224592 3221223312 134556657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39225 1111 63 0 40245 0
vsize: 161232
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39327 0 0 0 43917 88 0 0 25 0 1 0 835409350 165101568 39225 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39225 1111 63 0 40245 0
vsize: 161232
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39327 0 0 0 44917 88 0 0 25 0 1 0 835409350 165101568 39225 4294967295 134512640 134714540 3221224592 3221223408 134610906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39225 1111 63 0 40245 0
vsize: 161232
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28815
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39327 0 0 0 45917 89 0 0 25 0 1 0 835409350 165101568 39225 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39225 1111 63 0 40245 0
vsize: 161232
[startup+470.027 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39329 0 0 0 46917 89 0 0 25 0 1 0 835409350 165101568 39227 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39227 1111 63 0 40245 0
vsize: 161232
[startup+480.029 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39329 0 0 0 47917 89 0 0 25 0 1 0 835409350 165101568 39227 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39227 1111 63 0 40245 0
vsize: 161232
[startup+490.029 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39329 0 0 0 48917 89 0 0 25 0 1 0 835409350 165101568 39227 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39227 1111 63 0 40245 0
vsize: 161232
[startup+500.03 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39329 0 0 0 49917 89 0 0 25 0 1 0 835409350 165101568 39227 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39227 1111 63 0 40245 0
vsize: 161232
[startup+510.031 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 50917 90 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223264 134553180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+520.031 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 51917 90 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+530.032 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 28868
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 52917 90 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+540.032 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 53917 91 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+550.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 54917 91 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+560.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 55917 91 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223288 134558568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+570.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 56917 91 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223344 134624488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+580.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 57917 91 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+590.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 58917 91 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+600.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 39331 0 0 0 59917 92 0 0 25 0 1 0 835409350 165101568 39229 4294967295 134512640 134714540 3221224592 3221223340 134556731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40308 39229 1111 63 0 40245 0
vsize: 161232
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40274 0 0 0 60915 94 0 0 25 0 1 0 835409350 169021440 40172 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41265 40172 1111 63 0 41202 0
vsize: 165060
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40274 0 0 0 61915 94 0 0 25 0 1 0 835409350 169021440 40172 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41265 40172 1111 63 0 41202 0
vsize: 165060
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40328 0 0 0 62915 94 0 0 25 0 1 0 835409350 169295872 40226 4294967295 134512640 134714540 3221224592 3221223312 134556783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41332 40226 1111 63 0 41269 0
vsize: 165328
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40374 0 0 0 63916 95 0 0 25 0 1 0 835409350 169431040 40272 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41365 40272 1111 63 0 41302 0
vsize: 165460
[startup+650.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40374 0 0 0 64926 95 0 0 25 0 1 0 835409350 169431040 40272 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41365 40272 1111 63 0 41302 0
vsize: 165460
[startup+660.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40374 0 0 0 65926 95 0 0 25 0 1 0 835409350 169431040 40272 4294967295 134512640 134714540 3221224592 3221223356 134556376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41365 40272 1111 63 0 41302 0
vsize: 165460
[startup+670.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40374 0 0 0 66926 95 0 0 25 0 1 0 835409350 169431040 40272 4294967295 134512640 134714540 3221224592 3221223280 134556775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41365 40272 1111 63 0 41302 0
vsize: 165460
[startup+680.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40374 0 0 0 67926 96 0 0 25 0 1 0 835409350 169431040 40272 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41365 40272 1111 63 0 41302 0
vsize: 165460
[startup+690.151 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 40939 0 0 0 68925 97 0 0 25 0 1 0 835409350 171728896 40837 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41926 40837 1111 63 0 41863 0
vsize: 167704
[startup+700.152 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41536 0 0 0 69924 98 0 0 25 0 1 0 835409350 174161920 41434 4294967295 134512640 134714540 3221224592 3221223328 134695340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42520 41434 1111 63 0 42457 0
vsize: 170080
[startup+710.159 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41536 0 0 0 70924 98 0 0 25 0 1 0 835409350 174161920 41434 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42520 41434 1111 63 0 42457 0
vsize: 170080
[startup+720.173 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 71926 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+730.174 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 72926 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+740.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 73926 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+750.186 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 74927 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223328 134556392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+760.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 75927 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223408 134622124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+770.187 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28870
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 76927 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+780.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 77927 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223336 134558576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+790.188 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 78928 99 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+800.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 79928 100 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223296 134556911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+810.189 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 80928 100 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+820.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 81928 100 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223312 134556758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+830.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 82928 100 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223160 1077378415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+840.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 83928 100 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+850.192 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 84928 100 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+860.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 85928 101 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+870.193 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 86928 101 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+880.194 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 87928 101 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+890.195 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 88928 101 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223340 134695408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+900.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 89928 101 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+910.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 90928 102 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+920.196 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 91928 102 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+930.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 92928 102 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223312 134556640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+940.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 93928 102 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+950.197 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 94928 103 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+960.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 95928 103 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+970.198 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 96928 103 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+980.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 97928 103 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+990.199 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 98928 103 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1000.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 99928 104 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1010.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 100927 104 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223312 134556783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1020.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 101928 104 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1030.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 102927 104 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1040.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 103928 105 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1050.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41584 0 0 0 104927 105 0 0 25 0 1 0 835409350 174432256 41482 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41482 1111 63 0 42523 0
vsize: 170344
[startup+1060.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41657 0 0 0 105927 106 0 0 25 0 1 0 835409350 174432256 41497 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41497 1111 63 0 42523 0
vsize: 170344
[startup+1070.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41657 0 0 0 106926 106 0 0 25 0 1 0 835409350 174432256 41497 4294967295 134512640 134714540 3221224592 3221223264 134553605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41497 1111 63 0 42523 0
vsize: 170344
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41657 0 0 0 107926 107 0 0 25 0 1 0 835409350 174432256 41497 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41497 1111 63 0 42523 0
vsize: 170344
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41657 0 0 0 108926 107 0 0 25 0 1 0 835409350 174432256 41497 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41497 1111 63 0 42523 0
vsize: 170344
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41657 0 0 0 109926 107 0 0 25 0 1 0 835409350 174432256 41497 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41497 1111 63 0 42523 0
vsize: 170344
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 41657 0 0 0 110925 108 0 0 25 0 1 0 835409350 174432256 41497 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41497 1111 63 0 42523 0
vsize: 170344
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42176 0 0 0 111923 110 0 0 25 0 1 0 835409350 176533504 42016 4294967295 134512640 134714540 3221224592 3221223288 134558561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43099 42016 1111 63 0 43036 0
vsize: 172396
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42176 0 0 0 112923 110 0 0 25 0 1 0 835409350 176533504 42016 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43099 42016 1111 63 0 43036 0
vsize: 172396
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42293 0 0 0 113923 111 0 0 25 0 1 0 835409350 177074176 42133 4294967295 134512640 134714540 3221224592 3221223408 134610966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43231 42133 1111 63 0 43168 0
vsize: 172924
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42425 0 0 0 114921 113 0 0 25 0 1 0 835409350 177627136 42265 4294967295 134512640 134714540 3221224592 3221223296 134556515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43366 42265 1111 63 0 43303 0
vsize: 173464
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42469 0 0 0 115921 113 0 0 25 0 1 0 835409350 177786880 42309 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43405 42309 1111 63 0 43342 0
vsize: 173620
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42697 0 0 0 116920 114 0 0 25 0 1 0 835409350 178585600 42521 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43600 42521 1111 63 0 43537 0
vsize: 174400
[startup+1174.98 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 28872
Raw data (stat): 28815 (bsolo_mis) R 28814 24172 24171 0 -1 0 42697 0 0 0 116920 114 0 0 25 0 1 0 835409350 178585600 42521 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43600 42521 1111 63 0 43537 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.12
CPU user time (s): 1173.89
CPU system time (s): 1.23681
CPU usage (%): 100.013
Max. virtual memory (Kb): 174400
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####