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/submitted/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	54
Optimality of the best value was proved	NO
Number of terms in the objective function	225
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	225
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	225
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 25049

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 06:58:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4956 boxname=wulflinc31 idbench=382 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
IDLAUNCH: 4956
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        800260 kB
Buffers:         48716 kB
Cached:         163688 kB
SwapCached:       1932 kB
Active:         170292 kB
Inactive:        45276 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800008 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13184 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 07:18:39 (client local time) WITH STATUS 0 IN 1201.88 SECONDS
stats: 4956 7 1201.88 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 225 variables and 225 constraints.
c After prepocess the problem consists of 225 variables and 225 constraints.
c preprocess terminated 0.062 s
c Initial Lower Bound: 40
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 69 @ 0.118
c NEW SOLUTION FOUND: 68 @ 0.12
c NEW SOLUTION FOUND: 67 @ 0.149
c NEW SOLUTION FOUND: 66 @ 0.488
c NEW SOLUTION FOUND: 65 @ 107.129
c NEW SOLUTION FOUND: 64 @ 167.566
#### 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.97 0.96 2/55 10399
Raw data (stat): 10399 (runsolver) R 10398 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 759112517 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 9523 0 0 0 975 20 0 0 25 0 1 0 759112517 43454464 9427 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10609 9427 1111 63 0 10546 0
vsize: 42436
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 11469 0 0 0 1971 26 0 0 25 0 1 0 759112517 51458048 11366 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12563 11366 1111 63 0 12500 0
vsize: 50252
[startup+30.002 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 11542 0 0 0 2970 26 0 0 25 0 1 0 759112517 51728384 11439 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12629 11439 1111 63 0 12566 0
vsize: 50516
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 11542 0 0 0 3970 27 0 0 25 0 1 0 759112517 51728384 11439 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12629 11439 1111 63 0 12566 0
vsize: 50516
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 11542 0 0 0 4970 27 0 0 25 0 1 0 759112517 51728384 11439 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12629 11439 1111 63 0 12566 0
vsize: 50516
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 11543 0 0 0 5969 28 0 0 25 0 1 0 759112517 51728384 11440 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12629 11440 1111 63 0 12566 0
vsize: 50516
[startup+70.0047 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 16498 0 0 0 6958 39 0 0 25 0 1 0 759112517 73035776 16266 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17831 16266 1111 63 0 17768 0
vsize: 71324
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 20244 0 0 0 7947 50 0 0 25 0 1 0 759112517 88379392 19988 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21577 19988 1111 63 0 21514 0
vsize: 86308
[startup+90.3542 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 10399
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 23525 0 0 0 8974 58 0 0 25 0 1 0 759112517 101580800 23253 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24800 23253 1111 63 0 24737 0
vsize: 99200
[startup+100.356 s]
Raw data (loadavg): 1.14 1.00 0.97 3/59 10446
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 27136 0 0 0 9966 65 0 0 25 0 1 0 759112517 116060160 26855 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28335 26855 1111 63 0 28272 0
vsize: 113340
[startup+110.951 s]
Raw data (loadavg): 1.32 1.05 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 32060 0 0 0 11007 77 0 0 25 0 1 0 759112517 138395648 31498 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33788 31498 1111 63 0 33725 0
vsize: 135152
[startup+121.094 s]
Raw data (loadavg): 1.27 1.05 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 32060 0 0 0 12021 77 0 0 25 0 1 0 759112517 138395648 31498 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33788 31498 1111 63 0 33725 0
vsize: 135152
[startup+131.094 s]
Raw data (loadavg): 1.23 1.05 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 32061 0 0 0 13020 77 0 0 25 0 1 0 759112517 138395648 31499 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33788 31499 1111 63 0 33725 0
vsize: 135152
[startup+141.322 s]
Raw data (loadavg): 1.19 1.05 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 32061 0 0 0 14042 77 0 0 25 0 1 0 759112517 138395648 31499 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33788 31499 1111 63 0 33725 0
vsize: 135152
[startup+151.651 s]
Raw data (loadavg): 1.16 1.04 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 32063 0 0 0 15075 77 0 0 25 0 1 0 759112517 138395648 31501 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33788 31501 1111 63 0 33725 0
vsize: 135152
[startup+161.65 s]
Raw data (loadavg): 1.14 1.04 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 36779 0 0 0 16063 90 0 0 25 0 1 0 759112517 157564928 36174 4294967295 134512640 134714540 3221221792 3221220664 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38468 36174 1111 63 0 38405 0
vsize: 153872
[startup+171.65 s]
Raw data (loadavg): 1.11 1.04 0.98 2/55 10452
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 40252 0 0 0 17055 98 0 0 25 0 1 0 759112517 171847680 39622 4294967295 134512640 134714540 3221221792 3221220592 134622417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41955 39622 1111 63 0 41892 0
vsize: 167820
[startup+181.651 s]
Raw data (loadavg): 1.10 1.04 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 43332 0 0 0 18047 105 0 0 25 0 1 0 759112517 184287232 42681 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44992 42681 1111 63 0 44929 0
vsize: 179968
[startup+191.651 s]
Raw data (loadavg): 1.08 1.04 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 46553 0 0 0 19039 114 0 0 25 0 1 0 759112517 197410816 45889 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48196 45889 1111 63 0 48133 0
vsize: 192784
[startup+201.651 s]
Raw data (loadavg): 1.07 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 49888 0 0 0 20031 122 0 0 25 0 1 0 759112517 210980864 49197 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51509 49197 1111 63 0 51446 0
vsize: 206036
[startup+211.651 s]
Raw data (loadavg): 1.06 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 56052 0 0 0 21016 138 0 0 25 0 1 0 759112517 236417024 54831 4294967295 134512640 134714540 3221221792 3221220384 134535146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57719 54835 1111 63 0 57656 0
vsize: 230876
[startup+221.652 s]
Raw data (loadavg): 1.05 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 58731 0 0 0 22011 142 0 0 25 0 1 0 759112517 248217600 56399 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60600 56399 1111 63 0 60537 0
vsize: 242400
[startup+231.652 s]
Raw data (loadavg): 1.04 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 58731 0 0 0 23011 142 0 0 25 0 1 0 759112517 248217600 56399 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60600 56399 1111 63 0 60537 0
vsize: 242400
[startup+241.653 s]
Raw data (loadavg): 1.03 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 58733 0 0 0 24012 142 0 0 25 0 1 0 759112517 248217600 56401 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60600 56401 1111 63 0 60537 0
vsize: 242400
[startup+251.654 s]
Raw data (loadavg): 1.03 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 62490 0 0 0 25004 151 0 0 25 0 1 0 759112517 263102464 60148 4294967295 134512640 134714540 3221221792 3221220560 134624620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64234 60148 1111 63 0 64171 0
vsize: 256936
[startup+261.654 s]
Raw data (loadavg): 1.02 1.03 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 64987 0 0 0 25998 157 0 0 25 0 1 0 759112517 273047552 62540 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66662 62540 1111 63 0 66599 0
vsize: 266648
[startup+271.655 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 64987 0 0 0 26998 157 0 0 25 0 1 0 759112517 273047552 62540 4294967295 134512640 134714540 3221221792 3221220504 134543130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66662 62540 1111 63 0 66599 0
vsize: 266648
[startup+281.655 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 64987 0 0 0 27998 157 0 0 25 0 1 0 759112517 273047552 62540 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66662 62540 1111 63 0 66599 0
vsize: 266648
[startup+291.656 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 64989 0 0 0 28998 157 0 0 25 0 1 0 759112517 273047552 62542 4294967295 134512640 134714540 3221221792 3221220584 134536906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66662 62542 1111 63 0 66599 0
vsize: 266648
[startup+301.656 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 65536 0 0 0 29997 158 0 0 25 0 1 0 759112517 275251200 62999 4294967295 134512640 134714540 3221221792 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67200 62999 1111 63 0 67137 0
vsize: 268800
[startup+311.655 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 70101 0 0 0 30986 170 0 0 25 0 1 0 759112517 292831232 67288 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71492 67288 1111 63 0 71429 0
vsize: 285968
[startup+321.656 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 70102 0 0 0 31986 170 0 0 25 0 1 0 759112517 292831232 67289 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71492 67289 1111 63 0 71429 0
vsize: 285968
[startup+331.657 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 75199 0 0 0 32973 183 0 0 25 0 1 0 759112517 313241600 72151 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76475 72151 1111 63 0 76412 0
vsize: 305900
[startup+341.657 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78493 0 0 0 33965 191 0 0 25 0 1 0 759112517 326475776 75244 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75244 1111 63 0 79643 0
vsize: 318824
[startup+351.657 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78493 0 0 0 34965 191 0 0 25 0 1 0 759112517 326475776 75244 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75244 1111 63 0 79643 0
vsize: 318824
[startup+361.657 s]
Raw data (loadavg): 1.00 1.02 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78493 0 0 0 35966 191 0 0 25 0 1 0 759112517 326475776 75244 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75244 1111 63 0 79643 0
vsize: 318824
[startup+371.658 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78493 0 0 0 36966 191 0 0 25 0 1 0 759112517 326475776 75244 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75244 1111 63 0 79643 0
vsize: 318824
[startup+381.658 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78493 0 0 0 37966 191 0 0 25 0 1 0 759112517 326475776 75244 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75244 1111 63 0 79643 0
vsize: 318824
[startup+391.659 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 38966 191 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+401.659 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 39966 191 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+411.659 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10454
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 40966 191 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+421.659 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 41967 191 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+431.66 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 42966 191 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+441.661 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 43966 191 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+451.661 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 44966 192 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+461.66 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 45967 192 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+471.66 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 46967 192 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+481.661 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78495 0 0 0 47967 192 0 0 25 0 1 0 759112517 326475776 75246 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75246 1111 63 0 79643 0
vsize: 318824
[startup+491.661 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 48967 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+501.661 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 49967 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+511.661 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 50967 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+521.662 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 51967 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+531.662 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 52967 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+541.663 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 53968 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+551.663 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 54968 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+561.663 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 55968 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+571.664 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 56968 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+581.664 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 57968 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+591.665 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78496 0 0 0 58968 192 0 0 25 0 1 0 759112517 326475776 75247 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79706 75247 1111 63 0 79643 0
vsize: 318824
[startup+601.665 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 59969 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+611.665 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 60969 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+621.666 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 61969 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+631.666 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 62969 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+641.667 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 63969 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+651.667 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 64970 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+661.667 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78498 0 0 0 65970 192 0 0 25 0 1 0 759112517 326610944 75249 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75249 1111 63 0 79676 0
vsize: 318956
[startup+671.668 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 66970 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+681.668 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 67970 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+691.669 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 68970 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+701.67 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 69970 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+711.67 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 70971 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+721.671 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 71971 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+731.671 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78499 0 0 0 72971 192 0 0 25 0 1 0 759112517 326610944 75250 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75250 1111 63 0 79676 0
vsize: 318956
[startup+741.672 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78501 0 0 0 73971 193 0 0 25 0 1 0 759112517 326610944 75252 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75252 1111 63 0 79676 0
vsize: 318956
[startup+751.672 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78501 0 0 0 74971 193 0 0 25 0 1 0 759112517 326610944 75252 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75252 1111 63 0 79676 0
vsize: 318956
[startup+761.672 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78501 0 0 0 75971 193 0 0 25 0 1 0 759112517 326610944 75252 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75252 1111 63 0 79676 0
vsize: 318956
[startup+771.674 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78501 0 0 0 76972 193 0 0 25 0 1 0 759112517 326610944 75252 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75252 1111 63 0 79676 0
vsize: 318956
[startup+781.673 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78501 0 0 0 77972 193 0 0 25 0 1 0 759112517 326610944 75252 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75252 1111 63 0 79676 0
vsize: 318956
[startup+791.674 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78501 0 0 0 78972 193 0 0 25 0 1 0 759112517 326610944 75252 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75252 1111 63 0 79676 0
vsize: 318956
[startup+801.676 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78502 0 0 0 79972 193 0 0 25 0 1 0 759112517 326610944 75253 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75253 1111 63 0 79676 0
vsize: 318956
[startup+811.675 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78502 0 0 0 80972 193 0 0 25 0 1 0 759112517 326610944 75253 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75253 1111 63 0 79676 0
vsize: 318956
[startup+821.675 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78502 0 0 0 81973 193 0 0 25 0 1 0 759112517 326610944 75253 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75253 1111 63 0 79676 0
vsize: 318956
[startup+831.675 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78502 0 0 0 82973 193 0 0 25 0 1 0 759112517 326610944 75253 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75253 1111 63 0 79676 0
vsize: 318956
[startup+841.676 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78504 0 0 0 83973 193 0 0 25 0 1 0 759112517 326610944 75255 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75255 1111 63 0 79676 0
vsize: 318956
[startup+851.676 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78504 0 0 0 84973 193 0 0 25 0 1 0 759112517 326610944 75255 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75255 1111 63 0 79676 0
vsize: 318956
[startup+861.676 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78504 0 0 0 85973 193 0 0 25 0 1 0 759112517 326610944 75255 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75255 1111 63 0 79676 0
vsize: 318956
[startup+871.677 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78504 0 0 0 86973 193 0 0 25 0 1 0 759112517 326610944 75255 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75255 1111 63 0 79676 0
vsize: 318956
[startup+881.677 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78504 0 0 0 87974 193 0 0 25 0 1 0 759112517 326610944 75255 4294967295 134512640 134714540 3221221792 3221220572 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79739 75255 1111 63 0 79676 0
vsize: 318956
[startup+891.678 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78657 0 0 0 88973 193 0 0 25 0 1 0 759112517 327151616 75408 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79871 75408 1111 63 0 79808 0
vsize: 319484
[startup+901.678 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 78799 0 0 0 89973 193 0 0 25 0 1 0 759112517 327692288 75550 4294967295 134512640 134714540 3221221792 3221220528 134622825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80003 75550 1111 63 0 79940 0
vsize: 320012
[startup+911.678 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 80103 0 0 0 90971 196 0 0 25 0 1 0 759112517 331812864 76560 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81009 76560 1111 63 0 80946 0
vsize: 324036
[startup+921.679 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 80103 0 0 0 91971 196 0 0 25 0 1 0 759112517 331812864 76560 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81009 76560 1111 63 0 80946 0
vsize: 324036
[startup+931.679 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 80318 0 0 0 92971 196 0 0 25 0 1 0 759112517 332623872 76775 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81207 76775 1111 63 0 81144 0
vsize: 324828
[startup+941.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 80330 0 0 0 93971 196 0 0 25 0 1 0 759112517 332759040 76787 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81240 76787 1111 63 0 81177 0
vsize: 324960
[startup+951.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 80821 0 0 0 94971 197 0 0 25 0 1 0 759112517 334516224 77278 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81669 77278 1111 63 0 81606 0
vsize: 326676
[startup+961.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 95970 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+971.681 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 96970 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+981.681 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 97970 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+991.682 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 98971 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1001.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 99971 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1011.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 100971 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1021.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 101971 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1031.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 102971 198 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1041.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 103971 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1051.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 104971 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1061.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 105971 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1071.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 106971 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1081.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 107971 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1091.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 108972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220596 134622632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1101.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 109972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1111.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 110972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1121.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 111972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1131.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 112972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1141.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 113972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1151.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 114972 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1161.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 115973 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1171.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 116973 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1181.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 117973 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1191.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 118973 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
[startup+1201.69 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 10456
Raw data (stat): 10399 (bsolo_mis) R 10398 7876 7672 0 -1 0 81332 0 0 0 119973 199 0 0 25 0 1 0 759112517 336678912 77789 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82197 77789 1111 63 0 82134 0
vsize: 328788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.84 s]
Raw data (loadavg): 1.00 1.00 0.98 1/55 10456
Raw data (stat): 10399 (bsolo_mis) Z 10398 7876 7672 0 -1 1036 81332 0 0 0 119973 214 0 0 25 0 1 0 759112517 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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): 1201.84
CPU time (s): 1201.88
CPU user time (s): 1199.74
CPU system time (s): 2.14267
CPU usage (%): 100.004
Max. virtual memory (Kb): 328788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####