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/miplib/normalized-mps-v2-13-7-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	15249
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.38
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 27417

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 21:42:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17150 boxname=wulflinc4 idbench=1320 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 17150
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        824492 kB
Buffers:         34516 kB
Cached:         155244 kB
SwapCached:        504 kB
Active:          59028 kB
Inactive:       133260 kB
HighTotal:      131008 kB
HighFree:          588 kB
LowTotal:       903652 kB
LowFree:        823904 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12168 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:02:11 (client local time) WITH STATUS 0 IN 1177.47 SECONDS
stats: 17150 7 1177.47 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.673 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.31 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.98 0.97 2/54 23719
Raw data (stat): 23719 (runsolver) R 23718 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775334933 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.0014 s]
Raw data (loadavg): 0.93 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 10450 0 0 0 973 25 0 0 25 0 1 0 775334933 46706688 10413 4294967295 134512640 134714540 3221224592 3221223384 134542448 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.0022 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 13708 0 0 0 1964 34 0 0 25 0 1 0 775334933 60878848 13630 4294967295 134512640 134714540 3221224592 3221223388 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13630 1111 63 0 14800 0
vsize: 59452
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 14608 0 0 0 2961 37 0 0 25 0 1 0 775334933 64692224 14526 4294967295 134512640 134714540 3221224592 3221223392 134622574 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.003 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 17280 0 0 0 3954 43 0 0 25 0 1 0 775334933 75370496 17186 4294967295 134512640 134714540 3221224592 3221223360 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18401 17186 1111 63 0 18338 0
vsize: 73604
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 18100 0 0 0 4952 45 0 0 25 0 1 0 775334933 78606336 18002 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.0041 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 21344 0 0 0 5944 53 0 0 25 0 1 0 775334933 93700096 21089 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22876 21089 1111 63 0 22813 0
vsize: 91504
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 22156 0 0 0 6943 55 0 0 25 0 1 0 775334933 96944128 21896 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.0052 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 24399 0 0 0 7938 60 0 0 25 0 1 0 775334933 105738240 24134 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25815 24134 1111 63 0 25752 0
vsize: 103260
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 27132 0 0 0 8930 68 0 0 25 0 1 0 775334933 116862976 26847 4294967295 134512640 134714540 3221224592 3221223328 134622747 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.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 27638 0 0 0 9929 69 0 0 25 0 1 0 775334933 118878208 27345 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 29977 0 0 0 10924 74 0 0 25 0 1 0 775334933 128311296 29675 4294967295 134512640 134714540 3221224592 3221223156 134543025 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.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 32351 0 0 0 11920 79 0 0 25 0 1 0 775334933 137830400 32031 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 35012 0 0 0 12913 86 0 0 25 0 1 0 775334933 148414464 34686 4294967295 134512640 134714540 3221224592 3221223304 134543168 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.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 36073 0 0 0 13911 88 0 0 25 0 1 0 775334933 152768512 35739 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 39661 0 0 0 14901 98 0 0 25 0 1 0 775334933 171585536 39024 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 41158 0 0 0 15898 101 0 0 25 0 1 0 775334933 177573888 40521 4294967295 134512640 134714540 3221224592 3221223396 134610550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43353 40521 1111 63 0 43290 0
vsize: 173412
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 43838 0 0 0 16892 107 0 0 25 0 1 0 775334933 188182528 43190 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45943 43190 1111 63 0 45880 0
vsize: 183772
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 45790 0 0 0 17887 113 0 0 25 0 1 0 775334933 196313088 45115 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 46926 0 0 0 18884 115 0 0 25 0 1 0 775334933 201039872 46240 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 48813 0 0 0 19879 121 0 0 25 0 1 0 775334933 208740352 48109 4294967295 134512640 134714540 3221224592 3221223312 134622936 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.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51247 0 0 0 20872 127 0 0 25 0 1 0 775334933 218533888 50516 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53353 50516 1111 63 0 53290 0
vsize: 213412
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51338 0 0 0 21872 128 0 0 25 0 1 0 775334933 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.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51338 0 0 0 22873 128 0 0 25 0 1 0 775334933 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51338 0 0 0 23873 128 0 0 25 0 1 0 775334933 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+250.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51338 0 0 0 24873 128 0 0 25 0 1 0 775334933 218939392 50607 4294967295 134512640 134714540 3221224592 3221223316 134622833 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.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51338 0 0 0 25873 128 0 0 25 0 1 0 775334933 218939392 50607 4294967295 134512640 134714540 3221224592 3221223304 134543179 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.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 51338 0 0 0 26873 128 0 0 25 0 1 0 775334933 218939392 50607 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 53307 0 0 0 27869 132 0 0 25 0 1 0 775334933 226910208 52558 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 28866 135 0 0 25 0 1 0 775334933 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+300.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 29866 135 0 0 25 0 1 0 775334933 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+310.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 30867 135 0 0 25 0 1 0 775334933 231165952 53621 4294967295 134512640 134714540 3221224592 3221223312 134622766 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.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 31867 135 0 0 25 0 1 0 775334933 231165952 53621 4294967295 134512640 134714540 3221224592 3221223304 134543133 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.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 32867 135 0 0 25 0 1 0 775334933 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+340.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 33867 135 0 0 25 0 1 0 775334933 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+350.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54379 0 0 0 34867 135 0 0 25 0 1 0 775334933 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.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 54493 0 0 0 35867 135 0 0 25 0 1 0 775334933 231571456 53735 4294967295 134512640 134714540 3221224592 3221223320 134622831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56536 53735 1111 63 0 56473 0
vsize: 226144
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 55297 0 0 0 36865 138 0 0 25 0 1 0 775334933 234680320 54539 4294967295 134512640 134714540 3221224592 3221223368 134543154 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.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 56490 0 0 0 37862 141 0 0 25 0 1 0 775334933 239546368 55732 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 57061 0 0 0 38860 143 0 0 25 0 1 0 775334933 241573888 56303 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 57372 0 0 0 39860 143 0 0 25 0 1 0 775334933 242925568 56614 4294967295 134512640 134714540 3221224592 3221223408 134622464 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.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 58866 0 0 0 40856 148 0 0 25 0 1 0 775334933 249004032 58090 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 59343 0 0 0 41855 149 0 0 25 0 1 0 775334933 250896384 58567 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61254 58567 1111 63 0 61191 0
vsize: 245016
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 60959 0 0 0 42852 152 0 0 25 0 1 0 775334933 256659456 59946 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62661 59946 1111 63 0 62598 0
vsize: 250644
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 62980 0 0 0 43849 157 0 0 25 0 1 0 775334933 264634368 61967 4294967295 134512640 134714540 3221224592 3221223232 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64608 61967 1111 63 0 64545 0
vsize: 258432
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 65058 0 0 0 44844 161 0 0 25 0 1 0 775334933 272875520 64032 4294967295 134512640 134714540 3221224592 3221223312 134622884 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.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 66191 0 0 0 45840 165 0 0 25 0 1 0 775334933 277737472 65147 4294967295 134512640 134714540 3221224592 3221223360 134624981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67807 65147 1111 63 0 67744 0
vsize: 271228
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 68394 0 0 0 46836 170 0 0 25 0 1 0 775334933 286359552 67337 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 68394 0 0 0 47836 170 0 0 25 0 1 0 775334933 286359552 67337 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 68394 0 0 0 48836 170 0 0 25 0 1 0 775334933 286359552 67337 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 68394 0 0 0 49837 170 0 0 25 0 1 0 775334933 286359552 67337 4294967295 134512640 134714540 3221224592 3221223328 134622740 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.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 68394 0 0 0 50837 170 0 0 25 0 1 0 775334933 286359552 67337 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 69299 0 0 0 51835 172 0 0 25 0 1 0 775334933 290152448 68229 4294967295 134512640 134714540 3221224592 3221223328 134622747 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.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 75787 0 0 0 52823 184 0 0 25 0 1 0 775334933 318902272 71829 4294967295 134512640 134714540 3221224592 3221223384 134536921 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.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 75916 0 0 0 53823 184 0 0 25 0 1 0 775334933 319442944 71958 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 75916 0 0 0 54823 184 0 0 25 0 1 0 775334933 319442944 71958 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 75916 0 0 0 55824 184 0 0 25 0 1 0 775334933 319442944 71958 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 75916 0 0 0 56824 184 0 0 25 0 1 0 775334933 319442944 71958 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 75916 0 0 0 57824 184 0 0 25 0 1 0 775334933 319442944 71958 4294967295 134512640 134714540 3221224592 3221223304 134543179 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.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 76790 0 0 0 58822 186 0 0 25 0 1 0 775334933 322957312 72832 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 77855 0 0 0 59819 189 0 0 25 0 1 0 775334933 327012352 73897 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 78234 0 0 0 60819 190 0 0 25 0 1 0 775334933 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.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 78827 0 0 0 61817 191 0 0 25 0 1 0 775334933 330797056 74869 4294967295 134512640 134714540 3221224592 3221223316 134622785 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.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 79637 0 0 0 62815 193 0 0 25 0 1 0 775334933 334041088 75679 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81553 75679 1111 63 0 81490 0
vsize: 326212
[startup+640.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 80593 0 0 0 63812 197 0 0 25 0 1 0 775334933 337690624 76635 4294967295 134512640 134714540 3221224592 3221223304 134543176 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.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 64811 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622740 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.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 65811 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134536900 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.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 66812 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223304 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+680.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 67812 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622747 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.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 68812 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622747 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.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 69812 198 0 0 25 0 1 0 775334933 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+710.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 70812 198 0 0 25 0 1 0 775334933 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+720.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 71812 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223328 134622740 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.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 72812 198 0 0 25 0 1 0 775334933 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+740.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 73812 198 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223308 134558476 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.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 74812 198 0 0 25 0 1 0 775334933 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+760.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 75813 198 0 0 25 0 1 0 775334933 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+770.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 76813 198 0 0 25 0 1 0 775334933 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+780.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 77813 199 0 0 25 0 1 0 775334933 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+790.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 78813 199 0 0 25 0 1 0 775334933 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+800.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 79813 199 0 0 25 0 1 0 775334933 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+810.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 80813 199 0 0 25 0 1 0 775334933 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.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 81813 199 0 0 25 0 1 0 775334933 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+830.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 82813 199 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134542412 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.038 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 83813 199 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223384 134542409 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.038 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 84813 199 0 0 25 0 1 0 775334933 339988480 77200 4294967295 134512640 134714540 3221224592 3221223308 134543192 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.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 85814 199 0 0 25 0 1 0 775334933 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+870.038 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 86814 199 0 0 25 0 1 0 775334933 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+880.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 81158 0 0 0 87814 199 0 0 25 0 1 0 775334933 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+890.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 83719 0 0 0 88808 206 0 0 25 0 1 0 775334933 349921280 79752 4294967295 134512640 134714540 3221224592 3221223312 134622789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85430 79752 1111 63 0 85367 0
vsize: 341720
[startup+900.039 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 84164 0 0 0 89807 206 0 0 25 0 1 0 775334933 351813632 80197 4294967295 134512640 134714540 3221224592 3221223384 134536921 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.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 86814 0 0 0 90801 213 0 0 25 0 1 0 775334933 362008576 82765 4294967295 134512640 134714540 3221224592 3221223368 134542401 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.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89137 0 0 0 91797 217 0 0 25 0 1 0 775334933 371187712 84993 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90622 84993 1111 63 0 90559 0
vsize: 362488
[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 92796 218 0 0 25 0 1 0 775334933 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+940.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 93796 218 0 0 25 0 1 0 775334933 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+950.041 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 94796 218 0 0 25 0 1 0 775334933 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+960.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 95797 218 0 0 25 0 1 0 775334933 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+970.041 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 96797 218 0 0 25 0 1 0 775334933 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+980.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 97797 218 0 0 25 0 1 0 775334933 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+990.042 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 98797 218 0 0 25 0 1 0 775334933 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+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 99797 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223384 134542412 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.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 100797 218 0 0 25 0 1 0 775334933 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+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 101798 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223328 134622851 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.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 102798 218 0 0 25 0 1 0 775334933 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+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23719
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 103798 218 0 0 25 0 1 0 775334933 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.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/56 23723
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 104798 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223388 134543553 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.04 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 23772
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 105798 218 0 0 25 0 1 0 775334933 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+1070.04 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 23772
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 106798 218 0 0 25 0 1 0 775334933 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+1080.05 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 23772
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 107799 218 0 0 25 0 1 0 775334933 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.05 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 23772
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 108799 218 0 0 25 0 1 0 775334933 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+1100.05 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 23772
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 109799 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543191 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.05 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 23772
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 110799 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223316 134622811 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.05 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 111800 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223408 134622477 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.05 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 112800 218 0 0 25 0 1 0 775334933 373215232 85490 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.05 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 113800 218 0 0 25 0 1 0 775334933 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+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 114800 218 0 0 25 0 1 0 775334933 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+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 115800 218 0 0 25 0 1 0 775334933 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+1170.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 116800 218 0 0 25 0 1 0 775334933 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+1177.32 s]
Raw data (loadavg): 1.01 1.00 0.98 1/53 23774
Raw data (stat): 23719 (bsolo_mis) R 23718 21152 21151 0 -1 0 89634 0 0 0 116800 218 0 0 25 0 1 0 775334933 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: 0

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