PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 28472

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 02:21:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13133 boxname=wulflinc27 idbench=1011 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 13133
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        685772 kB
Buffers:         26724 kB
Cached:         300804 kB
SwapCached:        640 kB
Active:          49404 kB
Inactive:       280584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        685520 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13192 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:41:50 (client local time) WITH STATUS 0 IN 1195.41 SECONDS
stats: 13133 7 1195.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 234 constraints.
c preprocess terminated 73.7 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1195.36 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.90 2/54 11548
Raw data (stat): 11548 (runsolver) R 11547 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835235408 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6315 0 0 0 985 13 0 0 25 0 1 0 835235408 29540352 6291 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6291 1111 63 0 7149 0
vsize: 28848
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6364 0 0 0 1985 14 0 0 25 0 1 0 835235408 29827072 6340 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6340 1111 63 0 7219 0
vsize: 29128
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6364 0 0 0 2985 14 0 0 25 0 1 0 835235408 29827072 6340 4294967295 134512640 134714540 3221224592 3221223344 134630798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6340 1111 63 0 7219 0
vsize: 29128
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6364 0 0 0 3985 14 0 0 25 0 1 0 835235408 29827072 6340 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6340 1111 63 0 7219 0
vsize: 29128
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6364 0 0 0 4985 14 0 0 25 0 1 0 835235408 29827072 6340 4294967295 134512640 134714540 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6340 1111 63 0 7219 0
vsize: 29128
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6364 0 0 0 5985 14 0 0 25 0 1 0 835235408 29827072 6340 4294967295 134512640 134714540 3221224592 3221223392 134617634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6340 1111 63 0 7219 0
vsize: 29128
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6364 0 0 0 6986 14 0 0 25 0 1 0 835235408 29827072 6340 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6340 1111 63 0 7219 0
vsize: 29128
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6380 0 0 0 7984 15 0 0 25 0 1 0 835235408 29827072 6356 4294967295 134512640 134714540 3221224592 3221223360 134584818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7282 6356 1111 63 0 7219 0
vsize: 29128
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 6504 0 0 0 8982 17 0 0 25 0 1 0 835235408 30367744 6480 4294967295 134512640 134714540 3221224592 3221223184 134696117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6480 1111 63 0 7351 0
vsize: 29656
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 7276 0 0 0 9979 20 0 0 25 0 1 0 835235408 33447936 7252 4294967295 134512640 134714540 3221224592 3221223176 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8166 7252 1111 63 0 8103 0
vsize: 32664
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 7702 0 0 0 10977 22 0 0 25 0 1 0 835235408 35164160 7678 4294967295 134512640 134714540 3221224592 3221223388 134542436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8585 7678 1111 63 0 8522 0
vsize: 34340
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 8258 0 0 0 11976 24 0 0 25 0 1 0 835235408 37552128 8234 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9168 8234 1111 63 0 9105 0
vsize: 36672
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 8674 0 0 0 12974 26 0 0 25 0 1 0 835235408 39186432 8650 4294967295 134512640 134714540 3221224592 3221223212 134613956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9567 8650 1111 63 0 9504 0
vsize: 38268
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 8874 0 0 0 13973 27 0 0 25 0 1 0 835235408 40005632 8850 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 8850 1111 63 0 9704 0
vsize: 39068
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 9177 0 0 0 14972 28 0 0 25 0 1 0 835235408 41213952 9153 4294967295 134512640 134714540 3221224592 3221223168 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10062 9153 1111 63 0 9999 0
vsize: 40248
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 9472 0 0 0 15970 30 0 0 25 0 1 0 835235408 42434560 9448 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 9448 1111 63 0 10297 0
vsize: 41440
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 9995 0 0 0 16968 33 0 0 25 0 1 0 835235408 44576768 9971 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10883 9971 1111 63 0 10820 0
vsize: 43532
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 11235 0 0 0 17965 36 0 0 25 0 1 0 835235408 49668096 11211 4294967295 134512640 134714540 3221224592 3221223364 134624779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12126 11211 1111 63 0 12063 0
vsize: 48504
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 13529 0 0 0 18958 43 0 0 25 0 1 0 835235408 59047936 13505 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14416 13505 1111 63 0 14353 0
vsize: 57664
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 14647 0 0 0 19954 47 0 0 25 0 1 0 835235408 63807488 14618 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15578 14618 1111 63 0 15515 0
vsize: 62312
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 16706 0 0 0 20950 52 0 0 25 0 1 0 835235408 72544256 16675 4294967295 134512640 134714540 3221224592 3221223296 134556921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17711 16675 1111 63 0 17648 0
vsize: 70844
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 16955 0 0 0 21949 52 0 0 25 0 1 0 835235408 73486336 16924 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17941 16924 1111 63 0 17878 0
vsize: 71764
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 16955 0 0 0 22949 53 0 0 25 0 1 0 835235408 73486336 16924 4294967295 134512640 134714540 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17941 16924 1111 63 0 17878 0
vsize: 71764
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 18972 0 0 0 23944 58 0 0 25 0 1 0 835235408 82006016 18934 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20021 18934 1111 63 0 19958 0
vsize: 80084
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 19081 0 0 0 24944 58 0 0 25 0 1 0 835235408 82411520 19043 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19043 1111 63 0 20057 0
vsize: 80480
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 19670 0 0 0 25943 59 0 0 25 0 1 0 835235408 84992000 19631 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20750 19631 1111 63 0 20687 0
vsize: 83000
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 20155 0 0 0 26942 60 0 0 25 0 1 0 835235408 87093248 20105 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21263 20105 1111 63 0 21200 0
vsize: 85052
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 20232 0 0 0 27942 60 0 0 25 0 1 0 835235408 87375872 20181 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21332 20181 1111 63 0 21269 0
vsize: 85328
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 20676 0 0 0 28941 61 0 0 25 0 1 0 835235408 89165824 20623 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21769 20623 1111 63 0 21706 0
vsize: 87076
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21248 0 0 0 29939 64 0 0 25 0 1 0 835235408 91443200 21195 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22325 21195 1111 63 0 22262 0
vsize: 89300
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21527 0 0 0 30938 65 0 0 25 0 1 0 835235408 92598272 21474 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22607 21474 1111 63 0 22544 0
vsize: 90428
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21552 0 0 0 31938 65 0 0 25 0 1 0 835235408 92733440 21499 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22640 21499 1111 63 0 22577 0
vsize: 90560
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21629 0 0 0 32937 66 0 0 25 0 1 0 835235408 93003776 21576 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22706 21576 1111 63 0 22643 0
vsize: 90824
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21629 0 0 0 33937 66 0 0 25 0 1 0 835235408 93003776 21576 4294967295 134512640 134714540 3221224592 3221223136 134543048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22706 21576 1111 63 0 22643 0
vsize: 90824
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21670 0 0 0 34937 67 0 0 25 0 1 0 835235408 93138944 21617 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22739 21617 1111 63 0 22676 0
vsize: 90956
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21724 0 0 0 35937 67 0 0 25 0 1 0 835235408 93401088 21671 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22803 21671 1111 63 0 22740 0
vsize: 91212
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21743 0 0 0 36936 68 0 0 25 0 1 0 835235408 93536256 21690 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22836 21690 1111 63 0 22773 0
vsize: 91344
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 21867 0 0 0 37935 69 0 0 25 0 1 0 835235408 93941760 21814 4294967295 134512640 134714540 3221224592 3221223272 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22935 21814 1111 63 0 22872 0
vsize: 91740
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22035 0 0 0 38934 71 0 0 25 0 1 0 835235408 94760960 21982 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23135 21982 1111 63 0 23072 0
vsize: 92540
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22065 0 0 0 39933 71 0 0 25 0 1 0 835235408 94896128 22012 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23168 22012 1111 63 0 23105 0
vsize: 92672
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22104 0 0 0 40933 72 0 0 25 0 1 0 835235408 95027200 22051 4294967295 134512640 134714540 3221224592 3221223364 134624779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23200 22051 1111 63 0 23137 0
vsize: 92800
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22104 0 0 0 41932 73 0 0 25 0 1 0 835235408 95027200 22051 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23200 22051 1111 63 0 23137 0
vsize: 92800
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22158 0 0 0 42932 73 0 0 25 0 1 0 835235408 95162368 22105 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23233 22105 1111 63 0 23170 0
vsize: 92932
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22282 0 0 0 43931 74 0 0 25 0 1 0 835235408 95698944 22229 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23364 22229 1111 63 0 23301 0
vsize: 93456
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22378 0 0 0 44931 75 0 0 25 0 1 0 835235408 96079872 22325 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23457 22325 1111 63 0 23394 0
vsize: 93828
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22407 0 0 0 45930 75 0 0 25 0 1 0 835235408 96215040 22354 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23490 22354 1111 63 0 23427 0
vsize: 93960
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22482 0 0 0 46930 76 0 0 25 0 1 0 835235408 96485376 22429 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23556 22429 1111 63 0 23493 0
vsize: 94224
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22528 0 0 0 47930 76 0 0 25 0 1 0 835235408 96755712 22475 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23622 22475 1111 63 0 23559 0
vsize: 94488
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22539 0 0 0 48930 76 0 0 25 0 1 0 835235408 96743424 22486 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23619 22486 1111 63 0 23556 0
vsize: 94476
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22582 0 0 0 49929 77 0 0 25 0 1 0 835235408 96878592 22529 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23652 22529 1111 63 0 23589 0
vsize: 94608
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22639 0 0 0 50929 78 0 0 25 0 1 0 835235408 97148928 22586 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23718 22586 1111 63 0 23655 0
vsize: 94872
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22697 0 0 0 51928 78 0 0 25 0 1 0 835235408 97415168 22644 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22644 1111 63 0 23720 0
vsize: 95132
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22697 0 0 0 52928 78 0 0 25 0 1 0 835235408 97415168 22644 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22644 1111 63 0 23720 0
vsize: 95132
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22697 0 0 0 53929 78 0 0 25 0 1 0 835235408 97415168 22644 4294967295 134512640 134714540 3221224592 3221223368 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22644 1111 63 0 23720 0
vsize: 95132
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 54929 78 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 55929 78 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 56929 79 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 57929 79 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 58929 79 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 59929 79 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223304 134543130 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22698 0 0 0 60929 79 0 0 25 0 1 0 835235408 97415168 22645 4294967295 134512640 134714540 3221224592 3221223392 134622353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22645 1111 63 0 23720 0
vsize: 95132
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 61929 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 62930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 63930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 64930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 65930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 66930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 67930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 68930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 69930 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 70931 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 71931 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 72931 79 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 73931 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 74931 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 75931 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 76932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 77932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 78932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 79932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 80932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 81932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 82932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 83932 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 84933 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 85933 80 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 86933 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 87933 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 88934 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 89934 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 90935 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 91937 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 92937 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223408 134622331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 93937 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 94938 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+960.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 95940 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+970.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 96941 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+980.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 97942 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+990.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 98942 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 99944 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 100944 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 101944 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 102944 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 103944 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 104944 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 105945 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 106951 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223224 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 107951 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 108951 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 109952 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1110.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 110953 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1120.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 111962 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1130.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 112962 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1140.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 113962 81 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1150.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 114962 82 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1160.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 115963 82 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1170.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 116963 82 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1180.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 117964 82 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1190.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 118965 82 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 95132
[startup+1195.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11548
Raw data (stat): 11548 (bsolo_mis) R 11547 3394 3393 0 -1 0 22699 0 0 0 118965 82 0 0 25 0 1 0 835235408 97415168 22646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22646 1111 63 0 23720 0
vsize: 0

Child status: 0
Real time (s): 1195.26
CPU time (s): 1195.41
CPU user time (s): 1194.54
CPU system time (s): 0.863868
CPU usage (%): 100.012
Max. virtual memory (Kb): 95132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####