PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7060
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 27272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 20:32:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17800 boxname=wulflinc30 idbench=1370 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-mzzv42z.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-mzzv42z.opb
IDLAUNCH: 17800
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        914604 kB
Buffers:          2044 kB
Cached:          94988 kB
SwapCached:       1500 kB
Active:          19308 kB
Inactive:        80608 kB
HighTotal:      131008 kB
HighFree:        86352 kB
LowTotal:       903652 kB
LowFree:        828252 kB
SwapTotal:     2097892 kB
SwapFree:      2095420 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14356 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:52:19 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 17800 7 1200.57 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14038 constraints.
c preprocess terminated 239.055 s
c Initial Lower Bound: -11139
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -1100 @ 324.202
c NEW SOLUTION FOUND: -1164 @ 324.211
c NEW SOLUTION FOUND: -1292 @ 324.219
c NEW SOLUTION FOUND: -1324 @ 324.233
c NEW SOLUTION FOUND: -1364 @ 324.26
c NEW SOLUTION FOUND: -1372 @ 324.298
c NEW SOLUTION FOUND: -1404 @ 324.308
c NEW SOLUTION FOUND: -1444 @ 324.329
c NEW SOLUTION FOUND: -1484 @ 324.354
c NEW SOLUTION FOUND: -1492 @ 324.37
c NEW SOLUTION FOUND: -1524 @ 324.38
c NEW SOLUTION FOUND: -1532 @ 324.402
c NEW SOLUTION FOUND: -1564 @ 324.411
c NEW SOLUTION FOUND: -1572 @ 324.435
c NEW SOLUTION FOUND: -1604 @ 324.444
c NEW SOLUTION FOUND: -1624 @ 324.467
c NEW SOLUTION FOUND: -1632 @ 324.493
c NEW SOLUTION FOUND: -1664 @ 324.502
c NEW SOLUTION FOUND: -1684 @ 324.527
c NEW SOLUTION FOUND: -1692 @ 324.551
c NEW SOLUTION FOUND: -1724 @ 324.56
c NEW SOLUTION FOUND: -1744 @ 324.588
c NEW SOLUTION FOUND: -1752 @ 324.613
c NEW SOLUTION FOUND: -1784 @ 324.623
c NEW SOLUTION FOUND: -1804 @ 324.807
c NEW SOLUTION FOUND: -1814 @ 325.84
c NEW SOLUTION FOUND: -1834 @ 325.872
c NEW SOLUTION FOUND: -1850 @ 326.015
c NEW SOLUTION FOUND: -1858 @ 326.726
c NEW SOLUTION FOUND: -1862 @ 326.818
c NEW SOLUTION FOUND: -1878 @ 326.851
c NEW SOLUTION FOUND: -1880 @ 326.938
c NEW SOLUTION FOUND: -1890 @ 326.987
c NEW SOLUTION FOUND: -1910 @ 327.034
c NEW SOLUTION FOUND: -1920 @ 360.406
c NEW SOLUTION FOUND: -1930 @ 397.817
c NEW SOLUTION FOUND: -1938 @ 583.152
c NEW SOLUTION FOUND: -1945 @ 589.095
c NEW SOLUTION FOUND: -1953 @ 589.446
c NEW SOLUTION FOUND: -1955 @ 590.455
c NEW SOLUTION FOUND: -1963 @ 590.833
c NEW SOLUTION FOUND: -1965 @ 591.951
c NEW SOLUTION FOUND: -1973 @ 592.396
#### 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.87 0.94 0.95 2/54 26780
Raw data (stat): 26780 (runsolver) R 26779 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833137818 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.89 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 68064 0 0 0 853 145 0 0 25 0 1 0 833137818 292474880 68042 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71405 68042 1111 63 0 71342 0
vsize: 285620
[startup+20.0001 s]
Raw data (loadavg): 0.91 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 73764 0 0 0 1839 158 0 0 25 0 1 0 833137818 315863040 73742 4294967295 134512640 134714540 3221224592 3221221064 1077359216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77115 73742 1111 63 0 77052 0
vsize: 308460
[startup+30.001 s]
Raw data (loadavg): 0.92 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 109175 0 0 0 2760 237 0 0 25 0 1 0 833137818 451141632 109139 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110142 109139 1111 63 0 110079 0
vsize: 440568
[startup+40.0007 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 109729 0 0 0 3759 238 0 0 25 0 1 0 833137818 453308416 109688 4294967295 134512640 134714540 3221224592 3221223208 134536894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110671 109688 1111 63 0 110608 0
vsize: 442684
[startup+50.0016 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 4750 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+60.0014 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 5750 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223008 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+70.0012 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 6750 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 7751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+90.0018 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 8751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 9751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 10751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 11751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+130.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 12751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223012 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+140.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 13751 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+150.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 14752 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 15752 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 16752 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 17752 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223140 134535481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 113769 0 0 0 18752 247 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114057 0 0 0 19751 248 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114333 0 0 0 20751 249 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114333 0 0 0 21751 249 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114333 0 0 0 22751 249 0 0 25 0 1 0 833137818 469835776 113723 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113723 1111 63 0 114643 0
vsize: 458824
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114350 0 0 0 23751 249 0 0 25 0 1 0 833137818 469835776 113740 4294967295 134512640 134714540 3221224592 3221223320 134556493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114706 113740 1111 63 0 114643 0
vsize: 458824
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114350 0 0 0 24750 250 0 0 25 0 1 0 833137818 469835776 113740 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114706 113740 1111 63 0 114643 0
vsize: 458824
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114350 0 0 0 25750 250 0 0 25 0 1 0 833137818 469835776 113740 4294967295 134512640 134714540 3221224592 3221223328 134556861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113740 1111 63 0 114643 0
vsize: 458824
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114352 0 0 0 26750 250 0 0 25 0 1 0 833137818 469835776 113742 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113742 1111 63 0 114643 0
vsize: 458824
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 27749 251 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 28748 252 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 29747 253 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223352 134556737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 30746 254 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223368 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 31745 256 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 32744 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 33744 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 34744 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 35744 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223388 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 36744 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 37744 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 38745 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 39745 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 40745 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 41745 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 42746 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 43746 257 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 44746 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 45746 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 46747 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 47747 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 48747 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+500.141 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 49758 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+510.141 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 50758 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+520.14 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 51759 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+530.14 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 52759 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+540.147 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 53760 258 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+550.147 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 54759 259 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+560.149 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 55760 259 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+570.15 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114354 0 0 0 56760 259 0 0 25 0 1 0 833137818 469835776 113744 4294967295 134512640 134714540 3221224592 3221223392 134622638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114706 113744 1111 63 0 114643 0
vsize: 458824
[startup+580.15 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 114706 0 0 0 57759 260 0 0 25 0 1 0 833137818 472457216 114096 4294967295 134512640 134714540 3221224592 3221223184 134535411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115346 114096 1111 63 0 115283 0
vsize: 461384
[startup+590.15 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 135569 0 0 0 58709 310 0 0 25 0 1 0 833137818 564150272 134719 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137732 134719 1111 63 0 137669 0
vsize: 550928
[startup+600.151 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 59698 321 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+610.151 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 60698 321 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+620.151 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 61698 321 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223316 134622911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+630.151 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 62698 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+640.151 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 63698 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+650.151 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 64698 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+660.151 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 65699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+670.151 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 66699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+680.152 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 67699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+690.151 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 68699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+700.152 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 69699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+710.152 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 70699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+720.152 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 71699 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+730.152 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141217 0 0 0 72700 322 0 0 25 0 1 0 833137818 587776000 140250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140250 1111 63 0 143437 0
vsize: 574000
[startup+740.153 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 73700 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+750.153 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 74700 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+760.153 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 75700 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+770.153 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 76700 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+780.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 77701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+790.153 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 78701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+800.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 79701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+810.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 80701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134623136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+820.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 81701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+830.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 82701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+840.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 83701 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223316 134622731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+850.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 84702 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+860.155 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141219 0 0 0 85702 322 0 0 25 0 1 0 833137818 587776000 140252 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140252 1111 63 0 143437 0
vsize: 574000
[startup+870.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 86702 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+880.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 87702 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223312 134622917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+890.155 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 88702 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+900.155 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 89703 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+910.155 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 90703 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+920.155 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 91703 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+930.155 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 92703 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+940.156 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 93703 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+950.156 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 94703 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+960.157 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 95704 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+970.157 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 96704 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+980.158 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141220 0 0 0 97704 322 0 0 25 0 1 0 833137818 587776000 140253 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140253 1111 63 0 143437 0
vsize: 574000
[startup+990.158 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 98704 322 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 99704 322 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 100705 322 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 101705 322 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 102705 322 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 103705 322 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1050.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 104705 323 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 105705 323 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 106705 323 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1080.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141222 0 0 0 107705 323 0 0 25 0 1 0 833137818 587776000 140255 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140255 1111 63 0 143437 0
vsize: 574000
[startup+1090.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 108705 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1100.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 109705 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1110.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 110705 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1120.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 111705 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1130.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 112705 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1140.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 113706 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 114706 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1160.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 115706 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1170.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141223 0 0 0 116706 323 0 0 25 0 1 0 833137818 587776000 140256 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140256 1111 63 0 143437 0
vsize: 574000
[startup+1180.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141225 0 0 0 117706 323 0 0 25 0 1 0 833137818 587776000 140258 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140258 1111 63 0 143437 0
vsize: 574000
[startup+1190.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141225 0 0 0 118706 323 0 0 25 0 1 0 833137818 587776000 140258 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140258 1111 63 0 143437 0
vsize: 574000
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26780
Raw data (stat): 26780 (bsolo_mis) R 26779 22056 22055 0 -1 0 141225 0 0 0 119706 323 0 0 25 0 1 0 833137818 587776000 140258 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143500 140258 1111 63 0 143437 0
vsize: 574000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 0.99 0.96 1/54 26780
Raw data (stat): 26780 (bsolo_mis) Z 26779 22056 22055 0 -1 1036 141225 0 0 0 119706 349 0 0 25 0 1 0 833137818 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.42
CPU time (s): 1200.57
CPU user time (s): 1197.07
CPU system time (s): 3.49647
CPU usage (%): 100.012
Max. virtual memory (Kb): 574000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####