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/MIPLIB/miplib2003/normalized-mps-v2-13-7-set1ch.opb
MD5SUM	154c7c542b6df7aab333fa859438b34f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65634210
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1252.14
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 27208

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 20:07:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17993 boxname=wulflinc4 idbench=1385 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  154c7c542b6df7aab333fa859438b34f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 17993
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        839704 kB
Buffers:         34304 kB
Cached:         140360 kB
SwapCached:        504 kB
Active:          59292 kB
Inactive:       117896 kB
HighTotal:      131008 kB
HighFree:         1848 kB
LowTotal:       903652 kB
LowFree:        837856 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12252 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:26:54 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 17993 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9680 variables and 732 constraints.
c After prepocess the problem consists of 7700 variables and 954 constraints.
c preprocess terminated 7.029 s
c Initial Lower Bound: 17980473
c Lower Bound Elapsed time: 1.824
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### 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 0.98 0.96 2/54 23262
Raw data (stat): 23262 (runsolver) R 23261 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774763416 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.0006 s]
Raw data (loadavg): 0.93 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 12084 0 0 0 970 27 0 0 25 0 1 0 774763416 49692672 11355 4294967295 134512640 134714508 3221224592 3221222832 1075006807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12132 11355 1111 63 0 12069 0
vsize: 48528
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15217 0 0 0 1962 35 0 0 25 0 1 0 774763416 52576256 12062 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12062 1111 63 0 12773 0
vsize: 51344
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15220 0 0 0 2962 35 0 0 25 0 1 0 774763416 52576256 12065 4294967295 134512640 134714508 3221224592 3221223392 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12065 1111 63 0 12773 0
vsize: 51344
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15220 0 0 0 3962 35 0 0 25 0 1 0 774763416 52576256 12065 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12065 1111 63 0 12773 0
vsize: 51344
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15220 0 0 0 4961 36 0 0 25 0 1 0 774763416 52576256 12065 4294967295 134512640 134714508 3221224592 3221223384 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12065 1111 63 0 12773 0
vsize: 51344
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 5961 37 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 6960 38 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 7960 38 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+90.0159 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 8961 39 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+100.017 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 9960 40 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+110.021 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 10959 41 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+120.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15222 0 0 0 11959 42 0 0 25 0 1 0 774763416 52576256 12067 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12067 1111 63 0 12773 0
vsize: 51344
[startup+130.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15223 0 0 0 12959 43 0 0 25 0 1 0 774763416 52576256 12068 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12068 1111 63 0 12773 0
vsize: 51344
[startup+140.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15223 0 0 0 13959 43 0 0 25 0 1 0 774763416 52576256 12068 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12068 1111 63 0 12773 0
vsize: 51344
[startup+150.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15223 0 0 0 14958 44 0 0 25 0 1 0 774763416 52576256 12068 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12068 1111 63 0 12773 0
vsize: 51344
[startup+160.132 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 15290 0 0 0 15968 44 0 0 25 0 1 0 774763416 52846592 12135 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12902 12135 1111 63 0 12839 0
vsize: 51608
[startup+170.131 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16312 0 0 0 16963 49 0 0 25 0 1 0 774763416 57036800 13157 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13925 13157 1111 63 0 13862 0
vsize: 55700
[startup+180.131 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16317 0 0 0 17963 49 0 0 25 0 1 0 774763416 57171968 13162 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13958 13162 1111 63 0 13895 0
vsize: 55832
[startup+190.132 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16341 0 0 0 18963 50 0 0 25 0 1 0 774763416 57171968 13186 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13958 13186 1111 63 0 13895 0
vsize: 55832
[startup+200.132 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16358 0 0 0 19963 50 0 0 25 0 1 0 774763416 57307136 13203 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13991 13203 1111 63 0 13928 0
vsize: 55964
[startup+210.132 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16392 0 0 0 20962 51 0 0 25 0 1 0 774763416 57442304 13237 4294967295 134512640 134714508 3221224592 3221223352 134613522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14024 13237 1111 63 0 13961 0
vsize: 56096
[startup+220.133 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16399 0 0 0 21962 51 0 0 25 0 1 0 774763416 57442304 13244 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14024 13244 1111 63 0 13961 0
vsize: 56096
[startup+230.132 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16421 0 0 0 22962 52 0 0 25 0 1 0 774763416 57577472 13266 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14057 13266 1111 63 0 13994 0
vsize: 56228
[startup+240.132 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16423 0 0 0 23961 52 0 0 25 0 1 0 774763416 57577472 13268 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14057 13268 1111 63 0 13994 0
vsize: 56228
[startup+250.133 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16430 0 0 0 24961 53 0 0 25 0 1 0 774763416 57577472 13275 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14057 13275 1111 63 0 13994 0
vsize: 56228
[startup+260.133 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16432 0 0 0 25960 54 0 0 25 0 1 0 774763416 57577472 13277 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14057 13277 1111 63 0 13994 0
vsize: 56228
[startup+270.133 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16446 0 0 0 26960 55 0 0 25 0 1 0 774763416 57577472 13291 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14057 13291 1111 63 0 13994 0
vsize: 56228
[startup+280.133 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16449 0 0 0 27959 55 0 0 25 0 1 0 774763416 57712640 13294 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 13294 1111 63 0 14027 0
vsize: 56360
[startup+290.134 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16463 0 0 0 28958 56 0 0 25 0 1 0 774763416 57712640 13308 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 13308 1111 63 0 14027 0
vsize: 56360
[startup+300.134 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16466 0 0 0 29958 57 0 0 25 0 1 0 774763416 57712640 13311 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 13311 1111 63 0 14027 0
vsize: 56360
[startup+310.134 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16479 0 0 0 30957 58 0 0 25 0 1 0 774763416 57712640 13324 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 13324 1111 63 0 14027 0
vsize: 56360
[startup+320.135 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16483 0 0 0 31956 59 0 0 25 0 1 0 774763416 57847808 13328 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13328 1111 63 0 14060 0
vsize: 56492
[startup+330.134 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16486 0 0 0 32956 59 0 0 25 0 1 0 774763416 57847808 13331 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13331 1111 63 0 14060 0
vsize: 56492
[startup+340.135 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16491 0 0 0 33956 59 0 0 25 0 1 0 774763416 57847808 13336 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13336 1111 63 0 14060 0
vsize: 56492
[startup+350.135 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16495 0 0 0 34955 60 0 0 25 0 1 0 774763416 57847808 13340 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13340 1111 63 0 14060 0
vsize: 56492
[startup+360.136 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16497 0 0 0 35955 61 0 0 25 0 1 0 774763416 57847808 13342 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13342 1111 63 0 14060 0
vsize: 56492
[startup+370.136 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16504 0 0 0 36954 62 0 0 25 0 1 0 774763416 57847808 13349 4294967295 134512640 134714508 3221224592 3221223368 134613535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13349 1111 63 0 14060 0
vsize: 56492
[startup+380.136 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16509 0 0 0 37953 63 0 0 25 0 1 0 774763416 57847808 13354 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13354 1111 63 0 14060 0
vsize: 56492
[startup+390.137 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16510 0 0 0 38952 64 0 0 25 0 1 0 774763416 57847808 13355 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13355 1111 63 0 14060 0
vsize: 56492
[startup+400.137 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16510 0 0 0 39952 64 0 0 25 0 1 0 774763416 57847808 13355 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 13355 1111 63 0 14060 0
vsize: 56492
[startup+410.137 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16517 0 0 0 40952 65 0 0 25 0 1 0 774763416 57982976 13362 4294967295 134512640 134714508 3221224592 3221223392 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14156 13362 1111 63 0 14093 0
vsize: 56624
[startup+420.137 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16525 0 0 0 41951 66 0 0 25 0 1 0 774763416 57982976 13370 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14156 13370 1111 63 0 14093 0
vsize: 56624
[startup+430.137 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16533 0 0 0 42951 66 0 0 25 0 1 0 774763416 57982976 13378 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14156 13378 1111 63 0 14093 0
vsize: 56624
[startup+440.138 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16541 0 0 0 43951 66 0 0 25 0 1 0 774763416 57982976 13386 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14156 13386 1111 63 0 14093 0
vsize: 56624
[startup+450.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16549 0 0 0 44950 67 0 0 25 0 1 0 774763416 58118144 13394 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14189 13394 1111 63 0 14126 0
vsize: 56756
[startup+460.139 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16557 0 0 0 45950 68 0 0 25 0 1 0 774763416 58118144 13402 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14189 13402 1111 63 0 14126 0
vsize: 56756
[startup+470.139 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16566 0 0 0 46950 68 0 0 25 0 1 0 774763416 58118144 13411 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14189 13411 1111 63 0 14126 0
vsize: 56756
[startup+480.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16574 0 0 0 47949 69 0 0 25 0 1 0 774763416 58118144 13419 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14189 13419 1111 63 0 14126 0
vsize: 56756
[startup+490.138 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16581 0 0 0 48948 70 0 0 25 0 1 0 774763416 58253312 13426 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14222 13426 1111 63 0 14159 0
vsize: 56888
[startup+500.139 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16590 0 0 0 49948 70 0 0 25 0 1 0 774763416 58253312 13435 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14222 13435 1111 63 0 14159 0
vsize: 56888
[startup+510.14 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16599 0 0 0 50948 71 0 0 25 0 1 0 774763416 58253312 13444 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14222 13444 1111 63 0 14159 0
vsize: 56888
[startup+520.14 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16606 0 0 0 51948 71 0 0 25 0 1 0 774763416 58253312 13451 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14222 13451 1111 63 0 14159 0
vsize: 56888
[startup+530.141 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16615 0 0 0 52947 72 0 0 25 0 1 0 774763416 58388480 13460 4294967295 134512640 134714508 3221224592 3221223392 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14255 13460 1111 63 0 14192 0
vsize: 57020
[startup+540.141 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16623 0 0 0 53947 73 0 0 25 0 1 0 774763416 58388480 13468 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14255 13468 1111 63 0 14192 0
vsize: 57020
[startup+550.142 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16631 0 0 0 54946 73 0 0 25 0 1 0 774763416 58388480 13476 4294967295 134512640 134714508 3221224592 3221223392 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14255 13476 1111 63 0 14192 0
vsize: 57020
[startup+560.143 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16639 0 0 0 55946 73 0 0 25 0 1 0 774763416 58388480 13484 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14255 13484 1111 63 0 14192 0
vsize: 57020
[startup+570.143 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16646 0 0 0 56946 74 0 0 25 0 1 0 774763416 58388480 13491 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14255 13491 1111 63 0 14192 0
vsize: 57020
[startup+580.143 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16655 0 0 0 57946 74 0 0 25 0 1 0 774763416 58523648 13500 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14288 13500 1111 63 0 14225 0
vsize: 57152
[startup+590.144 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16664 0 0 0 58946 75 0 0 25 0 1 0 774763416 58523648 13509 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14288 13509 1111 63 0 14225 0
vsize: 57152
[startup+600.145 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16672 0 0 0 59945 76 0 0 25 0 1 0 774763416 58523648 13517 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14288 13517 1111 63 0 14225 0
vsize: 57152
[startup+610.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16682 0 0 0 60944 76 0 0 25 0 1 0 774763416 58658816 13527 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14321 13527 1111 63 0 14258 0
vsize: 57284
[startup+620.145 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16689 0 0 0 61944 77 0 0 25 0 1 0 774763416 58658816 13534 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14321 13534 1111 63 0 14258 0
vsize: 57284
[startup+630.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16698 0 0 0 62944 77 0 0 25 0 1 0 774763416 58658816 13543 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14321 13543 1111 63 0 14258 0
vsize: 57284
[startup+640.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16705 0 0 0 63944 78 0 0 25 0 1 0 774763416 58658816 13550 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14321 13550 1111 63 0 14258 0
vsize: 57284
[startup+650.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16712 0 0 0 64943 78 0 0 25 0 1 0 774763416 58658816 13557 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14321 13557 1111 63 0 14258 0
vsize: 57284
[startup+660.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16722 0 0 0 65943 78 0 0 25 0 1 0 774763416 58793984 13567 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14354 13567 1111 63 0 14291 0
vsize: 57416
[startup+670.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16729 0 0 0 66943 79 0 0 25 0 1 0 774763416 58793984 13574 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14354 13574 1111 63 0 14291 0
vsize: 57416
[startup+680.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16736 0 0 0 67942 80 0 0 25 0 1 0 774763416 58793984 13581 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14354 13581 1111 63 0 14291 0
vsize: 57416
[startup+690.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16745 0 0 0 68942 80 0 0 25 0 1 0 774763416 58793984 13590 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14354 13590 1111 63 0 14291 0
vsize: 57416
[startup+700.146 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16752 0 0 0 69942 80 0 0 25 0 1 0 774763416 58929152 13597 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14387 13597 1111 63 0 14324 0
vsize: 57548
[startup+710.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16761 0 0 0 70941 81 0 0 25 0 1 0 774763416 58929152 13606 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14387 13606 1111 63 0 14324 0
vsize: 57548
[startup+720.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16769 0 0 0 71941 82 0 0 25 0 1 0 774763416 58929152 13614 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14387 13614 1111 63 0 14324 0
vsize: 57548
[startup+730.147 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16776 0 0 0 72940 83 0 0 25 0 1 0 774763416 58929152 13621 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14387 13621 1111 63 0 14324 0
vsize: 57548
[startup+740.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16892 0 0 0 73939 84 0 0 25 0 1 0 774763416 59469824 13737 4294967295 134512640 134714508 3221224592 3221223472 134579551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14519 13737 1111 63 0 14456 0
vsize: 58076
[startup+750.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16990 0 0 0 74938 85 0 0 25 0 1 0 774763416 59875328 13835 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14618 13835 1111 63 0 14555 0
vsize: 58472
[startup+760.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 16992 0 0 0 75938 85 0 0 25 0 1 0 774763416 59875328 13837 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14618 13837 1111 63 0 14555 0
vsize: 58472
[startup+770.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17008 0 0 0 76938 86 0 0 25 0 1 0 774763416 59875328 13853 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14618 13853 1111 63 0 14555 0
vsize: 58472
[startup+780.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17027 0 0 0 77938 86 0 0 25 0 1 0 774763416 60010496 13872 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14651 13872 1111 63 0 14588 0
vsize: 58604
[startup+790.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17049 0 0 0 78937 87 0 0 25 0 1 0 774763416 60145664 13894 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14684 13894 1111 63 0 14621 0
vsize: 58736
[startup+800.148 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17067 0 0 0 79937 87 0 0 25 0 1 0 774763416 60145664 13912 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14684 13912 1111 63 0 14621 0
vsize: 58736
[startup+810.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17083 0 0 0 80937 87 0 0 25 0 1 0 774763416 60280832 13928 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14717 13928 1111 63 0 14654 0
vsize: 58868
[startup+820.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17097 0 0 0 81937 87 0 0 25 0 1 0 774763416 60280832 13942 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14717 13942 1111 63 0 14654 0
vsize: 58868
[startup+830.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17109 0 0 0 82936 88 0 0 25 0 1 0 774763416 60416000 13954 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14750 13954 1111 63 0 14687 0
vsize: 59000
[startup+840.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17122 0 0 0 83936 89 0 0 25 0 1 0 774763416 60416000 13967 4294967295 134512640 134714508 3221224592 3221223392 134597738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14750 13967 1111 63 0 14687 0
vsize: 59000
[startup+850.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17145 0 0 0 84936 89 0 0 25 0 1 0 774763416 60551168 13990 4294967295 134512640 134714508 3221224592 3221223392 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14783 13990 1111 63 0 14720 0
vsize: 59132
[startup+860.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17158 0 0 0 85935 90 0 0 25 0 1 0 774763416 60551168 14003 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14783 14003 1111 63 0 14720 0
vsize: 59132
[startup+870.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17176 0 0 0 86935 90 0 0 25 0 1 0 774763416 60682240 14021 4294967295 134512640 134714508 3221224592 3221223372 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14815 14021 1111 63 0 14752 0
vsize: 59260
[startup+880.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17208 0 0 0 87935 91 0 0 25 0 1 0 774763416 60817408 14053 4294967295 134512640 134714508 3221224592 3221223392 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 14053 1111 63 0 14785 0
vsize: 59392
[startup+890.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17227 0 0 0 88934 92 0 0 25 0 1 0 774763416 60817408 14072 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 14072 1111 63 0 14785 0
vsize: 59392
[startup+900.149 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17255 0 0 0 89934 92 0 0 25 0 1 0 774763416 60952576 14100 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14881 14100 1111 63 0 14818 0
vsize: 59524
[startup+910.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17286 0 0 0 90934 92 0 0 25 0 1 0 774763416 61087744 14131 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14914 14131 1111 63 0 14851 0
vsize: 59656
[startup+920.151 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17311 0 0 0 91933 93 0 0 25 0 1 0 774763416 61222912 14156 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14947 14156 1111 63 0 14884 0
vsize: 59788
[startup+930.151 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17342 0 0 0 92933 94 0 0 25 0 1 0 774763416 61358080 14187 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14980 14187 1111 63 0 14917 0
vsize: 59920
[startup+940.151 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17370 0 0 0 93932 95 0 0 25 0 1 0 774763416 61358080 14215 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14980 14215 1111 63 0 14917 0
vsize: 59920
[startup+950.152 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17394 0 0 0 94931 95 0 0 25 0 1 0 774763416 61493248 14239 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15013 14239 1111 63 0 14950 0
vsize: 60052
[startup+960.152 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17417 0 0 0 95931 96 0 0 25 0 1 0 774763416 61628416 14262 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15046 14262 1111 63 0 14983 0
vsize: 60184
[startup+970.152 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17448 0 0 0 96930 97 0 0 25 0 1 0 774763416 61763584 14293 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15079 14293 1111 63 0 15016 0
vsize: 60316
[startup+980.152 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17469 0 0 0 97930 97 0 0 25 0 1 0 774763416 61763584 14314 4294967295 134512640 134714508 3221224592 3221223244 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15079 14314 1111 63 0 15016 0
vsize: 60316
[startup+990.153 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17501 0 0 0 98930 98 0 0 25 0 1 0 774763416 61898752 14346 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15112 14346 1111 63 0 15049 0
vsize: 60448
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17503 0 0 0 99929 99 0 0 25 0 1 0 774763416 61898752 14348 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15112 14348 1111 63 0 15049 0
vsize: 60448
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17504 0 0 0 100929 99 0 0 25 0 1 0 774763416 62033920 14349 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15145 14349 1111 63 0 15082 0
vsize: 60580
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17524 0 0 0 101929 99 0 0 25 0 1 0 774763416 62033920 14369 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15145 14369 1111 63 0 15082 0
vsize: 60580
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17541 0 0 0 102929 100 0 0 25 0 1 0 774763416 62164992 14386 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14386 1111 63 0 15114 0
vsize: 60708
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17561 0 0 0 103928 100 0 0 25 0 1 0 774763416 62164992 14406 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 14406 1111 63 0 15114 0
vsize: 60708
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17579 0 0 0 104928 101 0 0 25 0 1 0 774763416 62300160 14424 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15210 14424 1111 63 0 15147 0
vsize: 60840
[startup+1060.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17596 0 0 0 105928 101 0 0 25 0 1 0 774763416 62300160 14441 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15210 14441 1111 63 0 15147 0
vsize: 60840
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17613 0 0 0 106927 102 0 0 25 0 1 0 774763416 62435328 14458 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15243 14458 1111 63 0 15180 0
vsize: 60972
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17630 0 0 0 107927 103 0 0 25 0 1 0 774763416 62435328 14475 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15243 14475 1111 63 0 15180 0
vsize: 60972
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17649 0 0 0 108926 103 0 0 25 0 1 0 774763416 62570496 14494 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15276 14494 1111 63 0 15213 0
vsize: 61104
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17669 0 0 0 109926 104 0 0 25 0 1 0 774763416 62705664 14514 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15309 14514 1111 63 0 15246 0
vsize: 61236
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17678 0 0 0 110926 104 0 0 25 0 1 0 774763416 62705664 14523 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15309 14523 1111 63 0 15246 0
vsize: 61236
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17696 0 0 0 111926 105 0 0 25 0 1 0 774763416 62705664 14541 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15309 14541 1111 63 0 15246 0
vsize: 61236
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17715 0 0 0 112925 105 0 0 25 0 1 0 774763416 62840832 14560 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15342 14560 1111 63 0 15279 0
vsize: 61368
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17732 0 0 0 113925 106 0 0 25 0 1 0 774763416 62840832 14577 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15342 14577 1111 63 0 15279 0
vsize: 61368
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17749 0 0 0 114925 106 0 0 25 0 1 0 774763416 62976000 14594 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15375 14594 1111 63 0 15312 0
vsize: 61500
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17763 0 0 0 115924 107 0 0 25 0 1 0 774763416 62976000 14608 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15375 14608 1111 63 0 15312 0
vsize: 61500
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17783 0 0 0 116924 107 0 0 25 0 1 0 774763416 63111168 14628 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15408 14628 1111 63 0 15345 0
vsize: 61632
[startup+1174.88 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 23262
Raw data (stat): 23262 (bsolo_lpr) R 23261 21152 21151 0 -1 0 17783 0 0 0 116924 107 0 0 25 0 1 0 774763416 63111168 14628 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15408 14628 1111 63 0 15345 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1173.94
CPU system time (s): 1.10383
CPU usage (%): 100.014
Max. virtual memory (Kb): 61632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####