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/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 39507

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 10:56:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27572 boxname=wulflinc4 idbench=130 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc4/normalized-g125.17.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-g125.17.opb
IDLAUNCH: 27572
/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:        397840 kB
Buffers:         34512 kB
Cached:         578280 kB
SwapCached:        568 kB
Active:          58848 kB
Inactive:       556100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        397588 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            16140 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:16:30 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 27572 7 1200.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4250 variables and 68397 constraints.
c After prepocess the problem consists of 4250 variables and 68577 constraints.
c preprocess terminated 461.531 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.01 1.00 0.92 2/54 12952
Raw data (stat): 12952 (runsolver) R 12951 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892432932 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 41887 0 0 0 900 98 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+20.002 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 95222 0 0 0 1773 224 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+30.0028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 127270 0 0 0 2697 300 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+40.0031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 158949 0 0 0 3625 372 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+50.0037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 186413 0 0 0 4558 439 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223200 134594999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+60.0042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 203743 0 0 0 5515 482 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223164 1076647540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+70.0045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 6477 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+80.0054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 7478 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+90.0058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 8478 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+100.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 9478 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223088 134543724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+110.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 10479 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+120.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 11480 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+130.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 12480 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+140.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 13480 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223376 134617627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+150.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 14480 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223072 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+160.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 15481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+170.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 16481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+180.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 17481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+190.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 18481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223048 1077377685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+200.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 19481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+210.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12952
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 20481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+220.025 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 21481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223064 134543644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+230.026 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 22481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+240.026 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 23481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+250.026 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 24481 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+260.027 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 25482 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+270.027 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 26482 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+280.028 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 13005
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 27482 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+290.028 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 28482 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223008 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+300.028 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 29482 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+310.029 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 30483 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+320.029 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 31483 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+330.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 32483 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+340.031 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 33483 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+350.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 34483 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+360.031 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 35484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221222992 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+370.031 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 36484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+380.032 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 37484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+390.032 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 38484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+400.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 39484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+410.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 40484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+420.042 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 41484 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+430.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 42487 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+440.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 43487 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+450.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 219507 0 0 0 44487 521 0 0 25 0 1 0 892432932 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+460.062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220044 0 0 0 45486 523 0 0 25 0 1 0 892432932 176812032 42311 4294967295 134512640 134716908 3221224576 3221223440 134622433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43167 42311 1111 63 0 43104 0
vsize: 172668
[startup+470.063 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220395 0 0 0 46484 525 0 0 25 0 1 0 892432932 178683904 42662 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43624 42662 1111 63 0 43561 0
vsize: 174496
[startup+480.064 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220448 0 0 0 47482 527 0 0 25 0 1 0 892432932 178872320 42679 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43670 42679 1111 63 0 43607 0
vsize: 174680
[startup+490.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220527 0 0 0 48480 529 0 0 25 0 1 0 892432932 179167232 42758 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43742 42758 1111 63 0 43679 0
vsize: 174968
[startup+500.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220609 0 0 0 49479 530 0 0 25 0 1 0 892432932 179478528 42840 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43818 42840 1111 63 0 43755 0
vsize: 175272
[startup+510.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220641 0 0 0 50478 531 0 0 25 0 1 0 892432932 179601408 42872 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43848 42872 1111 63 0 43785 0
vsize: 175392
[startup+520.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220685 0 0 0 51478 532 0 0 25 0 1 0 892432932 179752960 42916 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43885 42916 1111 63 0 43822 0
vsize: 175540
[startup+530.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220710 0 0 0 52477 533 0 0 25 0 1 0 892432932 179851264 42941 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43909 42941 1111 63 0 43846 0
vsize: 175636
[startup+540.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220734 0 0 0 53477 533 0 0 25 0 1 0 892432932 179945472 42965 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43932 42965 1111 63 0 43869 0
vsize: 175728
[startup+550.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220835 0 0 0 54476 534 0 0 25 0 1 0 892432932 180322304 43066 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44024 43066 1111 63 0 43961 0
vsize: 176096
[startup+560.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13007
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220855 0 0 0 55476 535 0 0 25 0 1 0 892432932 180400128 43086 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44043 43086 1111 63 0 43980 0
vsize: 176172
[startup+570.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220874 0 0 0 56475 535 0 0 25 0 1 0 892432932 180473856 43105 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44061 43105 1111 63 0 43998 0
vsize: 176244
[startup+580.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 220893 0 0 0 57475 536 0 0 25 0 1 0 892432932 180547584 43124 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44079 43124 1111 63 0 44016 0
vsize: 176316
[startup+590.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221003 0 0 0 58475 537 0 0 25 0 1 0 892432932 180793344 43193 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44139 43193 1111 63 0 44076 0
vsize: 176556
[startup+600.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221018 0 0 0 59474 537 0 0 25 0 1 0 892432932 180854784 43208 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44154 43208 1111 63 0 44091 0
vsize: 176616
[startup+610.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221034 0 0 0 60474 538 0 0 25 0 1 0 892432932 180916224 43224 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44169 43224 1111 63 0 44106 0
vsize: 176676
[startup+620.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221049 0 0 0 61473 538 0 0 25 0 1 0 892432932 180973568 43239 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44183 43239 1111 63 0 44120 0
vsize: 176732
[startup+630.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221065 0 0 0 62473 539 0 0 25 0 1 0 892432932 181035008 43255 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44198 43255 1111 63 0 44135 0
vsize: 176792
[startup+640.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221080 0 0 0 63473 539 0 0 25 0 1 0 892432932 181096448 43270 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44213 43270 1111 63 0 44150 0
vsize: 176852
[startup+650.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221094 0 0 0 64473 540 0 0 25 0 1 0 892432932 181149696 43284 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44226 43284 1111 63 0 44163 0
vsize: 176904
[startup+660.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221154 0 0 0 65472 540 0 0 25 0 1 0 892432932 181391360 43344 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44285 43344 1111 63 0 44222 0
vsize: 177140
[startup+670.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221168 0 0 0 66472 541 0 0 25 0 1 0 892432932 181448704 43358 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44299 43358 1111 63 0 44236 0
vsize: 177196
[startup+680.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221182 0 0 0 67472 542 0 0 25 0 1 0 892432932 181501952 43372 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44312 43372 1111 63 0 44249 0
vsize: 177248
[startup+690.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221195 0 0 0 68471 542 0 0 25 0 1 0 892432932 181551104 43385 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44324 43385 1111 63 0 44261 0
vsize: 177296
[startup+700.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221209 0 0 0 69471 542 0 0 25 0 1 0 892432932 181608448 43399 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44338 43399 1111 63 0 44275 0
vsize: 177352
[startup+710.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221222 0 0 0 70471 542 0 0 25 0 1 0 892432932 181657600 43412 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44350 43412 1111 63 0 44287 0
vsize: 177400
[startup+720.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221234 0 0 0 71471 543 0 0 25 0 1 0 892432932 181706752 43424 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44362 43424 1111 63 0 44299 0
vsize: 177448
[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221247 0 0 0 72471 543 0 0 25 0 1 0 892432932 181755904 43437 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44374 43437 1111 63 0 44311 0
vsize: 177496
[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221312 0 0 0 73470 544 0 0 25 0 1 0 892432932 182018048 43502 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44438 43502 1111 63 0 44375 0
vsize: 177752
[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221322 0 0 0 74470 544 0 0 25 0 1 0 892432932 182059008 43512 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44448 43512 1111 63 0 44385 0
vsize: 177792
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221335 0 0 0 75470 545 0 0 25 0 1 0 892432932 182108160 43525 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44460 43525 1111 63 0 44397 0
vsize: 177840
[startup+770.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221346 0 0 0 76470 545 0 0 25 0 1 0 892432932 182153216 43536 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44471 43536 1111 63 0 44408 0
vsize: 177884
[startup+780.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221357 0 0 0 77470 545 0 0 25 0 1 0 892432932 182194176 43547 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44481 43547 1111 63 0 44418 0
vsize: 177924
[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221368 0 0 0 78469 546 0 0 25 0 1 0 892432932 182239232 43558 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44492 43558 1111 63 0 44429 0
vsize: 177968
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221379 0 0 0 79469 546 0 0 25 0 1 0 892432932 182280192 43569 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44502 43569 1111 63 0 44439 0
vsize: 178008
[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221388 0 0 0 80469 546 0 0 25 0 1 0 892432932 182317056 43578 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44511 43578 1111 63 0 44448 0
vsize: 178044
[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221400 0 0 0 81469 547 0 0 25 0 1 0 892432932 182362112 43590 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44522 43590 1111 63 0 44459 0
vsize: 178088
[startup+830.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221410 0 0 0 82468 548 0 0 25 0 1 0 892432932 182403072 43600 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44532 43600 1111 63 0 44469 0
vsize: 178128
[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221420 0 0 0 83468 549 0 0 25 0 1 0 892432932 182439936 43610 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44541 43610 1111 63 0 44478 0
vsize: 178164
[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221431 0 0 0 84468 549 0 0 25 0 1 0 892432932 182484992 43621 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44552 43621 1111 63 0 44489 0
vsize: 178208
[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221441 0 0 0 85468 549 0 0 25 0 1 0 892432932 182521856 43631 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44561 43631 1111 63 0 44498 0
vsize: 178244
[startup+870.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221514 0 0 0 86467 550 0 0 25 0 1 0 892432932 182820864 43704 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44634 43704 1111 63 0 44571 0
vsize: 178536
[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221524 0 0 0 87467 550 0 0 25 0 1 0 892432932 182857728 43714 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44643 43714 1111 63 0 44580 0
vsize: 178572
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221534 0 0 0 88466 551 0 0 25 0 1 0 892432932 182898688 43724 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44653 43724 1111 63 0 44590 0
vsize: 178612
[startup+900.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221546 0 0 0 89466 552 0 0 25 0 1 0 892432932 182943744 43736 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44664 43736 1111 63 0 44601 0
vsize: 178656
[startup+910.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221556 0 0 0 90466 552 0 0 25 0 1 0 892432932 182984704 43746 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44674 43746 1111 63 0 44611 0
vsize: 178696
[startup+920.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221565 0 0 0 91466 552 0 0 25 0 1 0 892432932 183021568 43755 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44683 43755 1111 63 0 44620 0
vsize: 178732
[startup+930.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221577 0 0 0 92466 553 0 0 25 0 1 0 892432932 183066624 43767 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44694 43767 1111 63 0 44631 0
vsize: 178776
[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221586 0 0 0 93465 553 0 0 25 0 1 0 892432932 183103488 43776 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44703 43776 1111 63 0 44640 0
vsize: 178812
[startup+950.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221596 0 0 0 94465 554 0 0 25 0 1 0 892432932 183140352 43786 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44712 43786 1111 63 0 44649 0
vsize: 178848
[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221605 0 0 0 95465 554 0 0 25 0 1 0 892432932 183177216 43795 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44721 43795 1111 63 0 44658 0
vsize: 178884
[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221615 0 0 0 96464 555 0 0 25 0 1 0 892432932 183214080 43805 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44730 43805 1111 63 0 44667 0
vsize: 178920
[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221624 0 0 0 97464 555 0 0 25 0 1 0 892432932 183250944 43814 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44739 43814 1111 63 0 44676 0
vsize: 178956
[startup+990.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221631 0 0 0 98464 555 0 0 25 0 1 0 892432932 183279616 43821 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44746 43821 1111 63 0 44683 0
vsize: 178984
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221641 0 0 0 99464 555 0 0 25 0 1 0 892432932 183316480 43831 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44755 43831 1111 63 0 44692 0
vsize: 179020
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221650 0 0 0 100464 556 0 0 25 0 1 0 892432932 183353344 43840 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44764 43840 1111 63 0 44701 0
vsize: 179056
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221659 0 0 0 101463 557 0 0 25 0 1 0 892432932 183386112 43849 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44772 43849 1111 63 0 44709 0
vsize: 179088
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221668 0 0 0 102464 557 0 0 25 0 1 0 892432932 183422976 43858 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44781 43858 1111 63 0 44718 0
vsize: 179124
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221675 0 0 0 103463 557 0 0 25 0 1 0 892432932 183451648 43865 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44788 43865 1111 63 0 44725 0
vsize: 179152
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221685 0 0 0 104463 557 0 0 25 0 1 0 892432932 183488512 43875 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44797 43875 1111 63 0 44734 0
vsize: 179188
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221826 0 0 0 105463 558 0 0 25 0 1 0 892432932 183939072 43985 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44907 43985 1111 63 0 44844 0
vsize: 179628
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221833 0 0 0 106463 558 0 0 25 0 1 0 892432932 183967744 43992 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44914 43992 1111 63 0 44851 0
vsize: 179656
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221843 0 0 0 107463 558 0 0 25 0 1 0 892432932 184004608 44002 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44923 44002 1111 63 0 44860 0
vsize: 179692
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221851 0 0 0 108463 559 0 0 25 0 1 0 892432932 184037376 44010 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44931 44010 1111 63 0 44868 0
vsize: 179724
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221859 0 0 0 109463 559 0 0 25 0 1 0 892432932 184066048 44018 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44938 44018 1111 63 0 44875 0
vsize: 179752
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221867 0 0 0 110463 559 0 0 25 0 1 0 892432932 184098816 44026 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44946 44026 1111 63 0 44883 0
vsize: 179784
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221874 0 0 0 111463 559 0 0 25 0 1 0 892432932 184127488 44033 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44953 44033 1111 63 0 44890 0
vsize: 179812
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221883 0 0 0 112463 559 0 0 25 0 1 0 892432932 184160256 44042 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44961 44042 1111 63 0 44898 0
vsize: 179844
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221890 0 0 0 113463 560 0 0 25 0 1 0 892432932 184188928 44049 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44968 44049 1111 63 0 44905 0
vsize: 179872
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221896 0 0 0 114463 560 0 0 25 0 1 0 892432932 184213504 44055 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44974 44055 1111 63 0 44911 0
vsize: 179896
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221905 0 0 0 115463 560 0 0 25 0 1 0 892432932 184246272 44064 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44982 44064 1111 63 0 44919 0
vsize: 179928
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221911 0 0 0 116463 560 0 0 25 0 1 0 892432932 184270848 44070 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44988 44070 1111 63 0 44925 0
vsize: 179952
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221918 0 0 0 117463 560 0 0 25 0 1 0 892432932 184299520 44077 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44995 44077 1111 63 0 44932 0
vsize: 179980
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221927 0 0 0 118463 560 0 0 25 0 1 0 892432932 184332288 44086 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45003 44086 1111 63 0 44940 0
vsize: 180012
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) R 12951 21152 21151 0 -1 0 221933 0 0 0 119463 560 0 0 25 0 1 0 892432932 184356864 44092 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45009 44092 1111 63 0 44946 0
vsize: 180036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 13009
Raw data (stat): 12952 (bsolo_lpr-v2) Z 12951 21152 21151 0 -1 1036 221933 0 0 0 119464 568 0 0 25 0 1 0 892432932 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.18
CPU time (s): 1200.33
CPU user time (s): 1194.64
CPU system time (s): 5.68913
CPU usage (%): 100.012
Max. virtual memory (Kb): 180036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####