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-cc.opb
MD5SUM	0493ba9e257fafbb54efa7af2eeb7bf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1567
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	5699
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	5699
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.134979
Number of variables	133
Total number of constraints	229
Number of constraints which are clauses	229
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	31
Trace number 24394

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 00:56:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2253 boxname=wulflinc31 idbench=251 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0493ba9e257fafbb54efa7af2eeb7bf2  /oldhome/oroussel/tmp/wulflinc31/normalized-cc.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-cc.opb
IDLAUNCH: 2253
/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:        242004 kB
Buffers:         45444 kB
Cached:         713064 kB
SwapCached:        644 kB
Active:         364288 kB
Inactive:       396588 kB
HighTotal:      131008 kB
HighFree:        23828 kB
LowTotal:       903652 kB
LowFree:        218176 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             132 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26004 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 01:16:07 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2253 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 133 variables and 229 constraints.
c After prepocess the problem consists of 122 variables and 170 constraints.
c preprocess terminated 0.061 s
c Initial Lower Bound: 1285
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1968 @ 0.068
c NEW SOLUTION FOUND: 1935 @ 0.069
c NEW SOLUTION FOUND: 1902 @ 0.069
c NEW SOLUTION FOUND: 1895 @ 0.071
c NEW SOLUTION FOUND: 1861 @ 0.072
c NEW SOLUTION FOUND: 1854 @ 0.077
c NEW SOLUTION FOUND: 1829 @ 0.078
c NEW SOLUTION FOUND: 1804 @ 0.081
c NEW SOLUTION FOUND: 1788 @ 0.112
c NEW SOLUTION FOUND: 1783 @ 0.113
c NEW SOLUTION FOUND: 1771 @ 0.144
c NEW SOLUTION FOUND: 1766 @ 0.144
c NEW SOLUTION FOUND: 1762 @ 0.181
c NEW SOLUTION FOUND: 1746 @ 0.184
c NEW SOLUTION FOUND: 1741 @ 0.185
c NEW SOLUTION FOUND: 1739 @ 0.223
c NEW SOLUTION FOUND: 1734 @ 0.224
c NEW SOLUTION FOUND: 1730 @ 0.26
c NEW SOLUTION FOUND: 1714 @ 0.263
c NEW SOLUTION FOUND: 1709 @ 0.264
c NEW SOLUTION FOUND: 1701 @ 0.361
c NEW SOLUTION FOUND: 1697 @ 0.397
c NEW SOLUTION FOUND: 1676 @ 0.401
c NEW SOLUTION FOUND: 1667 @ 0.477
c NEW SOLUTION FOUND: 1660 @ 0.801
c NEW SOLUTION FOUND: 1644 @ 0.996
c NEW SOLUTION FOUND: 1635 @ 1.006
c NEW SOLUTION FOUND: 1628 @ 76.986
c NEW SOLUTION FOUND: 1626 @ 77.039
c NEW SOLUTION FOUND: 1621 @ 148.264
c NEW SOLUTION FOUND: 1619 @ 148.291
c NEW SOLUTION FOUND: 1612 @ 259.068
c NEW SOLUTION FOUND: 1610 @ 259.075
c NEW SOLUTION FOUND: 1603 @ 403.223
c NEW SOLUTION FOUND: 1601 @ 403.232
c NEW SOLUTION FOUND: 1600 @ 413.21
#### 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.96 0.97 0.91 2/54 5711
Raw data (stat): 5711 (runsolver) R 5710 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 705091288 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 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 3999 0 0 0 985 11 0 0 25 0 1 0 705091288 20164608 3965 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3965 1111 63 0 4860 0
vsize: 19692
[startup+20.0005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 4399 0 0 0 1984 12 0 0 25 0 1 0 705091288 21925888 4365 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5353 4365 1111 63 0 5290 0
vsize: 21412
[startup+30.0004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 5070 0 0 0 2983 13 0 0 25 0 1 0 705091288 24932352 5009 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6087 5009 1111 63 0 6024 0
vsize: 24348
[startup+40.0017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 6245 0 0 0 3981 15 0 0 25 0 1 0 705091288 29863936 6178 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7291 6178 1111 63 0 7228 0
vsize: 29164
[startup+50.0023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 6245 0 0 0 4981 15 0 0 25 0 1 0 705091288 29863936 6178 4294967295 134512640 134714540 3221221792 3221220512 134622915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7291 6178 1111 63 0 7228 0
vsize: 29164
[startup+60.0022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 6245 0 0 0 5981 15 0 0 25 0 1 0 705091288 29863936 6178 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7291 6178 1111 63 0 7228 0
vsize: 29164
[startup+70.0034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 6245 0 0 0 6982 15 0 0 25 0 1 0 705091288 29863936 6178 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7291 6178 1111 63 0 7228 0
vsize: 29164
[startup+80.0042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 10316 0 0 0 7971 27 0 0 25 0 1 0 705091288 46981120 10168 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11470 10168 1111 63 0 11407 0
vsize: 45880
[startup+90.0053 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 11116 0 0 0 8968 30 0 0 25 0 1 0 705091288 50241536 10964 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12266 10964 1111 63 0 12203 0
vsize: 49064
[startup+100.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 12480 0 0 0 9964 33 0 0 25 0 1 0 705091288 56102912 12298 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13697 12298 1111 63 0 13634 0
vsize: 54788
[startup+110.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 12507 0 0 0 10964 33 0 0 25 0 1 0 705091288 56238080 12325 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13730 12325 1111 63 0 13667 0
vsize: 54920
[startup+120.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 12507 0 0 0 11965 33 0 0 25 0 1 0 705091288 56238080 12325 4294967295 134512640 134714540 3221221792 3221220608 134622464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13730 12325 1111 63 0 13667 0
vsize: 54920
[startup+130.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 12509 0 0 0 12964 34 0 0 25 0 1 0 705091288 56238080 12327 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13730 12327 1111 63 0 13667 0
vsize: 54920
[startup+140.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 12509 0 0 0 13964 34 0 0 25 0 1 0 705091288 56238080 12327 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13730 12327 1111 63 0 13667 0
vsize: 54920
[startup+150.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 13456 0 0 0 14962 36 0 0 25 0 1 0 705091288 59998208 13264 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14648 13264 1111 63 0 14585 0
vsize: 58592
[startup+160.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14626 0 0 0 15958 40 0 0 25 0 1 0 705091288 64757760 14421 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15810 14421 1111 63 0 15747 0
vsize: 63240
[startup+170.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14626 0 0 0 16958 40 0 0 25 0 1 0 705091288 64757760 14421 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14421 1111 63 0 15747 0
vsize: 63240
[startup+180.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14626 0 0 0 17958 40 0 0 25 0 1 0 705091288 64757760 14421 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14421 1111 63 0 15747 0
vsize: 63240
[startup+190.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14626 0 0 0 18958 40 0 0 25 0 1 0 705091288 64757760 14421 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14421 1111 63 0 15747 0
vsize: 63240
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14628 0 0 0 19958 40 0 0 25 0 1 0 705091288 64757760 14423 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14423 1111 63 0 15747 0
vsize: 63240
[startup+210.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14628 0 0 0 20959 40 0 0 25 0 1 0 705091288 64757760 14423 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14423 1111 63 0 15747 0
vsize: 63240
[startup+220.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14628 0 0 0 21959 40 0 0 25 0 1 0 705091288 64757760 14423 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14423 1111 63 0 15747 0
vsize: 63240
[startup+230.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14628 0 0 0 22959 40 0 0 25 0 1 0 705091288 64757760 14423 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14423 1111 63 0 15747 0
vsize: 63240
[startup+240.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14629 0 0 0 23959 40 0 0 25 0 1 0 705091288 64757760 14424 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14424 1111 63 0 15747 0
vsize: 63240
[startup+250.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 14629 0 0 0 24959 40 0 0 25 0 1 0 705091288 64757760 14424 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14424 1111 63 0 15747 0
vsize: 63240
[startup+260.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 25952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+270.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 26951 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 27952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+290.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 28952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 29952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+310.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 30952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+320.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 31952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220512 134622884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+330.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 32952 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+340.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 33953 47 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+350.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 34953 48 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+360.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 35953 48 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+370.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 36953 48 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+380.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 37953 48 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 38953 48 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+400.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 18042 0 0 0 39954 48 0 0 25 0 1 0 705091288 80064512 17675 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19547 17675 1111 63 0 19484 0
vsize: 78188
[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 20536 0 0 0 40948 53 0 0 25 0 1 0 705091288 90021888 20148 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21978 20148 1111 63 0 21915 0
vsize: 87912
[startup+420.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 22025 0 0 0 41944 57 0 0 25 0 1 0 705091288 96169984 21612 4294967295 134512640 134714540 3221221792 3221220664 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23479 21612 1111 63 0 23416 0
vsize: 93916
[startup+430.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 22868 0 0 0 42943 59 0 0 25 0 1 0 705091288 100016128 22415 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24418 22415 1111 63 0 24355 0
vsize: 97672
[startup+440.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 28563 0 0 0 43929 72 0 0 25 0 1 0 705091288 122982400 28068 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30025 28068 1111 63 0 29962 0
vsize: 120100
[startup+450.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 28563 0 0 0 44930 72 0 0 25 0 1 0 705091288 122982400 28068 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30025 28068 1111 63 0 29962 0
vsize: 120100
[startup+460.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 28791 0 0 0 45929 72 0 0 25 0 1 0 705091288 123998208 28287 4294967295 134512640 134714540 3221221792 3221220552 134556377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30273 28287 1111 63 0 30210 0
vsize: 121092
[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 29008 0 0 0 46929 73 0 0 25 0 1 0 705091288 124944384 28504 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30504 28504 1111 63 0 30441 0
vsize: 122016
[startup+480.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 29826 0 0 0 47927 75 0 0 25 0 1 0 705091288 128188416 29322 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31296 29322 1111 63 0 31233 0
vsize: 125184
[startup+490.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 29826 0 0 0 48928 75 0 0 25 0 1 0 705091288 128188416 29322 4294967295 134512640 134714540 3221221792 3221220512 134622839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31296 29322 1111 63 0 31233 0
vsize: 125184
[startup+500.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 29828 0 0 0 49927 75 0 0 25 0 1 0 705091288 128188416 29324 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31296 29324 1111 63 0 31233 0
vsize: 125184
[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 30431 0 0 0 50926 76 0 0 25 0 1 0 705091288 130764800 29905 4294967295 134512640 134714540 3221221792 3221220520 134622831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31925 29905 1111 63 0 31862 0
vsize: 127700
[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 30431 0 0 0 51926 76 0 0 25 0 1 0 705091288 130764800 29905 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31925 29905 1111 63 0 31862 0
vsize: 127700
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 30832 0 0 0 52925 78 0 0 25 0 1 0 705091288 132452352 30297 4294967295 134512640 134714540 3221221792 3221220516 134622935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32337 30297 1111 63 0 32274 0
vsize: 129348
[startup+540.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31097 0 0 0 53925 78 0 0 25 0 1 0 705091288 133455872 30558 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32582 30558 1111 63 0 32519 0
vsize: 130328
[startup+550.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31474 0 0 0 54925 79 0 0 25 0 1 0 705091288 135208960 30917 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33010 30917 1111 63 0 32947 0
vsize: 132040
[startup+560.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31589 0 0 0 55924 79 0 0 25 0 1 0 705091288 135614464 31032 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31032 1111 63 0 33046 0
vsize: 132436
[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31589 0 0 0 56924 79 0 0 25 0 1 0 705091288 135614464 31032 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31032 1111 63 0 33046 0
vsize: 132436
[startup+580.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31591 0 0 0 57924 79 0 0 25 0 1 0 705091288 135614464 31034 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31034 1111 63 0 33046 0
vsize: 132436
[startup+590.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31591 0 0 0 58925 79 0 0 25 0 1 0 705091288 135614464 31034 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31034 1111 63 0 33046 0
vsize: 132436
[startup+600.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31591 0 0 0 59925 79 0 0 25 0 1 0 705091288 135614464 31034 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31034 1111 63 0 33046 0
vsize: 132436
[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31591 0 0 0 60925 79 0 0 25 0 1 0 705091288 135614464 31034 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31034 1111 63 0 33046 0
vsize: 132436
[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31592 0 0 0 61925 79 0 0 25 0 1 0 705091288 135614464 31035 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31035 1111 63 0 33046 0
vsize: 132436
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31592 0 0 0 62925 79 0 0 25 0 1 0 705091288 135614464 31035 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31035 1111 63 0 33046 0
vsize: 132436
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31592 0 0 0 63926 79 0 0 25 0 1 0 705091288 135614464 31035 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31035 1111 63 0 33046 0
vsize: 132436
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31594 0 0 0 64926 79 0 0 25 0 1 0 705091288 135614464 31037 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33109 31037 1111 63 0 33046 0
vsize: 132436
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 65926 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+670.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 66926 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 67926 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 68926 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 69926 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 70927 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220584 134536906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+720.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 71927 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+730.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 72926 80 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 73926 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 74927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 75927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 76927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 77927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 78927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 79927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 80927 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 81928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 82928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 83928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 84928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 85928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 86928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 87928 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 88929 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 89929 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 90929 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 91929 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 92929 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 93930 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 31675 0 0 0 94930 81 0 0 25 0 1 0 705091288 136019968 31118 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33208 31118 1111 63 0 33145 0
vsize: 132832
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 34764 0 0 0 95922 89 0 0 25 0 1 0 705091288 148668416 33497 4294967295 134512640 134714540 3221221792 3221220400 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36296 33497 1111 63 0 36233 0
vsize: 145184
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 36281 0 0 0 96918 93 0 0 25 0 1 0 705091288 154841088 34912 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37803 34912 1111 63 0 37740 0
vsize: 151212
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 36281 0 0 0 97918 93 0 0 25 0 1 0 705091288 154841088 34912 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37803 34912 1111 63 0 37740 0
vsize: 151212
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 36281 0 0 0 98918 93 0 0 25 0 1 0 705091288 154841088 34912 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37803 34912 1111 63 0 37740 0
vsize: 151212
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 36281 0 0 0 99919 93 0 0 25 0 1 0 705091288 154841088 34912 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37803 34912 1111 63 0 37740 0
vsize: 151212
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 36309 0 0 0 100919 93 0 0 25 0 1 0 705091288 154976256 34940 4294967295 134512640 134714540 3221221792 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37836 34940 1111 63 0 37773 0
vsize: 151344
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 38653 0 0 0 101914 98 0 0 25 0 1 0 705091288 164462592 37229 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40152 37229 1111 63 0 40089 0
vsize: 160608
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 43119 0 0 0 102904 108 0 0 25 0 1 0 705091288 181960704 41245 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44424 41246 1111 63 0 44361 0
vsize: 177696
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 44789 0 0 0 103900 113 0 0 25 0 1 0 705091288 188571648 42824 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46038 42824 1111 63 0 45975 0
vsize: 184152
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 45788 0 0 0 104898 115 0 0 25 0 1 0 705091288 192557056 43813 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47011 43813 1111 63 0 46948 0
vsize: 188044
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 47538 0 0 0 105893 120 0 0 25 0 1 0 705091288 199503872 45461 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48707 45461 1111 63 0 48644 0
vsize: 194828
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 48532 0 0 0 106891 122 0 0 25 0 1 0 705091288 203345920 46373 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49645 46373 1111 63 0 49582 0
vsize: 198580
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 49096 0 0 0 107890 124 0 0 25 0 1 0 705091288 205508608 46937 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50173 46937 1111 63 0 50110 0
vsize: 200692
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 50047 0 0 0 108888 125 0 0 25 0 1 0 705091288 208822272 47615 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50982 47615 1111 63 0 50919 0
vsize: 203928
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 50361 0 0 0 109888 126 0 0 25 0 1 0 705091288 210038784 47929 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51279 47929 1111 63 0 51216 0
vsize: 205116
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 50607 0 0 0 110887 127 0 0 25 0 1 0 705091288 210907136 48093 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51491 48093 1111 63 0 51428 0
vsize: 205964
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 50932 0 0 0 111886 128 0 0 25 0 1 0 705091288 212123648 48418 4294967295 134512640 134714540 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51788 48418 1111 63 0 51725 0
vsize: 207152
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 112886 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 113886 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 114886 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220588 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 115886 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 116886 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 117886 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 118887 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5711
Raw data (stat): 5711 (bsolo_mis) R 5710 7876 7672 0 -1 0 51103 0 0 0 119887 129 0 0 25 0 1 0 705091288 212799488 48589 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51953 48589 1111 63 0 51890 0
vsize: 207812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5711
Raw data (stat): 5711 (bsolo_mis) Z 5710 7876 7672 0 -1 1036 51103 0 0 0 119887 138 0 0 25 0 1 0 705091288 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.13
CPU time (s): 1200.26
CPU user time (s): 1198.87
CPU system time (s): 1.38279
CPU usage (%): 100.01
Max. virtual memory (Kb): 207812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####