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-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
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	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 29034

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 04:27:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10676 boxname=wulflinc12 idbench=822 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 10676
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        422640 kB
Buffers:         38156 kB
Cached:         552060 kB
SwapCached:        568 kB
Active:         144924 kB
Inactive:       447764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        422388 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13572 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:47:10 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 10676 7 1200.24 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.75 0.91 0.93 2/54 8105
Raw data (stat): 8105 (runsolver) R 8104 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777764232 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.0007 s]
Raw data (loadavg): 0.79 0.92 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1242 0 0 0 994 4 0 0 25 0 1 0 777764232 15355904 1220 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 1220 1111 63 0 3686 0
vsize: 14996
[startup+20.0015 s]
Raw data (loadavg): 0.82 0.92 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1332 0 0 0 1994 5 0 0 25 0 1 0 777764232 15810560 1310 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 1310 1111 63 0 3797 0
vsize: 15440
[startup+30.0021 s]
Raw data (loadavg): 0.85 0.92 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1426 0 0 0 2994 5 0 0 25 0 1 0 777764232 16109568 1404 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 1404 1111 63 0 3870 0
vsize: 15732
[startup+40.0022 s]
Raw data (loadavg): 0.87 0.92 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1521 0 0 0 3993 5 0 0 25 0 1 0 777764232 16551936 1499 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4041 1499 1111 63 0 3978 0
vsize: 16164
[startup+50.011 s]
Raw data (loadavg): 0.89 0.92 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1617 0 0 0 4994 6 0 0 25 0 1 0 777764232 16977920 1595 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 1595 1111 63 0 4082 0
vsize: 16580
[startup+60.0123 s]
Raw data (loadavg): 0.90 0.93 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1714 0 0 0 5994 6 0 0 25 0 1 0 777764232 17403904 1692 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4249 1692 1111 63 0 4186 0
vsize: 16996
[startup+70.0127 s]
Raw data (loadavg): 0.92 0.93 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1810 0 0 0 6993 7 0 0 25 0 1 0 777764232 17711104 1788 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1788 1111 63 0 4261 0
vsize: 17296
[startup+80.0125 s]
Raw data (loadavg): 0.93 0.93 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1904 0 0 0 7993 8 0 0 25 0 1 0 777764232 18157568 1882 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1882 1111 63 0 4370 0
vsize: 17732
[startup+90.0131 s]
Raw data (loadavg): 0.94 0.93 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 1994 0 0 0 8992 9 0 0 25 0 1 0 777764232 18456576 1972 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 1972 1111 63 0 4443 0
vsize: 18024
[startup+100.013 s]
Raw data (loadavg): 0.95 0.93 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2095 0 0 0 9992 9 0 0 25 0 1 0 777764232 18907136 2073 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4616 2073 1111 63 0 4553 0
vsize: 18464
[startup+110.014 s]
Raw data (loadavg): 0.96 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2188 0 0 0 10992 9 0 0 25 0 1 0 777764232 19345408 2166 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 2166 1111 63 0 4660 0
vsize: 18892
[startup+120.014 s]
Raw data (loadavg): 0.96 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2290 0 0 0 11991 10 0 0 25 0 1 0 777764232 19771392 2268 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4827 2268 1111 63 0 4764 0
vsize: 19308
[startup+130.014 s]
Raw data (loadavg): 0.97 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2379 0 0 0 12991 10 0 0 25 0 1 0 777764232 20066304 2357 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4899 2357 1111 63 0 4836 0
vsize: 19596
[startup+140.015 s]
Raw data (loadavg): 0.97 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2481 0 0 0 13991 11 0 0 25 0 1 0 777764232 20520960 2459 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5010 2459 1111 63 0 4947 0
vsize: 20040
[startup+150.015 s]
Raw data (loadavg): 0.98 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2570 0 0 0 14991 11 0 0 25 0 1 0 777764232 20819968 2548 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2548 1111 63 0 5020 0
vsize: 20332
[startup+160.015 s]
Raw data (loadavg): 0.98 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2672 0 0 0 15990 12 0 0 25 0 1 0 777764232 21270528 2650 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2650 1111 63 0 5130 0
vsize: 20772
[startup+170.016 s]
Raw data (loadavg): 0.98 0.94 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2760 0 0 0 16990 12 0 0 25 0 1 0 777764232 21569536 2738 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5266 2738 1111 63 0 5203 0
vsize: 21064
[startup+180.016 s]
Raw data (loadavg): 0.98 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2861 0 0 0 17989 13 0 0 25 0 1 0 777764232 22016000 2839 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5375 2839 1111 63 0 5312 0
vsize: 21500
[startup+190.017 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 2951 0 0 0 18989 13 0 0 25 0 1 0 777764232 22470656 2929 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5486 2929 1111 63 0 5423 0
vsize: 21944
[startup+200.017 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3051 0 0 0 19989 14 0 0 25 0 1 0 777764232 22765568 3029 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5558 3029 1111 63 0 5495 0
vsize: 22232
[startup+210.018 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3148 0 0 0 20988 14 0 0 25 0 1 0 777764232 23216128 3126 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 3126 1111 63 0 5605 0
vsize: 22672
[startup+220.018 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3249 0 0 0 21988 15 0 0 25 0 1 0 777764232 23654400 3227 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 3227 1111 63 0 5712 0
vsize: 23100
[startup+230.018 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3339 0 0 0 22987 16 0 0 25 0 1 0 777764232 23953408 3317 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3317 1111 63 0 5785 0
vsize: 23392
[startup+240.018 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3439 0 0 0 23987 17 0 0 25 0 1 0 777764232 24408064 3417 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3417 1111 63 0 5896 0
vsize: 23836
[startup+250.018 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3529 0 0 0 24986 17 0 0 25 0 1 0 777764232 24850432 3507 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3507 1111 63 0 6004 0
vsize: 24268
[startup+260.019 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3632 0 0 0 25986 18 0 0 25 0 1 0 777764232 25276416 3610 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6171 3610 1111 63 0 6108 0
vsize: 24684
[startup+270.03 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3726 0 0 0 26986 18 0 0 25 0 1 0 777764232 25571328 3704 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6243 3704 1111 63 0 6180 0
vsize: 24972
[startup+280.029 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3823 0 0 0 27986 19 0 0 25 0 1 0 777764232 26025984 3801 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6354 3801 1111 63 0 6291 0
vsize: 25416
[startup+290.03 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 3917 0 0 0 28986 19 0 0 25 0 1 0 777764232 26324992 3895 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 3895 1111 63 0 6364 0
vsize: 25708
[startup+300.03 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4014 0 0 0 29985 20 0 0 25 0 1 0 777764232 26775552 3992 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 3992 1111 63 0 6474 0
vsize: 26148
[startup+310.031 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4110 0 0 0 30985 21 0 0 25 0 1 0 777764232 27222016 4088 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6646 4088 1111 63 0 6583 0
vsize: 26584
[startup+320.032 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4206 0 0 0 31985 21 0 0 25 0 1 0 777764232 27521024 4184 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6719 4184 1111 63 0 6656 0
vsize: 26876
[startup+330.032 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4301 0 0 0 32984 22 0 0 25 0 1 0 777764232 27971584 4279 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4279 1111 63 0 6766 0
vsize: 27316
[startup+340.032 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4395 0 0 0 33984 22 0 0 25 0 1 0 777764232 28270592 4373 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6902 4373 1111 63 0 6839 0
vsize: 27608
[startup+350.032 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4499 0 0 0 34983 23 0 0 25 0 1 0 777764232 28725248 4477 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7013 4477 1111 63 0 6950 0
vsize: 28052
[startup+360.033 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4587 0 0 0 35983 23 0 0 25 0 1 0 777764232 29171712 4565 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7122 4565 1111 63 0 7059 0
vsize: 28488
[startup+370.034 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4689 0 0 0 36983 24 0 0 25 0 1 0 777764232 29474816 4667 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4667 1111 63 0 7133 0
vsize: 28784
[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4784 0 0 0 37982 25 0 0 25 0 1 0 777764232 29921280 4762 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4762 1111 63 0 7242 0
vsize: 29220
[startup+390.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4880 0 0 0 38982 25 0 0 25 0 1 0 777764232 30371840 4858 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4858 1111 63 0 7352 0
vsize: 29660
[startup+400.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 4975 0 0 0 39982 26 0 0 25 0 1 0 777764232 30670848 4953 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 4953 1111 63 0 7425 0
vsize: 29952
[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5088 0 0 0 40981 26 0 0 25 0 1 0 777764232 31277056 5066 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 5066 1111 63 0 7573 0
vsize: 30544
[startup+420.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5183 0 0 0 41981 26 0 0 25 0 1 0 777764232 31580160 5161 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7710 5161 1111 63 0 7647 0
vsize: 30840
[startup+430.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5278 0 0 0 42981 27 0 0 25 0 1 0 777764232 32022528 5256 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7818 5256 1111 63 0 7755 0
vsize: 31272
[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5375 0 0 0 43980 28 0 0 25 0 1 0 777764232 32329728 5353 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 5353 1111 63 0 7830 0
vsize: 31572
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5470 0 0 0 44979 29 0 0 25 0 1 0 777764232 32776192 5448 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8002 5448 1111 63 0 7939 0
vsize: 32008
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5567 0 0 0 45979 29 0 0 25 0 1 0 777764232 33226752 5545 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8112 5545 1111 63 0 8049 0
vsize: 32448
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5668 0 0 0 46979 29 0 0 25 0 1 0 777764232 33525760 5646 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8185 5646 1111 63 0 8122 0
vsize: 32740
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5765 0 0 0 47979 30 0 0 25 0 1 0 777764232 33972224 5743 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 5743 1111 63 0 8231 0
vsize: 33176
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5860 0 0 0 48979 30 0 0 25 0 1 0 777764232 34422784 5838 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8404 5838 1111 63 0 8341 0
vsize: 33616
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 5961 0 0 0 49979 30 0 0 25 0 1 0 777764232 34721792 5939 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8477 5939 1111 63 0 8414 0
vsize: 33908
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6058 0 0 0 50979 30 0 0 25 0 1 0 777764232 35176448 6036 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8588 6036 1111 63 0 8525 0
vsize: 34352
[startup+520.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6153 0 0 0 51978 31 0 0 25 0 1 0 777764232 35622912 6131 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8697 6131 1111 63 0 8634 0
vsize: 34788
[startup+530.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6250 0 0 0 52978 32 0 0 25 0 1 0 777764232 35926016 6228 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8771 6228 1111 63 0 8708 0
vsize: 35084
[startup+540.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6345 0 0 0 53977 32 0 0 25 0 1 0 777764232 36372480 6323 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 6323 1111 63 0 8817 0
vsize: 35520
[startup+550.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6448 0 0 0 54977 33 0 0 25 0 1 0 777764232 36823040 6426 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8990 6426 1111 63 0 8927 0
vsize: 35960
[startup+560.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6543 0 0 0 55976 33 0 0 25 0 1 0 777764232 37122048 6521 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9063 6521 1111 63 0 9000 0
vsize: 36252
[startup+570.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6638 0 0 0 56977 33 0 0 25 0 1 0 777764232 37572608 6616 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9173 6616 1111 63 0 9110 0
vsize: 36692
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6740 0 0 0 57976 34 0 0 25 0 1 0 777764232 38023168 6718 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9283 6718 1111 63 0 9220 0
vsize: 37132
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6835 0 0 0 58976 34 0 0 25 0 1 0 777764232 38318080 6813 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 6813 1111 63 0 9292 0
vsize: 37420
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 6933 0 0 0 59976 34 0 0 25 0 1 0 777764232 38772736 6911 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9466 6911 1111 63 0 9403 0
vsize: 37864
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7033 0 0 0 60975 35 0 0 25 0 1 0 777764232 39219200 7011 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 7011 1111 63 0 9512 0
vsize: 38300
[startup+620.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7131 0 0 0 61975 36 0 0 25 0 1 0 777764232 39522304 7109 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9649 7109 1111 63 0 9586 0
vsize: 38596
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7226 0 0 0 62975 36 0 0 25 0 1 0 777764232 39972864 7204 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9759 7204 1111 63 0 9696 0
vsize: 39036
[startup+640.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7328 0 0 0 63975 36 0 0 25 0 1 0 777764232 40423424 7306 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9869 7306 1111 63 0 9806 0
vsize: 39476
[startup+650.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7424 0 0 0 64974 36 0 0 25 0 1 0 777764232 40722432 7402 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9942 7402 1111 63 0 9879 0
vsize: 39768
[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7519 0 0 0 65974 36 0 0 25 0 1 0 777764232 41168896 7497 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10051 7497 1111 63 0 9988 0
vsize: 40204
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7623 0 0 0 66974 37 0 0 25 0 1 0 777764232 41619456 7601 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 7601 1111 63 0 10098 0
vsize: 40644
[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7724 0 0 0 67973 38 0 0 25 0 1 0 777764232 41918464 7702 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10234 7702 1111 63 0 10171 0
vsize: 40936
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7820 0 0 0 68973 38 0 0 25 0 1 0 777764232 42373120 7798 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10345 7798 1111 63 0 10282 0
vsize: 41380
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 7917 0 0 0 69973 39 0 0 25 0 1 0 777764232 42815488 7895 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10453 7895 1111 63 0 10390 0
vsize: 41812
[startup+710.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8019 0 0 0 70973 39 0 0 25 0 1 0 777764232 43122688 7997 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 7997 1111 63 0 10465 0
vsize: 42112
[startup+720.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8115 0 0 0 71973 40 0 0 25 0 1 0 777764232 43569152 8093 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10637 8093 1111 63 0 10574 0
vsize: 42548
[startup+730.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8212 0 0 0 72972 40 0 0 25 0 1 0 777764232 44019712 8190 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10747 8190 1111 63 0 10684 0
vsize: 42988
[startup+740.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8313 0 0 0 73972 41 0 0 25 0 1 0 777764232 44318720 8291 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10820 8291 1111 63 0 10757 0
vsize: 43280
[startup+750.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8415 0 0 0 74971 41 0 0 25 0 1 0 777764232 44765184 8393 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 8393 1111 63 0 10866 0
vsize: 43716
[startup+760.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8511 0 0 0 75971 42 0 0 25 0 1 0 777764232 45215744 8489 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11039 8489 1111 63 0 10976 0
vsize: 44156
[startup+770.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8607 0 0 0 76971 42 0 0 25 0 1 0 777764232 45514752 8585 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11112 8585 1111 63 0 11049 0
vsize: 44448
[startup+780.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8709 0 0 0 77971 42 0 0 25 0 1 0 777764232 45969408 8687 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11223 8687 1111 63 0 11160 0
vsize: 44892
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8810 0 0 0 78970 43 0 0 25 0 1 0 777764232 46415872 8788 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 8788 1111 63 0 11269 0
vsize: 45328
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 8907 0 0 0 79970 43 0 0 25 0 1 0 777764232 46870528 8885 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11443 8885 1111 63 0 11380 0
vsize: 45772
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9029 0 0 0 80970 43 0 0 25 0 1 0 777764232 47357952 9007 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11562 9007 1111 63 0 11499 0
vsize: 46248
[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9125 0 0 0 81970 43 0 0 25 0 1 0 777764232 47808512 9103 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11672 9103 1111 63 0 11609 0
vsize: 46688
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9226 0 0 0 82969 44 0 0 25 0 1 0 777764232 48259072 9204 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11782 9204 1111 63 0 11719 0
vsize: 47128
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9323 0 0 0 83969 45 0 0 25 0 1 0 777764232 48558080 9301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11855 9301 1111 63 0 11792 0
vsize: 47420
[startup+850.056 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9418 0 0 0 84969 45 0 0 25 0 1 0 777764232 49008640 9396 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11965 9396 1111 63 0 11902 0
vsize: 47860
[startup+860.057 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9520 0 0 0 85969 45 0 0 25 0 1 0 777764232 49455104 9498 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 9498 1111 63 0 12011 0
vsize: 48296
[startup+870.057 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9617 0 0 0 86968 46 0 0 25 0 1 0 777764232 49758208 9595 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12148 9595 1111 63 0 12085 0
vsize: 48592
[startup+880.058 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9718 0 0 0 87969 46 0 0 25 0 1 0 777764232 50204672 9696 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12257 9696 1111 63 0 12194 0
vsize: 49028
[startup+890.058 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9815 0 0 0 88969 46 0 0 25 0 1 0 777764232 50659328 9793 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12368 9793 1111 63 0 12305 0
vsize: 49472
[startup+900.058 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 9916 0 0 0 89969 46 0 0 25 0 1 0 777764232 51105792 9894 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12477 9894 1111 63 0 12414 0
vsize: 49908
[startup+910.059 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10013 0 0 0 90969 46 0 0 25 0 1 0 777764232 51408896 9991 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9991 1111 63 0 12488 0
vsize: 50204
[startup+920.059 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10110 0 0 0 91969 47 0 0 25 0 1 0 777764232 51855360 10088 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12660 10088 1111 63 0 12597 0
vsize: 50640
[startup+930.059 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10212 0 0 0 92969 47 0 0 25 0 1 0 777764232 52305920 10190 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12770 10190 1111 63 0 12707 0
vsize: 51080
[startup+940.06 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10313 0 0 0 93969 47 0 0 25 0 1 0 777764232 52604928 10291 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12843 10291 1111 63 0 12780 0
vsize: 51372
[startup+950.06 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10408 0 0 0 94969 47 0 0 25 0 1 0 777764232 53051392 10386 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12952 10386 1111 63 0 12889 0
vsize: 51808
[startup+960.06 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10505 0 0 0 95969 47 0 0 25 0 1 0 777764232 53506048 10483 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13063 10483 1111 63 0 13000 0
vsize: 52252
[startup+970.06 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10607 0 0 0 96969 47 0 0 25 0 1 0 777764232 53800960 10585 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13135 10585 1111 63 0 13072 0
vsize: 52540
[startup+980.06 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10710 0 0 0 97969 48 0 0 25 0 1 0 777764232 54255616 10688 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13246 10688 1111 63 0 13183 0
vsize: 52984
[startup+990.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10805 0 0 0 98969 48 0 0 25 0 1 0 777764232 54702080 10783 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13355 10783 1111 63 0 13292 0
vsize: 53420
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 10902 0 0 0 99969 48 0 0 25 0 1 0 777764232 55005184 10880 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 10880 1111 63 0 13366 0
vsize: 53716
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11004 0 0 0 100969 48 0 0 25 0 1 0 777764232 55455744 10982 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10982 1111 63 0 13476 0
vsize: 54156
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11108 0 0 0 101969 48 0 0 25 0 1 0 777764232 55906304 11086 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13649 11086 1111 63 0 13586 0
vsize: 54596
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11203 0 0 0 102969 48 0 0 25 0 1 0 777764232 56352768 11181 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13758 11181 1111 63 0 13695 0
vsize: 55032
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11304 0 0 0 103969 48 0 0 25 0 1 0 777764232 56651776 11282 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13831 11282 1111 63 0 13768 0
vsize: 55324
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11401 0 0 0 104969 48 0 0 25 0 1 0 777764232 57102336 11379 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11379 1111 63 0 13878 0
vsize: 55764
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11503 0 0 0 105969 48 0 0 25 0 1 0 777764232 57548800 11481 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14050 11481 1111 63 0 13987 0
vsize: 56200
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11606 0 0 0 106970 48 0 0 25 0 1 0 777764232 57974784 11584 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14154 11584 1111 63 0 14091 0
vsize: 56616
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11702 0 0 0 107969 49 0 0 25 0 1 0 777764232 58269696 11680 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14226 11680 1111 63 0 14163 0
vsize: 56904
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11805 0 0 0 108969 49 0 0 25 0 1 0 777764232 58724352 11783 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14337 11783 1111 63 0 14274 0
vsize: 57348
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 11900 0 0 0 109969 49 0 0 25 0 1 0 777764232 59170816 11878 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14446 11878 1111 63 0 14383 0
vsize: 57784
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12004 0 0 0 110969 50 0 0 25 0 1 0 777764232 59621376 11982 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14556 11982 1111 63 0 14493 0
vsize: 58224
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12106 0 0 0 111969 50 0 0 25 0 1 0 777764232 59920384 12084 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14629 12084 1111 63 0 14566 0
vsize: 58516
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12209 0 0 0 112969 50 0 0 25 0 1 0 777764232 60366848 12187 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14738 12187 1111 63 0 14675 0
vsize: 58952
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12305 0 0 0 113969 51 0 0 25 0 1 0 777764232 60817408 12283 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14848 12283 1111 63 0 14785 0
vsize: 59392
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12406 0 0 0 114969 51 0 0 25 0 1 0 777764232 61267968 12384 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14958 12384 1111 63 0 14895 0
vsize: 59832
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12504 0 0 0 115969 51 0 0 25 0 1 0 777764232 61571072 12482 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15032 12482 1111 63 0 14969 0
vsize: 60128
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12605 0 0 0 116968 52 0 0 25 0 1 0 777764232 62017536 12583 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15141 12583 1111 63 0 15078 0
vsize: 60564
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12709 0 0 0 117968 52 0 0 25 0 1 0 777764232 62472192 12687 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15252 12687 1111 63 0 15189 0
vsize: 61008
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12811 0 0 0 118968 52 0 0 25 0 1 0 777764232 62914560 12789 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15360 12789 1111 63 0 15297 0
vsize: 61440
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 8105
Raw data (stat): 8105 (bsolo_mis) R 8104 32284 32283 0 -1 0 12908 0 0 0 119968 52 0 0 25 0 1 0 777764232 63217664 12886 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15434 12886 1111 63 0 15371 0
vsize: 61736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 8105
Raw data (stat): 8105 (bsolo_mis) Z 8104 32284 32283 0 -1 1036 12908 0 0 0 119968 55 0 0 25 0 1 0 777764232 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.09
CPU time (s): 1200.24
CPU user time (s): 1199.69
CPU system time (s): 0.552915
CPU usage (%): 100.012
Max. virtual memory (Kb): 61736
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####