PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1l.opb
MD5SUM	5b92932a8bc350218da666e6f064f13f
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	68818
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6652856940207324781
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6652856940207324781
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.758884
Number of variables	68678
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35119
Trace number 25363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 21:07:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20088 boxname=wulflinc31 idbench=1546 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5b92932a8bc350218da666e6f064f13f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dc1l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dc1l.opb
IDLAUNCH: 20088
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        719408 kB
Buffers:         32320 kB
Cached:         260712 kB
SwapCached:        932 kB
Active:         142932 kB
Inactive:       152416 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        719156 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5384 kB
Slab:            14184 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 21:27:50 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 20088 7 1200.42 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.87 0.97 0.94 2/55 11721
Raw data (stat): 11721 (runsolver) R 11720 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 781490316 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.89 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 1882 0 0 0 990 6 0 0 25 0 1 0 781490316 19693568 1859 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4808 1859 1111 63 0 4745 0
vsize: 19232
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 3061 0 0 0 1987 9 0 0 25 0 1 0 781490316 24621056 3038 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6011 3038 1111 63 0 5948 0
vsize: 24044
[startup+30.002 s]
Raw data (loadavg): 0.92 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 4239 0 0 0 2985 11 0 0 25 0 1 0 781490316 29396992 4216 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7177 4216 1111 63 0 7114 0
vsize: 28708
[startup+40.0024 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 5417 0 0 0 3983 13 0 0 25 0 1 0 781490316 34172928 5394 4294967295 134512640 134714540 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8343 5394 1111 63 0 8280 0
vsize: 33372
[startup+50.0033 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 6608 0 0 0 4981 15 0 0 25 0 1 0 781490316 39100416 6585 4294967295 134512640 134714540 3221221792 3221220020 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9546 6585 1111 63 0 9483 0
vsize: 38184
[startup+60.0028 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 7797 0 0 0 5979 17 0 0 25 0 1 0 781490316 44019712 7774 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10747 7774 1111 63 0 10684 0
vsize: 42988
[startup+70.0042 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 8993 0 0 0 6977 19 0 0 25 0 1 0 781490316 48943104 8970 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11949 8970 1111 63 0 11886 0
vsize: 47796
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 10190 0 0 0 7975 22 0 0 25 0 1 0 781490316 53723136 10167 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13116 10167 1111 63 0 13053 0
vsize: 52464
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 11387 0 0 0 8973 23 0 0 25 0 1 0 781490316 58646528 11364 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14318 11364 1111 63 0 14255 0
vsize: 57272
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 12589 0 0 0 9970 26 0 0 25 0 1 0 781490316 63574016 12566 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15521 12566 1111 63 0 15458 0
vsize: 62084
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 13803 0 0 0 10968 29 0 0 25 0 1 0 781490316 68648960 13780 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16760 13780 1111 63 0 16697 0
vsize: 67040
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 15013 0 0 0 11966 31 0 0 25 0 1 0 781490316 73572352 14990 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17962 14990 1111 63 0 17899 0
vsize: 71848
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 16223 0 0 0 12963 34 0 0 25 0 1 0 781490316 78508032 16200 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19167 16200 1111 63 0 19104 0
vsize: 76668
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 17632 0 0 0 13961 37 0 0 25 0 1 0 781490316 84328448 17609 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20588 17609 1111 63 0 20525 0
vsize: 82352
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 18852 0 0 0 14959 39 0 0 25 0 1 0 781490316 89251840 18829 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21790 18829 1111 63 0 21727 0
vsize: 87160
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 20079 0 0 0 15956 41 0 0 25 0 1 0 781490316 94326784 20056 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23029 20056 1111 63 0 22966 0
vsize: 92116
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 21490 0 0 0 16954 44 0 0 25 0 1 0 781490316 100003840 21467 4294967295 134512640 134714540 3221221792 3221220020 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24415 21467 1111 63 0 24352 0
vsize: 97660
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 22723 0 0 0 17951 46 0 0 25 0 1 0 781490316 105078784 22700 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25654 22700 1111 63 0 25591 0
vsize: 102616
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 24113 0 0 0 18949 49 0 0 25 0 1 0 781490316 110751744 24090 4294967295 134512640 134714540 3221221792 3221220020 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27039 24090 1111 63 0 26976 0
vsize: 108156
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 25482 0 0 0 19946 52 0 0 25 0 1 0 781490316 116428800 25459 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28425 25459 1111 63 0 28362 0
vsize: 113700
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 26727 0 0 0 20944 54 0 0 25 0 1 0 781490316 121503744 26704 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29664 26704 1111 63 0 29601 0
vsize: 118656
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 28100 0 0 0 21942 57 0 0 25 0 1 0 781490316 127176704 28077 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31049 28077 1111 63 0 30986 0
vsize: 124196
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 29352 0 0 0 22939 60 0 0 25 0 1 0 781490316 132251648 29329 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32288 29329 1111 63 0 32225 0
vsize: 129152
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 30611 0 0 0 23936 62 0 0 25 0 1 0 781490316 137482240 30588 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33565 30588 1111 63 0 33502 0
vsize: 134260
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 32021 0 0 0 24934 65 0 0 25 0 1 0 781490316 143151104 31998 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34949 31998 1111 63 0 34886 0
vsize: 139796
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 33405 0 0 0 25931 68 0 0 25 0 1 0 781490316 148824064 33382 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36334 33382 1111 63 0 36271 0
vsize: 145336
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 34675 0 0 0 26929 70 0 0 25 0 1 0 781490316 154046464 34652 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37609 34652 1111 63 0 37546 0
vsize: 150436
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 35953 0 0 0 27927 72 0 0 25 0 1 0 781490316 159277056 35930 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38886 35930 1111 63 0 38823 0
vsize: 155544
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 37284 0 0 0 28924 75 0 0 25 0 1 0 781490316 164798464 37261 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40234 37261 1111 63 0 40171 0
vsize: 160936
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 38565 0 0 0 29923 76 0 0 25 0 1 0 781490316 170024960 38542 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41510 38542 1111 63 0 41447 0
vsize: 166040
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 39883 0 0 0 30921 79 0 0 25 0 1 0 781490316 175398912 39860 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42822 39860 1111 63 0 42759 0
vsize: 171288
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 41410 0 0 0 31917 82 0 0 25 0 1 0 781490316 181673984 41387 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44354 41387 1111 63 0 44291 0
vsize: 177416
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 42703 0 0 0 32915 85 0 0 25 0 1 0 781490316 186896384 42680 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45629 42680 1111 63 0 45566 0
vsize: 182516
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 44071 0 0 0 33912 88 0 0 25 0 1 0 781490316 192569344 44048 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47014 44048 1111 63 0 46951 0
vsize: 188056
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 45571 0 0 0 34909 91 0 0 25 0 1 0 781490316 198692864 45548 4294967295 134512640 134714540 3221221792 3221220020 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48509 45548 1111 63 0 48446 0
vsize: 194036
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 46877 0 0 0 35907 93 0 0 25 0 1 0 781490316 204066816 46854 4294967295 134512640 134714540 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49821 46854 1111 63 0 49758 0
vsize: 199284
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 48189 0 0 0 36904 97 0 0 25 0 1 0 781490316 209440768 48166 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51133 48166 1111 63 0 51070 0
vsize: 204532
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 49525 0 0 0 37902 98 0 0 25 0 1 0 781490316 214990848 49502 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52488 49502 1111 63 0 52425 0
vsize: 209952
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 50843 0 0 0 38899 102 0 0 25 0 1 0 781490316 220360704 50820 4294967295 134512640 134714540 3221221792 3221220020 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53799 50820 1111 63 0 53736 0
vsize: 215196
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 52174 0 0 0 39896 104 0 0 25 0 1 0 781490316 225734656 52151 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55111 52151 1111 63 0 55048 0
vsize: 220444
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 53505 0 0 0 40894 107 0 0 25 0 1 0 781490316 231264256 53482 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56461 53482 1111 63 0 56398 0
vsize: 225844
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 54914 0 0 0 41891 110 0 0 25 0 1 0 781490316 237084672 54891 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57882 54891 1111 63 0 57819 0
vsize: 231528
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 56257 0 0 0 42889 112 0 0 25 0 1 0 781490316 242458624 56234 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59194 56234 1111 63 0 59131 0
vsize: 236776
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 57681 0 0 0 43887 114 0 0 25 0 1 0 781490316 248283136 57658 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60616 57658 1111 63 0 60553 0
vsize: 242464
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 59035 0 0 0 44884 118 0 0 25 0 1 0 781490316 253956096 59012 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62001 59012 1111 63 0 61938 0
vsize: 248004
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 60396 0 0 0 45881 120 0 0 25 0 1 0 781490316 259477504 60373 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63349 60373 1111 63 0 63286 0
vsize: 253396
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 61777 0 0 0 46878 123 0 0 25 0 1 0 781490316 265158656 61754 4294967295 134512640 134714540 3221221792 3221220020 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64736 61754 1111 63 0 64673 0
vsize: 258944
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 63264 0 0 0 47876 126 0 0 25 0 1 0 781490316 271273984 63241 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66229 63241 1111 63 0 66166 0
vsize: 264916
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 64644 0 0 0 48873 129 0 0 25 0 1 0 781490316 276799488 64621 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67578 64621 1111 63 0 67515 0
vsize: 270312
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 66079 0 0 0 49870 132 0 0 25 0 1 0 781490316 282775552 66056 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69037 66056 1111 63 0 68974 0
vsize: 276148
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 67500 0 0 0 50868 134 0 0 25 0 1 0 781490316 288595968 67477 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70458 67477 1111 63 0 70395 0
vsize: 281832
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 68904 0 0 0 51866 136 0 0 25 0 1 0 781490316 294264832 68881 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71842 68881 1111 63 0 71779 0
vsize: 287368
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 70309 0 0 0 52863 140 0 0 25 0 1 0 781490316 300093440 70286 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73265 70286 1111 63 0 73202 0
vsize: 293060
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 71730 0 0 0 53859 143 0 0 25 0 1 0 781490316 305913856 71707 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74686 71707 1111 63 0 74623 0
vsize: 298744
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 73146 0 0 0 54856 146 0 0 25 0 1 0 781490316 311738368 73123 4294967295 134512640 134714540 3221221792 3221220020 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76108 73123 1111 63 0 76045 0
vsize: 304432
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 74593 0 0 0 55853 149 0 0 25 0 1 0 781490316 317558784 74570 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77529 74570 1111 63 0 77466 0
vsize: 310116
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 76045 0 0 0 56850 152 0 0 25 0 1 0 781490316 323530752 76022 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78987 76022 1111 63 0 78924 0
vsize: 315948
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 77480 0 0 0 57847 156 0 0 25 0 1 0 781490316 329355264 77457 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80409 77457 1111 63 0 80346 0
vsize: 321636
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 78919 0 0 0 58844 159 0 0 25 0 1 0 781490316 335327232 78896 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81867 78896 1111 63 0 81804 0
vsize: 327468
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 80365 0 0 0 59841 162 0 0 25 0 1 0 781490316 341295104 80342 4294967295 134512640 134714540 3221221792 3221220020 1077414347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83324 80342 1111 63 0 83261 0
vsize: 333296
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 81836 0 0 0 60837 165 0 0 25 0 1 0 781490316 347271168 81813 4294967295 134512640 134714540 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84783 81813 1111 63 0 84720 0
vsize: 339132
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 83368 0 0 0 61835 168 0 0 25 0 1 0 781490316 353538048 83345 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86313 83345 1111 63 0 86250 0
vsize: 345252
[startup+630.037 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 84875 0 0 0 62832 171 0 0 25 0 1 0 781490316 359665664 84852 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87809 84852 1111 63 0 87746 0
vsize: 351236
[startup+640.037 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 86370 0 0 0 63829 174 0 0 25 0 1 0 781490316 365785088 86347 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89303 86347 1111 63 0 89240 0
vsize: 357212
[startup+650.038 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 87865 0 0 0 64826 177 0 0 25 0 1 0 781490316 371908608 87842 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90798 87842 1111 63 0 90735 0
vsize: 363192
[startup+660.038 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 89427 0 0 0 65823 180 0 0 25 0 1 0 781490316 378327040 89404 4294967295 134512640 134714540 3221221792 3221220020 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92365 89404 1111 63 0 92302 0
vsize: 369460
[startup+670.039 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 91001 0 0 0 66821 183 0 0 25 0 1 0 781490316 384749568 90978 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93933 90978 1111 63 0 93870 0
vsize: 375732
[startup+680.04 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 92537 0 0 0 67818 186 0 0 25 0 1 0 781490316 391016448 92514 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95463 92514 1111 63 0 95400 0
vsize: 381852
[startup+690.04 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 94166 0 0 0 68815 189 0 0 25 0 1 0 781490316 397737984 94143 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97104 94143 1111 63 0 97041 0
vsize: 388416
[startup+700.041 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 95684 0 0 0 69812 192 0 0 25 0 1 0 781490316 404004864 95661 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98634 95661 1111 63 0 98571 0
vsize: 394536
[startup+710.041 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 97222 0 0 0 70809 195 0 0 25 0 1 0 781490316 410279936 97199 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100166 97199 1111 63 0 100103 0
vsize: 400664
[startup+720.042 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 98814 0 0 0 71806 198 0 0 25 0 1 0 781490316 416911360 98791 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101785 98791 1111 63 0 101722 0
vsize: 407140
[startup+730.043 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 100370 0 0 0 72805 200 0 0 25 0 1 0 781490316 423337984 100347 4294967295 134512640 134714540 3221221792 3221220020 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103354 100347 1111 63 0 103291 0
vsize: 413416
[startup+740.043 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 101918 0 0 0 73802 203 0 0 25 0 1 0 781490316 429604864 101895 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104884 101895 1111 63 0 104821 0
vsize: 419536
[startup+750.044 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 103524 0 0 0 74798 206 0 0 25 0 1 0 781490316 436174848 103501 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106488 103501 1111 63 0 106425 0
vsize: 425952
[startup+760.045 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 105115 0 0 0 75795 209 0 0 25 0 1 0 781490316 442740736 105092 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108091 105092 1111 63 0 108028 0
vsize: 432364
[startup+770.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 106805 0 0 0 76792 213 0 0 25 0 1 0 781490316 449613824 106782 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109769 106782 1111 63 0 109706 0
vsize: 439076
[startup+780.047 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 108538 0 0 0 77789 216 0 0 25 0 1 0 781490316 456781824 108515 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111519 108515 1111 63 0 111456 0
vsize: 446076
[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 110129 0 0 0 78787 218 0 0 25 0 1 0 781490316 463196160 110106 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113085 110106 1111 63 0 113022 0
vsize: 452340
[startup+800.047 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 111728 0 0 0 79784 221 0 0 25 0 1 0 781490316 469770240 111705 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114690 111705 1111 63 0 114627 0
vsize: 458760
[startup+810.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 113331 0 0 0 80781 224 0 0 25 0 1 0 781490316 476336128 113308 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116293 113308 1111 63 0 116230 0
vsize: 465172
[startup+820.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 114973 0 0 0 81778 228 0 0 25 0 1 0 781490316 483057664 114950 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 117934 114950 1111 63 0 117871 0
vsize: 471736
[startup+830.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 116602 0 0 0 82775 230 0 0 25 0 1 0 781490316 489771008 116579 4294967295 134512640 134714540 3221221792 3221220020 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119573 116579 1111 63 0 119510 0
vsize: 478292
[startup+840.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 118236 0 0 0 83773 232 0 0 25 0 1 0 781490316 496492544 118213 4294967295 134512640 134714540 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121214 118213 1111 63 0 121151 0
vsize: 484856
[startup+850.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 119962 0 0 0 84770 236 0 0 25 0 1 0 781490316 503513088 119939 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122928 119939 1111 63 0 122865 0
vsize: 491712
[startup+860.051 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 121657 0 0 0 85767 239 0 0 25 0 1 0 781490316 510377984 121634 4294967295 134512640 134714540 3221221792 3221220020 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124604 121634 1111 63 0 124541 0
vsize: 498416
[startup+870.052 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 123354 0 0 0 86764 242 0 0 25 0 1 0 781490316 517398528 123331 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126318 123331 1111 63 0 126255 0
vsize: 505272
[startup+880.053 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 125037 0 0 0 87760 246 0 0 25 0 1 0 781490316 524267520 125014 4294967295 134512640 134714540 3221221792 3221220020 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127995 125014 1111 63 0 127932 0
vsize: 511980
[startup+890.054 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 126713 0 0 0 88757 249 0 0 25 0 1 0 781490316 531132416 126690 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129671 126690 1111 63 0 129608 0
vsize: 518684
[startup+900.055 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 128483 0 0 0 89754 252 0 0 25 0 1 0 781490316 538447872 128460 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131457 128460 1111 63 0 131394 0
vsize: 525828
[startup+910.055 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 130258 0 0 0 90751 256 0 0 25 0 1 0 781490316 545615872 130235 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133207 130235 1111 63 0 133144 0
vsize: 532828
[startup+920.056 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 131988 0 0 0 91748 259 0 0 25 0 1 0 781490316 552779776 131965 4294967295 134512640 134714540 3221221792 3221220020 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 134956 131965 1111 63 0 134893 0
vsize: 539824
[startup+930.057 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 133751 0 0 0 92745 262 0 0 25 0 1 0 781490316 559947776 133728 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136706 133728 1111 63 0 136643 0
vsize: 546824
[startup+940.057 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 135515 0 0 0 93742 265 0 0 25 0 1 0 781490316 567115776 135492 4294967295 134512640 134714540 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 138456 135492 1111 63 0 138393 0
vsize: 553824
[startup+950.058 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 137282 0 0 0 94739 268 0 0 25 0 1 0 781490316 574427136 137259 4294967295 134512640 134714540 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 140241 137259 1111 63 0 140178 0
vsize: 560964
[startup+960.058 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 139032 0 0 0 95736 271 0 0 25 0 1 0 781490316 581595136 139009 4294967295 134512640 134714540 3221221792 3221220020 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141991 139009 1111 63 0 141928 0
vsize: 567964
[startup+970.059 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 140808 0 0 0 96733 274 0 0 25 0 1 0 781490316 588914688 140785 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143778 140785 1111 63 0 143715 0
vsize: 575112
[startup+980.06 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 142587 0 0 0 97730 277 0 0 25 0 1 0 781490316 596078592 142564 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 145527 142564 1111 63 0 145464 0
vsize: 582108
[startup+990.06 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 144380 0 0 0 98727 280 0 0 25 0 1 0 781490316 603545600 144357 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 147350 144357 1111 63 0 147287 0
vsize: 589400
[startup+1000.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 146185 0 0 0 99725 283 0 0 25 0 1 0 781490316 610861056 146162 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 149136 146162 1111 63 0 149073 0
vsize: 596544
[startup+1010.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 148027 0 0 0 100721 286 0 0 25 0 1 0 781490316 618475520 148004 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 150995 148004 1111 63 0 150932 0
vsize: 603980
[startup+1020.06 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 149905 0 0 0 101716 291 0 0 25 0 1 0 781490316 626094080 149882 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 152855 149882 1111 63 0 152792 0
vsize: 611420
[startup+1030.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 151775 0 0 0 102713 295 0 0 25 0 1 0 781490316 633704448 151752 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 154713 151752 1111 63 0 154650 0
vsize: 618852
[startup+1040.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 153685 0 0 0 103708 300 0 0 25 0 1 0 781490316 641617920 153662 4294967295 134512640 134714540 3221221792 3221220064 134525652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 156645 153662 1111 63 0 156582 0
vsize: 626580
[startup+1050.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 155593 0 0 0 104704 304 0 0 25 0 1 0 781490316 649379840 155570 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 158540 155570 1111 63 0 158477 0
vsize: 634160
[startup+1060.06 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 157513 0 0 0 105701 307 0 0 25 0 1 0 781490316 657297408 157490 4294967295 134512640 134714540 3221221792 3221220060 1077364209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160473 157490 1111 63 0 160410 0
vsize: 641892
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 159447 0 0 0 106698 311 0 0 25 0 1 0 781490316 665210880 159424 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162405 159424 1111 63 0 162342 0
vsize: 649620
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 161391 0 0 0 107694 315 0 0 25 0 1 0 781490316 673124352 161368 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 164337 161368 1111 63 0 164274 0
vsize: 657348
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 163340 0 0 0 108689 319 0 0 25 0 1 0 781490316 681181184 163317 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 166304 163317 1111 63 0 166241 0
vsize: 665216
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 165310 0 0 0 109687 322 0 0 25 0 1 0 781490316 689242112 165287 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 168272 165287 1111 63 0 168209 0
vsize: 673088
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 167279 0 0 0 110683 326 0 0 25 0 1 0 781490316 697307136 167256 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 170241 167256 1111 63 0 170178 0
vsize: 680964
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 169266 0 0 0 111680 329 0 0 25 0 1 0 781490316 705368064 169243 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 172209 169243 1111 63 0 172146 0
vsize: 688836
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 171285 0 0 0 112678 332 0 0 25 0 1 0 781490316 713580544 171262 4294967295 134512640 134714540 3221221792 3221220020 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 174214 171262 1111 63 0 174151 0
vsize: 696856
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 173302 0 0 0 113674 335 0 0 25 0 1 0 781490316 721944576 173279 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 176256 173279 1111 63 0 176193 0
vsize: 705024
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 175349 0 0 0 114671 338 0 0 25 0 1 0 781490316 730304512 175326 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 178297 175326 1111 63 0 178234 0
vsize: 713188
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 177423 0 0 0 115668 342 0 0 25 0 1 0 781490316 738816000 177400 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 180375 177400 1111 63 0 180312 0
vsize: 721500
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 179500 0 0 0 116664 346 0 0 25 0 1 0 781490316 747323392 179477 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 182452 179477 1111 63 0 182389 0
vsize: 729808
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 181596 0 0 0 117660 349 0 0 25 0 1 0 781490316 755834880 181573 4294967295 134512640 134714540 3221221792 3221220020 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 184530 181573 1111 63 0 184467 0
vsize: 738120
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 183731 0 0 0 118654 354 0 0 25 0 1 0 781490316 764645376 183708 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 186681 183708 1111 63 0 186618 0
vsize: 746724
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 11721
Raw data (stat): 11721 (bsolo_mis) R 11720 7876 7672 0 -1 0 185869 0 0 0 119649 358 0 0 25 0 1 0 781490316 773304320 185846 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 188795 185846 1111 63 0 188732 0
vsize: 755180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 11721
Raw data (stat): 11721 (bsolo_mis) Z 11720 7876 7672 0 -1 1036 185869 0 0 0 119649 392 0 0 25 0 1 0 781490316 0 0 4294967295 0 0 0 0 0 0 0 1 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.42
CPU time (s): 1200.42
CPU user time (s): 1196.5
CPU system time (s): 3.9274
CPU usage (%): 100
Max. virtual memory (Kb): 755180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####