PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0282.opb
MD5SUM	1a8deb577df7e72871b7e1004c098336
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	282
Total number of constraints	523
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	282
Number of constraints which are nor clauses,nor cardinality constraints	64
Minimum length of a constraint	1
Maximum length of a constraint	57
Trace number 28251

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 01:17:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13718 boxname=wulflinc12 idbench=1056 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1a8deb577df7e72871b7e1004c098336  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-p0282.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-p0282.opb
IDLAUNCH: 13718
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        614328 kB
Buffers:         37432 kB
Cached:         362112 kB
SwapCached:        568 kB
Active:         117236 kB
Inactive:       284792 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        614076 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:38:01 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 13718 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.269 s
c Initial Lower Bound: 10
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 473269 @ 0.34
c NEW SOLUTION FOUND: 364126 @ 0.342
c NEW SOLUTION FOUND: 357183 @ 0.345
c NEW SOLUTION FOUND: 345421 @ 0.349
c NEW SOLUTION FOUND: 342320 @ 0.352
c NEW SOLUTION FOUND: 342162 @ 0.362
c NEW SOLUTION FOUND: 341941 @ 0.38
c NEW SOLUTION FOUND: 339671 @ 0.389
c NEW SOLUTION FOUND: 337950 @ 0.403
c NEW SOLUTION FOUND: 337412 @ 0.404
c NEW SOLUTION FOUND: 337378 @ 0.406
c NEW SOLUTION FOUND: 334056 @ 0.408
c NEW SOLUTION FOUND: 332925 @ 0.631
c NEW SOLUTION FOUND: 322412 @ 0.753
c NEW SOLUTION FOUND: 309990 @ 0.771
c NEW SOLUTION FOUND: 308439 @ 0.787
c NEW SOLUTION FOUND: 306169 @ 0.802
c NEW SOLUTION FOUND: 305102 @ 2.578
c NEW SOLUTION FOUND: 305071 @ 2.583
c NEW SOLUTION FOUND: 294473 @ 61.867
c NEW SOLUTION FOUND: 294275 @ 62.305
#### 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.86 0.94 0.90 2/54 6971
Raw data (stat): 6971 (runsolver) R 6970 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776629120 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99935 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 3729 0 0 0 989 9 0 0 25 0 1 0 776629120 18972672 3704 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3704 1111 63 0 4569 0
vsize: 18528
[startup+20.0005 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 3843 0 0 0 1988 10 0 0 25 0 1 0 776629120 19378176 3818 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4731 3818 1111 63 0 4668 0
vsize: 18924
[startup+30 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 4051 0 0 0 2988 10 0 0 25 0 1 0 776629120 20189184 4026 4294967295 134512640 134714540 3221224592 3221223320 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4929 4026 1111 63 0 4866 0
vsize: 19716
[startup+39.9999 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5070 0 0 0 3987 12 0 0 25 0 1 0 776629120 24535040 5041 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5990 5041 1111 63 0 5927 0
vsize: 23960
[startup+50 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5300 0 0 0 4986 12 0 0 25 0 1 0 776629120 25485312 5270 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 5270 1111 63 0 6159 0
vsize: 24888
[startup+59.9995 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5771 0 0 0 5985 14 0 0 25 0 1 0 776629120 27414528 5741 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6693 5741 1111 63 0 6630 0
vsize: 26772
[startup+70.0004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5830 0 0 0 6985 14 0 0 25 0 1 0 776629120 27684864 5800 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6759 5800 1111 63 0 6696 0
vsize: 27036
[startup+80.0006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5831 0 0 0 7985 14 0 0 25 0 1 0 776629120 27684864 5801 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6759 5801 1111 63 0 6696 0
vsize: 27036
[startup+90.0011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5832 0 0 0 8985 14 0 0 25 0 1 0 776629120 27684864 5802 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6759 5802 1111 63 0 6696 0
vsize: 27036
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5864 0 0 0 9985 14 0 0 25 0 1 0 776629120 27820032 5834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5834 1111 63 0 6729 0
vsize: 27168
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5864 0 0 0 10986 14 0 0 25 0 1 0 776629120 27820032 5834 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5834 1111 63 0 6729 0
vsize: 27168
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 5866 0 0 0 11986 14 0 0 25 0 1 0 776629120 27820032 5836 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5836 1111 63 0 6729 0
vsize: 27168
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6086 0 0 0 12985 15 0 0 25 0 1 0 776629120 28774400 6056 4294967295 134512640 134714540 3221224592 3221223384 134536909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7025 6056 1111 63 0 6962 0
vsize: 28100
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6864 0 0 0 13983 17 0 0 25 0 1 0 776629120 32194560 6820 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6864 0 0 0 14983 17 0 0 25 0 1 0 776629120 32194560 6820 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6864 0 0 0 15983 17 0 0 25 0 1 0 776629120 32194560 6820 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6870 0 0 0 16984 17 0 0 25 0 1 0 776629120 32194560 6826 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6826 1111 63 0 7797 0
vsize: 31440
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6889 0 0 0 17984 17 0 0 25 0 1 0 776629120 32329728 6845 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6845 1111 63 0 7830 0
vsize: 31572
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6890 0 0 0 18984 17 0 0 25 0 1 0 776629120 32329728 6846 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6890 0 0 0 19984 17 0 0 25 0 1 0 776629120 32329728 6846 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 6890 0 0 0 20984 17 0 0 25 0 1 0 776629120 32329728 6846 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 7804 0 0 0 21982 20 0 0 25 0 1 0 776629120 36200448 7749 4294967295 134512640 134714540 3221224592 3221223176 134696340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8838 7749 1111 63 0 8775 0
vsize: 35352
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 8458 0 0 0 22980 21 0 0 25 0 1 0 776629120 38801408 8398 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9473 8398 1111 63 0 9410 0
vsize: 37892
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 8684 0 0 0 23980 22 0 0 25 0 1 0 776629120 39780352 8622 4294967295 134512640 134714540 3221224592 3221222888 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9712 8623 1111 63 0 9649 0
vsize: 38848
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 9934 0 0 0 24977 25 0 0 25 0 1 0 776629120 44937216 9858 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10971 9858 1111 63 0 10908 0
vsize: 43884
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10368 0 0 0 25976 26 0 0 25 0 1 0 776629120 46718976 10290 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11406 10290 1111 63 0 11343 0
vsize: 45624
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 26975 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 27975 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 28976 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 29976 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 30976 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 31976 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 32976 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 33977 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 34977 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+360.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 35977 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+370.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 36977 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+380.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 37977 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+390.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 38977 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+400.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 39978 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+410.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 40978 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+420.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 41978 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+430.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 42978 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+440.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 43978 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+450.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10946 0 0 0 44978 28 0 0 25 0 1 0 776629120 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+460.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10953 0 0 0 45978 29 0 0 25 0 1 0 776629120 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+470.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10953 0 0 0 46978 29 0 0 25 0 1 0 776629120 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+480.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10953 0 0 0 47978 29 0 0 25 0 1 0 776629120 49483776 10841 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10954 0 0 0 48978 29 0 0 25 0 1 0 776629120 49483776 10842 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10954 0 0 0 49979 29 0 0 25 0 1 0 776629120 49483776 10842 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+510.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10954 0 0 0 50979 29 0 0 25 0 1 0 776629120 49483776 10842 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10954 0 0 0 51979 29 0 0 25 0 1 0 776629120 49483776 10842 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10956 0 0 0 52979 29 0 0 25 0 1 0 776629120 49483776 10844 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10956 0 0 0 53979 29 0 0 25 0 1 0 776629120 49483776 10844 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+550.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 10968 0 0 0 54979 29 0 0 25 0 1 0 776629120 49618944 10856 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12114 10856 1111 63 0 12051 0
vsize: 48456
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11264 0 0 0 55978 30 0 0 25 0 1 0 776629120 50737152 11150 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12387 11150 1111 63 0 12324 0
vsize: 49548
[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 56979 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 57979 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+590.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 58979 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 59979 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 60980 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 61980 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 62980 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+640.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 63980 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+650.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 64980 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+660.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 65980 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 66981 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 67981 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 68981 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 69981 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 70981 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 71981 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 72982 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 73982 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 74982 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 75982 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11275 0 0 0 76982 30 0 0 25 0 1 0 776629120 50872320 11161 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11277 0 0 0 77982 30 0 0 25 0 1 0 776629120 50872320 11163 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11277 0 0 0 78983 30 0 0 25 0 1 0 776629120 50872320 11163 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11277 0 0 0 79983 30 0 0 25 0 1 0 776629120 50872320 11163 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+810.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11277 0 0 0 80983 30 0 0 25 0 1 0 776629120 50872320 11163 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+820.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11277 0 0 0 81983 30 0 0 25 0 1 0 776629120 50872320 11163 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+830.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11277 0 0 0 82982 30 0 0 25 0 1 0 776629120 50872320 11163 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 83983 30 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 84983 31 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223384 134536909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 85983 31 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 86984 31 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 87984 31 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 88984 31 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11281 0 0 0 89984 31 0 0 25 0 1 0 776629120 50872320 11167 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11307 0 0 0 90984 31 0 0 25 0 1 0 776629120 51007488 11193 4294967295 134512640 134714540 3221224592 3221223384 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11307 0 0 0 91984 31 0 0 25 0 1 0 776629120 51007488 11193 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11307 0 0 0 92984 31 0 0 25 0 1 0 776629120 51007488 11193 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11307 0 0 0 93985 31 0 0 25 0 1 0 776629120 51007488 11193 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11307 0 0 0 94985 31 0 0 25 0 1 0 776629120 51007488 11193 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11309 0 0 0 95985 31 0 0 25 0 1 0 776629120 51007488 11195 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11309 0 0 0 96985 31 0 0 25 0 1 0 776629120 51007488 11195 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11309 0 0 0 97985 31 0 0 25 0 1 0 776629120 51007488 11195 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11309 0 0 0 98985 31 0 0 25 0 1 0 776629120 51007488 11195 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11313 0 0 0 99986 31 0 0 25 0 1 0 776629120 51007488 11199 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11199 1111 63 0 12390 0
vsize: 49812
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11328 0 0 0 100986 31 0 0 25 0 1 0 776629120 51007488 11214 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11214 1111 63 0 12390 0
vsize: 49812
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11331 0 0 0 101986 31 0 0 25 0 1 0 776629120 51007488 11217 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11331 0 0 0 102986 31 0 0 25 0 1 0 776629120 51007488 11217 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11331 0 0 0 103986 32 0 0 25 0 1 0 776629120 51007488 11217 4294967295 134512640 134714540 3221224592 3221223396 134622629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11437 0 0 0 104986 32 0 0 25 0 1 0 776629120 51564544 11322 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12589 11322 1111 63 0 12526 0
vsize: 50356
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11570 0 0 0 105986 32 0 0 25 0 1 0 776629120 52105216 11452 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11570 0 0 0 106986 32 0 0 25 0 1 0 776629120 52105216 11452 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11570 0 0 0 107986 32 0 0 25 0 1 0 776629120 52105216 11452 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11570 0 0 0 108986 32 0 0 25 0 1 0 776629120 52105216 11452 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11701 0 0 0 109986 33 0 0 25 0 1 0 776629120 52666368 11582 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12858 11582 1111 63 0 12795 0
vsize: 51432
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11719 0 0 0 110986 33 0 0 25 0 1 0 776629120 52666368 11600 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12858 11600 1111 63 0 12795 0
vsize: 51432
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 111986 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 112986 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 113986 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 114986 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 115986 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 116987 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 117987 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 118987 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6971
Raw data (stat): 6971 (bsolo_mis) R 6970 32284 32283 0 -1 0 11920 0 0 0 119987 33 0 0 25 0 1 0 776629120 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 6971
Raw data (stat): 6971 (bsolo_mis) Z 6970 32284 32283 0 -1 1036 11920 0 0 0 119987 35 0 0 25 0 1 0 776629120 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.07
CPU time (s): 1200.24
CPU user time (s): 1199.88
CPU system time (s): 0.359945
CPU usage (%): 100.014
Max. virtual memory (Kb): 52328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####