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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
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	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
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	927
Minimum length of a constraint	30
Maximum length of a constraint	11190
Trace number 29040

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 04:28:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10650 boxname=wulflinc25 idbench=820 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8225997c3fd9c39c0ae1e7fa3d3e4160  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-czprob.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-czprob.opb
IDLAUNCH: 10650
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        488072 kB
Buffers:         18944 kB
Cached:         503252 kB
SwapCached:        588 kB
Active:          71476 kB
Inactive:       452996 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        487764 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            16356 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:48:28 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 10650 7 1200.28 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.92 0.91 0.90 2/54 10549
Raw data (stat): 10549 (runsolver) R 10548 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836014558 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.91 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1175 0 0 0 995 4 0 0 25 0 1 0 836014558 15360000 1153 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 1153 1111 63 0 3687 0
vsize: 15000
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.91 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1241 0 0 0 1994 4 0 0 25 0 1 0 836014558 15511552 1219 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1219 1111 63 0 3724 0
vsize: 15148
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.92 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1309 0 0 0 2995 4 0 0 25 0 1 0 836014558 15794176 1287 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 1287 1111 63 0 3793 0
vsize: 15424
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1376 0 0 0 3994 5 0 0 25 0 1 0 836014558 16089088 1354 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 1354 1111 63 0 3865 0
vsize: 15712
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1442 0 0 0 4995 5 0 0 25 0 1 0 836014558 16388096 1420 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 1420 1111 63 0 3938 0
vsize: 16004
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1516 0 0 0 5995 5 0 0 25 0 1 0 836014558 16687104 1494 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 1494 1111 63 0 4011 0
vsize: 16296
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1576 0 0 0 6995 5 0 0 25 0 1 0 836014558 16969728 1554 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4143 1554 1111 63 0 4080 0
vsize: 16572
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1651 0 0 0 7995 5 0 0 25 0 1 0 836014558 17248256 1629 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 1629 1111 63 0 4148 0
vsize: 16844
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1711 0 0 0 8995 5 0 0 25 0 1 0 836014558 17551360 1689 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 1689 1111 63 0 4222 0
vsize: 17140
[startup+100.002 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1785 0 0 0 9995 6 0 0 25 0 1 0 836014558 17858560 1763 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4360 1763 1111 63 0 4297 0
vsize: 17440
[startup+110.003 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1845 0 0 0 10995 6 0 0 25 0 1 0 836014558 18010112 1823 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4397 1823 1111 63 0 4334 0
vsize: 17588
[startup+120.002 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1917 0 0 0 11995 6 0 0 25 0 1 0 836014558 18309120 1895 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 1895 1111 63 0 4407 0
vsize: 17880
[startup+130.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 1985 0 0 0 12995 6 0 0 25 0 1 0 836014558 18591744 1963 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1963 1111 63 0 4476 0
vsize: 18156
[startup+140.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2052 0 0 0 13995 6 0 0 25 0 1 0 836014558 18882560 2030 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 2030 1111 63 0 4547 0
vsize: 18440
[startup+150.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2129 0 0 0 14995 6 0 0 25 0 1 0 836014558 19185664 2107 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 2107 1111 63 0 4621 0
vsize: 18736
[startup+160.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2190 0 0 0 15995 6 0 0 25 0 1 0 836014558 19484672 2168 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 2168 1111 63 0 4694 0
vsize: 19028
[startup+170.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2262 0 0 0 16995 7 0 0 25 0 1 0 836014558 19787776 2240 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 2240 1111 63 0 4768 0
vsize: 19324
[startup+180.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2335 0 0 0 17995 7 0 0 25 0 1 0 836014558 20086784 2313 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4904 2313 1111 63 0 4841 0
vsize: 19616
[startup+190.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2403 0 0 0 18995 7 0 0 25 0 1 0 836014558 20369408 2381 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 2381 1111 63 0 4910 0
vsize: 19892
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2471 0 0 0 19996 7 0 0 25 0 1 0 836014558 20660224 2449 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5044 2449 1111 63 0 4981 0
vsize: 20176
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2543 0 0 0 20996 7 0 0 25 0 1 0 836014558 20963328 2521 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5118 2521 1111 63 0 5055 0
vsize: 20472
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2610 0 0 0 21995 7 0 0 25 0 1 0 836014558 21114880 2588 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 2588 1111 63 0 5092 0
vsize: 20620
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2677 0 0 0 22996 7 0 0 25 0 1 0 836014558 21397504 2655 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5224 2655 1111 63 0 5161 0
vsize: 20896
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2750 0 0 0 23996 8 0 0 25 0 1 0 836014558 21688320 2728 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5295 2728 1111 63 0 5232 0
vsize: 21180
[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2809 0 0 0 24996 8 0 0 25 0 1 0 836014558 21987328 2787 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 2787 1111 63 0 5305 0
vsize: 21472
[startup+260.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2883 0 0 0 25997 8 0 0 25 0 1 0 836014558 22294528 2861 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5443 2861 1111 63 0 5380 0
vsize: 21772
[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 2943 0 0 0 26997 8 0 0 25 0 1 0 836014558 22593536 2921 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5516 2921 1111 63 0 5453 0
vsize: 22064
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3015 0 0 0 27997 8 0 0 25 0 1 0 836014558 22896640 2993 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 2993 1111 63 0 5527 0
vsize: 22360
[startup+290.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3100 0 0 0 28997 8 0 0 25 0 1 0 836014558 23207936 3078 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 3078 1111 63 0 5603 0
vsize: 22664
[startup+300.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3156 0 0 0 29997 8 0 0 25 0 1 0 836014558 23490560 3134 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5735 3134 1111 63 0 5672 0
vsize: 22940
[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3229 0 0 0 30997 8 0 0 25 0 1 0 836014558 23789568 3207 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5808 3207 1111 63 0 5745 0
vsize: 23232
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3298 0 0 0 31997 9 0 0 25 0 1 0 836014558 23941120 3276 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5845 3276 1111 63 0 5782 0
vsize: 23380
[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3364 0 0 0 32997 9 0 0 25 0 1 0 836014558 24248320 3342 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5920 3342 1111 63 0 5857 0
vsize: 23680
[startup+340.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3436 0 0 0 33997 9 0 0 25 0 1 0 836014558 24547328 3414 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5993 3414 1111 63 0 5930 0
vsize: 23972
[startup+350.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3496 0 0 0 34997 9 0 0 25 0 1 0 836014558 24846336 3474 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 3474 1111 63 0 6003 0
vsize: 24264
[startup+360.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3570 0 0 0 35997 9 0 0 25 0 1 0 836014558 25153536 3548 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6141 3548 1111 63 0 6078 0
vsize: 24564
[startup+370.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3644 0 0 0 36997 9 0 0 25 0 1 0 836014558 25452544 3622 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6214 3622 1111 63 0 6151 0
vsize: 24856
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3711 0 0 0 37998 9 0 0 25 0 1 0 836014558 25755648 3689 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6288 3689 1111 63 0 6225 0
vsize: 25152
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3779 0 0 0 38998 9 0 0 25 0 1 0 836014558 25907200 3757 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6325 3757 1111 63 0 6262 0
vsize: 25300
[startup+400.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3852 0 0 0 39998 9 0 0 25 0 1 0 836014558 26210304 3830 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6399 3830 1111 63 0 6336 0
vsize: 25596
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3925 0 0 0 40998 10 0 0 25 0 1 0 836014558 26509312 3903 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 3903 1111 63 0 6409 0
vsize: 25888
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 3993 0 0 0 41998 10 0 0 25 0 1 0 836014558 26808320 3971 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6545 3971 1111 63 0 6482 0
vsize: 26180
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4059 0 0 0 42998 10 0 0 25 0 1 0 836014558 27086848 4037 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6613 4037 1111 63 0 6550 0
vsize: 26452
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4133 0 0 0 43998 10 0 0 25 0 1 0 836014558 27385856 4111 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6686 4111 1111 63 0 6623 0
vsize: 26744
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4208 0 0 0 44998 10 0 0 25 0 1 0 836014558 27688960 4186 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6760 4186 1111 63 0 6697 0
vsize: 27040
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4282 0 0 0 45998 10 0 0 25 0 1 0 836014558 27996160 4260 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6835 4260 1111 63 0 6772 0
vsize: 27340
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4356 0 0 0 46998 11 0 0 25 0 1 0 836014558 28295168 4334 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 4334 1111 63 0 6845 0
vsize: 27632
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4430 0 0 0 47998 11 0 0 25 0 1 0 836014558 28594176 4408 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6981 4408 1111 63 0 6918 0
vsize: 27924
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4503 0 0 0 48997 12 0 0 25 0 1 0 836014558 28901376 4481 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7056 4481 1111 63 0 6993 0
vsize: 28224
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4576 0 0 0 49997 12 0 0 25 0 1 0 836014558 29200384 4554 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7129 4554 1111 63 0 7066 0
vsize: 28516
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4644 0 0 0 50997 12 0 0 25 0 1 0 836014558 29499392 4622 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7202 4622 1111 63 0 7139 0
vsize: 28808
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4711 0 0 0 51997 12 0 0 25 0 1 0 836014558 29806592 4689 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7277 4689 1111 63 0 7214 0
vsize: 29108
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4784 0 0 0 52997 12 0 0 25 0 1 0 836014558 30109696 4762 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7351 4762 1111 63 0 7288 0
vsize: 29404
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4865 0 0 0 53997 13 0 0 25 0 1 0 836014558 30408704 4843 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7424 4843 1111 63 0 7361 0
vsize: 29696
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 4932 0 0 0 54997 13 0 0 25 0 1 0 836014558 30715904 4910 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7499 4910 1111 63 0 7436 0
vsize: 29996
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5012 0 0 0 55997 13 0 0 25 0 1 0 836014558 31014912 4990 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7572 4990 1111 63 0 7509 0
vsize: 30288
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5098 0 0 0 56997 13 0 0 25 0 1 0 836014558 31350784 5076 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7654 5076 1111 63 0 7591 0
vsize: 30616
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5171 0 0 0 57998 13 0 0 25 0 1 0 836014558 31657984 5149 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 5149 1111 63 0 7666 0
vsize: 30916
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5238 0 0 0 58998 13 0 0 25 0 1 0 836014558 31956992 5216 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7802 5216 1111 63 0 7739 0
vsize: 31208
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5313 0 0 0 59998 14 0 0 25 0 1 0 836014558 32256000 5291 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7875 5291 1111 63 0 7812 0
vsize: 31500
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5394 0 0 0 60998 14 0 0 25 0 1 0 836014558 32563200 5372 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7950 5372 1111 63 0 7887 0
vsize: 31800
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5467 0 0 0 61998 14 0 0 25 0 1 0 836014558 32862208 5445 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8023 5445 1111 63 0 7960 0
vsize: 32092
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5542 0 0 0 62998 14 0 0 25 0 1 0 836014558 33165312 5520 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8097 5520 1111 63 0 8034 0
vsize: 32388
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5623 0 0 0 63999 14 0 0 25 0 1 0 836014558 33619968 5601 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8208 5601 1111 63 0 8145 0
vsize: 32832
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5690 0 0 0 64999 14 0 0 25 0 1 0 836014558 33771520 5668 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 5668 1111 63 0 8182 0
vsize: 32980
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5764 0 0 0 65999 14 0 0 25 0 1 0 836014558 34070528 5742 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8318 5742 1111 63 0 8255 0
vsize: 33272
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5837 0 0 0 66999 14 0 0 25 0 1 0 836014558 34377728 5815 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5815 1111 63 0 8330 0
vsize: 33572
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5905 0 0 0 67999 15 0 0 25 0 1 0 836014558 34676736 5883 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8466 5883 1111 63 0 8403 0
vsize: 33864
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 5986 0 0 0 68999 15 0 0 25 0 1 0 836014558 34975744 5964 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8539 5964 1111 63 0 8476 0
vsize: 34156
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6060 0 0 0 69999 15 0 0 25 0 1 0 836014558 35282944 6038 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8614 6038 1111 63 0 8551 0
vsize: 34456
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6141 0 0 0 70999 15 0 0 25 0 1 0 836014558 35733504 6119 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8724 6119 1111 63 0 8661 0
vsize: 34896
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6216 0 0 0 71999 15 0 0 25 0 1 0 836014558 36036608 6194 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 6194 1111 63 0 8735 0
vsize: 35192
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6289 0 0 0 72999 15 0 0 25 0 1 0 836014558 36339712 6267 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8872 6267 1111 63 0 8809 0
vsize: 35488
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6364 0 0 0 73999 15 0 0 25 0 1 0 836014558 36638720 6342 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 6342 1111 63 0 8882 0
vsize: 35780
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6439 0 0 0 74999 16 0 0 25 0 1 0 836014558 36945920 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6417 1111 63 0 8957 0
vsize: 36080
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6512 0 0 0 75999 16 0 0 25 0 1 0 836014558 37244928 6490 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9093 6490 1111 63 0 9030 0
vsize: 36372
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6587 0 0 0 77000 16 0 0 25 0 1 0 836014558 37543936 6565 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 6565 1111 63 0 9103 0
vsize: 36664
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6662 0 0 0 78000 16 0 0 25 0 1 0 836014558 37851136 6640 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9241 6640 1111 63 0 9178 0
vsize: 36964
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6742 0 0 0 79000 16 0 0 25 0 1 0 836014558 38150144 6720 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 6720 1111 63 0 9251 0
vsize: 37256
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6822 0 0 0 80000 16 0 0 25 0 1 0 836014558 38453248 6800 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9388 6800 1111 63 0 9325 0
vsize: 37552
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6898 0 0 0 81000 16 0 0 25 0 1 0 836014558 38756352 6876 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 6876 1111 63 0 9399 0
vsize: 37848
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 6972 0 0 0 81999 17 0 0 25 0 1 0 836014558 39059456 6950 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9536 6950 1111 63 0 9473 0
vsize: 38144
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7045 0 0 0 82999 17 0 0 25 0 1 0 836014558 39358464 7023 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 7023 1111 63 0 9546 0
vsize: 38436
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7127 0 0 0 84000 17 0 0 25 0 1 0 836014558 39665664 7105 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9684 7105 1111 63 0 9621 0
vsize: 38736
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7208 0 0 0 85000 17 0 0 25 0 1 0 836014558 39964672 7186 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9757 7186 1111 63 0 9694 0
vsize: 39028
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7282 0 0 0 86000 17 0 0 25 0 1 0 836014558 40263680 7260 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9830 7260 1111 63 0 9767 0
vsize: 39320
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7357 0 0 0 87000 17 0 0 25 0 1 0 836014558 40570880 7335 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9905 7335 1111 63 0 9842 0
vsize: 39620
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7431 0 0 0 88000 17 0 0 25 0 1 0 836014558 40869888 7409 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9978 7409 1111 63 0 9915 0
vsize: 39912
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7511 0 0 0 89000 18 0 0 25 0 1 0 836014558 41324544 7489 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10089 7489 1111 63 0 10026 0
vsize: 40356
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7593 0 0 0 90000 18 0 0 25 0 1 0 836014558 41631744 7571 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10164 7571 1111 63 0 10101 0
vsize: 40656
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7666 0 0 0 91000 18 0 0 25 0 1 0 836014558 41930752 7644 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 7644 1111 63 0 10174 0
vsize: 40948
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7740 0 0 0 92000 18 0 0 25 0 1 0 836014558 42229760 7718 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10310 7718 1111 63 0 10247 0
vsize: 41240
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7815 0 0 0 93001 18 0 0 25 0 1 0 836014558 42512384 7793 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10379 7793 1111 63 0 10316 0
vsize: 41516
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7890 0 0 0 94001 18 0 0 25 0 1 0 836014558 42803200 7868 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10450 7868 1111 63 0 10387 0
vsize: 41800
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 7970 0 0 0 95001 18 0 0 25 0 1 0 836014558 43106304 7948 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10524 7948 1111 63 0 10461 0
vsize: 42096
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8053 0 0 0 96001 18 0 0 25 0 1 0 836014558 43409408 8031 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10598 8031 1111 63 0 10535 0
vsize: 42392
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8133 0 0 0 97001 19 0 0 25 0 1 0 836014558 43864064 8111 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10709 8111 1111 63 0 10646 0
vsize: 42836
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8215 0 0 0 98001 19 0 0 25 0 1 0 836014558 44163072 8193 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10782 8193 1111 63 0 10719 0
vsize: 43128
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8289 0 0 0 99001 19 0 0 25 0 1 0 836014558 44470272 8267 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8267 1111 63 0 10794 0
vsize: 43428
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8371 0 0 0 100001 19 0 0 25 0 1 0 836014558 44769280 8349 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10930 8349 1111 63 0 10867 0
vsize: 43720
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8452 0 0 0 101002 19 0 0 25 0 1 0 836014558 45068288 8430 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11003 8430 1111 63 0 10940 0
vsize: 44012
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8526 0 0 0 102002 19 0 0 25 0 1 0 836014558 45375488 8504 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11078 8504 1111 63 0 11015 0
vsize: 44312
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8598 0 0 0 103002 19 0 0 25 0 1 0 836014558 45674496 8576 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11151 8576 1111 63 0 11088 0
vsize: 44604
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8659 0 0 0 104002 19 0 0 25 0 1 0 836014558 45977600 8637 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11225 8637 1111 63 0 11162 0
vsize: 44900
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8732 0 0 0 105002 20 0 0 25 0 1 0 836014558 46284800 8710 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11300 8710 1111 63 0 11237 0
vsize: 45200
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8806 0 0 0 106002 20 0 0 25 0 1 0 836014558 46583808 8784 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11373 8784 1111 63 0 11310 0
vsize: 45492
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8881 0 0 0 107002 20 0 0 25 0 1 0 836014558 46882816 8859 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11446 8859 1111 63 0 11383 0
vsize: 45784
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 8967 0 0 0 108001 21 0 0 25 0 1 0 836014558 47190016 8945 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11521 8945 1111 63 0 11458 0
vsize: 46084
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9059 0 0 0 109001 21 0 0 25 0 1 0 836014558 47747072 9037 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11657 9037 1111 63 0 11594 0
vsize: 46628
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9140 0 0 0 110001 21 0 0 25 0 1 0 836014558 48021504 9118 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11724 9118 1111 63 0 11661 0
vsize: 46896
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9221 0 0 0 111001 21 0 0 25 0 1 0 836014558 48312320 9199 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11795 9199 1111 63 0 11732 0
vsize: 47180
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9294 0 0 0 112001 21 0 0 25 0 1 0 836014558 48611328 9272 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11868 9272 1111 63 0 11805 0
vsize: 47472
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9377 0 0 0 113002 21 0 0 25 0 1 0 836014558 49065984 9355 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11979 9355 1111 63 0 11916 0
vsize: 47916
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9456 0 0 0 114001 22 0 0 25 0 1 0 836014558 49364992 9434 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12052 9434 1111 63 0 11989 0
vsize: 48208
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9532 0 0 0 115002 22 0 0 25 0 1 0 836014558 49664000 9510 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12125 9510 1111 63 0 12062 0
vsize: 48500
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9619 0 0 0 116002 22 0 0 25 0 1 0 836014558 49946624 9597 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12194 9597 1111 63 0 12131 0
vsize: 48776
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9694 0 0 0 117002 22 0 0 25 0 1 0 836014558 50237440 9672 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12265 9672 1111 63 0 12202 0
vsize: 49060
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9780 0 0 0 118002 22 0 0 25 0 1 0 836014558 50688000 9758 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 9758 1111 63 0 12312 0
vsize: 49500
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9857 0 0 0 119002 23 0 0 25 0 1 0 836014558 50991104 9835 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12449 9835 1111 63 0 12386 0
vsize: 49796
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_mis) R 10548 1586 1585 0 -1 0 9937 0 0 0 120002 23 0 0 25 0 1 0 836014558 51290112 9915 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12522 9915 1111 63 0 12459 0
vsize: 50088
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10549
Raw data (stat): 10549 (bsolo_mis) Z 10548 1586 1585 0 -1 1036 9937 0 0 0 120002 25 0 0 25 0 1 0 836014558 0 0 4294967295 0 0 0 0 0 0 0 7 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): 1200.06
CPU time (s): 1200.28
CPU user time (s): 1200.02
CPU system time (s): 0.250961
CPU usage (%): 100.018
Max. virtual memory (Kb): 50088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####