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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
MD5SUM	c6fa043dbbb5b108d149e4ec9ce5fa2c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29637219205243
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29637219205243
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44978
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28143

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 00:45:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14134 boxname=wulflinc21 idbench=1088 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c6fa043dbbb5b108d149e4ec9ce5fa2c  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-n370a.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-n370a.opb
IDLAUNCH: 14134
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        428828 kB
Buffers:         11760 kB
Cached:         562672 kB
SwapCached:        984 kB
Active:          29324 kB
Inactive:       547292 kB
HighTotal:      131008 kB
HighFree:         2380 kB
LowTotal:       903652 kB
LowFree:        426448 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            23500 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:05:36 (client local time) WITH STATUS 0 IN 1209.74 SECONDS
stats: 14134 7 1209.74 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.93 0.98 0.99 2/55 7175
Raw data (stat): 7175 (runsolver) R 7174 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 711926947 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99953 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1125 0 8 0 948 3 0 0 25 0 1 0 711926947 15355904 1111 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 1111 1111 63 0 3686 0
vsize: 14996
[startup+20.0062 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1235 0 8 0 1948 4 0 0 25 0 1 0 711926947 15810560 1221 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 1221 1111 63 0 3797 0
vsize: 15440
[startup+30.0058 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1343 0 8 0 2948 4 0 0 25 0 1 0 711926947 16257024 1329 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3969 1329 1111 63 0 3906 0
vsize: 15876
[startup+40.0096 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1448 0 8 0 3948 4 0 0 25 0 1 0 711926947 16687104 1434 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 1434 1111 63 0 4011 0
vsize: 16296
[startup+50.0152 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1559 0 8 0 4949 4 0 0 25 0 1 0 711926947 17256448 1545 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 1545 1111 63 0 4150 0
vsize: 16852
[startup+60.0149 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1669 0 8 0 5949 5 0 0 25 0 1 0 711926947 17711104 1655 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 1655 1111 63 0 4261 0
vsize: 17296
[startup+70.0146 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1778 0 8 0 6949 5 0 0 25 0 1 0 711926947 18157568 1764 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1764 1111 63 0 4370 0
vsize: 17732
[startup+80.0142 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1889 0 8 0 7948 5 0 0 25 0 1 0 711926947 18608128 1875 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4543 1875 1111 63 0 4480 0
vsize: 18172
[startup+90.0139 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 1991 0 8 0 8948 6 0 0 25 0 1 0 711926947 18907136 1977 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4616 1977 1111 63 0 4553 0
vsize: 18464
[startup+100.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2106 0 8 0 9947 7 0 0 25 0 1 0 711926947 19480576 2092 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4756 2092 1111 63 0 4693 0
vsize: 19024
[startup+110.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2216 0 8 0 10947 7 0 0 25 0 1 0 711926947 19922944 2202 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 2202 1111 63 0 4801 0
vsize: 19456
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2327 0 8 0 11947 7 0 0 25 0 1 0 711926947 20373504 2313 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2313 1111 63 0 4911 0
vsize: 19896
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2436 0 8 0 12947 7 0 0 25 0 1 0 711926947 20819968 2422 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2422 1111 63 0 5020 0
vsize: 20332
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2546 0 8 0 13947 7 0 0 25 0 1 0 711926947 21270528 2532 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2532 1111 63 0 5130 0
vsize: 20772
[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2655 0 8 0 14947 7 0 0 25 0 1 0 711926947 21721088 2641 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2641 1111 63 0 5240 0
vsize: 21212
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2766 0 8 0 15946 8 0 0 25 0 1 0 711926947 22171648 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2752 1111 63 0 5350 0
vsize: 21652
[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2875 0 8 0 16946 8 0 0 25 0 1 0 711926947 22618112 2861 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5522 2861 1111 63 0 5459 0
vsize: 22088
[startup+180.014 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 2979 0 8 0 17946 8 0 0 25 0 1 0 711926947 23068672 2965 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5632 2965 1111 63 0 5569 0
vsize: 22528
[startup+190.015 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3101 0 8 0 18945 9 0 0 25 0 1 0 711926947 23506944 3087 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 3087 1111 63 0 5676 0
vsize: 22956
[startup+200.015 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3205 0 8 0 19944 9 0 0 25 0 1 0 711926947 23953408 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5848 3191 1111 63 0 5785 0
vsize: 23392
[startup+210.015 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3314 0 8 0 20944 9 0 0 25 0 1 0 711926947 24408064 3300 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3300 1111 63 0 5896 0
vsize: 23836
[startup+220.015 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3426 0 8 0 21944 10 0 0 25 0 1 0 711926947 24850432 3412 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3412 1111 63 0 6004 0
vsize: 24268
[startup+230.015 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3535 0 8 0 22943 10 0 0 25 0 1 0 711926947 25276416 3521 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6171 3521 1111 63 0 6108 0
vsize: 24684
[startup+240.015 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3646 0 8 0 23943 10 0 0 25 0 1 0 711926947 25722880 3632 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6280 3632 1111 63 0 6217 0
vsize: 25120
[startup+250.015 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3755 0 8 0 24942 10 0 0 25 0 1 0 711926947 26173440 3741 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 3741 1111 63 0 6327 0
vsize: 25560
[startup+260.014 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3867 0 8 0 25942 11 0 0 25 0 1 0 711926947 26624000 3853 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6500 3853 1111 63 0 6437 0
vsize: 26000
[startup+270.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 3977 0 8 0 26941 11 0 0 25 0 1 0 711926947 27074560 3963 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6610 3963 1111 63 0 6547 0
vsize: 26440
[startup+280.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4087 0 8 0 27941 12 0 0 25 0 1 0 711926947 27521024 4073 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6719 4073 1111 63 0 6656 0
vsize: 26876
[startup+290.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4196 0 8 0 28940 12 0 0 25 0 1 0 711926947 27971584 4182 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4182 1111 63 0 6766 0
vsize: 27316
[startup+300.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4307 0 8 0 29940 12 0 0 25 0 1 0 711926947 28422144 4293 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4293 1111 63 0 6876 0
vsize: 27756
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4423 0 8 0 30940 13 0 0 25 0 1 0 711926947 28872704 4409 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 4409 1111 63 0 6986 0
vsize: 28196
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4534 0 8 0 31940 13 0 0 25 0 1 0 711926947 29319168 4520 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7158 4520 1111 63 0 7095 0
vsize: 28632
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4644 0 8 0 32940 13 0 0 25 0 1 0 711926947 29769728 4630 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7268 4630 1111 63 0 7205 0
vsize: 29072
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4760 0 8 0 33940 13 0 0 25 0 1 0 711926947 30371840 4746 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4746 1111 63 0 7352 0
vsize: 29660
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4864 0 8 0 34940 13 0 0 25 0 1 0 711926947 30670848 4850 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 4850 1111 63 0 7425 0
vsize: 29952
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 4992 0 8 0 35940 14 0 0 25 0 1 0 711926947 31277056 4978 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4978 1111 63 0 7573 0
vsize: 30544
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5102 0 8 0 36940 14 0 0 25 0 1 0 711926947 31727616 5088 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 5088 1111 63 0 7683 0
vsize: 30984
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5212 0 8 0 37940 14 0 0 25 0 1 0 711926947 32174080 5198 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5198 1111 63 0 7792 0
vsize: 31420
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5329 0 8 0 38940 14 0 0 25 0 1 0 711926947 32624640 5315 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7965 5315 1111 63 0 7902 0
vsize: 31860
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5440 0 8 0 39940 15 0 0 25 0 1 0 711926947 33075200 5426 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8075 5426 1111 63 0 8012 0
vsize: 32300
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5550 0 8 0 40941 15 0 0 25 0 1 0 711926947 33525760 5536 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8185 5536 1111 63 0 8122 0
vsize: 32740
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5667 0 8 0 41941 15 0 0 25 0 1 0 711926947 34127872 5653 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5653 1111 63 0 8269 0
vsize: 33328
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5778 0 8 0 42941 15 0 0 25 0 1 0 711926947 34574336 5764 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8441 5764 1111 63 0 8378 0
vsize: 33764
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 5889 0 8 0 43941 16 0 0 25 0 1 0 711926947 35024896 5875 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 5875 1111 63 0 8488 0
vsize: 34204
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6005 0 8 0 44941 16 0 0 25 0 1 0 711926947 35475456 5991 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8661 5991 1111 63 0 8598 0
vsize: 34644
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6116 0 8 0 45940 16 0 0 25 0 1 0 711926947 35926016 6102 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8771 6102 1111 63 0 8708 0
vsize: 35084
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6232 0 8 0 46940 17 0 0 25 0 1 0 711926947 36372480 6218 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 6218 1111 63 0 8817 0
vsize: 35520
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6344 0 8 0 47940 17 0 0 25 0 1 0 711926947 36823040 6330 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8990 6330 1111 63 0 8927 0
vsize: 35960
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6460 0 8 0 48940 17 0 0 25 0 1 0 711926947 37273600 6446 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9100 6446 1111 63 0 9037 0
vsize: 36400
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6571 0 8 0 49940 17 0 0 25 0 1 0 711926947 37724160 6557 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6557 1111 63 0 9147 0
vsize: 36840
[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6680 0 8 0 50940 17 0 0 25 0 1 0 711926947 38174720 6666 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9320 6666 1111 63 0 9257 0
vsize: 37280
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6798 0 8 0 51940 18 0 0 25 0 1 0 711926947 38625280 6784 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6784 1111 63 0 9367 0
vsize: 37720
[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 6914 0 8 0 52940 18 0 0 25 0 1 0 711926947 39219200 6900 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 6900 1111 63 0 9512 0
vsize: 38300
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7026 0 8 0 53940 19 0 0 25 0 1 0 711926947 39673856 7012 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 7012 1111 63 0 9623 0
vsize: 38744
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7136 0 8 0 54940 19 0 0 25 0 1 0 711926947 40120320 7122 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 7122 1111 63 0 9732 0
vsize: 39180
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7254 0 8 0 55939 19 0 0 25 0 1 0 711926947 40574976 7240 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9906 7240 1111 63 0 9843 0
vsize: 39624
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7370 0 8 0 56939 19 0 0 25 0 1 0 711926947 41017344 7356 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7356 1111 63 0 9951 0
vsize: 40056
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7482 0 8 0 57939 20 0 0 25 0 1 0 711926947 41472000 7468 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 7468 1111 63 0 10062 0
vsize: 40500
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7592 0 8 0 58939 20 0 0 25 0 1 0 711926947 41918464 7578 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10234 7578 1111 63 0 10171 0
vsize: 40936
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7709 0 8 0 59939 20 0 0 25 0 1 0 711926947 42373120 7695 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10345 7695 1111 63 0 10282 0
vsize: 41380
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7826 0 8 0 60938 21 0 0 25 0 1 0 711926947 42815488 7812 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10453 7812 1111 63 0 10390 0
vsize: 41812
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 7944 0 8 0 61938 21 0 0 25 0 1 0 711926947 43417600 7930 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10600 7930 1111 63 0 10537 0
vsize: 42400
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8054 0 8 0 62938 21 0 0 25 0 1 0 711926947 43868160 8040 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 8040 1111 63 0 10647 0
vsize: 42840
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8166 0 8 0 63938 22 0 0 25 0 1 0 711926947 44318720 8152 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10820 8152 1111 63 0 10757 0
vsize: 43280
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8282 0 8 0 64938 22 0 0 25 0 1 0 711926947 44765184 8268 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 8268 1111 63 0 10866 0
vsize: 43716
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8400 0 8 0 65938 23 0 0 25 0 1 0 711926947 45215744 8386 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11039 8386 1111 63 0 10976 0
vsize: 44156
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8516 0 8 0 66937 23 0 0 25 0 1 0 711926947 45666304 8502 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11149 8502 1111 63 0 11086 0
vsize: 44596
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8627 0 8 0 67937 23 0 0 25 0 1 0 711926947 46116864 8613 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11259 8613 1111 63 0 11196 0
vsize: 45036
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8745 0 8 0 68938 23 0 0 25 0 1 0 711926947 46567424 8731 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8731 1111 63 0 11306 0
vsize: 45476
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8860 0 8 0 69937 23 0 0 25 0 1 0 711926947 47165440 8846 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8846 1111 63 0 11452 0
vsize: 46060
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 8992 0 8 0 70937 24 0 0 25 0 1 0 711926947 47808512 8978 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11672 8978 1111 63 0 11609 0
vsize: 46688
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9108 0 8 0 71937 24 0 0 25 0 1 0 711926947 48259072 9094 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11782 9094 1111 63 0 11719 0
vsize: 47128
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9225 0 8 0 72937 24 0 0 25 0 1 0 711926947 48709632 9211 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11892 9211 1111 63 0 11829 0
vsize: 47568
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9341 0 8 0 73937 25 0 0 25 0 1 0 711926947 49156096 9327 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12001 9327 1111 63 0 11938 0
vsize: 48004
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9460 0 8 0 74937 25 0 0 25 0 1 0 711926947 49610752 9446 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12112 9446 1111 63 0 12049 0
vsize: 48448
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9571 0 8 0 75936 26 0 0 25 0 1 0 711926947 50057216 9557 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12221 9557 1111 63 0 12158 0
vsize: 48884
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9688 0 8 0 76936 26 0 0 25 0 1 0 711926947 50659328 9674 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12368 9674 1111 63 0 12305 0
vsize: 49472
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9804 0 8 0 77936 26 0 0 25 0 1 0 711926947 51105792 9790 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12477 9790 1111 63 0 12414 0
vsize: 49908
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 9923 0 8 0 78935 27 0 0 25 0 1 0 711926947 51560448 9909 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 9909 1111 63 0 12525 0
vsize: 50352
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10034 0 8 0 79936 27 0 0 25 0 1 0 711926947 52002816 10020 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12696 10020 1111 63 0 12633 0
vsize: 50784
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10152 0 8 0 80936 27 0 0 25 0 1 0 711926947 52457472 10138 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12807 10138 1111 63 0 12744 0
vsize: 51228
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10268 0 8 0 81935 28 0 0 25 0 1 0 711926947 52903936 10254 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12916 10254 1111 63 0 12853 0
vsize: 51664
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10386 0 8 0 82935 28 0 0 25 0 1 0 711926947 53506048 10372 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13063 10372 1111 63 0 13000 0
vsize: 52252
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10503 0 8 0 83935 29 0 0 25 0 1 0 711926947 53952512 10489 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13172 10489 1111 63 0 13109 0
vsize: 52688
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10621 0 8 0 84935 29 0 0 25 0 1 0 711926947 54403072 10607 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13282 10607 1111 63 0 13219 0
vsize: 53128
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10737 0 8 0 85935 29 0 0 25 0 1 0 711926947 54853632 10723 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13392 10723 1111 63 0 13329 0
vsize: 53568
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7175
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10855 0 8 0 86935 29 0 0 25 0 1 0 711926947 55304192 10841 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13502 10841 1111 63 0 13439 0
vsize: 54008
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 3/58 7213
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 10973 0 8 0 87934 30 0 0 25 0 1 0 711926947 55906304 10959 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13649 10959 1111 63 0 13586 0
vsize: 54596
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7228
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11091 0 8 0 88934 30 0 0 25 0 1 0 711926947 56352768 11077 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13758 11077 1111 63 0 13695 0
vsize: 55032
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7228
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11209 0 8 0 89934 30 0 0 25 0 1 0 711926947 56803328 11195 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13868 11195 1111 63 0 13805 0
vsize: 55472
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7228
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11325 0 8 0 90934 31 0 0 25 0 1 0 711926947 57253888 11311 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13978 11311 1111 63 0 13915 0
vsize: 55912
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7228
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11444 0 8 0 91934 31 0 0 25 0 1 0 711926947 57696256 11430 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14086 11430 1111 63 0 14023 0
vsize: 56344
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7228
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11561 0 8 0 92934 31 0 0 25 0 1 0 711926947 58269696 11547 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14226 11547 1111 63 0 14163 0
vsize: 56904
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7230
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11679 0 8 0 93933 32 0 0 25 0 1 0 711926947 58724352 11665 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14337 11665 1111 63 0 14274 0
vsize: 57348
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7230
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11795 0 8 0 94932 33 0 0 25 0 1 0 711926947 59170816 11781 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14446 11781 1111 63 0 14383 0
vsize: 57784
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 11914 0 8 0 95932 33 0 0 25 0 1 0 711926947 59621376 11900 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 11900 1111 63 0 14493 0
vsize: 58224
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12032 0 8 0 96932 34 0 0 25 0 1 0 711926947 60215296 12018 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14701 12018 1111 63 0 14638 0
vsize: 58804
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12149 0 8 0 97932 34 0 0 25 0 1 0 711926947 60669952 12135 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14812 12135 1111 63 0 14749 0
vsize: 59248
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12266 0 8 0 98932 34 0 0 25 0 1 0 711926947 61116416 12252 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14921 12252 1111 63 0 14858 0
vsize: 59684
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12385 0 8 0 99932 34 0 0 25 0 1 0 711926947 61571072 12371 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15032 12371 1111 63 0 14969 0
vsize: 60128
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12502 0 8 0 100932 34 0 0 25 0 1 0 711926947 62017536 12488 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15141 12488 1111 63 0 15078 0
vsize: 60564
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12626 0 8 0 101932 34 0 0 25 0 1 0 711926947 62619648 12612 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 12612 1111 63 0 15225 0
vsize: 61152
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12744 0 8 0 102932 35 0 0 25 0 1 0 711926947 63066112 12730 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15397 12730 1111 63 0 15334 0
vsize: 61588
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12862 0 8 0 103932 35 0 0 25 0 1 0 711926947 63516672 12848 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15507 12848 1111 63 0 15444 0
vsize: 62028
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 12986 0 8 0 104932 35 0 0 25 0 1 0 711926947 64118784 12972 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15654 12972 1111 63 0 15591 0
vsize: 62616
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13104 0 8 0 105932 35 0 0 25 0 1 0 711926947 64569344 13090 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15764 13090 1111 63 0 15701 0
vsize: 63056
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13222 0 8 0 106932 36 0 0 25 0 1 0 711926947 65019904 13208 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15874 13208 1111 63 0 15811 0
vsize: 63496
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13339 0 8 0 107931 36 0 0 25 0 1 0 711926947 65466368 13325 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15983 13325 1111 63 0 15920 0
vsize: 63932
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13458 0 8 0 108931 37 0 0 25 0 1 0 711926947 65916928 13444 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16093 13444 1111 63 0 16030 0
vsize: 64372
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13575 0 8 0 109931 37 0 0 25 0 1 0 711926947 66514944 13561 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16239 13561 1111 63 0 16176 0
vsize: 64956
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13700 0 8 0 110931 37 0 0 25 0 1 0 711926947 66969600 13686 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16350 13686 1111 63 0 16287 0
vsize: 65400
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13817 0 8 0 111931 37 0 0 25 0 1 0 711926947 67411968 13803 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16458 13803 1111 63 0 16395 0
vsize: 65832
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 13941 0 8 0 112931 38 0 0 25 0 1 0 711926947 68014080 13927 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 13927 1111 63 0 16542 0
vsize: 66420
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14059 0 8 0 113931 38 0 0 25 0 1 0 711926947 68464640 14045 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 14045 1111 63 0 16652 0
vsize: 66860
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14178 0 8 0 114930 39 0 0 25 0 1 0 711926947 68915200 14164 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16825 14164 1111 63 0 16762 0
vsize: 67300
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14303 0 8 0 115930 39 0 0 25 0 1 0 711926947 69361664 14289 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16934 14289 1111 63 0 16871 0
vsize: 67736
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14420 0 8 0 116930 39 0 0 25 0 1 0 711926947 69963776 14406 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17081 14406 1111 63 0 17018 0
vsize: 68324
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14545 0 8 0 117930 39 0 0 25 0 1 0 711926947 70414336 14531 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17191 14531 1111 63 0 17128 0
vsize: 68764
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14662 0 8 0 118930 39 0 0 25 0 1 0 711926947 70864896 14648 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17301 14648 1111 63 0 17238 0
vsize: 69204
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14781 0 8 0 119930 40 0 0 25 0 1 0 711926947 71315456 14767 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17411 14767 1111 63 0 17348 0
vsize: 69644
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7232
Raw data (stat): 7175 (bsolo_mis) R 7174 32363 32362 0 -1 0 14904 0 8 0 120930 40 0 0 25 0 1 0 711926947 71909376 14890 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17556 14890 1111 63 0 17493 0
vsize: 70224
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7232
Raw data (stat): 7175 (bsolo_mis) Z 7174 32363 32362 0 -1 1036 14904 0 8 0 120931 42 0 0 25 0 1 0 711926947 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.06
CPU time (s): 1209.74
CPU user time (s): 1209.31
CPU system time (s): 0.425935
CPU usage (%): 99.9732
Max. virtual memory (Kb): 70224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####