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/milp/normalized-mps-v2-13-7-qap10.opb
MD5SUM	8504dbc55a414805ff1a65155550ce21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	184
Optimality of the best value was proved	NO
Number of terms in the objective function	33930
Biggest coefficient in the objective function	204800
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	188622348
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	204800
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	188622348
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	53950
Total number of constraints	1820
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	130
Maximum length of a constraint	130
Trace number 25441

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 10:18:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19787 boxname=wulflinc31 idbench=1523 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8504dbc55a414805ff1a65155550ce21  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-qap10.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-qap10.opb
IDLAUNCH: 19787
/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:        791984 kB
Buffers:         29788 kB
Cached:         187172 kB
SwapCached:       5400 kB
Active:         154524 kB
Inactive:        69136 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791732 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13200 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 10:39:02 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 19787 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 53950 variables and 3640 constraints.
#### 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): 1.06 1.02 0.96 2/55 19902
Raw data (stat): 19902 (runsolver) R 19901 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 786238052 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 1223 0 0 0 991 4 0 0 25 0 1 0 786238052 17575936 1146 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4291 1146 1111 63 0 4228 0
vsize: 17164
[startup+20.0021 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 1845 0 0 0 1990 5 0 0 25 0 1 0 786238052 20070400 1768 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4900 1768 1111 63 0 4837 0
vsize: 19600
[startup+30.002 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 2497 0 0 0 2988 7 0 0 25 0 1 0 786238052 22708224 2420 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5544 2420 1111 63 0 5481 0
vsize: 22176
[startup+40.0019 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 3164 0 0 0 3986 9 0 0 25 0 1 0 786238052 25489408 3087 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6223 3087 1111 63 0 6160 0
vsize: 24892
[startup+50.0018 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 3834 0 0 0 4985 11 0 0 25 0 1 0 786238052 28278784 3757 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6904 3757 1111 63 0 6841 0
vsize: 27616
[startup+60.0028 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 4516 0 0 0 5983 13 0 0 25 0 1 0 786238052 31059968 4439 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7583 4439 1111 63 0 7520 0
vsize: 30332
[startup+70.0041 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 5236 0 0 0 6981 14 0 0 25 0 1 0 786238052 34033664 5159 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8309 5159 1111 63 0 8246 0
vsize: 33236
[startup+80.0046 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 5977 0 0 0 7980 16 0 0 25 0 1 0 786238052 37117952 5900 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9062 5900 1111 63 0 8999 0
vsize: 36248
[startup+90.0046 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 6756 0 0 0 8978 18 0 0 25 0 1 0 786238052 40206336 6679 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6679 1111 63 0 9753 0
vsize: 39264
[startup+100.005 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 7560 0 0 0 9976 20 0 0 25 0 1 0 786238052 43577344 7483 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10639 7483 1111 63 0 10576 0
vsize: 42556
[startup+110.005 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 8379 0 0 0 10975 22 0 0 25 0 1 0 786238052 46809088 8302 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11428 8302 1111 63 0 11365 0
vsize: 45712
[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 9242 0 0 0 11972 24 0 0 25 0 1 0 786238052 50331648 9165 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12288 9165 1111 63 0 12225 0
vsize: 49152
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 10179 0 0 0 12971 26 0 0 25 0 1 0 786238052 54394880 10102 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13280 10102 1111 63 0 13217 0
vsize: 53120
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 11141 0 0 0 13970 28 0 0 25 0 1 0 786238052 58212352 11064 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14212 11064 1111 63 0 14149 0
vsize: 56848
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 12134 0 0 0 14968 29 0 0 25 0 1 0 786238052 62320640 12057 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15215 12057 1111 63 0 15152 0
vsize: 60860
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 13177 0 0 0 15966 32 0 0 25 0 1 0 786238052 66584576 13100 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16256 13100 1111 63 0 16193 0
vsize: 65024
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 14185 0 0 0 16964 33 0 0 25 0 1 0 786238052 70692864 14108 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17259 14108 1111 63 0 17196 0
vsize: 69036
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 15249 0 0 0 17961 37 0 0 25 0 1 0 786238052 75091968 15172 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18333 15172 1111 63 0 18270 0
vsize: 73332
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 16479 0 0 0 18959 39 0 0 25 0 1 0 786238052 80084992 16402 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16402 1111 63 0 19489 0
vsize: 78208
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 17694 0 0 0 19957 41 0 0 25 0 1 0 786238052 85073920 17617 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20770 17617 1111 63 0 20707 0
vsize: 83080
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 18884 0 0 0 20954 44 0 0 25 0 1 0 786238052 90132480 18807 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22005 18807 1111 63 0 21942 0
vsize: 88020
[startup+220.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 24151 0 0 0 21942 56 0 0 25 0 1 0 786238052 111079424 23938 4294967295 134512640 134714508 3221221776 3221219816 1077360452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27119 23938 1111 63 0 27056 0
vsize: 108476
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 31544 0 0 0 22927 71 0 0 25 0 1 0 786238052 141332480 31331 4294967295 134512640 134714508 3221221776 3221220068 134566778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34505 31331 1111 63 0 34442 0
vsize: 138020
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 34562 0 0 0 23922 77 0 0 25 0 1 0 786238052 153673728 34349 4294967295 134512640 134714508 3221221776 3221220060 134517284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37518 34349 1111 63 0 37455 0
vsize: 150072
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 36971 0 0 0 24915 83 0 0 25 0 1 0 786238052 163426304 36758 4294967295 134512640 134714508 3221221776 3221220060 134517284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39899 36758 1111 63 0 39836 0
vsize: 159596
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 38779 0 0 0 25911 88 0 0 25 0 1 0 786238052 170860544 38566 4294967295 134512640 134714508 3221221776 3221220080 134566796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41714 38566 1111 63 0 41651 0
vsize: 166856
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 45026 0 0 0 26895 104 0 0 25 0 1 0 786238052 187691008 44651 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45823 44651 1111 63 0 45760 0
vsize: 183292
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 47899 0 0 0 27890 109 0 0 25 0 1 0 786238052 199454720 47524 4294967295 134512640 134714508 3221221776 3221220140 134539276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48695 47524 1111 63 0 48632 0
vsize: 194780
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 50693 0 0 0 28884 115 0 0 25 0 1 0 786238052 210952192 50318 4294967295 134512640 134714508 3221221776 3221220368 134664952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51502 50318 1111 63 0 51439 0
vsize: 206008
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 53433 0 0 0 29879 120 0 0 25 0 1 0 786238052 222175232 53058 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54242 53058 1111 63 0 54179 0
vsize: 216968
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 56056 0 0 0 30875 125 0 0 25 0 1 0 786238052 232857600 55681 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56850 55681 1111 63 0 56787 0
vsize: 227400
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 58595 0 0 0 31869 130 0 0 25 0 1 0 786238052 243269632 58220 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59392 58220 1111 63 0 59329 0
vsize: 237568
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 61050 0 0 0 32865 135 0 0 25 0 1 0 786238052 253411328 60675 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61868 60675 1111 63 0 61805 0
vsize: 247472
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 63423 0 0 0 33859 140 0 0 25 0 1 0 786238052 263147520 63048 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64245 63048 1111 63 0 64182 0
vsize: 256980
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 65713 0 0 0 34856 144 0 0 25 0 1 0 786238052 272478208 65338 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66523 65338 1111 63 0 66460 0
vsize: 266092
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 67928 0 0 0 35851 149 0 0 25 0 1 0 786238052 281538560 67553 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68735 67553 1111 63 0 68672 0
vsize: 274940
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 70413 0 0 0 36847 153 0 0 25 0 1 0 786238052 291680256 70038 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71211 70038 1111 63 0 71148 0
vsize: 284844
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 72795 0 0 0 37843 157 0 0 25 0 1 0 786238052 301416448 72420 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73588 72420 1111 63 0 73525 0
vsize: 294352
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 75124 0 0 0 38838 163 0 0 25 0 1 0 786238052 311017472 74749 4294967295 134512640 134714508 3221221776 3221220256 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75932 74749 1111 63 0 75869 0
vsize: 303728
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 77364 0 0 0 39835 166 0 0 25 0 1 0 786238052 320212992 76989 4294967295 134512640 134714508 3221221776 3221220256 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78177 76989 1111 63 0 78114 0
vsize: 312708
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 79521 0 0 0 40831 170 0 0 25 0 1 0 786238052 329003008 79146 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80323 79146 1111 63 0 80260 0
vsize: 321292
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 81605 0 0 0 41825 176 0 0 25 0 1 0 786238052 337522688 81230 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82403 81230 1111 63 0 82340 0
vsize: 329612
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 83569 0 0 0 42821 180 0 0 25 0 1 0 786238052 345636864 83194 4294967295 134512640 134714508 3221221776 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84384 83194 1111 63 0 84321 0
vsize: 337536
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 85530 0 0 0 43817 184 0 0 25 0 1 0 786238052 353615872 85155 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86332 85155 1111 63 0 86269 0
vsize: 345328
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 87630 0 0 0 44813 188 0 0 25 0 1 0 786238052 362270720 87255 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88445 87255 1111 63 0 88382 0
vsize: 353780
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 89651 0 0 0 45809 192 0 0 25 0 1 0 786238052 370515968 89276 4294967295 134512640 134714508 3221221776 3221220504 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90458 89276 1111 63 0 90395 0
vsize: 361832
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 91571 0 0 0 46805 197 0 0 25 0 1 0 786238052 378359808 91196 4294967295 134512640 134714508 3221221776 3221220512 134625553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92373 91196 1111 63 0 92310 0
vsize: 369492
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 93476 0 0 0 47802 200 0 0 25 0 1 0 786238052 386203648 93101 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94288 93101 1111 63 0 94225 0
vsize: 377152
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 95520 0 0 0 48798 204 0 0 25 0 1 0 786238052 394588160 95145 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96335 95145 1111 63 0 96272 0
vsize: 385340
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 97480 0 0 0 49794 208 0 0 25 0 1 0 786238052 402567168 97105 4294967295 134512640 134714508 3221221776 3221220396 134543776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98283 97105 1111 63 0 98220 0
vsize: 393132
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 99360 0 0 0 50790 213 0 0 25 0 1 0 786238052 410275840 98985 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100165 98985 1111 63 0 100102 0
vsize: 400660
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 101156 0 0 0 51787 216 0 0 25 0 1 0 786238052 417574912 100781 4294967295 134512640 134714508 3221221776 3221220528 134630822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101947 100781 1111 63 0 101884 0
vsize: 407788
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 102873 0 0 0 52783 220 0 0 25 0 1 0 786238052 424607744 102498 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103664 102498 1111 63 0 103601 0
vsize: 414656
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 104564 0 0 0 53780 223 0 0 25 0 1 0 786238052 431640576 104189 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105381 104189 1111 63 0 105318 0
vsize: 421524
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 106196 0 0 0 54778 225 0 0 25 0 1 0 786238052 438267904 105821 4294967295 134512640 134714508 3221221776 3221220256 134536594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106999 105821 1111 63 0 106936 0
vsize: 427996
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 107795 0 0 0 55775 228 0 0 25 0 1 0 786238052 444891136 107420 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 108616 107420 1111 63 0 108553 0
vsize: 434464
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 109377 0 0 0 56772 231 0 0 25 0 1 0 786238052 451248128 109002 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 110168 109002 1111 63 0 110105 0
vsize: 440672
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 110874 0 0 0 57769 234 0 0 25 0 1 0 786238052 457469952 110499 4294967295 134512640 134714508 3221221776 3221220256 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 111687 110499 1111 63 0 111624 0
vsize: 446748
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 112287 0 0 0 58767 237 0 0 25 0 1 0 786238052 463282176 111912 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113106 111912 1111 63 0 113043 0
vsize: 452424
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 113618 0 0 0 59764 240 0 0 25 0 1 0 786238052 468692992 113243 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 114427 113243 1111 63 0 114364 0
vsize: 457708
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 114876 0 0 0 60762 242 0 0 25 0 1 0 786238052 473829376 114501 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 115681 114501 1111 63 0 115618 0
vsize: 462724
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 116226 0 0 0 61760 244 0 0 25 0 1 0 786238052 479375360 115851 4294967295 134512640 134714508 3221221776 3221220132 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 117035 115851 1111 63 0 116972 0
vsize: 468140
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 117499 0 0 0 62757 247 0 0 25 0 1 0 786238052 484515840 117124 4294967295 134512640 134714508 3221221776 3221220400 134528943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 118290 117124 1111 63 0 118227 0
vsize: 473160
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 118683 0 0 0 63755 249 0 0 25 0 1 0 786238052 489381888 118308 4294967295 134512640 134714508 3221221776 3221220264 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 119478 118308 1111 63 0 119415 0
vsize: 477912
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 119764 0 0 0 64753 252 0 0 25 0 1 0 786238052 493846528 119389 4294967295 134512640 134714508 3221221776 3221220160 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 120568 119389 1111 63 0 120505 0
vsize: 482272
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 120663 0 0 0 65751 254 0 0 25 0 1 0 786238052 497496064 120288 4294967295 134512640 134714508 3221221776 3221220240 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 121459 120288 1111 63 0 121396 0
vsize: 485836
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 121461 0 0 0 66749 256 0 0 25 0 1 0 786238052 500875264 121086 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 122284 121086 1111 63 0 122221 0
vsize: 489136
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 122228 0 0 0 67748 257 0 0 25 0 1 0 786238052 503988224 121853 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 123044 121853 1111 63 0 122981 0
vsize: 492176
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 123122 0 0 0 68746 259 0 0 25 0 1 0 786238052 507637760 122747 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 123935 122747 1111 63 0 123872 0
vsize: 495740
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 123895 0 0 0 69744 261 0 0 25 0 1 0 786238052 510746624 123520 4294967295 134512640 134714508 3221221776 3221220504 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 124694 123520 1111 63 0 124631 0
vsize: 498776
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 124626 0 0 0 70742 263 0 0 25 0 1 0 786238052 513724416 124251 4294967295 134512640 134714508 3221221776 3221220392 134543825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 125421 124251 1111 63 0 125358 0
vsize: 501684
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 125422 0 0 0 71740 266 0 0 25 0 1 0 786238052 516968448 125047 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 126213 125047 1111 63 0 126150 0
vsize: 504852
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 126193 0 0 0 72738 268 0 0 25 0 1 0 786238052 520212480 125818 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 127005 125818 1111 63 0 126942 0
vsize: 508020
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 126791 0 0 0 73737 269 0 0 25 0 1 0 786238052 522649600 126416 4294967295 134512640 134714508 3221221776 3221220192 134543735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 127600 126416 1111 63 0 127537 0
vsize: 510400
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 127264 0 0 0 74736 270 0 0 25 0 1 0 786238052 524541952 126889 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 128062 126889 1111 63 0 127999 0
vsize: 512248
[startup+760.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 127693 0 0 0 75735 271 0 0 25 0 1 0 786238052 526299136 127318 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 128491 127318 1111 63 0 128428 0
vsize: 513964
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 128282 0 0 0 76733 273 0 0 25 0 1 0 786238052 528732160 127907 4294967295 134512640 134714508 3221221776 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 129085 127907 1111 63 0 129022 0
vsize: 516340
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 128753 0 0 0 77732 274 0 0 25 0 1 0 786238052 530624512 128378 4294967295 134512640 134714508 3221221776 3221220392 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 129547 128378 1111 63 0 129484 0
vsize: 518188
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 129151 0 0 0 78731 275 0 0 25 0 1 0 786238052 532250624 128776 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 129944 128776 1111 63 0 129881 0
vsize: 519776
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 129520 0 0 0 79730 276 0 0 25 0 1 0 786238052 533872640 129145 4294967295 134512640 134714508 3221221776 3221220192 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 130340 129145 1111 63 0 130277 0
vsize: 521360
[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 129919 0 0 0 80729 278 0 0 25 0 1 0 786238052 535494656 129544 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 130736 129544 1111 63 0 130673 0
vsize: 522944
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 130241 0 0 0 81728 279 0 0 25 0 1 0 786238052 536711168 129866 4294967295 134512640 134714508 3221221776 3221220240 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131033 129866 1111 63 0 130970 0
vsize: 524132
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 130515 0 0 0 82727 280 0 0 25 0 1 0 786238052 537927680 130140 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131330 130140 1111 63 0 131267 0
vsize: 525320
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 130743 0 0 0 83726 281 0 0 25 0 1 0 786238052 538873856 130368 4294967295 134512640 134714508 3221221776 3221220140 134539270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131561 130368 1111 63 0 131498 0
vsize: 526244
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 130894 0 0 0 84725 282 0 0 25 0 1 0 786238052 539414528 130519 4294967295 134512640 134714508 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131693 130519 1111 63 0 131630 0
vsize: 526772
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 130971 0 0 0 85724 283 0 0 25 0 1 0 786238052 539820032 130596 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131792 130596 1111 63 0 131729 0
vsize: 527168
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131044 0 0 0 86724 283 0 0 25 0 1 0 786238052 540037120 130669 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131845 130669 1111 63 0 131782 0
vsize: 527380
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131047 0 0 0 87724 284 0 0 25 0 1 0 786238052 540037120 130672 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131845 130672 1111 63 0 131782 0
vsize: 527380
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131048 0 0 0 88724 284 0 0 25 0 1 0 786238052 540037120 130673 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131845 130673 1111 63 0 131782 0
vsize: 527380
[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131050 0 0 0 89724 284 0 0 25 0 1 0 786238052 540037120 130675 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131845 130675 1111 63 0 131782 0
vsize: 527380
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131054 0 0 0 90724 284 0 0 25 0 1 0 786238052 540037120 130679 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131845 130679 1111 63 0 131782 0
vsize: 527380
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131055 0 0 0 91724 285 0 0 25 0 1 0 786238052 540172288 130680 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130680 1111 63 0 131815 0
vsize: 527512
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131058 0 0 0 92723 285 0 0 25 0 1 0 786238052 540172288 130683 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130683 1111 63 0 131815 0
vsize: 527512
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131060 0 0 0 93723 286 0 0 25 0 1 0 786238052 540172288 130685 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130685 1111 63 0 131815 0
vsize: 527512
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131061 0 0 0 94722 286 0 0 25 0 1 0 786238052 540172288 130686 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130686 1111 63 0 131815 0
vsize: 527512
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131066 0 0 0 95722 287 0 0 25 0 1 0 786238052 540172288 130691 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130691 1111 63 0 131815 0
vsize: 527512
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131067 0 0 0 96722 287 0 0 25 0 1 0 786238052 540172288 130692 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130692 1111 63 0 131815 0
vsize: 527512
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131070 0 0 0 97722 288 0 0 25 0 1 0 786238052 540172288 130695 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130695 1111 63 0 131815 0
vsize: 527512
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131072 0 0 0 98721 288 0 0 25 0 1 0 786238052 540172288 130697 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130697 1111 63 0 131815 0
vsize: 527512
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131073 0 0 0 99721 288 0 0 25 0 1 0 786238052 540172288 130698 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130698 1111 63 0 131815 0
vsize: 527512
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131076 0 0 0 100721 289 0 0 25 0 1 0 786238052 540172288 130701 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130701 1111 63 0 131815 0
vsize: 527512
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131076 0 0 0 101721 289 0 0 25 0 1 0 786238052 540172288 130701 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130701 1111 63 0 131815 0
vsize: 527512
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131078 0 0 0 102721 289 0 0 25 0 1 0 786238052 540172288 130703 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130703 1111 63 0 131815 0
vsize: 527512
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131078 0 0 0 103721 289 0 0 25 0 1 0 786238052 540172288 130703 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130703 1111 63 0 131815 0
vsize: 527512
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131080 0 0 0 104720 290 0 0 25 0 1 0 786238052 540172288 130705 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130705 1111 63 0 131815 0
vsize: 527512
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131082 0 0 0 105720 290 0 0 25 0 1 0 786238052 540172288 130707 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130707 1111 63 0 131815 0
vsize: 527512
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131083 0 0 0 106720 291 0 0 25 0 1 0 786238052 540172288 130708 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130708 1111 63 0 131815 0
vsize: 527512
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131085 0 0 0 107719 291 0 0 25 0 1 0 786238052 540172288 130710 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130710 1111 63 0 131815 0
vsize: 527512
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131086 0 0 0 108719 292 0 0 25 0 1 0 786238052 540172288 130711 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131878 130711 1111 63 0 131815 0
vsize: 527512
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131090 0 0 0 109719 292 0 0 25 0 1 0 786238052 540307456 130715 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131911 130715 1111 63 0 131848 0
vsize: 527644
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131093 0 0 0 110719 292 0 0 25 0 1 0 786238052 540307456 130718 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 131911 130718 1111 63 0 131848 0
vsize: 527644
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131095 0 0 0 111719 292 0 0 25 0 1 0 786238052 540307456 130720 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130720 1111 63 0 131848 0
vsize: 527644
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131097 0 0 0 112719 292 0 0 25 0 1 0 786238052 540307456 130722 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130722 1111 63 0 131848 0
vsize: 527644
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131098 0 0 0 113719 292 0 0 25 0 1 0 786238052 540307456 130723 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130723 1111 63 0 131848 0
vsize: 527644
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131102 0 0 0 114719 292 0 0 25 0 1 0 786238052 540307456 130727 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130727 1111 63 0 131848 0
vsize: 527644
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131103 0 0 0 115719 293 0 0 25 0 1 0 786238052 540307456 130728 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130728 1111 63 0 131848 0
vsize: 527644
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131106 0 0 0 116719 293 0 0 25 0 1 0 786238052 540307456 130731 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130731 1111 63 0 131848 0
vsize: 527644
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131107 0 0 0 117719 293 0 0 25 0 1 0 786238052 540307456 130732 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130732 1111 63 0 131848 0
vsize: 527644
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131108 0 0 0 118720 293 0 0 25 0 1 0 786238052 540307456 130733 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130733 1111 63 0 131848 0
vsize: 527644
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19902
Raw data (stat): 19902 (bsolo_lpr) R 19901 7876 7672 0 -1 0 131109 0 0 0 119720 293 0 0 25 0 1 0 786238052 540307456 130734 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130734 1111 63 0 131848 0
vsize: 527644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 19902
Raw data (stat): 19902 (bsolo_lpr) Z 19901 7876 7672 0 -1 1036 131109 0 0 0 119720 317 0 0 25 0 1 0 786238052 0 0 4294967295 0 0 0 0 0 0 0 1 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.28
CPU time (s): 1200.37
CPU user time (s): 1197.2
CPU system time (s): 3.17252
CPU usage (%): 100.008
Max. virtual memory (Kb): 527644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####