PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM	a8596c98551f801a6658f1ce91b33278
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1053
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	12887
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	12887
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	304
Total number of constraints	671
Number of constraints which are clauses	671
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	28
Trace number 24404

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        241888 kB
Buffers:         45600 kB
Cached:         713112 kB
SwapCached:        644 kB
Active:         364480 kB
Inactive:       396608 kB
HighTotal:      131008 kB
HighFree:        23744 kB
LowTotal:       903652 kB
LowFree:        218144 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25948 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 03:11:17 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 2271 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 304 variables and 671 constraints.
c After prepocess the problem consists of 298 variables and 603 constraints.
c preprocess terminated 0.246 s
c Initial Lower Bound: 766
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2240 @ 0.295
c NEW SOLUTION FOUND: 2233 @ 0.298
c NEW SOLUTION FOUND: 2208 @ 0.299
c NEW SOLUTION FOUND: 2199 @ 0.304
c NEW SOLUTION FOUND: 2183 @ 0.306
c NEW SOLUTION FOUND: 2177 @ 0.309
c NEW SOLUTION FOUND: 2174 @ 0.31
c NEW SOLUTION FOUND: 2158 @ 0.315
c NEW SOLUTION FOUND: 2157 @ 0.331
c NEW SOLUTION FOUND: 2141 @ 0.338
c NEW SOLUTION FOUND: 2140 @ 0.344
c NEW SOLUTION FOUND: 2124 @ 0.346
c NEW SOLUTION FOUND: 2120 @ 0.388
c NEW SOLUTION FOUND: 2103 @ 0.41
c NEW SOLUTION FOUND: 2095 @ 0.441
c NEW SOLUTION FOUND: 2094 @ 0.456
c NEW SOLUTION FOUND: 2078 @ 0.459
c NEW SOLUTION FOUND: 2070 @ 0.558
c NEW SOLUTION FOUND: 2069 @ 0.569
c NEW SOLUTION FOUND: 2053 @ 0.573
c NEW SOLUTION FOUND: 2052 @ 0.615
c NEW SOLUTION FOUND: 2045 @ 0.618
c NEW SOLUTION FOUND: 2029 @ 0.62
c NEW SOLUTION FOUND: 2020 @ 0.647
c NEW SOLUTION FOUND: 2004 @ 0.649
c NEW SOLUTION FOUND: 1996 @ 0.693
c NEW SOLUTION FOUND: 1987 @ 0.717
c NEW SOLUTION FOUND: 1971 @ 0.72
c NEW SOLUTION FOUND: 1970 @ 0.834
c NEW SOLUTION FOUND: 1954 @ 0.838
c NEW SOLUTION FOUND: 1952 @ 0.945
c NEW SOLUTION FOUND: 1945 @ 0.947
c NEW SOLUTION FOUND: 1929 @ 0.951
c NEW SOLUTION FOUND: 1926 @ 1.004
c NEW SOLUTION FOUND: 1918 @ 1.007
c NEW SOLUTION FOUND: 1907 @ 1.018
c NEW SOLUTION FOUND: 1899 @ 1.024
c NEW SOLUTION FOUND: 1891 @ 1.025
c NEW SOLUTION FOUND: 1875 @ 1.031
c NEW SOLUTION FOUND: 1867 @ 1.047
c NEW SOLUTION FOUND: 1859 @ 1.049
c NEW SOLUTION FOUND: 1852 @ 1.068
c NEW SOLUTION FOUND: 1844 @ 1.079
c NEW SOLUTION FOUND: 1836 @ 1.082
c NEW SOLUTION FOUND: 1801 @ 1.158
c NEW SOLUTION FOUND: 1793 @ 1.171
c NEW SOLUTION FOUND: 1785 @ 1.174
c NEW SOLUTION FOUND: 1768 @ 1.346
c NEW SOLUTION FOUND: 1760 @ 1.358
c NEW SOLUTION FOUND: 1752 @ 1.361
c NEW SOLUTION FOUND: 1742 @ 1.598
c NEW SOLUTION FOUND: 1734 @ 1.601
c NEW SOLUTION FOUND: 1718 @ 1.617
c NEW SOLUTION FOUND: 1717 @ 1.724
c NEW SOLUTION FOUND: 1708 @ 1.787
c NEW SOLUTION FOUND: 1700 @ 1.789
c NEW SOLUTION FOUND: 1684 @ 1.809
c NEW SOLUTION FOUND: 1668 @ 2.06
c NEW SOLUTION FOUND: 1656 @ 2.148
c NEW SOLUTION FOUND: 1633 @ 2.15
c NEW SOLUTION FOUND: 1617 @ 2.174
c NEW SOLUTION FOUND: 1610 @ 2.451
c NEW SOLUTION FOUND: 1594 @ 2.494
c NEW SOLUTION FOUND: 1585 @ 2.729
c NEW SOLUTION FOUND: 1569 @ 2.746
c NEW SOLUTION FOUND: 1567 @ 2.982
c NEW SOLUTION FOUND: 1551 @ 3.04
c NEW SOLUTION FOUND: 1532 @ 3.405
c NEW SOLUTION FOUND: 1524 @ 3.439
c NEW SOLUTION FOUND: 1522 @ 3.465
c NEW SOLUTION FOUND: 1508 @ 3.47
c NEW SOLUTION FOUND: 1499 @ 3.471
c NEW SOLUTION FOUND: 1483 @ 3.59
c NEW SOLUTION FOUND: 1482 @ 4.147
c NEW SOLUTION FOUND: 1480 @ 4.177
c NEW SOLUTION FOUND: 1457 @ 4.181
c NEW SOLUTION FOUND: 1441 @ 4.615
c NEW SOLUTION FOUND: 1432 @ 4.852
c NEW SOLUTION FOUND: 1416 @ 5.061
c NEW SOLUTION FOUND: 1410 @ 7.402
c NEW SOLUTION FOUND: 1401 @ 7.411
c NEW SOLUTION FOUND: 1385 @ 13.444
c NEW SOLUTION FOUND: 1369 @ 18.304
#### 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.85 0.94 0.90 2/54 6662
Raw data (stat): 6662 (runsolver) R 6661 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 705782387 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 7673 0 0 0 974 22 0 0 25 0 1 0 705782387 35676160 7607 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8710 7607 1111 63 0 8647 0
vsize: 34840
[startup+20.001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 11661 0 0 0 1965 31 0 0 25 0 1 0 705782387 52346880 11496 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12780 11496 1111 63 0 12717 0
vsize: 51120
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 14155 0 0 0 2958 38 0 0 25 0 1 0 705782387 62644224 13975 4294967295 134512640 134714540 3221221792 3221220676 134621630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15294 13975 1111 63 0 15231 0
vsize: 61176
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 22098 0 0 0 3938 59 0 0 25 0 1 0 705782387 96358400 21699 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23525 21699 1111 63 0 23462 0
vsize: 94100
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24594 0 0 0 4931 66 0 0 25 0 1 0 705782387 106500096 24177 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26001 24177 1111 63 0 25938 0
vsize: 104004
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24595 0 0 0 5931 66 0 0 25 0 1 0 705782387 106500096 24178 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26001 24178 1111 63 0 25938 0
vsize: 104004
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24597 0 0 0 6931 66 0 0 25 0 1 0 705782387 106500096 24180 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26001 24180 1111 63 0 25938 0
vsize: 104004
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24600 0 0 0 7932 66 0 0 25 0 1 0 705782387 106500096 24183 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26001 24183 1111 63 0 25938 0
vsize: 104004
[startup+90.0039 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24605 0 0 0 8932 66 0 0 25 0 1 0 705782387 106500096 24188 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26001 24188 1111 63 0 25938 0
vsize: 104004
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24717 0 0 0 9932 66 0 0 25 0 1 0 705782387 106905600 24300 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26100 24300 1111 63 0 26037 0
vsize: 104400
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 24898 0 0 0 10931 67 0 0 25 0 1 0 705782387 107716608 24481 4294967295 134512640 134714540 3221221792 3221220596 134622629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26298 24481 1111 63 0 26235 0
vsize: 105192
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 11931 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 12931 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 13931 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220520 134622876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 14931 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 15932 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 16932 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 17932 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25125 0 0 0 18932 67 0 0 25 0 1 0 705782387 108662784 24708 4294967295 134512640 134714540 3221221792 3221220608 134622556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24708 1111 63 0 26466 0
vsize: 106116
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25127 0 0 0 19932 67 0 0 25 0 1 0 705782387 108662784 24710 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24710 1111 63 0 26466 0
vsize: 106116
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25127 0 0 0 20932 67 0 0 25 0 1 0 705782387 108662784 24710 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24710 1111 63 0 26466 0
vsize: 106116
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25128 0 0 0 21932 67 0 0 25 0 1 0 705782387 108662784 24711 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24711 1111 63 0 26466 0
vsize: 106116
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25128 0 0 0 22933 67 0 0 25 0 1 0 705782387 108662784 24711 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24711 1111 63 0 26466 0
vsize: 106116
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25130 0 0 0 23933 67 0 0 25 0 1 0 705782387 108662784 24713 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26529 24713 1111 63 0 26466 0
vsize: 106116
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25580 0 0 0 24932 69 0 0 25 0 1 0 705782387 110473216 25159 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26971 25159 1111 63 0 26908 0
vsize: 107884
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 25932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 26932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 27932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 28932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 29932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 30932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25614 0 0 0 31932 69 0 0 25 0 1 0 705782387 110608384 25193 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25193 1111 63 0 26941 0
vsize: 108016
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25615 0 0 0 32933 69 0 0 25 0 1 0 705782387 110608384 25194 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25194 1111 63 0 26941 0
vsize: 108016
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25632 0 0 0 33933 69 0 0 25 0 1 0 705782387 110608384 25211 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25211 1111 63 0 26941 0
vsize: 108016
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25632 0 0 0 34933 69 0 0 25 0 1 0 705782387 110608384 25211 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25211 1111 63 0 26941 0
vsize: 108016
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25632 0 0 0 35933 69 0 0 25 0 1 0 705782387 110608384 25211 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25211 1111 63 0 26941 0
vsize: 108016
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25632 0 0 0 36933 69 0 0 25 0 1 0 705782387 110608384 25211 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25211 1111 63 0 26941 0
vsize: 108016
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25632 0 0 0 37933 69 0 0 25 0 1 0 705782387 110608384 25211 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25211 1111 63 0 26941 0
vsize: 108016
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25632 0 0 0 38933 69 0 0 25 0 1 0 705782387 110608384 25211 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27004 25211 1111 63 0 26941 0
vsize: 108016
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25652 0 0 0 39933 69 0 0 25 0 1 0 705782387 110751744 25231 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27039 25231 1111 63 0 26976 0
vsize: 108156
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25705 0 0 0 40933 70 0 0 25 0 1 0 705782387 111022080 25284 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27105 25284 1111 63 0 27042 0
vsize: 108420
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25705 0 0 0 41933 70 0 0 25 0 1 0 705782387 111022080 25284 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27105 25284 1111 63 0 27042 0
vsize: 108420
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25705 0 0 0 42933 70 0 0 25 0 1 0 705782387 111022080 25284 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27105 25284 1111 63 0 27042 0
vsize: 108420
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25705 0 0 0 43933 70 0 0 25 0 1 0 705782387 111022080 25284 4294967295 134512640 134714540 3221221792 3221220600 134622351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27105 25284 1111 63 0 27042 0
vsize: 108420
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 25770 0 0 0 44933 70 0 0 25 0 1 0 705782387 111161344 25349 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27139 25349 1111 63 0 27076 0
vsize: 108556
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 27481 0 0 0 45929 75 0 0 25 0 1 0 705782387 118075392 27055 4294967295 134512640 134714540 3221221792 3221220560 134624891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28827 27055 1111 63 0 28764 0
vsize: 115308
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 32174 0 0 0 46916 88 0 0 25 0 1 0 705782387 136757248 31729 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33388 31729 1111 63 0 33325 0
vsize: 133552
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 33021 0 0 0 47914 90 0 0 25 0 1 0 705782387 140144640 32574 4294967295 134512640 134714540 3221221792 3221220568 134542401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34215 32574 1111 63 0 34152 0
vsize: 136860
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 39403 0 0 0 48898 106 0 0 25 0 1 0 705782387 164945920 37322 4294967295 134512640 134714540 3221221792 3221220412 134543121 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40270 37322 1111 63 0 40207 0
vsize: 161080
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 40032 0 0 0 49897 108 0 0 25 0 1 0 705782387 167510016 37933 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40896 37933 1111 63 0 40833 0
vsize: 163584
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 42405 0 0 0 50890 114 0 0 25 0 1 0 705782387 177090560 40196 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43235 40196 1111 63 0 43172 0
vsize: 172940
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 45764 0 0 0 51881 124 0 0 25 0 1 0 705782387 190652416 43437 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46546 43437 1111 63 0 46483 0
vsize: 186184
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 45771 0 0 0 52881 124 0 0 25 0 1 0 705782387 190787584 43444 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46579 43444 1111 63 0 46516 0
vsize: 186316
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 46241 0 0 0 53880 125 0 0 25 0 1 0 705782387 192745472 43905 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47057 43905 1111 63 0 46994 0
vsize: 188228
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 46924 0 0 0 54878 127 0 0 25 0 1 0 705782387 195465216 44587 4294967295 134512640 134714540 3221221792 3221220540 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47721 44587 1111 63 0 47658 0
vsize: 190884
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50337 0 0 0 55869 136 0 0 25 0 1 0 705782387 208900096 47990 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51001 47990 1111 63 0 50938 0
vsize: 204004
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50337 0 0 0 56869 136 0 0 25 0 1 0 705782387 208900096 47990 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51001 47990 1111 63 0 50938 0
vsize: 204004
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50338 0 0 0 57869 136 0 0 25 0 1 0 705782387 208900096 47991 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51001 47991 1111 63 0 50938 0
vsize: 204004
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50340 0 0 0 58869 136 0 0 25 0 1 0 705782387 208900096 47993 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51001 47993 1111 63 0 50938 0
vsize: 204004
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50341 0 0 0 59869 137 0 0 25 0 1 0 705782387 208900096 47994 4294967295 134512640 134714540 3221221792 3221220512 134622761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51001 47994 1111 63 0 50938 0
vsize: 204004
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50480 0 0 0 60869 137 0 0 25 0 1 0 705782387 209440768 48133 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51133 48133 1111 63 0 51070 0
vsize: 204532
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50907 0 0 0 61867 139 0 0 25 0 1 0 705782387 211197952 48560 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51562 48560 1111 63 0 51499 0
vsize: 206248
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50909 0 0 0 62868 139 0 0 25 0 1 0 705782387 211197952 48562 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51562 48562 1111 63 0 51499 0
vsize: 206248
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50910 0 0 0 63868 139 0 0 25 0 1 0 705782387 211197952 48563 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51562 48563 1111 63 0 51499 0
vsize: 206248
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 50986 0 0 0 64867 139 0 0 25 0 1 0 705782387 211468288 48639 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51628 48639 1111 63 0 51565 0
vsize: 206512
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51687 0 0 0 65866 141 0 0 25 0 1 0 705782387 214306816 49340 4294967295 134512640 134714540 3221221792 3221220332 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49340 1111 63 0 52258 0
vsize: 209284
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51687 0 0 0 66866 141 0 0 25 0 1 0 705782387 214306816 49340 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49340 1111 63 0 52258 0
vsize: 209284
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51687 0 0 0 67866 141 0 0 25 0 1 0 705782387 214306816 49340 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49340 1111 63 0 52258 0
vsize: 209284
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51687 0 0 0 68866 141 0 0 25 0 1 0 705782387 214306816 49340 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49340 1111 63 0 52258 0
vsize: 209284
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51687 0 0 0 69866 141 0 0 25 0 1 0 705782387 214306816 49340 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49340 1111 63 0 52258 0
vsize: 209284
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51689 0 0 0 70867 141 0 0 25 0 1 0 705782387 214306816 49342 4294967295 134512640 134714540 3221221792 3221220512 134622812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49342 1111 63 0 52258 0
vsize: 209284
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51689 0 0 0 71867 141 0 0 25 0 1 0 705782387 214306816 49342 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49342 1111 63 0 52258 0
vsize: 209284
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 51690 0 0 0 72867 141 0 0 25 0 1 0 705782387 214306816 49343 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52321 49343 1111 63 0 52258 0
vsize: 209284
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54322 0 0 0 73859 149 0 0 25 0 1 0 705782387 224649216 51965 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54846 51965 1111 63 0 54783 0
vsize: 219384
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54323 0 0 0 74860 149 0 0 25 0 1 0 705782387 224649216 51966 4294967295 134512640 134714540 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54846 51966 1111 63 0 54783 0
vsize: 219384
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54325 0 0 0 75860 149 0 0 25 0 1 0 705782387 224649216 51968 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54846 51968 1111 63 0 54783 0
vsize: 219384
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54338 0 0 0 76860 149 0 0 25 0 1 0 705782387 224649216 51981 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54846 51981 1111 63 0 54783 0
vsize: 219384
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54533 0 0 0 77859 150 0 0 25 0 1 0 705782387 225460224 52176 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55044 52176 1111 63 0 54981 0
vsize: 220176
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54724 0 0 0 78859 150 0 0 25 0 1 0 705782387 226271232 52367 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52367 1111 63 0 55179 0
vsize: 220968
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54724 0 0 0 79859 150 0 0 25 0 1 0 705782387 226271232 52367 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52367 1111 63 0 55179 0
vsize: 220968
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54724 0 0 0 80859 150 0 0 25 0 1 0 705782387 226271232 52367 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52367 1111 63 0 55179 0
vsize: 220968
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54724 0 0 0 81859 150 0 0 25 0 1 0 705782387 226271232 52367 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52367 1111 63 0 55179 0
vsize: 220968
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54726 0 0 0 82860 150 0 0 25 0 1 0 705782387 226271232 52369 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52369 1111 63 0 55179 0
vsize: 220968
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54726 0 0 0 83860 150 0 0 25 0 1 0 705782387 226271232 52369 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52369 1111 63 0 55179 0
vsize: 220968
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54726 0 0 0 84860 150 0 0 25 0 1 0 705782387 226271232 52369 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52369 1111 63 0 55179 0
vsize: 220968
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54726 0 0 0 85860 150 0 0 25 0 1 0 705782387 226271232 52369 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52369 1111 63 0 55179 0
vsize: 220968
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54727 0 0 0 86860 150 0 0 25 0 1 0 705782387 226271232 52370 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52370 1111 63 0 55179 0
vsize: 220968
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54727 0 0 0 87860 150 0 0 25 0 1 0 705782387 226271232 52370 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52370 1111 63 0 55179 0
vsize: 220968
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54727 0 0 0 88861 150 0 0 25 0 1 0 705782387 226271232 52370 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52370 1111 63 0 55179 0
vsize: 220968
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54727 0 0 0 89861 150 0 0 25 0 1 0 705782387 226271232 52370 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52370 1111 63 0 55179 0
vsize: 220968
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54727 0 0 0 90861 150 0 0 25 0 1 0 705782387 226271232 52370 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52370 1111 63 0 55179 0
vsize: 220968
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54729 0 0 0 91861 150 0 0 25 0 1 0 705782387 226271232 52372 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52372 1111 63 0 55179 0
vsize: 220968
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54729 0 0 0 92861 150 0 0 25 0 1 0 705782387 226271232 52372 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52372 1111 63 0 55179 0
vsize: 220968
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54729 0 0 0 93861 150 0 0 25 0 1 0 705782387 226271232 52372 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52372 1111 63 0 55179 0
vsize: 220968
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54729 0 0 0 94862 150 0 0 25 0 1 0 705782387 226271232 52372 4294967295 134512640 134714540 3221221792 3221220504 134543138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52372 1111 63 0 55179 0
vsize: 220968
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54730 0 0 0 95862 150 0 0 25 0 1 0 705782387 226271232 52373 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52373 1111 63 0 55179 0
vsize: 220968
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54730 0 0 0 96862 150 0 0 25 0 1 0 705782387 226271232 52373 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52373 1111 63 0 55179 0
vsize: 220968
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54730 0 0 0 97862 150 0 0 25 0 1 0 705782387 226271232 52373 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52373 1111 63 0 55179 0
vsize: 220968
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54730 0 0 0 98862 150 0 0 25 0 1 0 705782387 226271232 52373 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52373 1111 63 0 55179 0
vsize: 220968
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54732 0 0 0 99862 150 0 0 25 0 1 0 705782387 226271232 52375 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52375 1111 63 0 55179 0
vsize: 220968
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54732 0 0 0 100862 151 0 0 25 0 1 0 705782387 226271232 52375 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52375 1111 63 0 55179 0
vsize: 220968
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54732 0 0 0 101862 151 0 0 25 0 1 0 705782387 226271232 52375 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52375 1111 63 0 55179 0
vsize: 220968
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54733 0 0 0 102862 151 0 0 25 0 1 0 705782387 226271232 52376 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52376 1111 63 0 55179 0
vsize: 220968
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54733 0 0 0 103862 151 0 0 25 0 1 0 705782387 226271232 52376 4294967295 134512640 134714540 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52376 1111 63 0 55179 0
vsize: 220968
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54733 0 0 0 104862 151 0 0 25 0 1 0 705782387 226271232 52376 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52376 1111 63 0 55179 0
vsize: 220968
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54735 0 0 0 105862 151 0 0 25 0 1 0 705782387 226271232 52378 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52378 1111 63 0 55179 0
vsize: 220968
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54735 0 0 0 106862 152 0 0 25 0 1 0 705782387 226271232 52378 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52378 1111 63 0 55179 0
vsize: 220968
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54735 0 0 0 107863 152 0 0 25 0 1 0 705782387 226271232 52378 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52378 1111 63 0 55179 0
vsize: 220968
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54736 0 0 0 108863 152 0 0 25 0 1 0 705782387 226271232 52379 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52379 1111 63 0 55179 0
vsize: 220968
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54736 0 0 0 109863 152 0 0 25 0 1 0 705782387 226271232 52379 4294967295 134512640 134714540 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52379 1111 63 0 55179 0
vsize: 220968
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54736 0 0 0 110863 152 0 0 25 0 1 0 705782387 226271232 52379 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52379 1111 63 0 55179 0
vsize: 220968
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54738 0 0 0 111863 152 0 0 25 0 1 0 705782387 226271232 52381 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52381 1111 63 0 55179 0
vsize: 220968
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54738 0 0 0 112863 152 0 0 25 0 1 0 705782387 226271232 52381 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52381 1111 63 0 55179 0
vsize: 220968
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54738 0 0 0 113863 152 0 0 25 0 1 0 705782387 226271232 52381 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52381 1111 63 0 55179 0
vsize: 220968
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54738 0 0 0 114864 152 0 0 25 0 1 0 705782387 226271232 52381 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52381 1111 63 0 55179 0
vsize: 220968
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54738 0 0 0 115864 152 0 0 25 0 1 0 705782387 226271232 52381 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52381 1111 63 0 55179 0
vsize: 220968
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54739 0 0 0 116864 152 0 0 25 0 1 0 705782387 226271232 52382 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52382 1111 63 0 55179 0
vsize: 220968
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54739 0 0 0 117864 152 0 0 25 0 1 0 705782387 226271232 52382 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52382 1111 63 0 55179 0
vsize: 220968
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54739 0 0 0 118864 152 0 0 25 0 1 0 705782387 226271232 52382 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52382 1111 63 0 55179 0
vsize: 220968
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6662
Raw data (stat): 6662 (bsolo_mis) R 6661 7876 7672 0 -1 0 54739 0 0 0 119864 152 0 0 25 0 1 0 705782387 226271232 52382 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55242 52382 1111 63 0 55179 0
vsize: 220968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6662
Raw data (stat): 6662 (bsolo_mis) Z 6661 7876 7672 0 -1 1036 54739 0 0 0 119864 162 0 0 25 0 1 0 705782387 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.27
CPU user time (s): 1198.65
CPU system time (s): 1.62175
CPU usage (%): 100.013
Max. virtual memory (Kb): 220968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####