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/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	fae1fae180d772ad3ee6c1acfa1c8b4f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	122
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2000000
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	30041153
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2124
Total number of constraints	444
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	444
Minimum length of a constraint	8
Maximum length of a constraint	64
Trace number 27036

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 18:52:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18944 boxname=wulflinc11 idbench=1458 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fae1fae180d772ad3ee6c1acfa1c8b4f  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 18944
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        536976 kB
Buffers:         36752 kB
Cached:         418628 kB
SwapCached:         84 kB
Active:          36252 kB
Inactive:       435520 kB
HighTotal:      131008 kB
HighFree:        73332 kB
LowTotal:       903652 kB
LowFree:        463644 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:          312056 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            20032 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:12:29 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 18944 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 234 constraints.
c preprocess terminated 47.631 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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): 2.03 1.27 1.01 2/55 29565
Raw data (stat): 29565 (runsolver) R 29564 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774318431 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 1.87 1.26 1.01 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5777 0 0 0 982 15 0 0 25 0 1 0 774318431 27328512 5753 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5753 1111 63 0 6609 0
vsize: 26688
[startup+20.0012 s]
Raw data (loadavg): 1.74 1.25 1.01 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5814 0 0 0 1982 16 0 0 25 0 1 0 774318431 27586560 5790 4294967295 134512640 134714540 3221224592 3221223264 134606848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6735 5790 1111 63 0 6672 0
vsize: 26940
[startup+30.0025 s]
Raw data (loadavg): 1.62 1.24 1.01 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5814 0 0 0 2981 16 0 0 25 0 1 0 774318431 27586560 5790 4294967295 134512640 134714540 3221224592 3221223200 1076999584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6735 5790 1111 63 0 6672 0
vsize: 26940
[startup+40.0036 s]
Raw data (loadavg): 1.53 1.23 1.01 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5814 0 0 0 3981 17 0 0 25 0 1 0 774318431 27586560 5790 4294967295 134512640 134714540 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6735 5790 1111 63 0 6672 0
vsize: 26940
[startup+50.0045 s]
Raw data (loadavg): 1.45 1.22 1.01 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 5830 0 0 0 4981 17 0 0 25 0 1 0 774318431 27586560 5806 4294967295 134512640 134714540 3221224592 3221223316 134556931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6735 5806 1111 63 0 6672 0
vsize: 26940
[startup+60.0047 s]
Raw data (loadavg): 1.38 1.22 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 6535 0 0 0 5977 21 0 0 25 0 1 0 774318431 30425088 6511 4294967295 134512640 134714540 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6511 1111 63 0 7365 0
vsize: 29712
[startup+70.0055 s]
Raw data (loadavg): 1.32 1.21 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 7355 0 0 0 6973 25 0 0 25 0 1 0 774318431 33792000 7331 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8250 7331 1111 63 0 8187 0
vsize: 33000
[startup+80.0058 s]
Raw data (loadavg): 1.27 1.20 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 9004 0 0 0 7968 30 0 0 25 0 1 0 774318431 40558592 8980 4294967295 134512640 134714540 3221224592 3221223332 134623142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9902 8980 1111 63 0 9839 0
vsize: 39608
[startup+90.0061 s]
Raw data (loadavg): 1.23 1.19 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 11425 0 0 0 8962 37 0 0 25 0 1 0 774318431 50610176 11401 4294967295 134512640 134714540 3221224592 3221222752 134697408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12356 11401 1111 63 0 12293 0
vsize: 49424
[startup+100.007 s]
Raw data (loadavg): 1.19 1.19 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 15327 0 0 0 9952 47 0 0 25 0 1 0 774318431 66940928 15275 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16343 15275 1111 63 0 16280 0
vsize: 65372
[startup+110.007 s]
Raw data (loadavg): 1.16 1.18 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 16751 0 0 0 10947 52 0 0 25 0 1 0 774318431 72744960 16676 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17760 16676 1111 63 0 17697 0
vsize: 71040
[startup+120.007 s]
Raw data (loadavg): 1.14 1.17 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 16751 0 0 0 11947 52 0 0 25 0 1 0 774318431 72744960 16676 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17760 16676 1111 63 0 17697 0
vsize: 71040
[startup+130.008 s]
Raw data (loadavg): 1.11 1.17 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 16751 0 0 0 12947 52 0 0 25 0 1 0 774318431 72744960 16676 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17760 16676 1111 63 0 17697 0
vsize: 71040
[startup+140.007 s]
Raw data (loadavg): 1.10 1.16 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 18095 0 0 0 13943 56 0 0 25 0 1 0 774318431 78761984 17989 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19229 17989 1111 63 0 19166 0
vsize: 76916
[startup+150.009 s]
Raw data (loadavg): 1.08 1.16 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 21299 0 0 0 14934 65 0 0 25 0 1 0 774318431 91598848 21185 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22363 21185 1111 63 0 22300 0
vsize: 89452
[startup+160.01 s]
Raw data (loadavg): 1.07 1.15 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 15929 70 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+170.01 s]
Raw data (loadavg): 1.06 1.14 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 16929 70 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+180.01 s]
Raw data (loadavg): 1.05 1.14 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 17929 70 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+190.011 s]
Raw data (loadavg): 1.04 1.13 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 18929 71 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+200.011 s]
Raw data (loadavg): 1.03 1.13 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 19928 71 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+210.011 s]
Raw data (loadavg): 1.03 1.12 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 20928 72 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+220.012 s]
Raw data (loadavg): 1.02 1.12 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23598 0 0 0 21928 72 0 0 25 0 1 0 774318431 101576704 23413 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23413 1111 63 0 24736 0
vsize: 99196
[startup+230.013 s]
Raw data (loadavg): 1.02 1.12 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23638 0 0 0 22928 72 0 0 25 0 1 0 774318431 101711872 23453 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24832 23453 1111 63 0 24769 0
vsize: 99328
[startup+240.013 s]
Raw data (loadavg): 1.02 1.11 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 23928 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+250.014 s]
Raw data (loadavg): 1.01 1.11 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 24928 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+260.014 s]
Raw data (loadavg): 1.01 1.10 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 25927 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+270.014 s]
Raw data (loadavg): 1.01 1.10 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 26927 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+280.015 s]
Raw data (loadavg): 1.01 1.10 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 27927 73 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+290.015 s]
Raw data (loadavg): 1.00 1.09 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 28927 74 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+300.016 s]
Raw data (loadavg): 1.00 1.09 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 23718 0 0 0 29927 74 0 0 25 0 1 0 774318431 102174720 23529 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24945 23529 1111 63 0 24882 0
vsize: 99780
[startup+310.017 s]
Raw data (loadavg): 1.00 1.08 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 26752 0 0 0 30919 82 0 0 25 0 1 0 774318431 114507776 26563 4294967295 134512640 134714540 3221224592 3221223004 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27956 26563 1111 63 0 27893 0
vsize: 111824
[startup+320.017 s]
Raw data (loadavg): 1.00 1.08 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 31901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+330.018 s]
Raw data (loadavg): 1.00 1.08 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 32901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+340.018 s]
Raw data (loadavg): 1.00 1.08 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 33901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+350.018 s]
Raw data (loadavg): 1.00 1.07 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 34901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+360.019 s]
Raw data (loadavg): 1.00 1.07 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 35901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+370.019 s]
Raw data (loadavg): 1.00 1.07 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 36901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+380.019 s]
Raw data (loadavg): 1.00 1.06 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 37901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+390.019 s]
Raw data (loadavg): 1.00 1.06 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 38901 101 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+400.021 s]
Raw data (loadavg): 1.00 1.06 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 39901 102 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+410.021 s]
Raw data (loadavg): 1.00 1.06 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 40901 102 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+420.021 s]
Raw data (loadavg): 1.00 1.05 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 41901 102 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+430.022 s]
Raw data (loadavg): 1.00 1.05 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 42900 103 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+440.021 s]
Raw data (loadavg): 1.00 1.05 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 43900 103 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+450.022 s]
Raw data (loadavg): 1.00 1.05 1.00 2/54 29565
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34034 0 0 0 44900 103 0 0 25 0 1 0 774318431 145215488 33781 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33781 1111 63 0 35390 0
vsize: 141812
[startup+460.024 s]
Raw data (loadavg): 1.08 1.06 1.01 2/58 29611
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 45897 106 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+470.023 s]
Raw data (loadavg): 1.07 1.06 1.00 2/54 29618
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 46894 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+480.024 s]
Raw data (loadavg): 1.06 1.06 1.00 2/54 29618
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 47895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+490.024 s]
Raw data (loadavg): 1.05 1.06 1.00 2/54 29618
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 48895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+500.025 s]
Raw data (loadavg): 1.04 1.05 1.00 2/54 29618
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 49895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+510.025 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 29618
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 50895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+520.025 s]
Raw data (loadavg): 1.03 1.05 1.00 2/54 29618
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 51895 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+530.025 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 52896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+540.025 s]
Raw data (loadavg): 1.02 1.05 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 53896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+550.026 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 54896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+560.026 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 55896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+570.027 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 56896 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+580.027 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34035 0 0 0 57897 109 0 0 25 0 1 0 774318431 145215488 33782 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33782 1111 63 0 35390 0
vsize: 141812
[startup+590.027 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 58897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+600.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 59897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+610.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 60897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+620.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 61897 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+630.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 62898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223380 134622497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+640.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 63898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+650.029 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 64898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+660.03 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 65898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+670.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 66898 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+680.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 67899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+690.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 68899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+700.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 69899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+710.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 70899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+720.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34047 0 0 0 71899 109 0 0 25 0 1 0 774318431 145215488 33794 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33794 1111 63 0 35390 0
vsize: 141812
[startup+730.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 72900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+740.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 73900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+750.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 74900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+760.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29620
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 75900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+770.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 76900 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+780.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 77901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+790.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 78901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+800.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 79901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+810.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 80901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+820.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 81901 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+830.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 82902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223388 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+840.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 83902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+850.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 84902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+860.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34048 0 0 0 85902 109 0 0 25 0 1 0 774318431 145215488 33795 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33795 1111 63 0 35390 0
vsize: 141812
[startup+870.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 86902 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 87903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 88903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 89903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 90903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 91903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 92903 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 93904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 94904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 95904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 96904 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 97905 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34049 0 0 0 98905 109 0 0 25 0 1 0 774318431 145215488 33796 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33796 1111 63 0 35390 0
vsize: 141812
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 99905 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 100905 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 101905 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 102906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 103906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 104906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 105906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 106906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 107906 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 108907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 109907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 110907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 111907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34053 0 0 0 112907 109 0 0 25 0 1 0 774318431 145215488 33800 4294967295 134512640 134714540 3221224592 3221223396 134622592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35453 33800 1111 63 0 35390 0
vsize: 141812
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 113908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 114908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 115908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 116908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 117908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 118908 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 29622
Raw data (stat): 29565 (bsolo_mis) R 29564 25830 25829 0 -1 0 34057 0 0 0 119909 109 0 0 25 0 1 0 774318431 145350656 33804 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35486 33804 1111 63 0 35423 0
vsize: 141944
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 29622
Raw data (stat): 29565 (bsolo_mis) Z 29564 25830 25829 0 -1 1036 34057 0 0 0 119909 115 0 0 25 0 1 0 774318431 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.11
CPU time (s): 1200.24
CPU user time (s): 1199.09
CPU system time (s): 1.15382
CPU usage (%): 100.012
Max. virtual memory (Kb): 141944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####