PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb
MD5SUM	4ca29b1bc7e76812f7871e2b937d8a23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	720
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	720
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	720
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	720
Total number of constraints	2168
Number of constraints which are clauses	2144
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	30
Trace number 24344

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 18:24:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2163 boxname=wulflinc31 idbench=241 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-5pb.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-5pb.opb
IDLAUNCH: 2163
/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:        136996 kB
Buffers:         45084 kB
Cached:         817940 kB
SwapCached:        644 kB
Active:         492328 kB
Inactive:       373020 kB
HighTotal:      131008 kB
HighFree:          588 kB
LowTotal:       903652 kB
LowFree:        136408 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26440 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 18:45:00 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 2163 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 720 variables and 2168 constraints.
c After prepocess the problem consists of 600 variables and 1784 constraints.
c preprocess terminated 0.518 s
c Initial Lower Bound: 48
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 70 @ 13.326
c NEW SOLUTION FOUND: 68 @ 13.602
c NEW SOLUTION FOUND: 66 @ 15.246
c NEW SOLUTION FOUND: 64 @ 56.522
#### 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.81 0.95 0.93 2/54 909
Raw data (stat): 909 (runsolver) R 908 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 702744315 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.84 0.95 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 1463 0 0 0 991 5 0 0 25 0 1 0 702744315 9650176 1437 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2356 1437 1111 63 0 2293 0
vsize: 9424
[startup+20.0015 s]
Raw data (loadavg): 0.86 0.95 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 2823 0 0 0 1986 10 0 0 25 0 1 0 702744315 15196160 2797 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3710 2797 1111 63 0 3647 0
vsize: 14840
[startup+30.0013 s]
Raw data (loadavg): 0.88 0.95 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 2826 0 0 0 2986 10 0 0 25 0 1 0 702744315 15196160 2800 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2800 1111 63 0 3647 0
vsize: 14840
[startup+40.0023 s]
Raw data (loadavg): 0.90 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 4466 0 0 0 3981 15 0 0 25 0 1 0 702744315 22065152 4433 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4433 1111 63 0 5324 0
vsize: 21548
[startup+50.0032 s]
Raw data (loadavg): 0.92 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 4471 0 0 0 4981 15 0 0 25 0 1 0 702744315 22065152 4438 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4438 1111 63 0 5324 0
vsize: 21548
[startup+60.0031 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 5850 0 0 0 5977 18 0 0 25 0 1 0 702744315 27856896 5815 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6801 5815 1111 63 0 6738 0
vsize: 27204
[startup+70.004 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 6240 0 0 0 6977 20 0 0 25 0 1 0 702744315 29577216 6194 4294967295 134512640 134714540 3221221792 3221220572 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7221 6194 1111 63 0 7158 0
vsize: 28884
[startup+80.0039 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 6253 0 0 0 7977 20 0 0 25 0 1 0 702744315 29577216 6207 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7221 6207 1111 63 0 7158 0
vsize: 28884
[startup+90.0039 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 6253 0 0 0 8977 20 0 0 25 0 1 0 702744315 29577216 6207 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7221 6207 1111 63 0 7158 0
vsize: 28884
[startup+100.004 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 6538 0 0 0 9976 20 0 0 25 0 1 0 702744315 30863360 6488 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7535 6488 1111 63 0 7472 0
vsize: 30140
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 6844 0 0 0 10976 21 0 0 25 0 1 0 702744315 32079872 6793 4294967295 134512640 134714540 3221221792 3221220088 1077377995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7832 6793 1111 63 0 7769 0
vsize: 31328
[startup+120.005 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 7594 0 0 0 11974 23 0 0 25 0 1 0 702744315 35237888 7536 4294967295 134512640 134714540 3221221792 3221220512 134622761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8603 7536 1111 63 0 8540 0
vsize: 34412
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 7903 0 0 0 12973 24 0 0 25 0 1 0 702744315 36458496 7843 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8901 7843 1111 63 0 8838 0
vsize: 35604
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 7903 0 0 0 13973 24 0 0 25 0 1 0 702744315 36458496 7843 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8901 7843 1111 63 0 8838 0
vsize: 35604
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 8270 0 0 0 14972 25 0 0 25 0 1 0 702744315 38002688 8202 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9278 8202 1111 63 0 9215 0
vsize: 37112
[startup+160.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 8694 0 0 0 15971 27 0 0 25 0 1 0 702744315 39817216 8622 4294967295 134512640 134714540 3221221792 3221220484 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9721 8622 1111 63 0 9658 0
vsize: 38884
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9187 0 0 0 16970 28 0 0 25 0 1 0 702744315 41865216 9112 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10221 9112 1111 63 0 10158 0
vsize: 40884
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9675 0 0 0 17968 30 0 0 25 0 1 0 702744315 43892736 9600 4294967295 134512640 134714540 3221221792 3221220352 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10716 9600 1111 63 0 10653 0
vsize: 42864
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 18968 31 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 19967 31 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 20967 31 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 21967 31 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 22967 32 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 23967 32 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 24968 32 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9936 0 0 0 25968 32 0 0 25 0 1 0 702744315 44871680 9860 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10955 9860 1111 63 0 10892 0
vsize: 43820
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9947 0 0 0 26968 32 0 0 25 0 1 0 702744315 45006848 9871 4294967295 134512640 134714540 3221221792 3221220432 134539411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9871 1111 63 0 10925 0
vsize: 43952
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 27968 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 28968 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 29968 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 30968 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 31969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 32969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 33969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 34969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 35969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 36969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 37969 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 38970 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 39970 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 40970 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 41970 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9954 0 0 0 42970 32 0 0 25 0 1 0 702744315 45006848 9878 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9878 1111 63 0 10925 0
vsize: 43952
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9956 0 0 0 43971 32 0 0 25 0 1 0 702744315 45006848 9880 4294967295 134512640 134714540 3221221792 3221220568 134542401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9880 1111 63 0 10925 0
vsize: 43952
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9956 0 0 0 44971 32 0 0 25 0 1 0 702744315 45006848 9880 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9880 1111 63 0 10925 0
vsize: 43952
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9956 0 0 0 45971 32 0 0 25 0 1 0 702744315 45006848 9880 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9880 1111 63 0 10925 0
vsize: 43952
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9956 0 0 0 46971 32 0 0 25 0 1 0 702744315 45006848 9880 4294967295 134512640 134714540 3221221792 3221220520 134622857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9880 1111 63 0 10925 0
vsize: 43952
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9956 0 0 0 47971 32 0 0 25 0 1 0 702744315 45006848 9880 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9880 1111 63 0 10925 0
vsize: 43952
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 48971 32 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 49972 32 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 50972 32 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 51972 32 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 52972 32 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220584 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 53972 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 54973 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 55973 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 56973 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 57973 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 58973 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 59974 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 60974 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 61974 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 62974 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 63974 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 64974 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 65975 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 66975 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9962 0 0 0 67975 33 0 0 25 0 1 0 702744315 45006848 9886 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9886 1111 63 0 10925 0
vsize: 43952
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 68975 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 69975 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 70975 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 71976 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 72976 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 73976 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 74976 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 75976 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 76976 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 77977 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 78977 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 79977 33 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 80977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 81977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 82977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 83977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 84977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 85977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 86977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9974 0 0 0 87977 34 0 0 25 0 1 0 702744315 45006848 9898 4294967295 134512640 134714540 3221221792 3221220676 134621571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9898 1111 63 0 10925 0
vsize: 43952
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 88978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 89978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 90978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 91978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 92978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 93978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 94978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9978 0 0 0 95978 34 0 0 25 0 1 0 702744315 45006848 9902 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9902 1111 63 0 10925 0
vsize: 43952
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9979 0 0 0 96978 34 0 0 25 0 1 0 702744315 45006848 9903 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10988 9903 1111 63 0 10925 0
vsize: 43952
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 9990 0 0 0 97979 34 0 0 25 0 1 0 702744315 45142016 9914 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9914 1111 63 0 10958 0
vsize: 44084
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10004 0 0 0 98979 34 0 0 25 0 1 0 702744315 45142016 9928 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9928 1111 63 0 10958 0
vsize: 44084
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10004 0 0 0 99979 34 0 0 25 0 1 0 702744315 45142016 9928 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9928 1111 63 0 10958 0
vsize: 44084
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10004 0 0 0 100979 34 0 0 25 0 1 0 702744315 45142016 9928 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9928 1111 63 0 10958 0
vsize: 44084
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10005 0 0 0 101979 34 0 0 25 0 1 0 702744315 45142016 9929 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9929 1111 63 0 10958 0
vsize: 44084
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10005 0 0 0 102979 35 0 0 25 0 1 0 702744315 45142016 9929 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9929 1111 63 0 10958 0
vsize: 44084
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10005 0 0 0 103980 35 0 0 25 0 1 0 702744315 45142016 9929 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11021 9929 1111 63 0 10958 0
vsize: 44084
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10068 0 0 0 104979 35 0 0 25 0 1 0 702744315 45412352 9992 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9992 1111 63 0 11024 0
vsize: 44348
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10068 0 0 0 105979 35 0 0 25 0 1 0 702744315 45412352 9992 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9992 1111 63 0 11024 0
vsize: 44348
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 106980 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220512 134622837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 107980 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 108980 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 109980 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 110980 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 111981 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 112981 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 113981 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 114981 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 115981 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 116981 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 117982 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 118982 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 909
Raw data (stat): 909 (bsolo_mis) R 908 7876 7672 0 -1 0 10071 0 0 0 119982 35 0 0 25 0 1 0 702744315 45412352 9995 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9995 1111 63 0 11024 0
vsize: 44348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 909
Raw data (stat): 909 (bsolo_mis) Z 908 7876 7672 0 -1 1036 10071 0 0 0 119982 37 0 0 25 0 1 0 702744315 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.06
CPU time (s): 1200.2
CPU user time (s): 1199.83
CPU system time (s): 0.376942
CPU usage (%): 100.012
Max. virtual memory (Kb): 44348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####