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/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Category	optimization, medium integers (OPTMEDINT)
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	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 26262

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 14:38:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14758 boxname=wulflinc5 idbench=1136 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 14758
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        814680 kB
Buffers:         37212 kB
Cached:         160896 kB
SwapCached:        656 kB
Active:         114764 kB
Inactive:        85908 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814428 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            13680 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 14:58:25 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 14758 7 1200.36 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.97 1.18 1.71 1/54 7403
Raw data (stat): 7403 (runsolver) D 7402 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 772797691 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.97 1.17 1.70 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 2269 0 0 0 982 7 0 0 25 0 1 0 772797691 19693568 2247 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4808 2247 1111 63 0 4745 0
vsize: 19232
[startup+20.0015 s]
Raw data (loadavg): 0.98 1.17 1.69 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 3466 0 0 0 1980 9 0 0 25 0 1 0 772797691 24621056 3444 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6011 3444 1111 63 0 5948 0
vsize: 24044
[startup+30.0023 s]
Raw data (loadavg): 0.98 1.16 1.69 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 4662 0 0 0 2978 11 0 0 25 0 1 0 772797691 29544448 4640 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7213 4640 1111 63 0 7150 0
vsize: 28852
[startup+40.0031 s]
Raw data (loadavg): 0.98 1.16 1.68 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 5859 0 0 0 3975 14 0 0 25 0 1 0 772797691 34471936 5837 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8416 5837 1111 63 0 8353 0
vsize: 33664
[startup+50.0028 s]
Raw data (loadavg): 0.98 1.15 1.67 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 7056 0 0 0 4974 16 0 0 25 0 1 0 772797691 39395328 7034 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9618 7034 1111 63 0 9555 0
vsize: 38472
[startup+60.0026 s]
Raw data (loadavg): 0.99 1.14 1.66 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 8257 0 0 0 5972 18 0 0 25 0 1 0 772797691 44318720 8235 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10820 8235 1111 63 0 10757 0
vsize: 43280
[startup+70.0028 s]
Raw data (loadavg): 0.99 1.14 1.66 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 9453 0 0 0 6969 21 0 0 25 0 1 0 772797691 49094656 9431 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11986 9431 1111 63 0 11923 0
vsize: 47944
[startup+80.0031 s]
Raw data (loadavg): 0.99 1.13 1.65 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 10656 0 0 0 7967 23 0 0 25 0 1 0 772797691 54018048 10634 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13188 10634 1111 63 0 13125 0
vsize: 52752
[startup+90.0028 s]
Raw data (loadavg): 0.99 1.13 1.64 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 11858 0 0 0 8965 25 0 0 25 0 1 0 772797691 58945536 11836 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14391 11836 1111 63 0 14328 0
vsize: 57564
[startup+100.003 s]
Raw data (loadavg): 0.99 1.12 1.63 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 13061 0 0 0 9963 27 0 0 25 0 1 0 772797691 63873024 13039 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15594 13039 1111 63 0 15531 0
vsize: 62376
[startup+110.004 s]
Raw data (loadavg): 0.99 1.12 1.63 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 13952 0 0 0 10962 28 0 0 25 0 1 0 772797691 67596288 13930 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16503 13930 1111 63 0 16440 0
vsize: 66012
[startup+120.005 s]
Raw data (loadavg): 0.99 1.12 1.62 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 14193 0 0 0 11962 29 0 0 25 0 1 0 772797691 68579328 14171 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16743 14171 1111 63 0 16680 0
vsize: 66972
[startup+130.005 s]
Raw data (loadavg): 0.99 1.11 1.61 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 14425 0 0 0 12962 29 0 0 25 0 1 0 772797691 69451776 14403 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16956 14403 1111 63 0 16893 0
vsize: 67824
[startup+140.006 s]
Raw data (loadavg): 0.99 1.11 1.61 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 14659 0 0 0 13961 30 0 0 25 0 1 0 772797691 70488064 14637 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 14637 1111 63 0 17146 0
vsize: 68836
[startup+150.006 s]
Raw data (loadavg): 0.99 1.10 1.60 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 14892 0 0 0 14961 31 0 0 25 0 1 0 772797691 71495680 14870 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17455 14870 1111 63 0 17392 0
vsize: 69820
[startup+160.006 s]
Raw data (loadavg): 0.99 1.10 1.59 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 15126 0 0 0 15960 31 0 0 25 0 1 0 772797691 72347648 15104 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17663 15104 1111 63 0 17600 0
vsize: 70652
[startup+170.006 s]
Raw data (loadavg): 0.99 1.10 1.58 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 15358 0 0 0 16959 32 0 0 25 0 1 0 772797691 73375744 15336 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17914 15336 1111 63 0 17851 0
vsize: 71656
[startup+180.007 s]
Raw data (loadavg): 0.99 1.09 1.58 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 15598 0 0 0 17959 33 0 0 25 0 1 0 772797691 74362880 15576 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18155 15576 1111 63 0 18092 0
vsize: 72620
[startup+190.008 s]
Raw data (loadavg): 0.99 1.09 1.57 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 15837 0 0 0 18959 33 0 0 25 0 1 0 772797691 75235328 15815 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18368 15815 1111 63 0 18305 0
vsize: 73472
[startup+200.007 s]
Raw data (loadavg): 0.99 1.08 1.56 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 16071 0 0 0 19958 34 0 0 25 0 1 0 772797691 76267520 16049 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18620 16049 1111 63 0 18557 0
vsize: 74480
[startup+210.007 s]
Raw data (loadavg): 0.99 1.08 1.56 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 16311 0 0 0 20957 35 0 0 25 0 1 0 772797691 77266944 16289 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18864 16289 1111 63 0 18801 0
vsize: 75456
[startup+220.008 s]
Raw data (loadavg): 0.99 1.08 1.55 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 16544 0 0 0 21957 35 0 0 25 0 1 0 772797691 78282752 16522 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19112 16522 1111 63 0 19049 0
vsize: 76448
[startup+230.008 s]
Raw data (loadavg): 0.99 1.08 1.54 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 16790 0 0 0 22956 36 0 0 25 0 1 0 772797691 79159296 16768 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19326 16768 1111 63 0 19263 0
vsize: 77304
[startup+240.109 s]
Raw data (loadavg): 0.99 1.07 1.54 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 17023 0 0 0 23967 36 0 0 25 0 1 0 772797691 80187392 17001 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 17001 1111 63 0 19514 0
vsize: 78308
[startup+250.111 s]
Raw data (loadavg): 0.99 1.07 1.53 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 17270 0 0 0 24967 36 0 0 25 0 1 0 772797691 81174528 17248 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19818 17248 1111 63 0 19755 0
vsize: 79272
[startup+260.113 s]
Raw data (loadavg): 0.99 1.07 1.53 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 17504 0 0 0 25966 37 0 0 25 0 1 0 772797691 82202624 17482 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20069 17482 1111 63 0 20006 0
vsize: 80276
[startup+270.113 s]
Raw data (loadavg): 0.99 1.06 1.52 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 17750 0 0 0 26966 37 0 0 25 0 1 0 772797691 83189760 17728 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20310 17728 1111 63 0 20247 0
vsize: 81240
[startup+280.113 s]
Raw data (loadavg): 0.99 1.06 1.51 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 17983 0 0 0 27966 38 0 0 25 0 1 0 772797691 84062208 17961 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 17961 1111 63 0 20460 0
vsize: 82092
[startup+290.114 s]
Raw data (loadavg): 0.99 1.06 1.51 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 18229 0 0 0 28966 38 0 0 25 0 1 0 772797691 85049344 18207 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20764 18207 1111 63 0 20701 0
vsize: 83056
[startup+300.117 s]
Raw data (loadavg): 0.99 1.06 1.50 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 18463 0 0 0 29966 38 0 0 25 0 1 0 772797691 86077440 18441 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21015 18441 1111 63 0 20952 0
vsize: 84060
[startup+310.118 s]
Raw data (loadavg): 0.99 1.05 1.50 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 18711 0 0 0 30966 39 0 0 25 0 1 0 772797691 87064576 18689 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21256 18689 1111 63 0 21193 0
vsize: 85024
[startup+320.118 s]
Raw data (loadavg): 0.99 1.05 1.49 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 18943 0 0 0 31966 39 0 0 25 0 1 0 772797691 88092672 18921 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21507 18921 1111 63 0 21444 0
vsize: 86028
[startup+330.118 s]
Raw data (loadavg): 0.99 1.05 1.49 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 19190 0 0 0 32966 39 0 0 25 0 1 0 772797691 89104384 19168 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21754 19168 1111 63 0 21691 0
vsize: 87016
[startup+340.118 s]
Raw data (loadavg): 0.99 1.05 1.48 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 19424 0 0 0 33965 40 0 0 25 0 1 0 772797691 89952256 19402 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21961 19402 1111 63 0 21898 0
vsize: 87844
[startup+350.125 s]
Raw data (loadavg): 0.99 1.05 1.47 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 19670 0 0 0 34966 40 0 0 25 0 1 0 772797691 90959872 19648 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22207 19648 1111 63 0 22144 0
vsize: 88828
[startup+360.132 s]
Raw data (loadavg): 0.99 1.04 1.47 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 19916 0 0 0 35966 41 0 0 25 0 1 0 772797691 91947008 19894 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22448 19894 1111 63 0 22385 0
vsize: 89792
[startup+370.132 s]
Raw data (loadavg): 0.99 1.04 1.46 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 20149 0 0 0 36965 42 0 0 25 0 1 0 772797691 92975104 20127 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22699 20127 1111 63 0 22636 0
vsize: 90796
[startup+380.133 s]
Raw data (loadavg): 0.99 1.04 1.46 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 20396 0 0 0 37965 43 0 0 25 0 1 0 772797691 93986816 20374 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22946 20374 1111 63 0 22883 0
vsize: 91784
[startup+390.133 s]
Raw data (loadavg): 0.99 1.04 1.45 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 20629 0 0 0 38964 43 0 0 25 0 1 0 772797691 94994432 20607 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23192 20607 1111 63 0 23129 0
vsize: 92768
[startup+400.133 s]
Raw data (loadavg): 0.99 1.04 1.45 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 20886 0 0 0 39964 44 0 0 25 0 1 0 772797691 96043008 20864 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23448 20864 1111 63 0 23385 0
vsize: 93792
[startup+410.133 s]
Raw data (loadavg): 0.99 1.04 1.44 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 21131 0 0 0 40963 45 0 0 25 0 1 0 772797691 97046528 21109 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23693 21109 1111 63 0 23630 0
vsize: 94772
[startup+420.133 s]
Raw data (loadavg): 0.99 1.03 1.44 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 21366 0 0 0 41963 45 0 0 25 0 1 0 772797691 98033664 21344 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23934 21344 1111 63 0 23871 0
vsize: 95736
[startup+430.134 s]
Raw data (loadavg): 0.99 1.03 1.43 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 21612 0 0 0 42963 46 0 0 25 0 1 0 772797691 99061760 21590 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24185 21590 1111 63 0 24122 0
vsize: 96740
[startup+440.134 s]
Raw data (loadavg): 0.99 1.03 1.43 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 21858 0 0 0 43962 46 0 0 25 0 1 0 772797691 99942400 21836 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24400 21836 1111 63 0 24337 0
vsize: 97600
[startup+450.133 s]
Raw data (loadavg): 0.99 1.03 1.42 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 22094 0 0 0 44962 47 0 0 25 0 1 0 772797691 100954112 22072 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24647 22072 1111 63 0 24584 0
vsize: 98588
[startup+460.134 s]
Raw data (loadavg): 0.99 1.03 1.42 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 22339 0 0 0 45962 47 0 0 25 0 1 0 772797691 101982208 22317 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24898 22317 1111 63 0 24835 0
vsize: 99592
[startup+470.134 s]
Raw data (loadavg): 0.99 1.03 1.41 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 22585 0 0 0 46961 48 0 0 25 0 1 0 772797691 102969344 22563 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25139 22563 1111 63 0 25076 0
vsize: 100556
[startup+480.134 s]
Raw data (loadavg): 0.99 1.03 1.41 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 22819 0 0 0 47961 48 0 0 25 0 1 0 772797691 103997440 22797 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25390 22797 1111 63 0 25327 0
vsize: 101560
[startup+490.134 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 23066 0 0 0 48961 49 0 0 25 0 1 0 772797691 104984576 23044 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25631 23044 1111 63 0 25568 0
vsize: 102524
[startup+500.135 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 23312 0 0 0 49960 50 0 0 25 0 1 0 772797691 106012672 23290 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25882 23290 1111 63 0 25819 0
vsize: 103528
[startup+510.135 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 23552 0 0 0 50960 50 0 0 25 0 1 0 772797691 106999808 23530 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26123 23530 1111 63 0 26060 0
vsize: 104492
[startup+520.135 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 23791 0 0 0 51960 50 0 0 25 0 1 0 772797691 107872256 23769 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26336 23769 1111 63 0 26273 0
vsize: 105344
[startup+530.136 s]
Raw data (loadavg): 0.99 1.02 1.38 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 24039 0 0 0 52960 51 0 0 25 0 1 0 772797691 108879872 24017 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26582 24017 1111 63 0 26519 0
vsize: 106328
[startup+540.137 s]
Raw data (loadavg): 0.99 1.02 1.38 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 24284 0 0 0 53959 52 0 0 25 0 1 0 772797691 109887488 24262 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26828 24262 1111 63 0 26765 0
vsize: 107312
[startup+550.137 s]
Raw data (loadavg): 0.99 1.02 1.37 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 24531 0 0 0 54959 52 0 0 25 0 1 0 772797691 110895104 24509 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27074 24509 1111 63 0 27011 0
vsize: 108296
[startup+560.137 s]
Raw data (loadavg): 0.99 1.02 1.37 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 24766 0 0 0 55958 53 0 0 25 0 1 0 772797691 111882240 24744 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27315 24744 1111 63 0 27252 0
vsize: 109260
[startup+570.137 s]
Raw data (loadavg): 0.99 1.02 1.36 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 25011 0 0 0 56958 53 0 0 25 0 1 0 772797691 112910336 24989 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27566 24989 1111 63 0 27503 0
vsize: 110264
[startup+580.137 s]
Raw data (loadavg): 0.99 1.02 1.36 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 25258 0 0 0 57958 53 0 0 25 0 1 0 772797691 113926144 25236 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27814 25236 1111 63 0 27751 0
vsize: 111256
[startup+590.137 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 25504 0 0 0 58958 54 0 0 25 0 1 0 772797691 114954240 25482 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28065 25482 1111 63 0 28002 0
vsize: 112260
[startup+600.136 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 25751 0 0 0 59957 54 0 0 25 0 1 0 772797691 115941376 25729 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28306 25729 1111 63 0 28243 0
vsize: 113224
[startup+610.136 s]
Raw data (loadavg): 0.99 1.01 1.35 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 25990 0 0 0 60957 54 0 0 25 0 1 0 772797691 116969472 25968 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28557 25968 1111 63 0 28494 0
vsize: 114228
[startup+620.136 s]
Raw data (loadavg): 0.99 1.01 1.34 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 26231 0 0 0 61957 55 0 0 25 0 1 0 772797691 117956608 26209 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28798 26209 1111 63 0 28735 0
vsize: 115192
[startup+630.136 s]
Raw data (loadavg): 0.99 1.01 1.34 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 26477 0 0 0 62956 56 0 0 25 0 1 0 772797691 118829056 26455 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29011 26455 1111 63 0 28948 0
vsize: 116044
[startup+640.136 s]
Raw data (loadavg): 0.99 1.01 1.34 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 26724 0 0 0 63956 56 0 0 25 0 1 0 772797691 119861248 26702 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29263 26702 1111 63 0 29200 0
vsize: 117052
[startup+650.136 s]
Raw data (loadavg): 0.99 1.01 1.33 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 26970 0 0 0 64956 56 0 0 25 0 1 0 772797691 120868864 26948 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29509 26948 1111 63 0 29446 0
vsize: 118036
[startup+660.136 s]
Raw data (loadavg): 0.99 1.01 1.33 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 27216 0 0 0 65956 57 0 0 25 0 1 0 772797691 121876480 27194 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29755 27194 1111 63 0 29692 0
vsize: 119020
[startup+670.142 s]
Raw data (loadavg): 0.99 1.01 1.32 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 27462 0 0 0 66956 57 0 0 25 0 1 0 772797691 122863616 27440 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29996 27440 1111 63 0 29933 0
vsize: 119984
[startup+680.142 s]
Raw data (loadavg): 0.99 1.01 1.32 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 27708 0 0 0 67956 58 0 0 25 0 1 0 772797691 123871232 27686 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30242 27686 1111 63 0 30179 0
vsize: 120968
[startup+690.142 s]
Raw data (loadavg): 0.99 1.00 1.32 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 27956 0 0 0 68956 58 0 0 25 0 1 0 772797691 124907520 27934 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30495 27934 1111 63 0 30432 0
vsize: 121980
[startup+700.142 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 28201 0 0 0 69956 58 0 0 25 0 1 0 772797691 125935616 28179 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30746 28179 1111 63 0 30683 0
vsize: 122984
[startup+710.143 s]
Raw data (loadavg): 0.99 1.00 1.31 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 28448 0 0 0 70955 59 0 0 25 0 1 0 772797691 126947328 28426 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30993 28426 1111 63 0 30930 0
vsize: 123972
[startup+720.142 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 28694 0 0 0 71955 59 0 0 25 0 1 0 772797691 127975424 28672 4294967295 134512640 134714540 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31244 28672 1111 63 0 31181 0
vsize: 124976
[startup+730.15 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 28941 0 0 0 72956 60 0 0 25 0 1 0 772797691 128991232 28919 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31492 28919 1111 63 0 31429 0
vsize: 125968
[startup+740.152 s]
Raw data (loadavg): 0.99 1.00 1.30 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 29182 0 0 0 73955 60 0 0 25 0 1 0 772797691 129998848 29160 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31738 29165 1111 63 0 31675 0
vsize: 126952
[startup+750.152 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 29427 0 0 0 74955 61 0 0 25 0 1 0 772797691 131006464 29405 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31984 29405 1111 63 0 31921 0
vsize: 127936
[startup+760.151 s]
Raw data (loadavg): 0.99 1.00 1.29 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 29674 0 0 0 75955 61 0 0 25 0 1 0 772797691 132014080 29652 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32230 29652 1111 63 0 32167 0
vsize: 128920
[startup+770.151 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 29925 0 0 0 76955 61 0 0 25 0 1 0 772797691 133021696 29903 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32476 29903 1111 63 0 32413 0
vsize: 129904
[startup+780.152 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 30172 0 0 0 77955 61 0 0 25 0 1 0 772797691 134033408 30150 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32723 30150 1111 63 0 32660 0
vsize: 130892
[startup+790.152 s]
Raw data (loadavg): 0.99 1.00 1.28 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 30436 0 0 0 78954 62 0 0 25 0 1 0 772797691 135225344 30414 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33014 30414 1111 63 0 32951 0
vsize: 132056
[startup+800.151 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 30684 0 0 0 79954 62 0 0 25 0 1 0 772797691 136237056 30662 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33261 30662 1111 63 0 33198 0
vsize: 133044
[startup+810.159 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 30929 0 0 0 80955 63 0 0 25 0 1 0 772797691 137244672 30907 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33507 30907 1111 63 0 33444 0
vsize: 134028
[startup+820.159 s]
Raw data (loadavg): 0.99 1.00 1.27 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 31176 0 0 0 81955 63 0 0 25 0 1 0 772797691 138252288 31154 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33753 31154 1111 63 0 33690 0
vsize: 135012
[startup+830.159 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 31423 0 0 0 82954 64 0 0 25 0 1 0 772797691 139264000 31401 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34000 31401 1111 63 0 33937 0
vsize: 136000
[startup+840.159 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 31669 0 0 0 83954 64 0 0 25 0 1 0 772797691 140271616 31647 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34246 31647 1111 63 0 34183 0
vsize: 136984
[startup+850.161 s]
Raw data (loadavg): 0.99 1.00 1.26 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 31917 0 0 0 84954 64 0 0 25 0 1 0 772797691 141279232 31895 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34492 31895 1111 63 0 34429 0
vsize: 137968
[startup+860.172 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 32162 0 0 0 85955 65 0 0 25 0 1 0 772797691 142286848 32140 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34738 32140 1111 63 0 34675 0
vsize: 138952
[startup+870.172 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 32415 0 0 0 86954 65 0 0 25 0 1 0 772797691 143294464 32393 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34984 32393 1111 63 0 34921 0
vsize: 139936
[startup+880.173 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 32667 0 0 0 87954 66 0 0 25 0 1 0 772797691 144302080 32645 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35230 32645 1111 63 0 35167 0
vsize: 140920
[startup+890.172 s]
Raw data (loadavg): 0.99 1.00 1.25 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 32914 0 0 0 88954 66 0 0 25 0 1 0 772797691 145309696 32892 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35476 32892 1111 63 0 35413 0
vsize: 141904
[startup+900.18 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 33162 0 0 0 89955 66 0 0 25 0 1 0 772797691 146317312 33140 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35722 33140 1111 63 0 35659 0
vsize: 142888
[startup+910.18 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 33407 0 0 0 90954 67 0 0 25 0 1 0 772797691 147324928 33385 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35968 33385 1111 63 0 35905 0
vsize: 143872
[startup+920.181 s]
Raw data (loadavg): 0.99 1.00 1.24 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 33654 0 0 0 91954 67 0 0 25 0 1 0 772797691 148332544 33632 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36214 33632 1111 63 0 36151 0
vsize: 144856
[startup+930.181 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 33912 0 0 0 92954 68 0 0 25 0 1 0 772797691 149495808 33890 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36498 33890 1111 63 0 36435 0
vsize: 145992
[startup+940.18 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 34160 0 0 0 93954 68 0 0 25 0 1 0 772797691 150482944 34138 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36739 34138 1111 63 0 36676 0
vsize: 146956
[startup+950.18 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 34406 0 0 0 94953 69 0 0 25 0 1 0 772797691 151511040 34384 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36990 34384 1111 63 0 36927 0
vsize: 147960
[startup+960.18 s]
Raw data (loadavg): 0.99 1.00 1.23 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 34653 0 0 0 95953 69 0 0 25 0 1 0 772797691 152498176 34631 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37231 34631 1111 63 0 37168 0
vsize: 148924
[startup+970.18 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 34904 0 0 0 96952 71 0 0 25 0 1 0 772797691 153526272 34882 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37482 34882 1111 63 0 37419 0
vsize: 149928
[startup+980.18 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 35158 0 0 0 97951 71 0 0 25 0 1 0 772797691 154542080 35136 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37730 35136 1111 63 0 37667 0
vsize: 150920
[startup+990.181 s]
Raw data (loadavg): 0.99 1.00 1.22 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 35406 0 0 0 98951 72 0 0 25 0 1 0 772797691 155549696 35384 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37976 35384 1111 63 0 37913 0
vsize: 151904
[startup+1000.18 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 35652 0 0 0 99951 72 0 0 25 0 1 0 772797691 156557312 35630 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38222 35630 1111 63 0 38159 0
vsize: 152888
[startup+1010.18 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 35911 0 0 0 100951 72 0 0 25 0 1 0 772797691 157564928 35889 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38468 35889 1111 63 0 38405 0
vsize: 153872
[startup+1020.18 s]
Raw data (loadavg): 0.99 1.00 1.21 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 36156 0 0 0 101950 73 0 0 25 0 1 0 772797691 158572544 36134 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38714 36134 1111 63 0 38651 0
vsize: 154856
[startup+1030.18 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 36404 0 0 0 102950 74 0 0 25 0 1 0 772797691 159584256 36382 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38961 36382 1111 63 0 38898 0
vsize: 155844
[startup+1040.18 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 36657 0 0 0 103949 74 0 0 25 0 1 0 772797691 160612352 36635 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39212 36635 1111 63 0 39149 0
vsize: 156848
[startup+1050.18 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 36910 0 0 0 104949 75 0 0 25 0 1 0 772797691 161755136 36888 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39491 36888 1111 63 0 39428 0
vsize: 157964
[startup+1060.18 s]
Raw data (loadavg): 0.99 1.00 1.20 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 37157 0 0 0 105949 75 0 0 25 0 1 0 772797691 162762752 37135 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39737 37135 1111 63 0 39674 0
vsize: 158948
[startup+1070.18 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 37410 0 0 0 106948 76 0 0 25 0 1 0 772797691 163770368 37388 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39983 37388 1111 63 0 39920 0
vsize: 159932
[startup+1080.18 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 37663 0 0 0 107948 76 0 0 25 0 1 0 772797691 164806656 37641 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40236 37641 1111 63 0 40173 0
vsize: 160944
[startup+1090.18 s]
Raw data (loadavg): 0.99 1.00 1.19 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 37909 0 0 0 108948 76 0 0 25 0 1 0 772797691 165814272 37887 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40482 37887 1111 63 0 40419 0
vsize: 161928
[startup+1100.18 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 38168 0 0 0 109948 77 0 0 25 0 1 0 772797691 166846464 38146 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40734 38146 1111 63 0 40671 0
vsize: 162936
[startup+1110.19 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 38414 0 0 0 110948 77 0 0 25 0 1 0 772797691 167854080 38392 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40980 38392 1111 63 0 40917 0
vsize: 163920
[startup+1120.19 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 38662 0 0 0 111948 78 0 0 25 0 1 0 772797691 168890368 38640 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41233 38640 1111 63 0 41170 0
vsize: 164932
[startup+1130.19 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 38921 0 0 0 112948 78 0 0 25 0 1 0 772797691 169897984 38899 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41479 38899 1111 63 0 41416 0
vsize: 165916
[startup+1140.19 s]
Raw data (loadavg): 0.99 1.00 1.18 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 39168 0 0 0 113948 78 0 0 25 0 1 0 772797691 170905600 39146 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41725 39146 1111 63 0 41662 0
vsize: 166900
[startup+1150.19 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 39427 0 0 0 114947 79 0 0 25 0 1 0 772797691 172048384 39405 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42004 39405 1111 63 0 41941 0
vsize: 168016
[startup+1160.19 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 39673 0 0 0 115947 80 0 0 25 0 1 0 772797691 173056000 39651 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42250 39651 1111 63 0 42187 0
vsize: 169000
[startup+1170.19 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 39933 0 0 0 116947 80 0 0 25 0 1 0 772797691 174067712 39911 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42497 39911 1111 63 0 42434 0
vsize: 169988
[startup+1180.19 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 40180 0 0 0 117946 81 0 0 25 0 1 0 772797691 175095808 40158 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42748 40158 1111 63 0 42685 0
vsize: 170992
[startup+1190.19 s]
Raw data (loadavg): 0.99 1.00 1.17 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 40433 0 0 0 118946 81 0 0 25 0 1 0 772797691 176082944 40411 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42989 40411 1111 63 0 42926 0
vsize: 171956
[startup+1200.19 s]
Raw data (loadavg): 0.99 1.00 1.16 2/54 7403
Raw data (stat): 7403 (bsolo_mis) R 7402 7266 7265 0 -1 0 40686 0 0 0 119946 81 0 0 25 0 1 0 772797691 177111040 40664 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43240 40664 1111 63 0 43177 0
vsize: 172960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 0.99 1.00 1.16 1/54 7403
Raw data (stat): 7403 (bsolo_mis) Z 7402 7266 7265 0 -1 1036 40686 0 0 0 119946 89 0 0 25 0 1 0 772797691 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.26
CPU time (s): 1200.36
CPU user time (s): 1199.47
CPU system time (s): 0.891864
CPU usage (%): 100.008
Max. virtual memory (Kb): 172960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####