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-par32-2.opb
MD5SUM	48ed39004ec868a1cad026c865b17eb2
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	6352
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	6352
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	6352
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	6352
Total number of constraints	13429
Number of constraints which are clauses	13429
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	1
Maximum length of a constraint	3
Trace number 39583

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 14:21:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27648 boxname=wulflinc4 idbench=206 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  48ed39004ec868a1cad026c865b17eb2  /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2.opb
IDLAUNCH: 27648
/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:        396248 kB
Buffers:         34736 kB
Cached:         580232 kB
SwapCached:        568 kB
Active:          57736 kB
Inactive:       559312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        395996 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15736 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:41:03 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 27648 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13429 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 14481
Raw data (stat): 14481 (runsolver) R 14480 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893660364 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 24869 0 0 0 942 54 0 0 25 0 1 0 893660364 105050112 24774 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25647 24774 1111 63 0 25584 0
vsize: 102588
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 24876 0 0 0 1942 54 0 0 25 0 1 0 893660364 105050112 24781 4294967295 134512640 134716908 3221224576 3221223208 1077377495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25647 24781 1111 63 0 25584 0
vsize: 102588
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26007 0 0 0 2939 57 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26037 0 0 0 3940 57 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26037 0 0 0 4940 57 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26037 0 0 0 5940 57 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+70.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26037 0 0 0 6940 57 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26037 0 0 0 7940 57 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+90.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26617 0 0 0 8939 59 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26617 0 0 0 9939 59 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 26617 0 0 0 10939 59 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 29929 0 0 0 11932 67 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 29929 0 0 0 12932 67 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223184 134557434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 29929 0 0 0 13932 67 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 31427 0 0 0 14929 70 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 31427 0 0 0 15929 70 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 31427 0 0 0 16929 70 0 0 25 0 1 0 893660364 108613632 25652 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25652 1111 63 0 26454 0
vsize: 106068
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32096 0 0 0 17927 72 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32096 0 0 0 18927 72 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32096 0 0 0 19928 72 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32187 0 0 0 20928 73 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32187 0 0 0 21928 73 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32187 0 0 0 22928 73 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32953 0 0 0 23926 75 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32953 0 0 0 24926 75 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32953 0 0 0 25926 75 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32953 0 0 0 26926 75 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 32953 0 0 0 27926 75 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 33312 0 0 0 28925 76 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 38009 0 0 0 29914 88 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 38009 0 0 0 30915 88 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 38183 0 0 0 31914 88 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 41282 0 0 0 32907 96 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 43743 0 0 0 33901 102 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 47555 0 0 0 34893 110 0 0 25 0 1 0 893660364 111206400 26285 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27150 26285 1111 63 0 27087 0
vsize: 108600
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 61556 0 0 0 35859 144 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223204 1076647880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 61556 0 0 0 36859 144 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 61556 0 0 0 37859 144 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 61556 0 0 0 38859 144 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 61556 0 0 0 39859 144 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 61556 0 0 0 40860 144 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 62262 0 0 0 41858 146 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 62262 0 0 0 42859 146 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 62262 0 0 0 43859 146 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 63542 0 0 0 44855 149 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 63542 0 0 0 45856 149 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 63542 0 0 0 46856 149 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 64408 0 0 0 47854 151 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 64408 0 0 0 48854 151 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 64408 0 0 0 49855 151 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 67556 0 0 0 50847 159 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 67556 0 0 0 51847 159 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 67556 0 0 0 52847 159 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 69168 0 0 0 53843 163 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 69372 0 0 0 54843 164 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 70248 0 0 0 55840 167 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 81304 0 0 0 56811 196 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 88632 0 0 0 57794 213 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 96492 0 0 0 58774 233 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 106191 0 0 0 59752 256 0 0 25 0 1 0 893660364 114216960 27020 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27885 27020 1111 63 0 27822 0
vsize: 111540
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 107121 0 0 0 60750 258 0 0 25 0 1 0 893660364 115216384 27263 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28129 27263 1111 63 0 28066 0
vsize: 112516
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 107694 0 0 0 61748 260 0 0 25 0 1 0 893660364 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 111464 0 0 0 62739 269 0 0 25 0 1 0 893660364 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 114864 0 0 0 63732 277 0 0 25 0 1 0 893660364 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 119067 0 0 0 64722 287 0 0 25 0 1 0 893660364 115216384 27264 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28129 27264 1111 63 0 28066 0
vsize: 112516
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 123360 0 0 0 65713 297 0 0 25 0 1 0 893660364 117002240 27700 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28565 27700 1111 63 0 28502 0
vsize: 114260
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 123360 0 0 0 66713 297 0 0 25 0 1 0 893660364 117002240 27700 4294967295 134512640 134716908 3221224576 3221222956 1077379963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28565 27700 1111 63 0 28502 0
vsize: 114260
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 123360 0 0 0 67713 297 0 0 25 0 1 0 893660364 117002240 27700 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28565 27700 1111 63 0 28502 0
vsize: 114260
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 125717 0 0 0 68707 303 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 125717 0 0 0 69707 303 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 125717 0 0 0 70708 303 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 126857 0 0 0 71705 305 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 126857 0 0 0 72705 305 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 126857 0 0 0 73705 305 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 128319 0 0 0 74702 309 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 128319 0 0 0 75702 309 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 128319 0 0 0 76702 309 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 129813 0 0 0 77699 312 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 129813 0 0 0 78699 312 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 129813 0 0 0 79699 312 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 131523 0 0 0 80695 317 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 139736 0 0 0 81675 337 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 143801 0 0 0 82664 349 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 148784 0 0 0 83652 361 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 156433 0 0 0 84636 377 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 163549 0 0 0 85619 393 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 170786 0 0 0 86603 410 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223248 134606962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 181321 0 0 0 87579 435 0 0 25 0 1 0 893660364 117387264 27794 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28659 27794 1111 63 0 28596 0
vsize: 114636
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 187747 0 0 0 88564 450 0 0 25 0 1 0 893660364 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 188383 0 0 0 89562 451 0 0 25 0 1 0 893660364 118259712 28007 4294967295 134512640 134716908 3221224576 3221223120 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 192308 0 0 0 90553 461 0 0 25 0 1 0 893660364 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 195111 0 0 0 91547 467 0 0 25 0 1 0 893660364 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 198525 0 0 0 92539 475 0 0 25 0 1 0 893660364 118259712 28007 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28872 28007 1111 63 0 28809 0
vsize: 115488
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 203538 0 0 0 93528 486 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 206802 0 0 0 94521 494 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 210642 0 0 0 95511 504 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 217256 0 0 0 96495 520 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 223104 0 0 0 97480 535 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 228990 0 0 0 98467 549 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 237131 0 0 0 99447 569 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 244441 0 0 0 100431 585 0 0 25 0 1 0 893660364 118444032 28052 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28917 28052 1111 63 0 28854 0
vsize: 115668
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 250723 0 0 0 101416 600 0 0 25 0 1 0 893660364 118882304 28159 4294967295 134512640 134716908 3221224576 3221223152 1076647545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 258819 0 0 0 102397 619 0 0 25 0 1 0 893660364 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 264783 0 0 0 103383 634 0 0 25 0 1 0 893660364 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 270721 0 0 0 104370 647 0 0 25 0 1 0 893660364 118882304 28159 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 281217 0 0 0 105344 673 0 0 25 0 1 0 893660364 118882304 28159 4294967295 134512640 134716908 3221224576 3221223056 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29024 28159 1111 63 0 28961 0
vsize: 116096
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 287011 0 0 0 106331 686 0 0 25 0 1 0 893660364 119930880 28389 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28389 1111 63 0 29217 0
vsize: 117120
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 287017 0 0 0 107331 687 0 0 25 0 1 0 893660364 119930880 28395 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28395 1111 63 0 29217 0
vsize: 117120
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 288667 0 0 0 108327 690 0 0 25 0 1 0 893660364 121913344 28867 4294967295 134512640 134716908 3221224576 3221223136 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29764 28867 1111 63 0 29701 0
vsize: 119056
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 290673 0 0 0 109321 696 0 0 25 0 1 0 893660364 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 292584 0 0 0 110317 701 0 0 25 0 1 0 893660364 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 295845 0 0 0 111309 709 0 0 25 0 1 0 893660364 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 299970 0 0 0 112298 720 0 0 25 0 1 0 893660364 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 303598 0 0 0 113290 728 0 0 25 0 1 0 893660364 119930880 28415 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29280 28415 1111 63 0 29217 0
vsize: 117120
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 303790 0 0 0 114290 729 0 0 25 0 1 0 893660364 120389632 28515 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29392 28515 1111 63 0 29329 0
vsize: 117568
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 305833 0 0 0 115285 733 0 0 25 0 1 0 893660364 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 305833 0 0 0 116285 733 0 0 25 0 1 0 893660364 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 305833 0 0 0 117285 734 0 0 25 0 1 0 893660364 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 305833 0 0 0 118285 734 0 0 25 0 1 0 893660364 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) R 14480 21152 21151 0 -1 0 305833 0 0 0 119285 734 0 0 25 0 1 0 893660364 122560512 29057 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29922 29057 1111 63 0 29859 0
vsize: 119688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14481
Raw data (stat): 14481 (bsolo_lpr-v2) Z 14480 21152 21151 0 -1 1036 305833 0 0 0 119286 739 0 0 25 0 1 0 893660364 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.1
CPU time (s): 1200.26
CPU user time (s): 1192.86
CPU system time (s): 7.39687
CPU usage (%): 100.013
Max. virtual memory (Kb): 119688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####