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/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
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	1244.18
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 27032

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 18:52:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18723 boxname=wulflinc10 idbench=1441 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 18723
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        788088 kB
Buffers:         34780 kB
Cached:         191096 kB
SwapCached:        224 kB
Active:          74500 kB
Inactive:       154200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        787836 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12236 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:12:03 (client local time) WITH STATUS 0 IN 1175.52 SECONDS
stats: 18723 7 1175.52 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.672 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: 1175.35 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.95 0.91 2/54 19591
Raw data (stat): 19591 (runsolver) R 19590 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774335593 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+9.99996 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 10403 0 0 0 973 25 0 0 25 0 1 0 774335593 46436352 10366 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11337 10366 1111 63 0 11274 0
vsize: 45348
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 13708 0 0 0 1966 32 0 0 25 0 1 0 774335593 60878848 13630 4294967295 134512640 134714540 3221224592 3221223384 134543552 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.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 14608 0 0 0 2965 34 0 0 25 0 1 0 774335593 64692224 14526 4294967295 134512640 134714540 3221224592 3221223304 134543191 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.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 17246 0 0 0 3959 40 0 0 25 0 1 0 774335593 75235328 17152 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18368 17152 1111 63 0 18305 0
vsize: 73472
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 18100 0 0 0 4957 42 0 0 25 0 1 0 774335593 78606336 18002 4294967295 134512640 134714540 3221224592 3221223320 134622758 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.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 21346 0 0 0 5949 50 0 0 25 0 1 0 774335593 93700096 21090 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22876 21090 1111 63 0 22813 0
vsize: 91504
[startup+70.0003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 22156 0 0 0 6948 52 0 0 25 0 1 0 774335593 96944128 21896 4294967295 134512640 134714540 3221224592 3221223408 134622477 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.0005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 24452 0 0 0 7943 56 0 0 25 0 1 0 774335593 106008576 24187 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25881 24187 1111 63 0 25818 0
vsize: 103524
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 27132 0 0 0 8938 62 0 0 25 0 1 0 774335593 116862976 26847 4294967295 134512640 134714540 3221224592 3221223304 134558617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28531 26847 1111 63 0 28468 0
vsize: 114124
[startup+100 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 27638 0 0 0 9937 63 0 0 25 0 1 0 774335593 118878208 27345 4294967295 134512640 134714540 3221224592 3221223304 134558485 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 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 30155 0 0 0 10932 68 0 0 25 0 1 0 774335593 128987136 29853 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31491 29853 1111 63 0 31428 0
vsize: 125964
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 32367 0 0 0 11928 72 0 0 25 0 1 0 774335593 137965568 32047 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33683 32047 1111 63 0 33620 0
vsize: 134732
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 35012 0 0 0 12921 79 0 0 25 0 1 0 774335593 148414464 34686 4294967295 134512640 134714540 3221224592 3221223320 134622809 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 36073 0 0 0 13918 82 0 0 25 0 1 0 774335593 152768512 35739 4294967295 134512640 134714540 3221224592 3221223328 134622747 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 39661 0 0 0 14911 90 0 0 25 0 1 0 774335593 171585536 39024 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 41378 0 0 0 15906 95 0 0 25 0 1 0 774335593 178249728 40741 4294967295 134512640 134714540 3221224592 3221223320 134622809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43518 40741 1111 63 0 43455 0
vsize: 174072
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 43882 0 0 0 16900 101 0 0 25 0 1 0 774335593 188452864 43234 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46009 43234 1111 63 0 45946 0
vsize: 184036
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 45858 0 0 0 17895 106 0 0 25 0 1 0 774335593 196583424 45183 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47994 45183 1111 63 0 47931 0
vsize: 191976
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 47032 0 0 0 18893 109 0 0 25 0 1 0 774335593 201445376 46346 4294967295 134512640 134714540 3221224592 3221223264 134553186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49181 46346 1111 63 0 49118 0
vsize: 196724
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 48882 0 0 0 19888 113 0 0 25 0 1 0 774335593 209010688 48178 4294967295 134512640 134714540 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51028 48178 1111 63 0 50965 0
vsize: 204112
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51316 0 0 0 20883 119 0 0 25 0 1 0 774335593 218804224 50585 4294967295 134512640 134714540 3221224592 3221223400 134622628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53419 50585 1111 63 0 53356 0
vsize: 213676
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51338 0 0 0 21883 119 0 0 25 0 1 0 774335593 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+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51338 0 0 0 22883 119 0 0 25 0 1 0 774335593 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543162 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51338 0 0 0 23883 119 0 0 25 0 1 0 774335593 218939392 50607 4294967295 134512640 134714540 3221224592 3221223312 134622860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53452 50607 1111 63 0 53389 0
vsize: 213808
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51338 0 0 0 24884 119 0 0 25 0 1 0 774335593 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+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51338 0 0 0 25884 119 0 0 25 0 1 0 774335593 218939392 50607 4294967295 134512640 134714540 3221224592 3221223408 134622468 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 51338 0 0 0 26884 119 0 0 25 0 1 0 774335593 218939392 50607 4294967295 134512640 134714540 3221224592 3221223316 134622859 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 53307 0 0 0 27879 124 0 0 25 0 1 0 774335593 226910208 52558 4294967295 134512640 134714540 3221224592 3221223320 134622806 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 28876 127 0 0 25 0 1 0 774335593 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+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 29876 127 0 0 25 0 1 0 774335593 231165952 53621 4294967295 134512640 134714540 3221224592 3221223408 134622468 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 30877 127 0 0 25 0 1 0 774335593 231165952 53621 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 31877 127 0 0 25 0 1 0 774335593 231165952 53621 4294967295 134512640 134714540 3221224592 3221223328 134622896 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 32877 127 0 0 25 0 1 0 774335593 231165952 53621 4294967295 134512640 134714540 3221224592 3221223320 134622854 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 33877 127 0 0 25 0 1 0 774335593 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+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54379 0 0 0 34877 127 0 0 25 0 1 0 774335593 231165952 53621 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56437 53621 1111 63 0 56374 0
vsize: 225748
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 54766 0 0 0 35877 127 0 0 25 0 1 0 774335593 232787968 54008 4294967295 134512640 134714540 3221224592 3221223392 134610920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56833 54008 1111 63 0 56770 0
vsize: 227332
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 55567 0 0 0 36876 129 0 0 25 0 1 0 774335593 235761664 54809 4294967295 134512640 134714540 3221224592 3221223352 134592337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57559 54810 1111 63 0 57496 0
vsize: 230236
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 56490 0 0 0 37873 131 0 0 25 0 1 0 774335593 239546368 55732 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58483 55732 1111 63 0 58420 0
vsize: 233932
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 57061 0 0 0 38872 133 0 0 25 0 1 0 774335593 241573888 56303 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58978 56303 1111 63 0 58915 0
vsize: 235912
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 57719 0 0 0 39870 135 0 0 25 0 1 0 774335593 244342784 56952 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59654 56952 1111 63 0 59591 0
vsize: 238616
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 58867 0 0 0 40867 138 0 0 25 0 1 0 774335593 249004032 58091 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60792 58091 1111 63 0 60729 0
vsize: 243168
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 59343 0 0 0 41866 140 0 0 25 0 1 0 774335593 250896384 58567 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61254 58567 1111 63 0 61191 0
vsize: 245016
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 61145 0 0 0 42862 144 0 0 25 0 1 0 774335593 257470464 60132 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62859 60132 1111 63 0 62796 0
vsize: 251436
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 63063 0 0 0 43857 148 0 0 25 0 1 0 774335593 265105408 62041 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64723 62041 1111 63 0 64660 0
vsize: 258892
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19591
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 65058 0 0 0 44852 154 0 0 25 0 1 0 774335593 272875520 64032 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66620 64032 1111 63 0 66557 0
vsize: 266480
[startup+459.999 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 66785 0 0 0 45846 161 0 0 25 0 1 0 774335593 279965696 65732 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68351 65732 1111 63 0 68288 0
vsize: 273404
[startup+469.998 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 68394 0 0 0 46841 165 0 0 25 0 1 0 774335593 286359552 67337 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+479.999 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 68394 0 0 0 47841 165 0 0 25 0 1 0 774335593 286359552 67337 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+490 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 68394 0 0 0 48842 165 0 0 25 0 1 0 774335593 286359552 67337 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+499.999 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 68394 0 0 0 49842 165 0 0 25 0 1 0 774335593 286359552 67337 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+509.999 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 68394 0 0 0 50842 165 0 0 25 0 1 0 774335593 286359552 67337 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69912 67337 1111 63 0 69849 0
vsize: 279648
[startup+519.999 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19644
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 74734 0 0 0 51830 177 0 0 25 0 1 0 774335593 314781696 70785 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76851 70785 1111 63 0 76788 0
vsize: 307404
[startup+529.999 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 75894 0 0 0 52827 180 0 0 25 0 1 0 774335593 319307776 71936 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77956 71936 1111 63 0 77893 0
vsize: 311824
[startup+540 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 75916 0 0 0 53827 180 0 0 25 0 1 0 774335593 319442944 71958 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+549.999 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 75916 0 0 0 54827 180 0 0 25 0 1 0 774335593 319442944 71958 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+559.999 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 75916 0 0 0 55828 180 0 0 25 0 1 0 774335593 319442944 71958 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+569.999 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 75916 0 0 0 56828 180 0 0 25 0 1 0 774335593 319442944 71958 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+580 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 75916 0 0 0 57828 180 0 0 25 0 1 0 774335593 319442944 71958 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77989 71958 1111 63 0 77926 0
vsize: 311956
[startup+590 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 76790 0 0 0 58826 182 0 0 25 0 1 0 774335593 322957312 72832 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78847 72832 1111 63 0 78784 0
vsize: 315388
[startup+600 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 77855 0 0 0 59823 185 0 0 25 0 1 0 774335593 327012352 73897 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79837 73897 1111 63 0 79774 0
vsize: 319348
[startup+610.001 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 78410 0 0 0 60823 186 0 0 25 0 1 0 774335593 329310208 74452 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80398 74452 1111 63 0 80335 0
vsize: 321592
[startup+620 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 78917 0 0 0 61822 187 0 0 25 0 1 0 774335593 331202560 74959 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80860 74959 1111 63 0 80797 0
vsize: 323440
[startup+630 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 80378 0 0 0 62819 191 0 0 25 0 1 0 774335593 336879616 76420 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82246 76420 1111 63 0 82183 0
vsize: 328984
[startup+640.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 80855 0 0 0 63818 192 0 0 25 0 1 0 774335593 338771968 76897 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82708 76897 1111 63 0 82645 0
vsize: 330832
[startup+650.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 64817 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+660.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 65818 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+670.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 66818 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+680.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 67818 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+690.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 68818 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+700.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 69818 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+710.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 70819 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+720.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 71819 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+730.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 72819 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+740.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 73819 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+750.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 74819 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+760.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 75820 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+770.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 76820 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+780.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 77820 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+790.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 78820 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+800.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 79820 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+810.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 80821 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+820.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19646
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 81821 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+830.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 82821 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+840.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 83821 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+850.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 84821 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+860.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 85822 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 81158 0 0 0 86822 192 0 0 25 0 1 0 774335593 339988480 77200 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83005 77200 1111 63 0 82942 0
vsize: 332020
[startup+880.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 83080 0 0 0 87818 197 0 0 25 0 1 0 774335593 347557888 79122 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84853 79122 1111 63 0 84790 0
vsize: 339412
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 84164 0 0 0 88815 200 0 0 25 0 1 0 774335593 351813632 80197 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85892 80197 1111 63 0 85829 0
vsize: 343568
[startup+900.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 86203 0 0 0 89811 204 0 0 25 0 1 0 774335593 359710720 82154 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87820 82154 1111 63 0 87757 0
vsize: 351280
[startup+910.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 87890 0 0 0 90808 207 0 0 25 0 1 0 774335593 366333952 83841 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89437 83841 1111 63 0 89374 0
vsize: 357748
[startup+920.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 91804 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+930.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 92804 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+940.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 93804 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+950.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 94804 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+960.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 95805 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+970.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 96805 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+980.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 97805 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+990.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 98805 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 99806 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 100806 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 101806 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 102806 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223396 134622632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 103806 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 104806 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 105807 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 106807 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134536909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 107807 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 108807 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 109808 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 110808 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 111808 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 112808 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 113808 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 114808 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 89634 0 0 0 115809 212 0 0 25 0 1 0 774335593 373215232 85490 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91117 85490 1111 63 0 91054 0
vsize: 364468
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 90343 0 0 0 116808 213 0 0 25 0 1 0 774335593 375783424 86199 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91744 86199 1111 63 0 91681 0
vsize: 366976
[startup+1175.31 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 19648
Raw data (stat): 19591 (bsolo_mis) R 19590 15547 15546 0 -1 0 90343 0 0 0 116808 213 0 0 25 0 1 0 774335593 375783424 86199 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91744 86199 1111 63 0 91681 0
vsize: 0

Child status: 0
Real time (s): 1175.31
CPU time (s): 1175.52
CPU user time (s): 1173.22
CPU system time (s): 2.30265
CPU usage (%): 100.017
Max. virtual memory (Kb): 366976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####