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/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.51
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 28594

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 03:11:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12158 boxname=wulflinc5 idbench=936 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 12158
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        918436 kB
Buffers:          3860 kB
Cached:          91452 kB
SwapCached:        432 kB
Active:          14028 kB
Inactive:        83316 kB
HighTotal:      131008 kB
HighFree:        82740 kB
LowTotal:       903652 kB
LowFree:        835696 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            13116 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:31:18 (client local time) WITH STATUS 0 IN 1177.74 SECONDS
stats: 12158 7 1177.74 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 151 constraints.
c preprocess terminated 0.687 s
c Initial Lower Bound: 60
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1177.58 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.92 0.91 2/54 18035
Raw data (stat): 18035 (runsolver) R 18034 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777318049 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.92 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 10450 0 0 0 972 25 0 0 25 0 1 0 777318049 46706688 10413 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11403 10413 1111 63 0 11340 0
vsize: 45612
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.92 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 13708 0 0 0 1963 34 0 0 25 0 1 0 777318049 60878848 13630 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14863 13630 1111 63 0 14800 0
vsize: 59452
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 14608 0 0 0 2961 36 0 0 25 0 1 0 777318049 64692224 14526 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15794 14526 1111 63 0 15731 0
vsize: 63176
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 17158 0 0 0 3956 42 0 0 25 0 1 0 777318049 74829824 17064 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18269 17064 1111 63 0 18206 0
vsize: 73076
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 18100 0 0 0 4954 44 0 0 25 0 1 0 777318049 78606336 18002 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19191 18002 1111 63 0 19128 0
vsize: 76764
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 21332 0 0 0 5946 52 0 0 25 0 1 0 777318049 93700096 21077 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22876 21077 1111 63 0 22813 0
vsize: 91504
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 22156 0 0 0 6945 53 0 0 25 0 1 0 777318049 96944128 21896 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23668 21896 1111 63 0 23605 0
vsize: 94672
[startup+80.0021 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 24383 0 0 0 7940 59 0 0 25 0 1 0 777318049 105738240 24118 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25815 24118 1111 63 0 25752 0
vsize: 103260
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 27127 0 0 0 8933 66 0 0 25 0 1 0 777318049 116862976 26842 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28531 26842 1111 63 0 28468 0
vsize: 114124
[startup+100.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 27638 0 0 0 9933 66 0 0 25 0 1 0 777318049 118878208 27345 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29023 27345 1111 63 0 28960 0
vsize: 116092
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 29977 0 0 0 10927 72 0 0 25 0 1 0 777318049 128311296 29675 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31326 29675 1111 63 0 31263 0
vsize: 125304
[startup+120.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 32351 0 0 0 11921 78 0 0 25 0 1 0 777318049 137830400 32031 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33650 32031 1111 63 0 33587 0
vsize: 134600
[startup+130.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 35012 0 0 0 12916 84 0 0 25 0 1 0 777318049 148414464 34686 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36234 34686 1111 63 0 36171 0
vsize: 144936
[startup+140.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 36073 0 0 0 13914 86 0 0 25 0 1 0 777318049 152768512 35739 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37297 35739 1111 63 0 37234 0
vsize: 149188
[startup+150.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 39661 0 0 0 14907 93 0 0 25 0 1 0 777318049 171585536 39024 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41891 39024 1111 63 0 41828 0
vsize: 167564
[startup+160.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 40930 0 0 0 15905 96 0 0 25 0 1 0 777318049 176586752 40293 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43112 40293 1111 63 0 43049 0
vsize: 172448
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 43747 0 0 0 16897 103 0 0 25 0 1 0 777318049 187912192 43099 4294967295 134512640 134714540 3221224592 3221223312 134623037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45877 43099 1111 63 0 45814 0
vsize: 183508
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 45790 0 0 0 17893 108 0 0 25 0 1 0 777318049 196313088 45115 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47928 45115 1111 63 0 47865 0
vsize: 191712
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 46926 0 0 0 18890 111 0 0 25 0 1 0 777318049 201039872 46240 4294967295 134512640 134714540 3221224592 3221223408 134622625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49082 46240 1111 63 0 49019 0
vsize: 196328
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 48813 0 0 0 19885 117 0 0 25 0 1 0 777318049 208740352 48109 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50962 48109 1111 63 0 50899 0
vsize: 203848
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51202 0 0 0 20880 122 0 0 25 0 1 0 777318049 218398720 50471 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53320 50471 1111 63 0 53257 0
vsize: 213280
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51338 0 0 0 21880 122 0 0 25 0 1 0 777318049 218939392 50607 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51338 0 0 0 22880 122 0 0 25 0 1 0 777318049 218939392 50607 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51338 0 0 0 23880 122 0 0 25 0 1 0 777318049 218939392 50607 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51338 0 0 0 24880 122 0 0 25 0 1 0 777318049 218939392 50607 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+260.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51338 0 0 0 25880 122 0 0 25 0 1 0 777318049 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 51338 0 0 0 26880 122 0 0 25 0 1 0 777318049 218939392 50607 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 53307 0 0 0 27875 128 0 0 25 0 1 0 777318049 226910208 52558 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55398 52558 1111 63 0 55335 0
vsize: 221592
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 28873 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 29873 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 30873 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 31873 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 32874 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+340.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 33874 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+350.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54379 0 0 0 34874 130 0 0 25 0 1 0 777318049 231165952 53621 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+360.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 54458 0 0 0 35874 130 0 0 25 0 1 0 777318049 231436288 53700 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56503 53700 1111 63 0 56440 0
vsize: 226012
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 55297 0 0 0 36872 133 0 0 25 0 1 0 777318049 234680320 54539 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57295 54539 1111 63 0 57232 0
vsize: 229180
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 56490 0 0 0 37869 135 0 0 25 0 1 0 777318049 239546368 55732 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58483 55732 1111 63 0 58420 0
vsize: 233932
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 57061 0 0 0 38868 137 0 0 25 0 1 0 777318049 241573888 56303 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58978 56303 1111 63 0 58915 0
vsize: 235912
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 57372 0 0 0 39868 137 0 0 25 0 1 0 777318049 242925568 56614 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59308 56614 1111 63 0 59245 0
vsize: 237232
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 58866 0 0 0 40864 141 0 0 25 0 1 0 777318049 249004032 58090 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60792 58090 1111 63 0 60729 0
vsize: 243168
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 59216 0 0 0 41864 142 0 0 25 0 1 0 777318049 250355712 58440 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61122 58440 1111 63 0 61059 0
vsize: 244488
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 60889 0 0 0 42860 145 0 0 25 0 1 0 777318049 256389120 59876 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62595 59876 1111 63 0 62532 0
vsize: 250380
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 62939 0 0 0 43855 150 0 0 25 0 1 0 777318049 264499200 61926 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64575 61926 1111 63 0 64512 0
vsize: 258300
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 65058 0 0 0 44849 157 0 0 25 0 1 0 777318049 272875520 64032 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66620 64032 1111 63 0 66557 0
vsize: 266480
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 66102 0 0 0 45847 159 0 0 25 0 1 0 777318049 277331968 65058 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67708 65058 1111 63 0 67645 0
vsize: 270832
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 68394 0 0 0 46842 164 0 0 25 0 1 0 777318049 286359552 67337 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 68394 0 0 0 47843 164 0 0 25 0 1 0 777318049 286359552 67337 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 68394 0 0 0 48843 164 0 0 25 0 1 0 777318049 286359552 67337 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 68394 0 0 0 49843 164 0 0 25 0 1 0 777318049 286359552 67337 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 68394 0 0 0 50843 164 0 0 25 0 1 0 777318049 286359552 67337 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 69299 0 0 0 51841 167 0 0 25 0 1 0 777318049 290152448 68229 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70838 68229 1111 63 0 70775 0
vsize: 283352
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 75787 0 0 0 52829 178 0 0 25 0 1 0 777318049 318902272 71829 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77857 71829 1111 63 0 77794 0
vsize: 311428
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 75916 0 0 0 53829 179 0 0 25 0 1 0 777318049 319442944 71958 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 75916 0 0 0 54829 179 0 0 25 0 1 0 777318049 319442944 71958 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 75916 0 0 0 55829 179 0 0 25 0 1 0 777318049 319442944 71958 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 75916 0 0 0 56829 179 0 0 25 0 1 0 777318049 319442944 71958 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 75916 0 0 0 57830 179 0 0 25 0 1 0 777318049 319442944 71958 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 76790 0 0 0 58827 181 0 0 25 0 1 0 777318049 322957312 72832 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78847 72832 1111 63 0 78784 0
vsize: 315388
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 77855 0 0 0 59825 184 0 0 25 0 1 0 777318049 327012352 73897 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79837 73897 1111 63 0 79774 0
vsize: 319348
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 78234 0 0 0 60824 184 0 0 25 0 1 0 777318049 328634368 74276 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80233 74276 1111 63 0 80170 0
vsize: 320932
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 78827 0 0 0 61824 186 0 0 25 0 1 0 777318049 330797056 74869 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80761 74869 1111 63 0 80698 0
vsize: 323044
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 79546 0 0 0 62821 188 0 0 25 0 1 0 777318049 333635584 75588 4294967295 134512640 134714540 3221224592 3221223392 134622489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81454 75588 1111 63 0 81391 0
vsize: 325816
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 80593 0 0 0 63818 191 0 0 25 0 1 0 777318049 337690624 76635 4294967295 134512640 134714540 3221224592 3221223384 134536889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82444 76635 1111 63 0 82381 0
vsize: 329776
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 64818 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 65818 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 66818 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 67818 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 68818 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 69818 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 70819 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 71819 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 72819 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 73819 192 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 74819 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 75819 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 76819 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 77819 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 78819 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 79819 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 80820 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 81820 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 82820 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 83820 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 84820 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 85820 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 86821 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 81158 0 0 0 87821 193 0 0 25 0 1 0 777318049 339988480 77200 4294967295 134512640 134714540 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 83650 0 0 0 88814 200 0 0 25 0 1 0 777318049 349650944 79683 4294967295 134512640 134714540 3221224592 3221223264 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85364 79683 1111 63 0 85301 0
vsize: 341456
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 84164 0 0 0 89813 201 0 0 25 0 1 0 777318049 351813632 80197 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85892 80197 1111 63 0 85829 0
vsize: 343568
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 86814 0 0 0 90807 208 0 0 25 0 1 0 777318049 362008576 82765 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88381 82765 1111 63 0 88318 0
vsize: 353524
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89074 0 0 0 91802 213 0 0 25 0 1 0 777318049 370917376 84930 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90556 84930 1111 63 0 90493 0
vsize: 362224
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 92800 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 93800 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 94800 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 95801 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 96801 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 97801 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 98801 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223392 134622487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 99801 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 100801 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 101802 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 102802 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 103802 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 104802 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 105802 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 106803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 107803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 108803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 109803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 110803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 111803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 112803 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 113804 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 114804 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 115804 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 116804 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1177.56 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18035
Raw data (stat): 18035 (bsolo_mis) R 18034 7266 7265 0 -1 0 89634 0 0 0 116804 215 0 0 25 0 1 0 777318049 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 0

Child status: 0
Real time (s): 1177.56
CPU time (s): 1177.74
CPU user time (s): 1175.43
CPU system time (s): 2.31765
CPU usage (%): 100.016
Max. virtual memory (Kb): 364468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####