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/miplib/normalized-mps-v2-13-7-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3684
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.3
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 27477

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        613180 kB
Buffers:         35700 kB
Cached:         364788 kB
SwapCached:        100 kB
Active:          76660 kB
Inactive:       326520 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        612928 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            12656 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:23:40 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 16903 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1086 variables and 169 constraints.
c After prepocess the problem consists of 1086 variables and 169 constraints.
c preprocess terminated 3.639 s
c Initial Lower Bound: 459
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4748 @ 4.19
c NEW SOLUTION FOUND: 4745 @ 4.201
c NEW SOLUTION FOUND: 4740 @ 4.304
c NEW SOLUTION FOUND: 4738 @ 4.319
c NEW SOLUTION FOUND: 4731 @ 4.379
c NEW SOLUTION FOUND: 4729 @ 4.38
c NEW SOLUTION FOUND: 4726 @ 4.391
c NEW SOLUTION FOUND: 4724 @ 4.464
c NEW SOLUTION FOUND: 4608 @ 6.792
c NEW SOLUTION FOUND: 4572 @ 6.811
c NEW SOLUTION FOUND: 4568 @ 6.825
c NEW SOLUTION FOUND: 4563 @ 6.876
c NEW SOLUTION FOUND: 4562 @ 7.037
c NEW SOLUTION FOUND: 4557 @ 7.066
c NEW SOLUTION FOUND: 4554 @ 7.315
c NEW SOLUTION FOUND: 4553 @ 7.803
c NEW SOLUTION FOUND: 4549 @ 7.971
c NEW SOLUTION FOUND: 4545 @ 7.987
c NEW SOLUTION FOUND: 4533 @ 8.001
#### 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.65 0.87 0.88 2/54 32016
Raw data (stat): 32016 (runsolver) R 32015 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775477673 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.71 0.87 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 8199 0 0 0 979 19 0 0 25 0 1 0 775477673 37208064 8164 4294967295 134512640 134714540 3221224592 3221223152 134696479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 8164 1111 63 0 9021 0
vsize: 36336
[startup+20.0004 s]
Raw data (loadavg): 0.75 0.88 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 8459 0 0 0 1977 21 0 0 25 0 1 0 775477673 38232064 8424 4294967295 134512640 134714540 3221224592 3221223176 134542295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9334 8424 1111 63 0 9271 0
vsize: 37336
[startup+30.001 s]
Raw data (loadavg): 0.79 0.88 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 8584 0 0 0 2976 23 0 0 25 0 1 0 775477673 38703104 8549 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9449 8549 1111 63 0 9386 0
vsize: 37796
[startup+40.001 s]
Raw data (loadavg): 0.82 0.89 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 10376 0 0 0 3971 27 0 0 25 0 1 0 775477673 46063616 10341 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11246 10341 1111 63 0 11183 0
vsize: 44984
[startup+50.0003 s]
Raw data (loadavg): 0.85 0.89 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 11836 0 0 0 4969 30 0 0 25 0 1 0 775477673 52068352 11800 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12712 11800 1111 63 0 12649 0
vsize: 50848
[startup+59.9999 s]
Raw data (loadavg): 0.87 0.89 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 12872 0 0 0 5967 32 0 0 25 0 1 0 775477673 56401920 12835 4294967295 134512640 134714540 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13770 12835 1111 63 0 13707 0
vsize: 55080
[startup+70.0002 s]
Raw data (loadavg): 0.89 0.89 0.88 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 13942 0 0 0 6964 36 0 0 25 0 1 0 775477673 60731392 13905 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14827 13905 1111 63 0 14764 0
vsize: 59308
[startup+80.0012 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 18403 0 0 0 7952 47 0 0 25 0 1 0 775477673 79372288 18347 4294967295 134512640 134714540 3221224592 3221223408 134610559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19378 18347 1111 63 0 19315 0
vsize: 77512
[startup+90.0008 s]
Raw data (loadavg): 0.92 0.90 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 8951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+100.001 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 9951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+110.001 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 10951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+120.001 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 11951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+130.002 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 12951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+140.002 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 13951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+150.002 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 14951 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+160.002 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 32016
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 15952 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+170.001 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 19161 0 0 0 16952 49 0 0 25 0 1 0 775477673 82464768 19105 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19105 1111 63 0 20070 0
vsize: 80532
[startup+180.002 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 20096 0 0 0 17948 53 0 0 25 0 1 0 775477673 86261760 20039 4294967295 134512640 134714540 3221224592 3221223220 1077374218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21060 20039 1111 63 0 20997 0
vsize: 84240
[startup+190.003 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 20539 0 0 0 18947 55 0 0 25 0 1 0 775477673 88080384 20482 4294967295 134512640 134714540 3221224592 3221223232 134524415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21504 20482 1111 63 0 21441 0
vsize: 86016
[startup+200.002 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 21667 0 0 0 19944 57 0 0 25 0 1 0 775477673 92737536 21607 4294967295 134512640 134714540 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22641 21607 1111 63 0 22578 0
vsize: 90564
[startup+210.001 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 21673 0 0 0 20944 58 0 0 25 0 1 0 775477673 92737536 21612 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22641 21612 1111 63 0 22578 0
vsize: 90564
[startup+220.001 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 22724 0 0 0 21942 60 0 0 25 0 1 0 775477673 97067008 22663 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23698 22663 1111 63 0 23635 0
vsize: 94792
[startup+230.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 23600 0 0 0 22940 62 0 0 25 0 1 0 775477673 100950016 23514 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24646 23514 1111 63 0 24583 0
vsize: 98584
[startup+240.001 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 24164 0 0 0 23938 64 0 0 25 0 1 0 775477673 103301120 24072 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25220 24072 1111 63 0 25157 0
vsize: 100880
[startup+250.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 24721 0 0 0 24936 66 0 0 25 0 1 0 775477673 105631744 24627 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25789 24627 1111 63 0 25726 0
vsize: 103156
[startup+260.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 24816 0 0 0 25936 66 0 0 25 0 1 0 775477673 106037248 24722 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25888 24722 1111 63 0 25825 0
vsize: 103552
[startup+270.001 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 25446 0 0 0 26935 68 0 0 25 0 1 0 775477673 108539904 25351 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26499 25351 1111 63 0 26436 0
vsize: 105996
[startup+280.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 25736 0 0 0 27934 69 0 0 25 0 1 0 775477673 109756416 25641 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26796 25641 1111 63 0 26733 0
vsize: 107184
[startup+290.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 26627 0 0 0 28930 73 0 0 25 0 1 0 775477673 113405952 26530 4294967295 134512640 134714540 3221224592 3221223340 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27687 26530 1111 63 0 27624 0
vsize: 110748
[startup+300.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 26670 0 0 0 29930 74 0 0 25 0 1 0 775477673 113541120 26573 4294967295 134512640 134714540 3221224592 3221223292 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27720 26573 1111 63 0 27657 0
vsize: 110880
[startup+310.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 27625 0 0 0 30927 77 0 0 25 0 1 0 775477673 117506048 27523 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28688 27523 1111 63 0 28625 0
vsize: 114752
[startup+320.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 28208 0 0 0 31925 79 0 0 25 0 1 0 775477673 119914496 28106 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29276 28106 1111 63 0 29213 0
vsize: 117104
[startup+330.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 28836 0 0 0 32923 81 0 0 25 0 1 0 775477673 122503168 28732 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29908 28732 1111 63 0 29845 0
vsize: 119632
[startup+340.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 28837 0 0 0 33923 81 0 0 25 0 1 0 775477673 122503168 28733 4294967295 134512640 134714540 3221224592 3221223312 134622764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29908 28733 1111 63 0 29845 0
vsize: 119632
[startup+350.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 28895 0 0 0 34923 82 0 0 25 0 1 0 775477673 122773504 28791 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29974 28791 1111 63 0 29911 0
vsize: 119896
[startup+360.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 29368 0 0 0 35922 83 0 0 25 0 1 0 775477673 124678144 29264 4294967295 134512640 134714540 3221224592 3221223384 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30439 29264 1111 63 0 30376 0
vsize: 121756
[startup+370.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 29459 0 0 0 36922 83 0 0 25 0 1 0 775477673 125083648 29355 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30538 29355 1111 63 0 30475 0
vsize: 122152
[startup+380.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 29936 0 0 0 37921 84 0 0 25 0 1 0 775477673 126996480 29828 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31005 29828 1111 63 0 30942 0
vsize: 124020
[startup+390.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 30501 0 0 0 38920 85 0 0 25 0 1 0 775477673 129335296 30392 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31576 30392 1111 63 0 31513 0
vsize: 126304
[startup+400.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 30884 0 0 0 39919 87 0 0 25 0 1 0 775477673 130969600 30771 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31975 30771 1111 63 0 31912 0
vsize: 127900
[startup+410.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 31214 0 0 0 40919 87 0 0 25 0 1 0 775477673 132317184 31098 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32304 31098 1111 63 0 32241 0
vsize: 129216
[startup+420.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 33963 0 0 0 41912 94 0 0 25 0 1 0 775477673 143777792 33836 4294967295 134512640 134714540 3221224592 3221222872 1077377720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35102 33836 1111 63 0 35039 0
vsize: 140408
[startup+430.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 42910 96 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223320 134622806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+440.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 43910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+450.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 44910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223332 134623142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+460.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 45910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+470.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 46910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+480.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 47911 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+490.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 48910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+500.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 49910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+510.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 50910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+520.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 51910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 52910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 53911 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 54910 97 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 55910 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 56910 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223316 134622911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 57911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 58911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 59911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 60911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 61911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 62911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 63911 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 64912 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 65912 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 66912 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 67912 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 68912 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 69912 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 70913 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223396 134622568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 71913 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 72913 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 73913 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 74913 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 75913 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 76914 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 77914 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 78914 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 79914 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 80914 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 81914 98 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 82915 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 83915 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 84915 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 85915 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 86915 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 87915 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 88914 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 89914 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34846 0 0 0 90914 99 0 0 25 0 1 0 775477673 147451904 34718 4294967295 134512640 134714540 3221224592 3221223320 134622809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34718 1111 63 0 35936 0
vsize: 143996
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 34958 0 0 0 91914 99 0 0 25 0 1 0 775477673 147857408 34830 4294967295 134512640 134714540 3221224592 3221223408 134622297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36098 34830 1111 63 0 36035 0
vsize: 144392
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35200 0 0 0 92914 100 0 0 25 0 1 0 775477673 148979712 35071 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36372 35071 1111 63 0 36309 0
vsize: 145488
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35200 0 0 0 93914 100 0 0 25 0 1 0 775477673 148979712 35071 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36372 35071 1111 63 0 36309 0
vsize: 145488
[startup+950.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35254 0 0 0 94914 100 0 0 25 0 1 0 775477673 149114880 35125 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36405 35125 1111 63 0 36342 0
vsize: 145620
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35370 0 0 0 95914 101 0 0 25 0 1 0 775477673 149655552 35241 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36537 35241 1111 63 0 36474 0
vsize: 146148
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35573 0 0 0 96913 101 0 0 25 0 1 0 775477673 150470656 35444 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36736 35444 1111 63 0 36673 0
vsize: 146944
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35573 0 0 0 97913 101 0 0 25 0 1 0 775477673 150470656 35444 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36736 35444 1111 63 0 36673 0
vsize: 146944
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35901 0 0 0 98912 103 0 0 25 0 1 0 775477673 151687168 35772 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37033 35772 1111 63 0 36970 0
vsize: 148132
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35901 0 0 0 99912 103 0 0 25 0 1 0 775477673 151687168 35772 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37033 35772 1111 63 0 36970 0
vsize: 148132
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35924 0 0 0 100912 103 0 0 25 0 1 0 775477673 151822336 35795 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37066 35795 1111 63 0 37003 0
vsize: 148264
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 101912 103 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 102912 103 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 103913 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 104913 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 105913 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 106913 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 107913 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 108914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223176 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 109914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 110914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 111914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 112914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 113914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 35947 0 0 0 114914 104 0 0 25 0 1 0 775477673 151969792 35818 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35818 1111 63 0 37039 0
vsize: 148408
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 36351 0 0 0 115912 106 0 0 25 0 1 0 775477673 153587712 36222 4294967295 134512640 134714540 3221224592 3221223440 134588477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37497 36222 1111 63 0 37434 0
vsize: 149988
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 36996 0 0 0 116910 108 0 0 25 0 1 0 775477673 156274688 36862 4294967295 134512640 134714540 3221224592 3221223376 134529222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38153 36862 1111 63 0 38090 0
vsize: 152612
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 37422 0 0 0 117909 110 0 0 25 0 1 0 775477673 157978624 37288 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38569 37288 1111 63 0 38506 0
vsize: 154276
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 37422 0 0 0 118909 110 0 0 25 0 1 0 775477673 157978624 37288 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38569 37288 1111 63 0 38506 0
vsize: 154276
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32018
Raw data (stat): 32016 (bsolo_mis) R 32015 24300 24299 0 -1 0 37422 0 0 0 119909 110 0 0 25 0 1 0 775477673 157978624 37288 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38569 37288 1111 63 0 38506 0
vsize: 154276
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32018
Raw data (stat): 32016 (bsolo_mis) Z 32015 24300 24299 0 -1 1036 37422 0 0 0 119909 117 0 0 25 0 1 0 775477673 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.09
CPU time (s): 1200.27
CPU user time (s): 1199.1
CPU system time (s): 1.17382
CPU usage (%): 100.015
Max. virtual memory (Kb): 154276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####