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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-seba.opb
MD5SUM	4a697c297ecbc7d83b192d907b1ba64c
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	5999
Biggest coefficient in the objective function	252287385600
Number of bits for the biggest coefficient in the objective function	38
Sum of the numbers in the objective function	4556926949351
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	252287385600
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	4556926949351
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.150976
Number of variables	16645
Total number of constraints	1029
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	1029
Minimum length of a constraint	7
Maximum length of a constraint	333
Trace number 27654

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        864028 kB
Buffers:         29168 kB
Cached:         114200 kB
SwapCached:        520 kB
Active:          35060 kB
Inactive:       110712 kB
HighTotal:      131008 kB
HighFree:        46564 kB
LowTotal:       903652 kB
LowFree:        817464 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19248 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:09:33 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 16344 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 16645 variables and 1484 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 16127
Raw data (stat): 16127 (runsolver) R 16126 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833958982 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 13662 0 0 0 969 30 0 0 25 0 1 0 833958982 69550080 13640 4294967295 134512640 134714540 3221224592 3221222868 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 13640 1111 63 0 16917 0
vsize: 67920
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 25634 0 0 0 1941 58 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 25898 0 0 0 2941 58 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 26195 0 0 0 3939 60 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223016 1077377854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 26525 0 0 0 4938 61 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 26756 0 0 0 5937 62 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+70.0071 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 26987 0 0 0 6936 64 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+80.0083 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 27317 0 0 0 7935 64 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+90.0081 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 27482 0 0 0 8934 65 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 27746 0 0 0 9933 67 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 28109 0 0 0 10933 67 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 28373 0 0 0 11932 68 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 28703 0 0 0 12931 69 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 29099 0 0 0 13930 70 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 29264 0 0 0 14929 71 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 29462 0 0 0 15928 72 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 29858 0 0 0 16928 73 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 30287 0 0 0 17926 74 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 30485 0 0 0 18926 75 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 30716 0 0 0 19925 77 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 30947 0 0 0 20924 78 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 31112 0 0 0 21923 79 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 31244 0 0 0 22922 79 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223228 1076648084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 31475 0 0 0 23922 80 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 31904 0 0 0 24920 82 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 32267 0 0 0 25919 83 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 32498 0 0 0 26919 83 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 32828 0 0 0 27918 85 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 33224 0 0 0 28917 85 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 33521 0 0 0 29917 86 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 33851 0 0 0 30916 87 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 34247 0 0 0 31915 88 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223304 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 34874 0 0 0 32914 89 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 35204 0 0 0 33914 90 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 35435 0 0 0 34913 90 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 35864 0 0 0 35912 91 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 36293 0 0 0 36912 92 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 36656 0 0 0 37911 93 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 36920 0 0 0 38911 94 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 37514 0 0 0 39910 95 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 37844 0 0 0 40909 96 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 38273 0 0 0 41908 97 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 38537 0 0 0 42908 97 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 38999 0 0 0 43907 99 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 39230 0 0 0 44906 100 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 39494 0 0 0 45905 101 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 39758 0 0 0 46905 101 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 40055 0 0 0 47905 102 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 40484 0 0 0 48904 103 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 40814 0 0 0 49903 103 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 41276 0 0 0 50902 104 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 41705 0 0 0 51902 105 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 42101 0 0 0 52901 106 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 42365 0 0 0 53901 107 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 42827 0 0 0 54900 108 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 43124 0 0 0 55899 109 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 43553 0 0 0 56899 110 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 43784 0 0 0 57898 110 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 44180 0 0 0 58897 111 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 44675 0 0 0 59896 112 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 45071 0 0 0 60896 113 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 45368 0 0 0 61895 114 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16127
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 45731 0 0 0 62894 115 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+640.031 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 46193 0 0 0 63893 116 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+650.031 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 46490 0 0 0 64892 118 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+660.031 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 46787 0 0 0 65891 119 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+670.031 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 47216 0 0 0 66889 120 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+680.032 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 47513 0 0 0 67889 121 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+690.032 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 47942 0 0 0 68888 122 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+700.033 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 48140 0 0 0 69887 123 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+710.033 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16180
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 48305 0 0 0 70887 123 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+720.034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 48635 0 0 0 71887 124 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+730.034 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 48833 0 0 0 72887 124 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223196 1076648036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+740.034 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49130 0 0 0 73886 125 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+750.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49460 0 0 0 74886 126 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+760.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49790 0 0 0 75885 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+770.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 76885 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+780.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 77885 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+790.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 78886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+800.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 79886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+810.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 80886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 81886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 82886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 83886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223112 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 84886 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 85887 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 86887 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 87887 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 88887 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 89887 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 90887 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 91888 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 92888 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 93888 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 94888 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16182
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 95888 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49922 0 0 0 96888 127 0 0 25 0 1 0 833958982 107270144 25159 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26189 25159 1111 63 0 26126 0
vsize: 104756
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 97889 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 98889 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 99889 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 100889 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 101889 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 102889 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 103890 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 104890 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221222972 1077379970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 105890 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 106890 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223016 1077377331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 107890 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 108891 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 109891 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 110891 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 111891 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 112891 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 113891 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 114892 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 115892 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49955 0 0 0 116892 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49988 0 0 0 117893 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49988 0 0 0 118893 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16184
Raw data (stat): 16127 (bsolo_mis) R 16126 10795 10794 0 -1 0 49988 0 0 0 119893 127 0 0 25 0 1 0 833958982 107274240 25160 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26190 25160 1111 63 0 26127 0
vsize: 104760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 16184
Raw data (stat): 16127 (bsolo_mis) Z 16126 10795 10794 0 -1 1036 49988 0 0 0 119893 132 0 0 25 0 1 0 833958982 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.1
CPU time (s): 1200.26
CPU user time (s): 1198.93
CPU system time (s): 1.3248
CPU usage (%): 100.014
Max. virtual memory (Kb): 104760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####