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/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 28214

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 01:09:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13913 boxname=wulflinc20 idbench=1071 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 13913
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        455208 kB
Buffers:         30112 kB
Cached:         518952 kB
SwapCached:        716 kB
Active:          43528 kB
Inactive:       512284 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        454956 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:          177524 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            17976 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:28:47 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 13913 0 1175.09 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.102 s
c Initial Lower Bound: 13
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.104
c NEW SOLUTION FOUND: 36 @ 0.104
c NEW SOLUTION FOUND: 35 @ 0.106
c NEW SOLUTION FOUND: 34 @ 0.112
c NEW SOLUTION FOUND: 33 @ 0.133
c NEW SOLUTION FOUND: 32 @ 0.159
c NEW SOLUTION FOUND: 31 @ 0.516
c NEW SOLUTION FOUND: 30 @ 3.892
s SATISFIABLE
v -V0001_bit0 -V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 -V0006_bit0 -V0007_bit0 V0008_bit0 V0009_bit0 V0010_bit0 V0011_bit0 V0012_bit0 -V0013_bit0 V0014_bit0 -V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 -V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 V0033_bit0 V0034_bit0 V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 -V0039_bit0 V0040_bit0 -V0041_bit0 V0042_bit0 V0043_bit0 -V0044_bit0 V0045_bit0 
c Exit Code: 10
c Total time: 1175.02 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): 1.60 1.14 0.98 2/54 32368
Raw data (stat): 32368 (runsolver) R 32367 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834804238 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.0008 s]
Raw data (loadavg): 1.50 1.14 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 3381 0 0 0 989 10 0 0 25 0 1 0 834804238 17473536 3357 4294967295 134512640 134714540 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3357 1111 63 0 4203 0
vsize: 17064
[startup+20.0011 s]
Raw data (loadavg): 1.43 1.13 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 4701 0 0 0 1984 14 0 0 25 0 1 0 834804238 22970368 4675 4294967295 134512640 134714540 3221224592 3221223264 134523869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5608 4675 1111 63 0 5545 0
vsize: 22432
[startup+30.002 s]
Raw data (loadavg): 1.36 1.13 0.98 3/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 5689 0 0 0 2980 18 0 0 25 0 1 0 834804238 27029504 5663 4294967295 134512640 134714540 3221224592 3221223052 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6599 5663 1111 63 0 6536 0
vsize: 26396
[startup+40.0028 s]
Raw data (loadavg): 1.30 1.12 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 6493 0 0 0 3977 22 0 0 25 0 1 0 834804238 30281728 6467 4294967295 134512640 134714540 3221224592 3221223068 1076647876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6467 1111 63 0 7330 0
vsize: 29572
[startup+50.0024 s]
Raw data (loadavg): 1.26 1.12 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 7186 0 0 0 4975 24 0 0 25 0 1 0 834804238 33112064 7160 4294967295 134512640 134714540 3221224592 3221223248 134536724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8084 7160 1111 63 0 8021 0
vsize: 32336
[startup+60.0029 s]
Raw data (loadavg): 1.22 1.11 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 7695 0 0 0 5972 27 0 0 25 0 1 0 834804238 35295232 7669 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8617 7669 1111 63 0 8554 0
vsize: 34468
[startup+70.0029 s]
Raw data (loadavg): 1.18 1.11 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 8232 0 0 0 6970 29 0 0 25 0 1 0 834804238 37597184 8206 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9179 8206 1111 63 0 9116 0
vsize: 36716
[startup+80.0034 s]
Raw data (loadavg): 1.16 1.10 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 8744 0 0 0 7968 31 0 0 25 0 1 0 834804238 39653376 8717 4294967295 134512640 134714540 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 8717 1111 63 0 9618 0
vsize: 38724
[startup+90.0031 s]
Raw data (loadavg): 1.13 1.10 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 9238 0 0 0 8966 33 0 0 25 0 1 0 834804238 41713664 9209 4294967295 134512640 134714540 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10184 9209 1111 63 0 10121 0
vsize: 40736
[startup+100.003 s]
Raw data (loadavg): 1.11 1.10 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 9759 0 0 0 9964 36 0 0 25 0 1 0 834804238 43925504 9729 4294967295 134512640 134714540 3221224592 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10724 9729 1111 63 0 10661 0
vsize: 42896
[startup+110.004 s]
Raw data (loadavg): 1.09 1.09 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 10172 0 0 0 10962 39 0 0 25 0 1 0 834804238 45572096 10142 4294967295 134512640 134714540 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11126 10142 1111 63 0 11063 0
vsize: 44504
[startup+120.004 s]
Raw data (loadavg): 1.08 1.09 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 10632 0 0 0 11960 41 0 0 25 0 1 0 834804238 47464448 10602 4294967295 134512640 134714540 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11588 10602 1111 63 0 11525 0
vsize: 46352
[startup+130.005 s]
Raw data (loadavg): 1.07 1.08 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 11008 0 0 0 12958 42 0 0 25 0 1 0 834804238 49106944 10977 4294967295 134512640 134714540 3221224592 3221223100 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11989 10977 1111 63 0 11926 0
vsize: 47956
[startup+140.005 s]
Raw data (loadavg): 1.06 1.08 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 11366 0 0 0 13957 44 0 0 25 0 1 0 834804238 50626560 11335 4294967295 134512640 134714540 3221224592 3221223196 134536825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12360 11335 1111 63 0 12297 0
vsize: 49440
[startup+150.004 s]
Raw data (loadavg): 1.05 1.08 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 11710 0 0 0 14955 46 0 0 25 0 1 0 834804238 51978240 11679 4294967295 134512640 134714540 3221224592 3221223248 134536716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11679 1111 63 0 12627 0
vsize: 50760
[startup+160.004 s]
Raw data (loadavg): 1.04 1.08 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 12073 0 0 0 15953 48 0 0 25 0 1 0 834804238 53506048 12041 4294967295 134512640 134714540 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13063 12041 1111 63 0 13000 0
vsize: 52252
[startup+170.004 s]
Raw data (loadavg): 1.03 1.07 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 12417 0 0 0 16952 50 0 0 25 0 1 0 834804238 55001088 12384 4294967295 134512640 134714540 3221224592 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13428 12384 1111 63 0 13365 0
vsize: 53712
[startup+180.005 s]
Raw data (loadavg): 1.03 1.07 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 12754 0 0 0 17950 51 0 0 25 0 1 0 834804238 56389632 12721 4294967295 134512640 134714540 3221224592 3221223304 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13767 12721 1111 63 0 13704 0
vsize: 55068
[startup+190.006 s]
Raw data (loadavg): 1.02 1.07 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 13366 0 0 0 18949 53 0 0 25 0 1 0 834804238 58331136 13207 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14241 13207 1111 63 0 14178 0
vsize: 56964
[startup+200.005 s]
Raw data (loadavg): 1.02 1.06 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 13685 0 0 0 19947 55 0 0 25 0 1 0 834804238 59547648 13526 4294967295 134512640 134714540 3221224592 3221223272 134535787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 13526 1111 63 0 14475 0
vsize: 58152
[startup+210.005 s]
Raw data (loadavg): 1.02 1.06 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 13971 0 0 0 20947 55 0 0 25 0 1 0 834804238 60764160 13811 4294967295 134512640 134714540 3221224592 3221223236 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14835 13811 1111 63 0 14772 0
vsize: 59340
[startup+220.005 s]
Raw data (loadavg): 1.01 1.06 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 14219 0 0 0 21946 57 0 0 25 0 1 0 834804238 61767680 14058 4294967295 134512640 134714540 3221224592 3221223136 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15080 14058 1111 63 0 15017 0
vsize: 60320
[startup+230.006 s]
Raw data (loadavg): 1.01 1.06 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 14540 0 0 0 22944 58 0 0 25 0 1 0 834804238 63123456 14378 4294967295 134512640 134714540 3221224592 3221223328 134604889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15411 14378 1111 63 0 15348 0
vsize: 61644
[startup+240.005 s]
Raw data (loadavg): 1.01 1.05 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 14855 0 0 0 23943 59 0 0 25 0 1 0 834804238 64487424 14693 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15744 14693 1111 63 0 15681 0
vsize: 62976
[startup+250.005 s]
Raw data (loadavg): 1.01 1.05 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 15130 0 0 0 24941 61 0 0 25 0 1 0 834804238 65568768 14968 4294967295 134512640 134714540 3221224592 3221223280 134535728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16008 14968 1111 63 0 15945 0
vsize: 64032
[startup+260.005 s]
Raw data (loadavg): 1.00 1.05 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 15461 0 0 0 25940 63 0 0 25 0 1 0 834804238 67088384 15299 4294967295 134512640 134714540 3221224592 3221223180 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16379 15299 1111 63 0 16316 0
vsize: 65516
[startup+270.005 s]
Raw data (loadavg): 1.00 1.05 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 15745 0 0 0 26939 64 0 0 25 0 1 0 834804238 68239360 15582 4294967295 134512640 134714540 3221224592 3221223180 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16660 15582 1111 63 0 16597 0
vsize: 66640
[startup+280.006 s]
Raw data (loadavg): 1.00 1.05 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 16002 0 0 0 27938 65 0 0 25 0 1 0 834804238 69320704 15839 4294967295 134512640 134714540 3221224592 3221223392 134611418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16924 15839 1111 63 0 16861 0
vsize: 67696
[startup+290.007 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 16298 0 0 0 28937 67 0 0 25 0 1 0 834804238 70586368 16133 4294967295 134512640 134714540 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 16133 1111 63 0 17170 0
vsize: 68932
[startup+300.006 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 16624 0 0 0 29936 68 0 0 25 0 1 0 834804238 71954432 16459 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17567 16459 1111 63 0 17504 0
vsize: 70268
[startup+310.006 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 16917 0 0 0 30935 69 0 0 25 0 1 0 834804238 73220096 16751 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17876 16751 1111 63 0 17813 0
vsize: 71504
[startup+320.006 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 17229 0 0 0 31934 70 0 0 25 0 1 0 834804238 74436608 17063 4294967295 134512640 134714540 3221224592 3221223328 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18173 17063 1111 63 0 18110 0
vsize: 72692
[startup+330.006 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 17471 0 0 0 32933 71 0 0 25 0 1 0 834804238 75522048 17304 4294967295 134512640 134714540 3221224592 3221223248 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18438 17304 1111 63 0 18375 0
vsize: 73752
[startup+340.007 s]
Raw data (loadavg): 1.00 1.04 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 17668 0 0 0 33933 72 0 0 25 0 1 0 834804238 76218368 17500 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18608 17500 1111 63 0 18545 0
vsize: 74432
[startup+350.006 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 17931 0 0 0 34931 73 0 0 25 0 1 0 834804238 77299712 17763 4294967295 134512640 134714540 3221224592 3221223232 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18872 17763 1111 63 0 18809 0
vsize: 75488
[startup+360.007 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 18177 0 0 0 35931 74 0 0 25 0 1 0 834804238 78397440 18009 4294967295 134512640 134714540 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19140 18009 1111 63 0 19077 0
vsize: 76560
[startup+370.007 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 18394 0 0 0 36930 75 0 0 25 0 1 0 834804238 79273984 18226 4294967295 134512640 134714540 3221224592 3221223184 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19354 18226 1111 63 0 19291 0
vsize: 77416
[startup+380.007 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 18684 0 0 0 37930 75 0 0 25 0 1 0 834804238 80490496 18516 4294967295 134512640 134714540 3221224592 3221223088 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19651 18516 1111 63 0 19588 0
vsize: 78604
[startup+390.007 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 18922 0 0 0 38929 76 0 0 25 0 1 0 834804238 81436672 18754 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19882 18754 1111 63 0 19819 0
vsize: 79528
[startup+400.007 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 19127 0 0 0 39929 77 0 0 25 0 1 0 834804238 82247680 18958 4294967295 134512640 134714540 3221224592 3221223256 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20080 18958 1111 63 0 20017 0
vsize: 80320
[startup+410.008 s]
Raw data (loadavg): 1.00 1.03 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 19368 0 0 0 40928 78 0 0 25 0 1 0 834804238 83329024 19199 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20344 19199 1111 63 0 20281 0
vsize: 81376
[startup+420.008 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 19585 0 0 0 41927 79 0 0 25 0 1 0 834804238 84140032 19416 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20542 19416 1111 63 0 20479 0
vsize: 82168
[startup+430.009 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 19773 0 0 0 42926 80 0 0 25 0 1 0 834804238 84881408 19603 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20723 19603 1111 63 0 20660 0
vsize: 82892
[startup+440.008 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 19950 0 0 0 43926 81 0 0 25 0 1 0 834804238 85557248 19780 4294967295 134512640 134714540 3221224592 3221223236 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20888 19780 1111 63 0 20825 0
vsize: 83552
[startup+450.008 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 20104 0 0 0 44925 82 0 0 25 0 1 0 834804238 86233088 19934 4294967295 134512640 134714540 3221224592 3221223296 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21053 19934 1111 63 0 20990 0
vsize: 84212
[startup+460.009 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 20311 0 0 0 45924 83 0 0 25 0 1 0 834804238 87044096 20141 4294967295 134512640 134714540 3221224592 3221223196 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21251 20141 1111 63 0 21188 0
vsize: 85004
[startup+470.009 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 20513 0 0 0 46923 84 0 0 25 0 1 0 834804238 87855104 20343 4294967295 134512640 134714540 3221224592 3221223280 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21449 20343 1111 63 0 21386 0
vsize: 85796
[startup+480.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 20738 0 0 0 47922 85 0 0 25 0 1 0 834804238 88801280 20568 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21680 20568 1111 63 0 21617 0
vsize: 86720
[startup+490.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 20966 0 0 0 48922 86 0 0 25 0 1 0 834804238 89747456 20796 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21911 20796 1111 63 0 21848 0
vsize: 87644
[startup+500.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 21184 0 0 0 49921 87 0 0 25 0 1 0 834804238 90693632 21014 4294967295 134512640 134714540 3221224592 3221223216 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22142 21014 1111 63 0 22079 0
vsize: 88568
[startup+510.01 s]
Raw data (loadavg): 1.00 1.02 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 21410 0 0 0 50919 89 0 0 25 0 1 0 834804238 91504640 21239 4294967295 134512640 134714540 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22340 21239 1111 63 0 22277 0
vsize: 89360
[startup+520.009 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 21659 0 0 0 51918 90 0 0 25 0 1 0 834804238 92643328 21483 4294967295 134512640 134714540 3221224592 3221223184 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22618 21483 1111 63 0 22555 0
vsize: 90472
[startup+530.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 21910 0 0 0 52917 91 0 0 25 0 1 0 834804238 93642752 21733 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22862 21733 1111 63 0 22799 0
vsize: 91448
[startup+540.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 22126 0 0 0 53917 91 0 0 25 0 1 0 834804238 94588928 21949 4294967295 134512640 134714540 3221224592 3221223216 134549660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23093 21949 1111 63 0 23030 0
vsize: 92372
[startup+550.009 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 22329 0 0 0 54916 92 0 0 25 0 1 0 834804238 95399936 22152 4294967295 134512640 134714540 3221224592 3221223200 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23291 22152 1111 63 0 23228 0
vsize: 93164
[startup+560.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 22535 0 0 0 55916 93 0 0 25 0 1 0 834804238 96210944 22358 4294967295 134512640 134714540 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23489 22358 1111 63 0 23426 0
vsize: 93956
[startup+570.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 22767 0 0 0 56915 94 0 0 25 0 1 0 834804238 97161216 22588 4294967295 134512640 134714540 3221224592 3221223176 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23721 22588 1111 63 0 23658 0
vsize: 94884
[startup+580.011 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 22971 0 0 0 57914 95 0 0 25 0 1 0 834804238 97972224 22792 4294967295 134512640 134714540 3221224592 3221223280 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23919 22792 1111 63 0 23856 0
vsize: 95676
[startup+590.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 23223 0 0 0 58914 96 0 0 25 0 1 0 834804238 99053568 23044 4294967295 134512640 134714540 3221224592 3221223148 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24183 23044 1111 63 0 24120 0
vsize: 96732
[startup+600.011 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 23469 0 0 0 59912 97 0 0 25 0 1 0 834804238 99999744 23290 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24414 23290 1111 63 0 24351 0
vsize: 97656
[startup+610.011 s]
Raw data (loadavg): 1.00 1.01 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 23651 0 0 0 60912 97 0 0 25 0 1 0 834804238 100831232 23472 4294967295 134512640 134714540 3221224592 3221223280 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24617 23472 1111 63 0 24554 0
vsize: 98468
[startup+620.011 s]
Raw data (loadavg): 1.00 1.00 0.98 3/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 23872 0 0 0 61911 98 0 0 25 0 1 0 834804238 101679104 23693 4294967295 134512640 134714540 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24824 23693 1111 63 0 24761 0
vsize: 99296
[startup+630.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 24085 0 0 0 62910 100 0 0 25 0 1 0 834804238 102633472 23904 4294967295 134512640 134714540 3221224592 3221223280 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25057 23904 1111 63 0 24994 0
vsize: 100228
[startup+640.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 24321 0 0 0 63909 101 0 0 25 0 1 0 834804238 103645184 24131 4294967295 134512640 134714540 3221224592 3221223248 134536738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25304 24131 1111 63 0 25241 0
vsize: 101216
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 24558 0 0 0 64909 102 0 0 25 0 1 0 834804238 104660992 24368 4294967295 134512640 134714540 3221224592 3221223268 134536686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25552 24368 1111 63 0 25489 0
vsize: 102208
[startup+660.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 24755 0 0 0 65908 103 0 0 25 0 1 0 834804238 105472000 24565 4294967295 134512640 134714540 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25750 24565 1111 63 0 25687 0
vsize: 103000
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 24933 0 0 0 66906 104 0 0 25 0 1 0 834804238 106147840 24743 4294967295 134512640 134714540 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25915 24743 1111 63 0 25852 0
vsize: 103660
[startup+680.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 25446 0 0 0 67904 106 0 0 25 0 1 0 834804238 107712512 25088 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26297 25088 1111 63 0 26234 0
vsize: 105188
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 25979 0 0 0 68904 108 0 0 25 0 1 0 834804238 109142016 25453 4294967295 134512640 134714540 3221224592 3221223280 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26646 25453 1111 63 0 26583 0
vsize: 106584
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 26207 0 0 0 69902 109 0 0 25 0 1 0 834804238 110088192 25681 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26877 25681 1111 63 0 26814 0
vsize: 107508
[startup+710.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 26410 0 0 0 70902 109 0 0 25 0 1 0 834804238 110899200 25884 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27075 25884 1111 63 0 27012 0
vsize: 108300
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 26591 0 0 0 71902 110 0 0 25 0 1 0 834804238 111640576 26065 4294967295 134512640 134714540 3221224592 3221223136 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27256 26065 1111 63 0 27193 0
vsize: 109024
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 26759 0 0 0 72901 111 0 0 25 0 1 0 834804238 112553984 26230 4294967295 134512640 134714540 3221224592 3221223200 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27479 26230 1111 63 0 27416 0
vsize: 109916
[startup+740.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 26983 0 0 0 73901 111 0 0 25 0 1 0 834804238 113364992 26454 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27677 26454 1111 63 0 27614 0
vsize: 110708
[startup+750.013 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 27206 0 0 0 74900 112 0 0 25 0 1 0 834804238 114348032 26677 4294967295 134512640 134714540 3221224592 3221223100 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27917 26677 1111 63 0 27854 0
vsize: 111668
[startup+760.014 s]
Raw data (loadavg): 1.07 1.02 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 27413 0 0 0 75900 112 0 0 25 0 1 0 834804238 115159040 26884 4294967295 134512640 134714540 3221224592 3221223256 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28115 26884 1111 63 0 28052 0
vsize: 112460
[startup+770.014 s]
Raw data (loadavg): 1.06 1.02 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 27615 0 0 0 76899 113 0 0 25 0 1 0 834804238 115994624 27085 4294967295 134512640 134714540 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28319 27085 1111 63 0 28256 0
vsize: 113276
[startup+780.014 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 27778 0 0 0 77899 114 0 0 25 0 1 0 834804238 116670464 27248 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28484 27248 1111 63 0 28421 0
vsize: 113936
[startup+790.015 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 27953 0 0 0 78899 114 0 0 25 0 1 0 834804238 117346304 27423 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27423 1111 63 0 28586 0
vsize: 114596
[startup+800.022 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 28127 0 0 0 79898 116 0 0 25 0 1 0 834804238 118022144 27597 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28814 27597 1111 63 0 28751 0
vsize: 115256
[startup+810.022 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 28277 0 0 0 80898 116 0 0 25 0 1 0 834804238 118611968 27743 4294967295 134512640 134714540 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28958 27743 1111 63 0 28895 0
vsize: 115832
[startup+820.022 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 28496 0 0 0 81897 117 0 0 25 0 1 0 834804238 119599104 27962 4294967295 134512640 134714540 3221224592 3221223188 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29199 27962 1111 63 0 29136 0
vsize: 116796
[startup+830.023 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 28701 0 0 0 82896 119 0 0 25 0 1 0 834804238 120516608 28164 4294967295 134512640 134714540 3221224592 3221223296 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29423 28164 1111 63 0 29360 0
vsize: 117692
[startup+840.023 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 28857 0 0 0 83896 119 0 0 25 0 1 0 834804238 121192448 28320 4294967295 134512640 134714540 3221224592 3221223212 134549859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 28320 1111 63 0 29525 0
vsize: 118352
[startup+850.023 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29049 0 0 0 84895 120 0 0 25 0 1 0 834804238 122068992 28510 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29802 28510 1111 63 0 29739 0
vsize: 119208
[startup+860.024 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29221 0 0 0 85894 121 0 0 25 0 1 0 834804238 122744832 28682 4294967295 134512640 134714540 3221224592 3221223152 134535493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29967 28682 1111 63 0 29904 0
vsize: 119868
[startup+870.024 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29327 0 0 0 86894 122 0 0 25 0 1 0 834804238 123236352 28787 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30087 28787 1111 63 0 30024 0
vsize: 120348
[startup+880.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29455 0 0 0 87894 122 0 0 25 0 1 0 834804238 123850752 28915 4294967295 134512640 134714540 3221224592 3221223328 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30237 28915 1111 63 0 30174 0
vsize: 120948
[startup+890.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29602 0 0 0 88893 122 0 0 25 0 1 0 834804238 124526592 29062 4294967295 134512640 134714540 3221224592 3221223328 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30402 29062 1111 63 0 30339 0
vsize: 121608
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29765 0 0 0 89893 123 0 0 25 0 1 0 834804238 125067264 29225 4294967295 134512640 134714540 3221224592 3221223312 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30534 29225 1111 63 0 30471 0
vsize: 122136
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 29888 0 0 0 90893 123 0 0 25 0 1 0 834804238 125607936 29348 4294967295 134512640 134714540 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30666 29348 1111 63 0 30603 0
vsize: 122664
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30030 0 0 0 91892 124 0 0 25 0 1 0 834804238 126148608 29490 4294967295 134512640 134714540 3221224592 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30798 29490 1111 63 0 30735 0
vsize: 123192
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30174 0 0 0 92891 125 0 0 25 0 1 0 834804238 126885888 29634 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30978 29634 1111 63 0 30915 0
vsize: 123912
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30303 0 0 0 93891 125 0 0 25 0 1 0 834804238 127426560 29763 4294967295 134512640 134714540 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31110 29763 1111 63 0 31047 0
vsize: 124440
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30476 0 0 0 94890 126 0 0 25 0 1 0 834804238 128147456 29932 4294967295 134512640 134714540 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31286 29932 1111 63 0 31223 0
vsize: 125144
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30637 0 0 0 95890 127 0 0 25 0 1 0 834804238 128823296 30093 4294967295 134512640 134714540 3221224592 3221223204 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31451 30093 1111 63 0 31388 0
vsize: 125804
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30804 0 0 0 96889 128 0 0 25 0 1 0 834804238 129568768 30257 4294967295 134512640 134714540 3221224592 3221223136 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31633 30257 1111 63 0 31570 0
vsize: 126532
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 30964 0 0 0 97889 128 0 0 25 0 1 0 834804238 130244608 30417 4294967295 134512640 134714540 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31798 30417 1111 63 0 31735 0
vsize: 127192
[startup+990.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 31128 0 0 0 98889 129 0 0 25 0 1 0 834804238 130924544 30581 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31964 30581 1111 63 0 31901 0
vsize: 127856
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 31275 0 0 0 99888 130 0 0 25 0 1 0 834804238 131465216 30728 4294967295 134512640 134714540 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32096 30728 1111 63 0 32033 0
vsize: 128384
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 31442 0 0 0 100888 130 0 0 25 0 1 0 834804238 132141056 30895 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32261 30895 1111 63 0 32198 0
vsize: 129044
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 31594 0 0 0 101887 131 0 0 25 0 1 0 834804238 132698112 31047 4294967295 134512640 134714540 3221224592 3221223148 134535623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32397 31047 1111 63 0 32334 0
vsize: 129588
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 31746 0 0 0 102886 132 0 0 25 0 1 0 834804238 133238784 31199 4294967295 134512640 134714540 3221224592 3221223032 134552633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32529 31199 1111 63 0 32466 0
vsize: 130116
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 31881 0 0 0 103886 132 0 0 25 0 1 0 834804238 133980160 31334 4294967295 134512640 134714540 3221224592 3221223232 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32710 31334 1111 63 0 32647 0
vsize: 130840
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 32049 0 0 0 104885 133 0 0 25 0 1 0 834804238 134856704 31500 4294967295 134512640 134714540 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32924 31500 1111 63 0 32861 0
vsize: 131696
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 32166 0 0 0 105885 134 0 0 25 0 1 0 834804238 135307264 31616 4294967295 134512640 134714540 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33034 31616 1111 63 0 32971 0
vsize: 132136
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 32285 0 0 0 106885 134 0 0 25 0 1 0 834804238 135847936 31735 4294967295 134512640 134714540 3221224592 3221223232 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33166 31735 1111 63 0 33103 0
vsize: 132664
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 32468 0 0 0 107884 135 0 0 25 0 1 0 834804238 136527872 31917 4294967295 134512640 134714540 3221224592 3221223328 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33332 31917 1111 63 0 33269 0
vsize: 133328
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 32665 0 0 0 108883 136 0 0 25 0 1 0 834804238 137338880 32114 4294967295 134512640 134714540 3221224592 3221223248 134524264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33530 32114 1111 63 0 33467 0
vsize: 134120
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 32859 0 0 0 109882 137 0 0 25 0 1 0 834804238 138149888 32308 4294967295 134512640 134714540 3221224592 3221223040 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33728 32308 1111 63 0 33665 0
vsize: 134912
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 33036 0 0 0 110882 137 0 0 25 0 1 0 834804238 138825728 32485 4294967295 134512640 134714540 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33893 32485 1111 63 0 33830 0
vsize: 135572
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 33194 0 0 0 111881 138 0 0 25 0 1 0 834804238 139501568 32643 4294967295 134512640 134714540 3221224592 3221223176 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34058 32643 1111 63 0 33995 0
vsize: 136232
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 33384 0 0 0 112881 139 0 0 25 0 1 0 834804238 140378112 32824 4294967295 134512640 134714540 3221224592 3221223196 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34272 32824 1111 63 0 34209 0
vsize: 137088
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 33567 0 0 0 113880 139 0 0 25 0 1 0 834804238 141119488 33001 4294967295 134512640 134714540 3221224592 3221223092 134535329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34453 33001 1111 63 0 34390 0
vsize: 137812
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 33769 0 0 0 114880 140 0 0 25 0 1 0 834804238 141930496 33203 4294967295 134512640 134714540 3221224592 3221223312 134529152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34651 33203 1111 63 0 34588 0
vsize: 138604
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 33957 0 0 0 115880 141 0 0 25 0 1 0 834804238 142741504 33391 4294967295 134512640 134714540 3221224592 3221223328 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34849 33391 1111 63 0 34786 0
vsize: 139396
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 34113 0 0 0 116879 141 0 0 25 0 1 0 834804238 143417344 33547 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35014 33547 1111 63 0 34951 0
vsize: 140056
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 32368
Raw data (stat): 32368 (bsolo_mis) R 32367 25399 25398 0 -1 0 34113 0 0 0 116879 141 0 0 25 0 1 0 834804238 143417344 33547 4294967295 134512640 134714540 3221224592 3221223216 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35014 33547 1111 63 0 34951 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.09
CPU user time (s): 1173.61
CPU system time (s): 1.48477
CPU usage (%): 100.016
Max. virtual memory (Kb): 140056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####