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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb
MD5SUM	63dde7c8c3b02bd89e3e065c5bd58b69
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	82500
Biggest coefficient in the objective function	221357547985043456
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	595796164546237562880
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	221357547985043456
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	595796164546237562880
Number of bits of the biggest sum of numbers	70
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.744886
Number of variables	82500
Total number of constraints	397
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	397
Minimum length of a constraint	300
Maximum length of a constraint	720
Trace number 28924

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        897424 kB
Buffers:          7604 kB
Cached:         107224 kB
SwapCached:         92 kB
Active:          36368 kB
Inactive:        81104 kB
HighTotal:      131008 kB
HighFree:        23968 kB
LowTotal:       903652 kB
LowFree:        873456 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6388 kB
Slab:            14120 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:31:55 (client local time) WITH STATUS 0 IN 1200.61 SECONDS
stats: 11300 7 1200.61 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.83 0.94 0.97 2/54 26929
Raw data (stat): 26929 (runsolver) R 26928 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777692616 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.0027 s]
Raw data (loadavg): 0.85 0.94 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 986 0 0 0 996 3 0 0 25 0 1 0 777692616 15208448 964 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 964 1111 63 0 3650 0
vsize: 14852
[startup+20.0064 s]
Raw data (loadavg): 0.88 0.94 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1030 0 0 0 1996 3 0 0 25 0 1 0 777692616 15355904 1008 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 1008 1111 63 0 3686 0
vsize: 14996
[startup+30.0104 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1075 0 0 0 2997 3 0 0 25 0 1 0 777692616 15654912 1053 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3822 1053 1111 63 0 3759 0
vsize: 15288
[startup+40.0105 s]
Raw data (loadavg): 0.91 0.94 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1164 0 0 0 3996 4 0 0 25 0 1 0 777692616 15933440 1142 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3890 1142 1111 63 0 3827 0
vsize: 15560
[startup+50.0114 s]
Raw data (loadavg): 0.92 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1229 0 0 0 4997 4 0 0 25 0 1 0 777692616 16232448 1207 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 1207 1111 63 0 3900 0
vsize: 15852
[startup+60.0109 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1280 0 0 0 5997 4 0 0 25 0 1 0 777692616 16379904 1258 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1258 1111 63 0 3936 0
vsize: 15996
[startup+70.0101 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1340 0 0 0 6997 4 0 0 25 0 1 0 777692616 16678912 1318 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 1318 1111 63 0 4009 0
vsize: 16288
[startup+80.0108 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1430 0 0 0 7997 4 0 0 25 0 1 0 777692616 17096704 1408 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4174 1408 1111 63 0 4111 0
vsize: 16696
[startup+90.0106 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1488 0 0 0 8997 4 0 0 25 0 1 0 777692616 17235968 1466 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 1466 1111 63 0 4145 0
vsize: 16832
[startup+100.011 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1563 0 0 0 9997 4 0 0 25 0 1 0 777692616 17534976 1541 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4281 1541 1111 63 0 4218 0
vsize: 17124
[startup+110.011 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1636 0 0 0 10997 4 0 0 25 0 1 0 777692616 17838080 1614 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4355 1614 1111 63 0 4292 0
vsize: 17420
[startup+120.01 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1695 0 0 0 11997 4 0 0 25 0 1 0 777692616 18137088 1673 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 1673 1111 63 0 4365 0
vsize: 17712
[startup+130.011 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1783 0 0 0 12998 4 0 0 25 0 1 0 777692616 18436096 1761 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 1761 1111 63 0 4438 0
vsize: 18004
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1857 0 0 0 13998 4 0 0 25 0 1 0 777692616 18862080 1835 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4605 1835 1111 63 0 4542 0
vsize: 18420
[startup+150.011 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 1949 0 0 0 14997 5 0 0 25 0 1 0 777692616 19161088 1927 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4678 1927 1111 63 0 4615 0
vsize: 18712
[startup+160.01 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2002 0 0 0 15998 5 0 0 25 0 1 0 777692616 19439616 1980 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4746 1980 1111 63 0 4683 0
vsize: 18984
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2053 0 0 0 16998 5 0 0 25 0 1 0 777692616 19582976 2031 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4781 2031 1111 63 0 4718 0
vsize: 19124
[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2097 0 0 0 17998 5 0 0 25 0 1 0 777692616 19730432 2075 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4817 2075 1111 63 0 4754 0
vsize: 19268
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2171 0 0 0 18998 5 0 0 25 0 1 0 777692616 20029440 2149 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4890 2149 1111 63 0 4827 0
vsize: 19560
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2253 0 0 0 19998 5 0 0 25 0 1 0 777692616 20484096 2231 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5001 2231 1111 63 0 4938 0
vsize: 20004
[startup+210.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2304 0 0 0 20999 5 0 0 25 0 1 0 777692616 20631552 2282 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 2282 1111 63 0 4974 0
vsize: 20148
[startup+220.025 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2363 0 0 0 22000 5 0 0 25 0 1 0 777692616 20930560 2341 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5110 2341 1111 63 0 5047 0
vsize: 20440
[startup+230.026 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2450 0 0 0 23000 6 0 0 25 0 1 0 777692616 21229568 2428 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5183 2428 1111 63 0 5120 0
vsize: 20732
[startup+240.039 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2510 0 0 0 24001 6 0 0 25 0 1 0 777692616 21508096 2488 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5251 2488 1111 63 0 5188 0
vsize: 21004
[startup+250.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2582 0 0 0 25001 6 0 0 25 0 1 0 777692616 21807104 2560 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5324 2560 1111 63 0 5261 0
vsize: 21296
[startup+260.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2655 0 0 0 26002 6 0 0 25 0 1 0 777692616 22106112 2633 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5397 2633 1111 63 0 5334 0
vsize: 21588
[startup+270.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2723 0 0 0 27002 6 0 0 25 0 1 0 777692616 22409216 2701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5471 2701 1111 63 0 5408 0
vsize: 21884
[startup+280.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2804 0 0 0 28002 6 0 0 25 0 1 0 777692616 22708224 2782 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5544 2782 1111 63 0 5481 0
vsize: 22176
[startup+290.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2885 0 0 0 29002 6 0 0 25 0 1 0 777692616 23007232 2863 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 2863 1111 63 0 5554 0
vsize: 22468
[startup+300.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 2986 0 0 0 30002 7 0 0 25 0 1 0 777692616 23449600 2964 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 2964 1111 63 0 5662 0
vsize: 22900
[startup+310.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3031 0 0 0 31002 7 0 0 25 0 1 0 777692616 23601152 3009 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5762 3009 1111 63 0 5699 0
vsize: 23048
[startup+320.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3088 0 0 0 32002 7 0 0 25 0 1 0 777692616 23900160 3066 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5835 3066 1111 63 0 5772 0
vsize: 23340
[startup+330.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3134 0 0 0 33002 7 0 0 25 0 1 0 777692616 24051712 3112 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5872 3112 1111 63 0 5809 0
vsize: 23488
[startup+340.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3214 0 0 0 34003 7 0 0 25 0 1 0 777692616 24350720 3192 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5945 3192 1111 63 0 5882 0
vsize: 23780
[startup+350.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3294 0 0 0 35003 7 0 0 25 0 1 0 777692616 24649728 3272 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 3272 1111 63 0 5955 0
vsize: 24072
[startup+360.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3340 0 0 0 36003 7 0 0 25 0 1 0 777692616 24956928 3318 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6093 3318 1111 63 0 6030 0
vsize: 24372
[startup+370.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3414 0 0 0 37003 7 0 0 25 0 1 0 777692616 25255936 3392 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6166 3392 1111 63 0 6103 0
vsize: 24664
[startup+380.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3495 0 0 0 38003 7 0 0 25 0 1 0 777692616 25554944 3473 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 3473 1111 63 0 6176 0
vsize: 24956
[startup+390.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3554 0 0 0 39003 7 0 0 25 0 1 0 777692616 25706496 3532 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6276 3532 1111 63 0 6213 0
vsize: 25104
[startup+400.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3635 0 0 0 40004 8 0 0 25 0 1 0 777692616 26157056 3613 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6386 3613 1111 63 0 6323 0
vsize: 25544
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3708 0 0 0 41004 8 0 0 25 0 1 0 777692616 26456064 3686 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6459 3686 1111 63 0 6396 0
vsize: 25836
[startup+420.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3782 0 0 0 42004 8 0 0 25 0 1 0 777692616 26755072 3760 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 3760 1111 63 0 6469 0
vsize: 26128
[startup+430.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3856 0 0 0 43004 8 0 0 25 0 1 0 777692616 27033600 3834 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6600 3834 1111 63 0 6537 0
vsize: 26400
[startup+440.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 3952 0 0 0 44004 8 0 0 25 0 1 0 777692616 27332608 3930 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6673 3930 1111 63 0 6610 0
vsize: 26692
[startup+450.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4034 0 0 0 45004 8 0 0 25 0 1 0 777692616 27783168 4012 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6783 4012 1111 63 0 6720 0
vsize: 27132
[startup+460.056 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4086 0 0 0 46005 8 0 0 25 0 1 0 777692616 27934720 4064 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 4064 1111 63 0 6757 0
vsize: 27280
[startup+470.06 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4137 0 0 0 47005 8 0 0 25 0 1 0 777692616 28082176 4115 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6856 4115 1111 63 0 6793 0
vsize: 27424
[startup+480.062 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4188 0 0 0 48006 8 0 0 25 0 1 0 777692616 28381184 4166 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6929 4166 1111 63 0 6866 0
vsize: 27716
[startup+490.062 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4284 0 0 0 49005 9 0 0 25 0 1 0 777692616 28688384 4262 4294967295 134512640 134714540 3221224592 3221222820 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 4262 1111 63 0 6941 0
vsize: 28016
[startup+500.075 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4343 0 0 0 50007 9 0 0 25 0 1 0 777692616 28987392 4321 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7077 4321 1111 63 0 7014 0
vsize: 28308
[startup+510.075 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4402 0 0 0 51007 9 0 0 25 0 1 0 777692616 29286400 4380 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7150 4380 1111 63 0 7087 0
vsize: 28600
[startup+520.082 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4477 0 0 0 52008 9 0 0 25 0 1 0 777692616 29589504 4455 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7224 4455 1111 63 0 7161 0
vsize: 28896
[startup+530.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4564 0 0 0 53008 9 0 0 25 0 1 0 777692616 29888512 4542 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7297 4542 1111 63 0 7234 0
vsize: 29188
[startup+540.193 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4623 0 0 0 54019 9 0 0 25 0 1 0 777692616 30187520 4601 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 4601 1111 63 0 7307 0
vsize: 29480
[startup+550.198 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4704 0 0 0 55020 9 0 0 25 0 1 0 777692616 30494720 4682 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 4682 1111 63 0 7382 0
vsize: 29780
[startup+560.198 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4777 0 0 0 56020 9 0 0 25 0 1 0 777692616 30793728 4755 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7518 4755 1111 63 0 7455 0
vsize: 30072
[startup+570.214 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4872 0 0 0 57021 10 0 0 25 0 1 0 777692616 31092736 4850 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7591 4850 1111 63 0 7528 0
vsize: 30364
[startup+580.214 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 4958 0 0 0 58021 10 0 0 25 0 1 0 777692616 31584256 4936 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7711 4936 1111 63 0 7648 0
vsize: 30844
[startup+590.214 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5059 0 0 0 59021 10 0 0 25 0 1 0 777692616 32030720 5037 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7820 5037 1111 63 0 7757 0
vsize: 31280
[startup+600.214 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5111 0 0 0 60021 10 0 0 25 0 1 0 777692616 32182272 5089 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7857 5089 1111 63 0 7794 0
vsize: 31428
[startup+610.215 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5164 0 0 0 61021 10 0 0 25 0 1 0 777692616 32337920 5142 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7895 5142 1111 63 0 7832 0
vsize: 31580
[startup+620.216 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5221 0 0 0 62021 10 0 0 25 0 1 0 777692616 32636928 5199 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7968 5199 1111 63 0 7905 0
vsize: 31872
[startup+630.216 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5303 0 0 0 63021 11 0 0 25 0 1 0 777692616 32935936 5281 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8041 5281 1111 63 0 7978 0
vsize: 32164
[startup+640.221 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5385 0 0 0 64022 11 0 0 25 0 1 0 777692616 33239040 5363 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8115 5363 1111 63 0 8052 0
vsize: 32460
[startup+650.221 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5430 0 0 0 65022 11 0 0 25 0 1 0 777692616 33538048 5408 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8188 5408 1111 63 0 8125 0
vsize: 32752
[startup+660.222 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5504 0 0 0 66022 11 0 0 25 0 1 0 777692616 33837056 5482 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8261 5482 1111 63 0 8198 0
vsize: 33044
[startup+670.222 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5593 0 0 0 67022 11 0 0 25 0 1 0 777692616 34144256 5571 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 5571 1111 63 0 8273 0
vsize: 33344
[startup+680.223 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5658 0 0 0 68022 11 0 0 25 0 1 0 777692616 34443264 5636 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8409 5636 1111 63 0 8346 0
vsize: 33636
[startup+690.222 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5738 0 0 0 69022 11 0 0 25 0 1 0 777692616 34742272 5716 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8482 5716 1111 63 0 8419 0
vsize: 33928
[startup+700.223 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5813 0 0 0 70023 11 0 0 25 0 1 0 777692616 35045376 5791 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8556 5791 1111 63 0 8493 0
vsize: 34224
[startup+710.224 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5916 0 0 0 71023 12 0 0 25 0 1 0 777692616 35495936 5894 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8666 5894 1111 63 0 8603 0
vsize: 34664
[startup+720.223 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 5990 0 0 0 72023 12 0 0 25 0 1 0 777692616 35794944 5968 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5968 1111 63 0 8676 0
vsize: 34956
[startup+730.231 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6093 0 0 0 73023 12 0 0 25 0 1 0 777692616 36245504 6071 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8849 6071 1111 63 0 8786 0
vsize: 35396
[startup+740.335 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6151 0 0 0 74034 12 0 0 25 0 1 0 777692616 36397056 6129 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 6129 1111 63 0 8823 0
vsize: 35544
[startup+750.336 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6196 0 0 0 75034 12 0 0 25 0 1 0 777692616 36544512 6174 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8922 6174 1111 63 0 8859 0
vsize: 35688
[startup+760.335 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6256 0 0 0 76034 12 0 0 25 0 1 0 777692616 36851712 6234 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8997 6234 1111 63 0 8934 0
vsize: 35988
[startup+770.336 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6351 0 0 0 77034 12 0 0 25 0 1 0 777692616 37302272 6329 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9107 6329 1111 63 0 9044 0
vsize: 36428
[startup+780.339 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6418 0 0 0 78035 12 0 0 25 0 1 0 777692616 37449728 6396 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9143 6396 1111 63 0 9080 0
vsize: 36572
[startup+790.346 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6479 0 0 0 79035 12 0 0 25 0 1 0 777692616 37752832 6457 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9217 6457 1111 63 0 9154 0
vsize: 36868
[startup+800.346 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6565 0 0 0 80036 13 0 0 25 0 1 0 777692616 38051840 6543 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9290 6543 1111 63 0 9227 0
vsize: 37160
[startup+810.347 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6639 0 0 0 81036 13 0 0 25 0 1 0 777692616 38350848 6617 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9363 6617 1111 63 0 9300 0
vsize: 37452
[startup+820.347 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6714 0 0 0 82036 13 0 0 25 0 1 0 777692616 38658048 6692 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6692 1111 63 0 9375 0
vsize: 37752
[startup+830.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6800 0 0 0 83036 13 0 0 25 0 1 0 777692616 39108608 6778 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6778 1111 63 0 9485 0
vsize: 38192
[startup+840.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6876 0 0 0 84036 13 0 0 25 0 1 0 777692616 39407616 6854 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 6854 1111 63 0 9558 0
vsize: 38484
[startup+850.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 6965 0 0 0 85036 14 0 0 25 0 1 0 777692616 39710720 6943 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 6943 1111 63 0 9632 0
vsize: 38780
[startup+860.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7060 0 0 0 86036 14 0 0 25 0 1 0 777692616 40157184 7038 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9804 7038 1111 63 0 9741 0
vsize: 39216
[startup+870.352 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7142 0 0 0 87036 14 0 0 25 0 1 0 777692616 40464384 7120 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9879 7120 1111 63 0 9816 0
vsize: 39516
[startup+880.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7200 0 0 0 88036 14 0 0 25 0 1 0 777692616 40763392 7178 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 7178 1111 63 0 9889 0
vsize: 39808
[startup+890.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7258 0 0 0 89037 14 0 0 25 0 1 0 777692616 40914944 7236 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 7236 1111 63 0 9926 0
vsize: 39956
[startup+900.353 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7331 0 0 0 90037 14 0 0 25 0 1 0 777692616 41213952 7309 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10062 7309 1111 63 0 9999 0
vsize: 40248
[startup+910.352 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7423 0 0 0 91037 14 0 0 25 0 1 0 777692616 41664512 7401 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 7401 1111 63 0 10109 0
vsize: 40688
[startup+920.365 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7481 0 0 0 92038 14 0 0 25 0 1 0 777692616 41816064 7459 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10209 7459 1111 63 0 10146 0
vsize: 40836
[startup+930.365 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7554 0 0 0 93038 14 0 0 25 0 1 0 777692616 42115072 7532 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10282 7532 1111 63 0 10219 0
vsize: 41128
[startup+940.366 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7656 0 0 0 94038 14 0 0 25 0 1 0 777692616 42541056 7634 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10386 7634 1111 63 0 10323 0
vsize: 41544
[startup+950.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7709 0 0 0 95039 15 0 0 25 0 1 0 777692616 42840064 7687 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10459 7687 1111 63 0 10396 0
vsize: 41836
[startup+960.369 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7791 0 0 0 96039 15 0 0 25 0 1 0 777692616 43139072 7769 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10532 7769 1111 63 0 10469 0
vsize: 42128
[startup+970.369 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7880 0 0 0 97039 15 0 0 25 0 1 0 777692616 43442176 7858 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10606 7858 1111 63 0 10543 0
vsize: 42424
[startup+980.368 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 7981 0 0 0 98039 15 0 0 25 0 1 0 777692616 43888640 7959 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10715 7959 1111 63 0 10652 0
vsize: 42860
[startup+990.368 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8064 0 0 0 99039 15 0 0 25 0 1 0 777692616 44195840 8042 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10790 8042 1111 63 0 10727 0
vsize: 43160
[startup+1000.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8159 0 0 0 100039 15 0 0 25 0 1 0 777692616 44646400 8137 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10900 8137 1111 63 0 10837 0
vsize: 43600
[startup+1010.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8217 0 0 0 101039 15 0 0 25 0 1 0 777692616 44793856 8195 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10936 8195 1111 63 0 10873 0
vsize: 43744
[startup+1020.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8277 0 0 0 102039 15 0 0 25 0 1 0 777692616 45096960 8255 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 8255 1111 63 0 10947 0
vsize: 44040
[startup+1030.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8349 0 0 0 103040 15 0 0 25 0 1 0 777692616 45395968 8327 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11083 8327 1111 63 0 11020 0
vsize: 44332
[startup+1040.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8451 0 0 0 104040 15 0 0 25 0 1 0 777692616 45846528 8429 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11193 8429 1111 63 0 11130 0
vsize: 44772
[startup+1050.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8511 0 0 0 105040 15 0 0 25 0 1 0 777692616 46002176 8489 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11231 8489 1111 63 0 11168 0
vsize: 44924
[startup+1060.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8584 0 0 0 106040 15 0 0 25 0 1 0 777692616 46301184 8562 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11304 8562 1111 63 0 11241 0
vsize: 45216
[startup+1070.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8674 0 0 0 107040 16 0 0 25 0 1 0 777692616 46751744 8652 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11414 8652 1111 63 0 11351 0
vsize: 45656
[startup+1080.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8739 0 0 0 108040 16 0 0 25 0 1 0 777692616 47054848 8717 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 8717 1111 63 0 11425 0
vsize: 45952
[startup+1090.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8848 0 0 0 109040 16 0 0 25 0 1 0 777692616 47611904 8826 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11624 8826 1111 63 0 11561 0
vsize: 46496
[startup+1100.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 8929 0 0 0 110040 16 0 0 25 0 1 0 777692616 47910912 8907 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11697 8907 1111 63 0 11634 0
vsize: 46788
[startup+1110.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9031 0 0 0 111040 16 0 0 25 0 1 0 777692616 48357376 9009 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11806 9009 1111 63 0 11743 0
vsize: 47224
[startup+1120.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9119 0 0 0 112040 16 0 0 25 0 1 0 777692616 48656384 9097 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11879 9097 1111 63 0 11816 0
vsize: 47516
[startup+1130.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9215 0 0 0 113040 17 0 0 25 0 1 0 777692616 49082368 9193 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11983 9193 1111 63 0 11920 0
vsize: 47932
[startup+1140.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9280 0 0 0 114040 17 0 0 25 0 1 0 777692616 49381376 9258 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12056 9258 1111 63 0 11993 0
vsize: 48224
[startup+1150.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9341 0 0 0 115040 17 0 0 25 0 1 0 777692616 49532928 9319 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12093 9319 1111 63 0 12030 0
vsize: 48372
[startup+1160.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9416 0 0 0 116040 17 0 0 25 0 1 0 777692616 49836032 9394 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12167 9394 1111 63 0 12104 0
vsize: 48668
[startup+1170.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9511 0 0 0 117040 17 0 0 25 0 1 0 777692616 50282496 9489 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12276 9489 1111 63 0 12213 0
vsize: 49104
[startup+1180.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9576 0 0 0 118041 17 0 0 25 0 1 0 777692616 50581504 9554 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12349 9554 1111 63 0 12286 0
vsize: 49396
[startup+1190.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9651 0 0 0 119041 17 0 0 25 0 1 0 777692616 50860032 9629 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 9629 1111 63 0 12354 0
vsize: 49668
[startup+1200.37 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26929
Raw data (stat): 26929 (bsolo_mis) R 26928 15547 15546 0 -1 0 9746 0 0 0 120041 17 0 0 25 0 1 0 777692616 51159040 9724 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12490 9724 1111 63 0 12427 0
vsize: 49960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 26929
Raw data (stat): 26929 (bsolo_mis) Z 26928 15547 15546 0 -1 1036 9746 0 0 0 120041 19 0 0 25 0 1 0 777692616 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.39
CPU time (s): 1200.61
CPU user time (s): 1200.41
CPU system time (s): 0.19697
CPU usage (%): 100.018
Max. virtual memory (Kb): 49960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####