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/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
MD5SUM	447ba4f56421c253ecaa010c1957f4f6
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	66
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	256
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.59415
Number of variables	23837
Total number of constraints	67568
Number of constraints which are clauses	64398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3170
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 24544

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 00:55:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2523 boxname=wulflinc31 idbench=281 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  447ba4f56421c253ecaa010c1957f4f6  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
IDLAUNCH: 2523
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917524 kB
Buffers:         32856 kB
Cached:          59532 kB
SwapCached:       1588 kB
Active:          52588 kB
Inactive:        42540 kB
HighTotal:      131008 kB
HighFree:        74172 kB
LowTotal:       903652 kB
LowFree:        843352 kB
SwapTotal:     2097892 kB
SwapFree:      2095268 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4812 kB
Slab:            16280 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 01:15:07 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 2523 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 23837 variables and 67568 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.94 0.98 0.93 2/54 20006
Raw data (stat): 20006 (runsolver) R 20005 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 713726285 1056768 100 4294967295 134512640 135381576 3221221664 3221216884 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 14848 0 0 0 960 37 0 0 25 0 1 0 713726285 47779840 8303 4294967295 134512640 134714540 3221221760 3221218300 1077091145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11665 8303 1111 63 0 11602 0
vsize: 46660
[startup+20.0001 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 53628 0 0 0 1871 125 0 0 25 0 1 0 713726285 151105536 35840 4294967295 134512640 134714540 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36891 35840 1111 63 0 36828 0
vsize: 147564
[startup+30.001 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 58997 0 0 0 2858 139 0 0 25 0 1 0 713726285 172941312 41171 4294967295 134512640 134714540 3221221760 3221220512 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42222 41171 1111 63 0 42159 0
vsize: 168888
[startup+40.001 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 58997 0 0 0 3857 140 0 0 25 0 1 0 713726285 172941312 41171 4294967295 134512640 134714540 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42222 41171 1111 63 0 42159 0
vsize: 168888
[startup+50.0009 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 69861 0 0 0 4831 166 0 0 25 0 1 0 713726285 217284608 51997 4294967295 134512640 134714540 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53048 51997 1111 63 0 52985 0
vsize: 212192
[startup+60.0008 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 5793 204 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220172 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+70.0008 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 6793 205 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 7792 205 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+90.0016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 8792 206 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+100.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 9792 206 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 10792 207 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220500 134630783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 11791 207 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220560 134617599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 12791 207 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220384 134529232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 13791 208 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220264 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 14790 208 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 15790 209 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220324 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 16790 209 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220204 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 17790 209 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220228 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 18790 209 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 19790 210 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 20790 210 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 21790 211 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 22789 211 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 23789 212 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 24788 212 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 25788 213 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 26788 213 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220272 134543724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 27788 214 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 28787 214 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 29787 215 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 30786 215 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 31786 216 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 32785 217 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 33785 217 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 34785 218 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220376 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 35785 218 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 36785 218 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220392 134594992 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 37784 219 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 38784 220 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220124 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 39784 220 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 40783 221 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 41783 221 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 42783 222 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 43783 222 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220124 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 44782 223 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 45782 223 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 46781 224 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 47781 224 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220496 134630815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 48781 225 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220124 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 49780 225 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220228 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 50780 225 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220168 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 51780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220152 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 52780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220288 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 53780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220092 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 54780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 55780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220168 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 56780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 57780 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220112 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 58781 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 59781 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 60781 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220376 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 61781 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 62781 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 63782 226 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 64782 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 65782 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220124 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 66782 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 67782 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220144 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 68782 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 69782 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220252 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 70783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 71783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 72783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220124 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 73783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220176 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 74783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 75783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 76783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 77783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 78783 227 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 79783 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220144 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 80783 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220268 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 81783 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220504 134630805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 82783 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220144 134542356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 83784 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220144 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 84784 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 85784 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 86784 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220176 134543744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 87784 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220112 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 88784 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 89785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220264 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 90785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220388 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 91785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+930.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 92785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220336 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 93785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220512 134630822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 94785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+960.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 95785 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134543541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+970.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 96786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+980.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 97786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+990.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 98786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220124 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 99786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220336 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 100786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220180 134542664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 101786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 102786 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220268 134543056 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 103787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220560 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 104787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 105787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220168 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 106787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220172 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 107787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220228 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 108787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 109787 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 110788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220140 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 111788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220384 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 112788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 113788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220288 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 114788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220240 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 115788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220228 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 116788 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220400 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 86686 0 0 0 117789 228 0 0 25 0 1 0 713726285 286044160 68784 4294967295 134512640 134714540 3221221760 3221220488 134672897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69835 68784 1111 63 0 69772 0
vsize: 279340
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 130163 0 0 0 118690 327 0 0 25 0 1 0 713726285 464367616 112261 4294967295 134512640 134714540 3221221760 3221220288 134554857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113371 112267 1111 63 0 113308 0
vsize: 453484
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 20006
Raw data (stat): 20006 (bsolo_mis) R 20005 7876 7672 0 -1 0 162958 0 0 0 119617 401 0 0 25 0 1 0 713726285 598298624 145018 4294967295 134512640 134714540 3221221760 3221220488 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146069 145018 1111 63 0 146006 0
vsize: 584276
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 20006
Raw data (stat): 20006 (bsolo_mis) Z 20005 7876 7672 0 -1 1036 162958 0 0 0 119617 427 0 0 25 0 1 0 713726285 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.3
CPU time (s): 1200.45
CPU user time (s): 1196.17
CPU system time (s): 4.27835
CPU usage (%): 100.013
Max. virtual memory (Kb): 584276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####