PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 26263

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 14:38:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14756 boxname=wulflinc28 idbench=1136 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 14756
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        800752 kB
Buffers:         33736 kB
Cached:         177932 kB
SwapCached:       1104 kB
Active:         120248 kB
Inactive:        94060 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800500 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13964 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 14:58:33 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 14756 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.92 1.16 1.72 2/54 25146
Raw data (stat): 25146 (runsolver) R 25145 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831026183 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.93 1.15 1.72 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 2443 0 0 0 990 8 0 0 25 0 1 0 831026183 19861504 2367 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 2367 1111 63 0 4786 0
vsize: 19396
[startup+19.9997 s]
Raw data (loadavg): 0.94 1.14 1.71 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 3640 0 0 0 1988 9 0 0 25 0 1 0 831026183 24788992 3564 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 3564 1111 63 0 5989 0
vsize: 24208
[startup+30 s]
Raw data (loadavg): 0.95 1.14 1.70 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 4831 0 0 0 2987 11 0 0 25 0 1 0 831026183 29712384 4755 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7254 4755 1111 63 0 7191 0
vsize: 29016
[startup+39.9997 s]
Raw data (loadavg): 0.96 1.14 1.69 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 6027 0 0 0 3983 14 0 0 25 0 1 0 831026183 34639872 5951 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8457 5951 1111 63 0 8394 0
vsize: 33828
[startup+50.0005 s]
Raw data (loadavg): 0.96 1.13 1.68 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 7230 0 0 0 4982 16 0 0 25 0 1 0 831026183 39567360 7154 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9660 7154 1111 63 0 9597 0
vsize: 38640
[startup+60.0001 s]
Raw data (loadavg): 0.97 1.13 1.68 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 8431 0 0 0 5980 18 0 0 25 0 1 0 831026183 44486656 8355 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10861 8355 1111 63 0 10798 0
vsize: 43444
[startup+69.9998 s]
Raw data (loadavg): 0.97 1.12 1.67 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 9633 0 0 0 6979 20 0 0 25 0 1 0 831026183 49410048 9557 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12063 9557 1111 63 0 12000 0
vsize: 48252
[startup+80.0075 s]
Raw data (loadavg): 0.98 1.12 1.66 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 10836 0 0 0 7978 21 0 0 25 0 1 0 831026183 54337536 10760 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13266 10760 1111 63 0 13203 0
vsize: 53064
[startup+90.0072 s]
Raw data (loadavg): 0.98 1.11 1.65 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 12039 0 0 0 8975 24 0 0 25 0 1 0 831026183 59265024 11963 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14469 11963 1111 63 0 14406 0
vsize: 57876
[startup+100.007 s]
Raw data (loadavg): 0.98 1.11 1.65 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 13241 0 0 0 9973 27 0 0 25 0 1 0 831026183 64188416 13165 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 13165 1111 63 0 15608 0
vsize: 62684
[startup+110.007 s]
Raw data (loadavg): 0.98 1.10 1.64 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 14115 0 0 0 10971 29 0 0 25 0 1 0 831026183 67719168 14039 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16533 14039 1111 63 0 16470 0
vsize: 66132
[startup+120.006 s]
Raw data (loadavg): 0.99 1.10 1.63 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 14349 0 0 0 11970 30 0 0 25 0 1 0 831026183 68595712 14273 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16747 14273 1111 63 0 16684 0
vsize: 66988
[startup+130.006 s]
Raw data (loadavg): 0.99 1.10 1.62 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 14582 0 0 0 12970 30 0 0 25 0 1 0 831026183 69599232 14506 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16992 14506 1111 63 0 16929 0
vsize: 67968
[startup+140.006 s]
Raw data (loadavg): 0.99 1.09 1.62 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 14816 0 0 0 13970 30 0 0 25 0 1 0 831026183 70635520 14740 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17245 14740 1111 63 0 17182 0
vsize: 68980
[startup+150.006 s]
Raw data (loadavg): 0.99 1.09 1.61 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 15048 0 0 0 14970 31 0 0 25 0 1 0 831026183 71507968 14972 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17458 14972 1111 63 0 17395 0
vsize: 69832
[startup+160.006 s]
Raw data (loadavg): 0.99 1.08 1.60 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 15288 0 0 0 15969 31 0 0 25 0 1 0 831026183 72519680 15212 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17705 15212 1111 63 0 17642 0
vsize: 70820
[startup+170.006 s]
Raw data (loadavg): 0.99 1.08 1.60 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 15526 0 0 0 16969 32 0 0 25 0 1 0 831026183 73547776 15450 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17956 15450 1111 63 0 17893 0
vsize: 71824
[startup+180.005 s]
Raw data (loadavg): 0.99 1.08 1.59 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 15760 0 0 0 17969 32 0 0 25 0 1 0 831026183 74399744 15684 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18164 15684 1111 63 0 18101 0
vsize: 72656
[startup+190.006 s]
Raw data (loadavg): 0.99 1.08 1.58 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 15993 0 0 0 18969 32 0 0 25 0 1 0 831026183 75407360 15917 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18410 15917 1111 63 0 18347 0
vsize: 73640
[startup+200.006 s]
Raw data (loadavg): 0.99 1.07 1.58 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 16227 0 0 0 19969 33 0 0 25 0 1 0 831026183 76414976 16151 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18656 16151 1111 63 0 18593 0
vsize: 74624
[startup+210.006 s]
Raw data (loadavg): 0.99 1.07 1.57 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 16474 0 0 0 20968 33 0 0 25 0 1 0 831026183 77398016 16398 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18896 16398 1111 63 0 18833 0
vsize: 75584
[startup+220.005 s]
Raw data (loadavg): 0.99 1.07 1.56 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 16712 0 0 0 21968 34 0 0 25 0 1 0 831026183 78401536 16636 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19141 16636 1111 63 0 19078 0
vsize: 76564
[startup+230.005 s]
Raw data (loadavg): 0.99 1.06 1.56 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 16946 0 0 0 22968 34 0 0 25 0 1 0 831026183 79253504 16870 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 16870 1111 63 0 19286 0
vsize: 77396
[startup+240.02 s]
Raw data (loadavg): 0.99 1.06 1.55 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 17179 0 0 0 23969 34 0 0 25 0 1 0 831026183 80261120 17103 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19595 17103 1111 63 0 19532 0
vsize: 78380
[startup+250.021 s]
Raw data (loadavg): 0.99 1.06 1.54 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 17420 0 0 0 24969 34 0 0 25 0 1 0 831026183 81293312 17344 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19847 17344 1111 63 0 19784 0
vsize: 79388
[startup+260.021 s]
Raw data (loadavg): 0.99 1.06 1.54 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 17660 0 0 0 25969 35 0 0 25 0 1 0 831026183 82300928 17584 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20093 17584 1111 63 0 20030 0
vsize: 80372
[startup+270.021 s]
Raw data (loadavg): 0.99 1.05 1.53 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 17894 0 0 0 26969 35 0 0 25 0 1 0 831026183 83152896 17818 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20301 17818 1111 63 0 20238 0
vsize: 81204
[startup+280.021 s]
Raw data (loadavg): 0.99 1.05 1.52 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 18126 0 0 0 27969 35 0 0 25 0 1 0 831026183 84160512 18050 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20547 18050 1111 63 0 20484 0
vsize: 82188
[startup+290.02 s]
Raw data (loadavg): 0.99 1.05 1.52 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 18373 0 0 0 28969 36 0 0 25 0 1 0 831026183 85168128 18297 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20793 18297 1111 63 0 20730 0
vsize: 83172
[startup+300.02 s]
Raw data (loadavg): 0.99 1.05 1.51 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 18606 0 0 0 29968 36 0 0 25 0 1 0 831026183 86040576 18530 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21006 18530 1111 63 0 20943 0
vsize: 84024
[startup+310.02 s]
Raw data (loadavg): 0.99 1.05 1.51 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 18841 0 0 0 30968 37 0 0 25 0 1 0 831026183 87052288 18765 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21253 18765 1111 63 0 21190 0
vsize: 85012
[startup+320.019 s]
Raw data (loadavg): 0.99 1.04 1.50 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 19086 0 0 0 31968 37 0 0 25 0 1 0 831026183 88080384 19010 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21504 19010 1111 63 0 21441 0
vsize: 86016
[startup+330.02 s]
Raw data (loadavg): 0.99 1.04 1.50 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 19320 0 0 0 32968 37 0 0 25 0 1 0 831026183 89067520 19244 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21745 19244 1111 63 0 21682 0
vsize: 86980
[startup+340.02 s]
Raw data (loadavg): 0.99 1.04 1.49 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 19553 0 0 0 33967 38 0 0 25 0 1 0 831026183 89939968 19477 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21958 19477 1111 63 0 21895 0
vsize: 87832
[startup+350.019 s]
Raw data (loadavg): 0.99 1.04 1.48 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 19800 0 0 0 34967 38 0 0 25 0 1 0 831026183 90923008 19724 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22198 19724 1111 63 0 22135 0
vsize: 88792
[startup+360.019 s]
Raw data (loadavg): 0.99 1.04 1.48 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 20034 0 0 0 35967 39 0 0 25 0 1 0 831026183 91934720 19958 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22445 19958 1111 63 0 22382 0
vsize: 89780
[startup+370.019 s]
Raw data (loadavg): 0.99 1.04 1.47 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 20267 0 0 0 36966 39 0 0 25 0 1 0 831026183 92938240 20191 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22690 20191 1111 63 0 22627 0
vsize: 90760
[startup+380.019 s]
Raw data (loadavg): 0.99 1.03 1.47 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 20513 0 0 0 37966 40 0 0 25 0 1 0 831026183 93925376 20437 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22931 20437 1111 63 0 22868 0
vsize: 91724
[startup+390.019 s]
Raw data (loadavg): 0.99 1.03 1.46 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 20746 0 0 0 38966 40 0 0 25 0 1 0 831026183 94818304 20670 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23149 20670 1111 63 0 23086 0
vsize: 92596
[startup+400.02 s]
Raw data (loadavg): 0.99 1.03 1.45 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 20992 0 0 0 39966 41 0 0 25 0 1 0 831026183 95834112 20916 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23397 20916 1111 63 0 23334 0
vsize: 93588
[startup+410.019 s]
Raw data (loadavg): 0.99 1.03 1.45 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 21235 0 0 0 40966 41 0 0 25 0 1 0 831026183 96985088 21159 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23678 21159 1111 63 0 23615 0
vsize: 94712
[startup+420.019 s]
Raw data (loadavg): 0.99 1.03 1.44 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 21469 0 0 0 41965 41 0 0 25 0 1 0 831026183 97841152 21393 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23887 21393 1111 63 0 23824 0
vsize: 95548
[startup+430.02 s]
Raw data (loadavg): 0.99 1.03 1.44 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 21715 0 0 0 42965 42 0 0 25 0 1 0 831026183 98844672 21639 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24132 21639 1111 63 0 24069 0
vsize: 96528
[startup+440.02 s]
Raw data (loadavg): 0.99 1.03 1.43 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 21949 0 0 0 43965 42 0 0 25 0 1 0 831026183 99852288 21873 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24378 21873 1111 63 0 24315 0
vsize: 97512
[startup+450.02 s]
Raw data (loadavg): 0.99 1.02 1.43 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 22195 0 0 0 44964 43 0 0 25 0 1 0 831026183 100859904 22119 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24624 22119 1111 63 0 24561 0
vsize: 98496
[startup+460.019 s]
Raw data (loadavg): 0.99 1.02 1.42 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 22429 0 0 0 45964 43 0 0 25 0 1 0 831026183 101736448 22353 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24838 22353 1111 63 0 24775 0
vsize: 99352
[startup+470.019 s]
Raw data (loadavg): 0.99 1.02 1.42 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 22676 0 0 0 46963 44 0 0 25 0 1 0 831026183 102764544 22600 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25089 22600 1111 63 0 25026 0
vsize: 100356
[startup+480.019 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 22910 0 0 0 47963 44 0 0 25 0 1 0 831026183 103776256 22834 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25336 22834 1111 63 0 25273 0
vsize: 101344
[startup+490.018 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 23156 0 0 0 48963 45 0 0 25 0 1 0 831026183 104787968 23080 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25583 23080 1111 63 0 25520 0
vsize: 102332
[startup+500.019 s]
Raw data (loadavg): 0.99 1.02 1.41 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 23390 0 0 0 49963 45 0 0 25 0 1 0 831026183 105795584 23314 4294967295 134512640 134714508 3221224592 3221221420 1077254284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25829 23314 1111 63 0 25766 0
vsize: 103316
[startup+510.019 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 23636 0 0 0 50963 45 0 0 25 0 1 0 831026183 106803200 23560 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26075 23560 1111 63 0 26012 0
vsize: 104300
[startup+520.018 s]
Raw data (loadavg): 0.99 1.02 1.40 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 23869 0 0 0 51963 45 0 0 25 0 1 0 831026183 107675648 23793 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26288 23793 1111 63 0 26225 0
vsize: 105152
[startup+530.018 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 24116 0 0 0 52962 46 0 0 25 0 1 0 831026183 108687360 24040 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26535 24040 1111 63 0 26472 0
vsize: 106140
[startup+540.019 s]
Raw data (loadavg): 0.99 1.02 1.39 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 24349 0 0 0 53962 46 0 0 25 0 1 0 831026183 109690880 24273 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26780 24273 1111 63 0 26717 0
vsize: 107120
[startup+550.019 s]
Raw data (loadavg): 0.99 1.01 1.38 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 24596 0 0 0 54961 47 0 0 25 0 1 0 831026183 110702592 24520 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27027 24520 1111 63 0 26964 0
vsize: 108108
[startup+560.018 s]
Raw data (loadavg): 0.99 1.01 1.38 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 24841 0 0 0 55961 48 0 0 25 0 1 0 831026183 111730688 24765 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27278 24765 1111 63 0 27215 0
vsize: 109112
[startup+570.018 s]
Raw data (loadavg): 0.99 1.01 1.37 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 25076 0 0 0 56961 48 0 0 25 0 1 0 831026183 112582656 25000 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27486 25000 1111 63 0 27423 0
vsize: 109944
[startup+580.017 s]
Raw data (loadavg): 0.99 1.01 1.37 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 25322 0 0 0 57960 49 0 0 25 0 1 0 831026183 113590272 25246 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27732 25246 1111 63 0 27669 0
vsize: 110928
[startup+590.017 s]
Raw data (loadavg): 1.07 1.03 1.37 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 25556 0 0 0 58960 49 0 0 25 0 1 0 831026183 114601984 25480 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27979 25480 1111 63 0 27916 0
vsize: 111916
[startup+600.018 s]
Raw data (loadavg): 1.06 1.03 1.36 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 25803 0 0 0 59960 50 0 0 25 0 1 0 831026183 115609600 25727 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28225 25727 1111 63 0 28162 0
vsize: 112900
[startup+610.018 s]
Raw data (loadavg): 1.05 1.03 1.36 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 26048 0 0 0 60960 50 0 0 25 0 1 0 831026183 116617216 25972 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28471 25972 1111 63 0 28408 0
vsize: 113884
[startup+620.017 s]
Raw data (loadavg): 1.04 1.02 1.35 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 26283 0 0 0 61959 51 0 0 25 0 1 0 831026183 117624832 26207 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 26207 1111 63 0 28654 0
vsize: 114868
[startup+630.018 s]
Raw data (loadavg): 1.03 1.02 1.35 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 26529 0 0 0 62959 51 0 0 25 0 1 0 831026183 118632448 26453 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28963 26453 1111 63 0 28900 0
vsize: 115852
[startup+640.018 s]
Raw data (loadavg): 1.03 1.02 1.35 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 26775 0 0 0 63959 51 0 0 25 0 1 0 831026183 119508992 26699 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29177 26699 1111 63 0 29114 0
vsize: 116708
[startup+650.018 s]
Raw data (loadavg): 1.02 1.02 1.34 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 27009 0 0 0 64959 52 0 0 25 0 1 0 831026183 120516608 26933 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29423 26933 1111 63 0 29360 0
vsize: 117692
[startup+660.018 s]
Raw data (loadavg): 1.02 1.02 1.34 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 27256 0 0 0 65959 52 0 0 25 0 1 0 831026183 121548800 27180 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29675 27180 1111 63 0 29612 0
vsize: 118700
[startup+670.018 s]
Raw data (loadavg): 1.02 1.02 1.33 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 27501 0 0 0 66958 53 0 0 25 0 1 0 831026183 122556416 27425 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29921 27425 1111 63 0 29858 0
vsize: 119684
[startup+680.019 s]
Raw data (loadavg): 1.01 1.02 1.33 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 27736 0 0 0 67958 53 0 0 25 0 1 0 831026183 123568128 27660 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30168 27660 1111 63 0 30105 0
vsize: 120672
[startup+690.019 s]
Raw data (loadavg): 1.01 1.02 1.33 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 27983 0 0 0 68957 54 0 0 25 0 1 0 831026183 124575744 27907 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30414 27907 1111 63 0 30351 0
vsize: 121656
[startup+700.019 s]
Raw data (loadavg): 1.01 1.02 1.32 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 28229 0 0 0 69957 55 0 0 25 0 1 0 831026183 125583360 28153 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30660 28153 1111 63 0 30597 0
vsize: 122640
[startup+710.019 s]
Raw data (loadavg): 1.01 1.02 1.32 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 28475 0 0 0 70956 55 0 0 25 0 1 0 831026183 126459904 28399 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30874 28399 1111 63 0 30811 0
vsize: 123496
[startup+720.018 s]
Raw data (loadavg): 1.00 1.01 1.31 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 28708 0 0 0 71956 56 0 0 25 0 1 0 831026183 127467520 28632 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31120 28632 1111 63 0 31057 0
vsize: 124480
[startup+730.018 s]
Raw data (loadavg): 1.00 1.01 1.31 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 28956 0 0 0 72955 57 0 0 25 0 1 0 831026183 128499712 28880 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31372 28880 1111 63 0 31309 0
vsize: 125488
[startup+740.018 s]
Raw data (loadavg): 1.00 1.01 1.31 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 29201 0 0 0 73955 57 0 0 25 0 1 0 831026183 129503232 29125 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31617 29125 1111 63 0 31554 0
vsize: 126468
[startup+750.018 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 29447 0 0 0 74955 58 0 0 25 0 1 0 831026183 130514944 29371 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31864 29371 1111 63 0 31801 0
vsize: 127456
[startup+760.018 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 29686 0 0 0 75954 58 0 0 25 0 1 0 831026183 131522560 29610 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32110 29610 1111 63 0 32047 0
vsize: 128440
[startup+770.018 s]
Raw data (loadavg): 1.00 1.01 1.30 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 29927 0 0 0 76953 59 0 0 25 0 1 0 831026183 132530176 29851 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32356 29851 1111 63 0 32293 0
vsize: 129424
[startup+780.018 s]
Raw data (loadavg): 1.00 1.01 1.29 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 30172 0 0 0 77953 60 0 0 25 0 1 0 831026183 133537792 30096 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32602 30096 1111 63 0 32539 0
vsize: 130408
[startup+790.018 s]
Raw data (loadavg): 1.00 1.01 1.29 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 30419 0 0 0 78953 60 0 0 25 0 1 0 831026183 134549504 30343 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32849 30343 1111 63 0 32786 0
vsize: 131396
[startup+800.019 s]
Raw data (loadavg): 1.00 1.01 1.28 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 30685 0 0 0 79953 60 0 0 25 0 1 0 831026183 135749632 30609 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33142 30609 1111 63 0 33079 0
vsize: 132568
[startup+810.018 s]
Raw data (loadavg): 1.00 1.01 1.28 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 30930 0 0 0 80953 61 0 0 25 0 1 0 831026183 136622080 30854 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33355 30854 1111 63 0 33292 0
vsize: 133420
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 1.28 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 31171 0 0 0 81953 61 0 0 25 0 1 0 831026183 137609216 31095 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33596 31095 1111 63 0 33533 0
vsize: 134384
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 31410 0 0 0 82952 61 0 0 25 0 1 0 831026183 138637312 31334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33847 31334 1111 63 0 33784 0
vsize: 135388
[startup+840.017 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 31658 0 0 0 83952 62 0 0 25 0 1 0 831026183 139649024 31582 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34094 31582 1111 63 0 34031 0
vsize: 136376
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 1.27 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 31904 0 0 0 84953 63 0 0 25 0 1 0 831026183 140677120 31828 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34345 31828 1111 63 0 34282 0
vsize: 137380
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 32151 0 0 0 85954 63 0 0 25 0 1 0 831026183 141664256 32075 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34586 32075 1111 63 0 34523 0
vsize: 138344
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 32396 0 0 0 86955 63 0 0 25 0 1 0 831026183 142692352 32320 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34837 32320 1111 63 0 34774 0
vsize: 139348
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 1.26 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 32643 0 0 0 87955 64 0 0 25 0 1 0 831026183 143679488 32567 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 32567 1111 63 0 35015 0
vsize: 140312
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 32890 0 0 0 88954 65 0 0 25 0 1 0 831026183 144691200 32814 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35325 32814 1111 63 0 35262 0
vsize: 141300
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 33136 0 0 0 89954 65 0 0 25 0 1 0 831026183 145694720 33060 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35570 33060 1111 63 0 35507 0
vsize: 142280
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 33383 0 0 0 90953 66 0 0 25 0 1 0 831026183 146681856 33307 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35811 33307 1111 63 0 35748 0
vsize: 143244
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 1.25 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 33628 0 0 0 91953 66 0 0 25 0 1 0 831026183 147709952 33552 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36062 33552 1111 63 0 35999 0
vsize: 144248
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 33875 0 0 0 92953 67 0 0 25 0 1 0 831026183 148697088 33799 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36303 33799 1111 63 0 36240 0
vsize: 145212
[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 34121 0 0 0 93953 67 0 0 25 0 1 0 831026183 149725184 34045 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 34045 1111 63 0 36491 0
vsize: 146216
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 1.24 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 34369 0 0 0 94952 67 0 0 25 0 1 0 831026183 150712320 34293 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36795 34293 1111 63 0 36732 0
vsize: 147180
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 34614 0 0 0 95952 68 0 0 25 0 1 0 831026183 151740416 34538 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37046 34538 1111 63 0 36983 0
vsize: 148184
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 34861 0 0 0 96952 68 0 0 25 0 1 0 831026183 152727552 34785 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37287 34785 1111 63 0 37224 0
vsize: 149148
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 1.23 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 35108 0 0 0 97952 68 0 0 25 0 1 0 831026183 153735168 35032 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37533 35032 1111 63 0 37470 0
vsize: 150132
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 35354 0 0 0 98952 68 0 0 25 0 1 0 831026183 154742784 35278 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37779 35278 1111 63 0 37716 0
vsize: 151116
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 35602 0 0 0 99952 69 0 0 25 0 1 0 831026183 155754496 35526 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 35526 1111 63 0 37963 0
vsize: 152104
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 35847 0 0 0 100952 69 0 0 25 0 1 0 831026183 156782592 35771 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38277 35771 1111 63 0 38214 0
vsize: 153108
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.22 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 36094 0 0 0 101951 69 0 0 25 0 1 0 831026183 157769728 36018 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38518 36018 1111 63 0 38455 0
vsize: 154072
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 36339 0 0 0 102951 70 0 0 25 0 1 0 831026183 158797824 36263 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38769 36263 1111 63 0 38706 0
vsize: 155076
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 36587 0 0 0 103951 70 0 0 25 0 1 0 831026183 159809536 36511 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39016 36511 1111 63 0 38953 0
vsize: 156064
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.21 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 36834 0 0 0 104951 70 0 0 25 0 1 0 831026183 160837632 36758 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39267 36758 1111 63 0 39204 0
vsize: 157068
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 37080 0 0 0 105951 71 0 0 25 0 1 0 831026183 161824768 37004 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39508 37004 1111 63 0 39445 0
vsize: 158032
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 37333 0 0 0 106950 72 0 0 25 0 1 0 831026183 162832384 37257 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39754 37257 1111 63 0 39691 0
vsize: 159016
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 37585 0 0 0 107950 72 0 0 25 0 1 0 831026183 163971072 37509 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40032 37509 1111 63 0 39969 0
vsize: 160128
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.20 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 37833 0 0 0 108949 73 0 0 25 0 1 0 831026183 164978688 37757 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40278 37757 1111 63 0 40215 0
vsize: 161112
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 38078 0 0 0 109949 73 0 0 25 0 1 0 831026183 165986304 38002 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40524 38002 1111 63 0 40461 0
vsize: 162096
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 38325 0 0 0 110949 74 0 0 25 0 1 0 831026183 166993920 38249 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40770 38249 1111 63 0 40707 0
vsize: 163080
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.19 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 38570 0 0 0 111949 74 0 0 25 0 1 0 831026183 168001536 38494 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 38494 1111 63 0 40953 0
vsize: 164064
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 38824 0 0 0 112949 74 0 0 25 0 1 0 831026183 169037824 38748 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41269 38748 1111 63 0 41206 0
vsize: 165076
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 39078 0 0 0 113948 75 0 0 25 0 1 0 831026183 170049536 39002 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41516 39002 1111 63 0 41453 0
vsize: 166064
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 39324 0 0 0 114949 76 0 0 25 0 1 0 831026183 171077632 39248 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41767 39248 1111 63 0 41704 0
vsize: 167068
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 39571 0 0 0 115948 76 0 0 25 0 1 0 831026183 172064768 39495 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42008 39495 1111 63 0 41945 0
vsize: 168032
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.18 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 39816 0 0 0 116948 77 0 0 25 0 1 0 831026183 173092864 39740 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42259 39740 1111 63 0 42196 0
vsize: 169036
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.17 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 40076 0 0 0 117948 77 0 0 25 0 1 0 831026183 174104576 40000 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42506 40000 1111 63 0 42443 0
vsize: 170024
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.17 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 40323 0 0 0 118947 78 0 0 25 0 1 0 831026183 175108096 40247 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42751 40247 1111 63 0 42688 0
vsize: 171004
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.17 2/54 25146
Raw data (stat): 25146 (bsolo_lpr) R 25145 24821 24820 0 -1 0 40569 0 0 0 119947 78 0 0 25 0 1 0 831026183 176095232 40493 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42992 40493 1111 63 0 42929 0
vsize: 171968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.17 1/54 25146
Raw data (stat): 25146 (bsolo_lpr) Z 25145 24821 24820 0 -1 1036 40569 0 0 0 119947 85 0 0 24 0 1 0 831026183 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.16
CPU time (s): 1200.34
CPU user time (s): 1199.48
CPU system time (s): 0.859869
CPU usage (%): 100.015
Max. virtual memory (Kb): 171968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####