PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3700.opb
MD5SUM	bc3b48d8361bf44c5b17a3bc4d19364a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29631666774144
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29631666774144
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28204

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 01:02:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14004 boxname=wulflinc17 idbench=1078 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bc3b48d8361bf44c5b17a3bc4d19364a  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-n3700.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-n3700.opb
IDLAUNCH: 14004
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        666756 kB
Buffers:         22776 kB
Cached:         307048 kB
SwapCached:        452 kB
Active:          33396 kB
Inactive:       313264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        666504 kB
SwapTotal:     2097892 kB
SwapFree:      2096860 kB
Dirty:              96 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            15656 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:22:13 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 14004 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.60 0.88 0.93 2/54 15303
Raw data (stat): 15303 (runsolver) R 15302 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834774501 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.66 0.88 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1140 0 0 0 995 4 0 0 25 0 1 0 834774501 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0006 s]
Raw data (loadavg): 0.71 0.88 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1250 0 0 0 1995 4 0 0 25 0 1 0 834774501 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+29.9999 s]
Raw data (loadavg): 0.75 0.89 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1352 0 0 0 2995 4 0 0 25 0 1 0 834774501 16257024 1330 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3969 1330 1111 63 0 3906 0
vsize: 15876
[startup+40.0008 s]
Raw data (loadavg): 0.79 0.89 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1463 0 0 0 3995 4 0 0 25 0 1 0 834774501 16830464 1441 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4109 1441 1111 63 0 4046 0
vsize: 16436
[startup+50.0017 s]
Raw data (loadavg): 0.82 0.89 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1574 0 0 0 4995 4 0 0 25 0 1 0 834774501 17256448 1552 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 1552 1111 63 0 4150 0
vsize: 16852
[startup+60.0017 s]
Raw data (loadavg): 0.85 0.90 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1684 0 0 0 5995 5 0 0 25 0 1 0 834774501 17711104 1662 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 1662 1111 63 0 4261 0
vsize: 17296
[startup+70.0016 s]
Raw data (loadavg): 0.87 0.90 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1793 0 0 0 6995 5 0 0 25 0 1 0 834774501 18157568 1771 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 1771 1111 63 0 4370 0
vsize: 17732
[startup+80.0012 s]
Raw data (loadavg): 0.89 0.90 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 1897 0 0 0 7995 5 0 0 25 0 1 0 834774501 18608128 1875 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4543 1875 1111 63 0 4480 0
vsize: 18172
[startup+90.0016 s]
Raw data (loadavg): 0.91 0.90 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2006 0 0 0 8995 5 0 0 25 0 1 0 834774501 19058688 1984 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 1984 1111 63 0 4590 0
vsize: 18612
[startup+100.001 s]
Raw data (loadavg): 0.92 0.91 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2121 0 0 0 9995 5 0 0 25 0 1 0 834774501 19480576 2099 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4756 2099 1111 63 0 4693 0
vsize: 19024
[startup+110.001 s]
Raw data (loadavg): 0.93 0.91 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2225 0 0 0 10995 5 0 0 25 0 1 0 834774501 19922944 2203 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 2203 1111 63 0 4801 0
vsize: 19456
[startup+120.001 s]
Raw data (loadavg): 0.94 0.91 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2341 0 0 0 11995 5 0 0 25 0 1 0 834774501 20373504 2319 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2319 1111 63 0 4911 0
vsize: 19896
[startup+130.001 s]
Raw data (loadavg): 0.95 0.91 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2444 0 0 0 12995 6 0 0 25 0 1 0 834774501 20819968 2422 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5083 2422 1111 63 0 5020 0
vsize: 20332
[startup+140.002 s]
Raw data (loadavg): 0.96 0.92 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2554 0 0 0 13995 6 0 0 25 0 1 0 834774501 21270528 2532 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 2532 1111 63 0 5130 0
vsize: 20772
[startup+150.002 s]
Raw data (loadavg): 0.96 0.92 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2663 0 0 0 14995 6 0 0 25 0 1 0 834774501 21721088 2641 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2641 1111 63 0 5240 0
vsize: 21212
[startup+160.002 s]
Raw data (loadavg): 0.97 0.92 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2774 0 0 0 15995 7 0 0 25 0 1 0 834774501 22171648 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2752 1111 63 0 5350 0
vsize: 21652
[startup+170.002 s]
Raw data (loadavg): 0.97 0.92 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2883 0 0 0 16995 7 0 0 25 0 1 0 834774501 22618112 2861 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5522 2861 1111 63 0 5459 0
vsize: 22088
[startup+180.002 s]
Raw data (loadavg): 0.98 0.92 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 2987 0 0 0 17995 7 0 0 25 0 1 0 834774501 23068672 2965 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5632 2965 1111 63 0 5569 0
vsize: 22528
[startup+190.002 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3109 0 0 0 18995 7 0 0 25 0 1 0 834774501 23506944 3087 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 3087 1111 63 0 5676 0
vsize: 22956
[startup+200.001 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3213 0 0 0 19995 8 0 0 25 0 1 0 834774501 23953408 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5848 3191 1111 63 0 5785 0
vsize: 23392
[startup+210.001 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3322 0 0 0 20995 8 0 0 25 0 1 0 834774501 24408064 3300 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3300 1111 63 0 5896 0
vsize: 23836
[startup+220.001 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3433 0 0 0 21994 8 0 0 25 0 1 0 834774501 24850432 3411 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6067 3411 1111 63 0 6004 0
vsize: 24268
[startup+230.001 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 15303
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3543 0 0 0 22994 8 0 0 25 0 1 0 834774501 25276416 3521 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6171 3521 1111 63 0 6108 0
vsize: 24684
[startup+240.001 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3654 0 0 0 23994 9 0 0 25 0 1 0 834774501 25722880 3632 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6280 3632 1111 63 0 6217 0
vsize: 25120
[startup+250 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3763 0 0 0 24994 9 0 0 25 0 1 0 834774501 26173440 3741 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 3741 1111 63 0 6327 0
vsize: 25560
[startup+260 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3874 0 0 0 25994 9 0 0 25 0 1 0 834774501 26624000 3852 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 3852 1111 63 0 6437 0
vsize: 26000
[startup+270 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 3984 0 0 0 26994 9 0 0 25 0 1 0 834774501 27074560 3962 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6610 3962 1111 63 0 6547 0
vsize: 26440
[startup+280 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4095 0 0 0 27994 10 0 0 25 0 1 0 834774501 27521024 4073 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6719 4073 1111 63 0 6656 0
vsize: 26876
[startup+290.001 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4204 0 0 0 28994 10 0 0 25 0 1 0 834774501 27971584 4182 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6829 4182 1111 63 0 6766 0
vsize: 27316
[startup+300.001 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4315 0 0 0 29994 10 0 0 25 0 1 0 834774501 28422144 4293 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 4293 1111 63 0 6876 0
vsize: 27756
[startup+310.001 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4425 0 0 0 30994 10 0 0 25 0 1 0 834774501 28872704 4403 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7049 4403 1111 63 0 6986 0
vsize: 28196
[startup+320.001 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4535 0 0 0 31993 11 0 0 25 0 1 0 834774501 29319168 4513 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7158 4513 1111 63 0 7095 0
vsize: 28632
[startup+330 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4644 0 0 0 32993 11 0 0 25 0 1 0 834774501 29769728 4622 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7268 4622 1111 63 0 7205 0
vsize: 29072
[startup+340.001 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4755 0 0 0 33993 12 0 0 25 0 1 0 834774501 30220288 4733 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7378 4733 1111 63 0 7315 0
vsize: 29512
[startup+350.001 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4870 0 0 0 34993 12 0 0 25 0 1 0 834774501 30670848 4848 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7488 4848 1111 63 0 7425 0
vsize: 29952
[startup+360 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 4986 0 0 0 35993 12 0 0 25 0 1 0 834774501 31277056 4964 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7636 4964 1111 63 0 7573 0
vsize: 30544
[startup+370.001 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5101 0 0 0 36993 13 0 0 25 0 1 0 834774501 31727616 5079 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7746 5079 1111 63 0 7683 0
vsize: 30984
[startup+380 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5206 0 0 0 37993 13 0 0 25 0 1 0 834774501 32174080 5184 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7855 5184 1111 63 0 7792 0
vsize: 31420
[startup+390.001 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5322 0 0 0 38992 13 0 0 25 0 1 0 834774501 32624640 5300 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7965 5300 1111 63 0 7902 0
vsize: 31860
[startup+400.002 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5433 0 0 0 39992 13 0 0 25 0 1 0 834774501 33075200 5411 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8075 5411 1111 63 0 8012 0
vsize: 32300
[startup+410.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5543 0 0 0 40993 13 0 0 25 0 1 0 834774501 33525760 5521 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8185 5521 1111 63 0 8122 0
vsize: 32740
[startup+420.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5654 0 0 0 41993 14 0 0 25 0 1 0 834774501 33972224 5632 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8294 5632 1111 63 0 8231 0
vsize: 33176
[startup+430.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5764 0 0 0 42993 14 0 0 25 0 1 0 834774501 34422784 5742 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8404 5742 1111 63 0 8341 0
vsize: 33616
[startup+440.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5881 0 0 0 43993 14 0 0 25 0 1 0 834774501 34873344 5859 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8514 5859 1111 63 0 8451 0
vsize: 34056
[startup+450.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 5991 0 0 0 44992 14 0 0 25 0 1 0 834774501 35323904 5969 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8624 5969 1111 63 0 8561 0
vsize: 34496
[startup+460.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6102 0 0 0 45992 15 0 0 25 0 1 0 834774501 35770368 6080 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8733 6080 1111 63 0 8670 0
vsize: 34932
[startup+470.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6212 0 0 0 46992 15 0 0 25 0 1 0 834774501 36225024 6190 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8844 6190 1111 63 0 8781 0
vsize: 35376
[startup+480.001 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6323 0 0 0 47992 15 0 0 25 0 1 0 834774501 36671488 6301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8953 6301 1111 63 0 8890 0
vsize: 35812
[startup+490.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6439 0 0 0 48992 16 0 0 25 0 1 0 834774501 37122048 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 6417 1111 63 0 9000 0
vsize: 36252
[startup+500.002 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6550 0 0 0 49992 16 0 0 25 0 1 0 834774501 37572608 6528 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 6528 1111 63 0 9110 0
vsize: 36692
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6659 0 0 0 50992 16 0 0 25 0 1 0 834774501 38023168 6637 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9283 6637 1111 63 0 9220 0
vsize: 37132
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6777 0 0 0 51992 16 0 0 25 0 1 0 834774501 38625280 6755 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6755 1111 63 0 9367 0
vsize: 37720
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6886 0 0 0 52992 16 0 0 25 0 1 0 834774501 39071744 6864 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9539 6864 1111 63 0 9476 0
vsize: 38156
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 6998 0 0 0 53992 16 0 0 25 0 1 0 834774501 39522304 6976 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9649 6976 1111 63 0 9586 0
vsize: 38596
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7114 0 0 0 54992 17 0 0 25 0 1 0 834774501 39972864 7092 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9759 7092 1111 63 0 9696 0
vsize: 39036
[startup+560.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7225 0 0 0 55992 17 0 0 25 0 1 0 834774501 40423424 7203 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9869 7203 1111 63 0 9806 0
vsize: 39476
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7335 0 0 0 56992 17 0 0 25 0 1 0 834774501 40869888 7313 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9978 7313 1111 63 0 9915 0
vsize: 39912
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7453 0 0 0 57991 18 0 0 25 0 1 0 834774501 41320448 7431 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10088 7431 1111 63 0 10025 0
vsize: 40352
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7563 0 0 0 58991 18 0 0 25 0 1 0 834774501 41771008 7541 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10198 7541 1111 63 0 10135 0
vsize: 40792
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7674 0 0 0 59991 18 0 0 25 0 1 0 834774501 42221568 7652 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10308 7652 1111 63 0 10245 0
vsize: 41232
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7791 0 0 0 60991 19 0 0 25 0 1 0 834774501 42668032 7769 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10417 7769 1111 63 0 10354 0
vsize: 41668
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 7902 0 0 0 61991 19 0 0 25 0 1 0 834774501 43122688 7880 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10528 7880 1111 63 0 10465 0
vsize: 42112
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8018 0 0 0 62991 19 0 0 25 0 1 0 834774501 43569152 7996 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10637 7996 1111 63 0 10574 0
vsize: 42548
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8129 0 0 0 63991 20 0 0 25 0 1 0 834774501 44019712 8107 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10747 8107 1111 63 0 10684 0
vsize: 42988
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8245 0 0 0 64991 20 0 0 25 0 1 0 834774501 44617728 8223 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10893 8223 1111 63 0 10830 0
vsize: 43572
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8357 0 0 0 65991 20 0 0 25 0 1 0 834774501 45072384 8335 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8335 1111 63 0 10941 0
vsize: 44016
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8467 0 0 0 66991 20 0 0 25 0 1 0 834774501 45514752 8445 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11112 8445 1111 63 0 11049 0
vsize: 44448
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8584 0 0 0 67990 21 0 0 25 0 1 0 834774501 45969408 8562 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11223 8562 1111 63 0 11160 0
vsize: 44892
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8700 0 0 0 68991 21 0 0 25 0 1 0 834774501 46415872 8678 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11332 8678 1111 63 0 11269 0
vsize: 45328
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8811 0 0 0 69990 21 0 0 25 0 1 0 834774501 46870528 8789 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11443 8789 1111 63 0 11380 0
vsize: 45772
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 8945 0 0 0 70990 21 0 0 25 0 1 0 834774501 47509504 8923 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11599 8924 1111 63 0 11536 0
vsize: 46396
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9058 0 0 0 71990 22 0 0 25 0 1 0 834774501 47960064 9036 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11709 9036 1111 63 0 11646 0
vsize: 46836
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9174 0 0 0 72989 23 0 0 25 0 1 0 834774501 48406528 9152 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11818 9152 1111 63 0 11755 0
vsize: 47272
[startup+740.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9291 0 0 0 73989 23 0 0 25 0 1 0 834774501 49008640 9269 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11965 9269 1111 63 0 11902 0
vsize: 47860
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9402 0 0 0 74989 23 0 0 25 0 1 0 834774501 49455104 9380 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 9380 1111 63 0 12011 0
vsize: 48296
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9514 0 0 0 75989 24 0 0 25 0 1 0 834774501 49905664 9492 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12184 9492 1111 63 0 12121 0
vsize: 48736
[startup+770.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9630 0 0 0 76989 24 0 0 25 0 1 0 834774501 50356224 9608 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12294 9608 1111 63 0 12231 0
vsize: 49176
[startup+780.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9747 0 0 0 77989 24 0 0 25 0 1 0 834774501 50806784 9725 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12404 9725 1111 63 0 12341 0
vsize: 49616
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9863 0 0 0 78989 25 0 0 25 0 1 0 834774501 51253248 9841 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12513 9841 1111 63 0 12450 0
vsize: 50052
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 9975 0 0 0 79989 25 0 0 25 0 1 0 834774501 51703808 9953 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12623 9953 1111 63 0 12560 0
vsize: 50492
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10094 0 0 0 80989 25 0 0 25 0 1 0 834774501 52154368 10072 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12733 10072 1111 63 0 12670 0
vsize: 50932
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10204 0 0 0 81991 25 0 0 25 0 1 0 834774501 52604928 10182 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12843 10182 1111 63 0 12780 0
vsize: 51372
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10321 0 0 0 82990 25 0 0 25 0 1 0 834774501 53207040 10299 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10299 1111 63 0 12927 0
vsize: 51960
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10437 0 0 0 83990 26 0 0 25 0 1 0 834774501 53653504 10415 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13099 10415 1111 63 0 13036 0
vsize: 52396
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10556 0 0 0 84990 26 0 0 25 0 1 0 834774501 54108160 10534 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10534 1111 63 0 13147 0
vsize: 52840
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10672 0 0 0 85990 26 0 0 25 0 1 0 834774501 54554624 10650 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13319 10650 1111 63 0 13256 0
vsize: 53276
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10783 0 0 0 86990 26 0 0 25 0 1 0 834774501 55005184 10761 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 10761 1111 63 0 13366 0
vsize: 53716
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 10900 0 0 0 87990 27 0 0 25 0 1 0 834774501 55455744 10878 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10878 1111 63 0 13476 0
vsize: 54156
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11019 0 0 0 88989 27 0 0 25 0 1 0 834774501 56053760 10997 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13685 10997 1111 63 0 13622 0
vsize: 54740
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11129 0 0 0 89989 28 0 0 25 0 1 0 834774501 56500224 11107 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13794 11107 1111 63 0 13731 0
vsize: 55176
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11246 0 0 0 90988 28 0 0 25 0 1 0 834774501 56954880 11224 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13905 11224 1111 63 0 13842 0
vsize: 55620
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11363 0 0 0 91988 29 0 0 25 0 1 0 834774501 57401344 11341 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14014 11341 1111 63 0 13951 0
vsize: 56056
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11481 0 0 0 92988 29 0 0 25 0 1 0 834774501 57831424 11459 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 11459 1111 63 0 14056 0
vsize: 56476
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11598 0 0 0 93988 29 0 0 25 0 1 0 834774501 58417152 11576 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14262 11576 1111 63 0 14199 0
vsize: 57048
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11716 0 0 0 94988 30 0 0 25 0 1 0 834774501 58871808 11694 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14373 11694 1111 63 0 14310 0
vsize: 57492
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11832 0 0 0 95988 30 0 0 25 0 1 0 834774501 59318272 11810 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11810 1111 63 0 14419 0
vsize: 57928
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 11951 0 0 0 96988 30 0 0 25 0 1 0 834774501 59772928 11929 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14593 11929 1111 63 0 14530 0
vsize: 58372
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12068 0 0 0 97988 30 0 0 25 0 1 0 834774501 60215296 12046 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14701 12046 1111 63 0 14638 0
vsize: 58804
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12186 0 0 0 98988 30 0 0 25 0 1 0 834774501 60817408 12164 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14848 12164 1111 63 0 14785 0
vsize: 59392
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12302 0 0 0 99988 31 0 0 25 0 1 0 834774501 61267968 12280 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14958 12280 1111 63 0 14895 0
vsize: 59832
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12421 0 0 0 100988 31 0 0 25 0 1 0 834774501 61718528 12399 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15068 12399 1111 63 0 15005 0
vsize: 60272
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12539 0 0 0 101988 31 0 0 25 0 1 0 834774501 62164992 12517 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15177 12517 1111 63 0 15114 0
vsize: 60708
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12656 0 0 0 102987 32 0 0 25 0 1 0 834774501 62619648 12634 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15288 12634 1111 63 0 15225 0
vsize: 61152
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12774 0 0 0 103987 32 0 0 25 0 1 0 834774501 63217664 12752 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15434 12752 1111 63 0 15371 0
vsize: 61736
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 12891 0 0 0 104987 32 0 0 25 0 1 0 834774501 63668224 12869 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15544 12869 1111 63 0 15481 0
vsize: 62176
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13010 0 0 0 105987 32 0 0 25 0 1 0 834774501 64118784 12988 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15654 12988 1111 63 0 15591 0
vsize: 62616
[startup+1070.02 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13126 0 0 0 106987 32 0 0 25 0 1 0 834774501 64569344 13104 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15764 13104 1111 63 0 15701 0
vsize: 63056
[startup+1080.02 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13244 0 0 0 107988 33 0 0 25 0 1 0 834774501 65019904 13222 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15874 13222 1111 63 0 15811 0
vsize: 63496
[startup+1090.02 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13361 0 0 0 108988 33 0 0 25 0 1 0 834774501 65613824 13339 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16019 13339 1111 63 0 15956 0
vsize: 64076
[startup+1100.02 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13479 0 0 0 109988 33 0 0 25 0 1 0 834774501 66068480 13457 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16130 13457 1111 63 0 16067 0
vsize: 64520
[startup+1110.03 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13597 0 0 0 110988 33 0 0 25 0 1 0 834774501 66514944 13575 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16239 13575 1111 63 0 16176 0
vsize: 64956
[startup+1120.13 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13715 0 0 0 111998 34 0 0 25 0 1 0 834774501 66969600 13693 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16350 13693 1111 63 0 16287 0
vsize: 65400
[startup+1130.13 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13833 0 0 0 112998 34 0 0 25 0 1 0 834774501 67411968 13811 4294967295 134512640 134714540 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16458 13811 1111 63 0 16395 0
vsize: 65832
[startup+1140.13 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 13951 0 0 0 113998 34 0 0 25 0 1 0 834774501 68014080 13929 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16605 13929 1111 63 0 16542 0
vsize: 66420
[startup+1150.13 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 14074 0 0 0 114998 35 0 0 25 0 1 0 834774501 68464640 14052 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16715 14052 1111 63 0 16652 0
vsize: 66860
[startup+1160.13 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 14192 0 0 0 115998 35 0 0 25 0 1 0 834774501 68915200 14170 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16825 14170 1111 63 0 16762 0
vsize: 67300
[startup+1170.13 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 14311 0 0 0 116998 35 0 0 25 0 1 0 834774501 69361664 14289 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16934 14289 1111 63 0 16871 0
vsize: 67736
[startup+1180.13 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 14428 0 0 0 117998 35 0 0 25 0 1 0 834774501 69963776 14406 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17081 14406 1111 63 0 17018 0
vsize: 68324
[startup+1190.13 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 14553 0 0 0 118998 36 0 0 25 0 1 0 834774501 70414336 14531 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17191 14531 1111 63 0 17128 0
vsize: 68764
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 15305
Raw data (stat): 15303 (bsolo_mis) R 15302 7475 7474 0 -1 0 14670 0 0 0 119998 36 0 0 25 0 1 0 834774501 70864896 14648 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17301 14648 1111 63 0 17238 0
vsize: 69204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 15305
Raw data (stat): 15303 (bsolo_mis) Z 15302 7475 7474 0 -1 1036 14670 0 0 0 119998 38 0 0 25 0 1 0 834774501 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.16
CPU time (s): 1200.37
CPU user time (s): 1199.98
CPU system time (s): 0.387941
CPU usage (%): 100.017
Max. virtual memory (Kb): 69204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####