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-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
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	4000
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	4000
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
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	3
Trace number 39505

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 10:49:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27570 boxname=wulflinc3 idbench=128 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4675a5d50c7e04c9a0597ae768da1a88  /oldhome/oroussel/tmp/wulflinc3/normalized-f2000.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-f2000.opb
IDLAUNCH: 27570
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        277136 kB
Buffers:         34252 kB
Cached:         699772 kB
SwapCached:        240 kB
Active:          64516 kB
Inactive:       672024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        276884 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15260 kB
Committed_AS:    71776 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:09:21 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27570 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4000 variables and 10500 constraints.
c After prepocess the problem consists of 4000 variables and 10500 constraints.
c preprocess terminated 2.611 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): 0.92 0.95 0.90 2/54 10549
Raw data (stat): 10549 (runsolver) R 10548 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892390913 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 2955 0 0 0 989 8 0 0 25 0 1 0 892390913 15204352 2865 4294967295 134512640 134716908 3221224592 3221222880 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3712 2865 1111 63 0 3649 0
vsize: 14848
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 4345 0 0 0 1985 12 0 0 25 0 1 0 892390913 22597632 3953 4294967295 134512640 134716908 3221224592 3221221616 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5517 3953 1111 63 0 5454 0
vsize: 22068
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 5068 0 0 0 2984 14 0 0 25 0 1 0 892390913 21254144 4015 4294967295 134512640 134716908 3221224592 3221220380 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 4015 1111 63 0 5126 0
vsize: 20756
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 5419 0 0 0 3983 15 0 0 25 0 1 0 892390913 21254144 4049 4294967295 134512640 134716908 3221224592 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 4049 1111 63 0 5126 0
vsize: 20756
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 5784 0 0 0 4982 16 0 0 25 0 1 0 892390913 22597632 4414 4294967295 134512640 134716908 3221224592 3221220404 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5517 4414 1111 63 0 5454 0
vsize: 22068
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 5864 0 0 0 5982 17 0 0 25 0 1 0 892390913 21528576 4166 4294967295 134512640 134716908 3221224592 3221221024 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4166 1111 63 0 5193 0
vsize: 21024
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6405 0 0 0 6981 18 0 0 25 0 1 0 892390913 21676032 4346 4294967295 134512640 134716908 3221224592 3221220640 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4346 1111 63 0 5229 0
vsize: 21168
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6564 0 0 0 7980 18 0 0 25 0 1 0 892390913 23457792 4505 4294967295 134512640 134716908 3221224592 3221220300 1074787568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4505 1111 63 0 5664 0
vsize: 22908
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6702 0 0 0 8980 19 0 0 25 0 1 0 892390913 23457792 4643 4294967295 134512640 134716908 3221224592 3221220552 1074789711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4643 1111 63 0 5664 0
vsize: 22908
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 9980 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220528 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 10980 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221221008 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 11981 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220640 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 12981 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 13981 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220716 1075116556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 14981 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220648 1074883062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 15981 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220396 1074787507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 16982 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220528 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 17982 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220312 1074788440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 18982 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 19982 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220640 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 20982 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220656 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6703 0 0 0 21982 19 0 0 25 0 1 0 892390913 23457792 4644 4294967295 134512640 134716908 3221224592 3221220768 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4644 1111 63 0 5664 0
vsize: 22908
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6707 0 0 0 22983 19 0 0 25 0 1 0 892390913 23457792 4648 4294967295 134512640 134716908 3221224592 3221220704 1074815290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4648 1111 63 0 5664 0
vsize: 22908
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6707 0 0 0 23983 19 0 0 25 0 1 0 892390913 23457792 4648 4294967295 134512640 134716908 3221224592 3221220640 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4648 1111 63 0 5664 0
vsize: 22908
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6711 0 0 0 24983 19 0 0 25 0 1 0 892390913 23457792 4652 4294967295 134512640 134716908 3221224592 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5727 4652 1111 63 0 5664 0
vsize: 22908
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6849 0 0 0 25983 20 0 0 25 0 1 0 892390913 21827584 4392 4294967295 134512640 134716908 3221224592 3221220432 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 4392 1111 63 0 5266 0
vsize: 21316
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6851 0 0 0 26983 20 0 0 25 0 1 0 892390913 21827584 4394 4294967295 134512640 134716908 3221224592 3221220724 1075115117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 4394 1111 63 0 5266 0
vsize: 21316
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6853 0 0 0 27983 20 0 0 25 0 1 0 892390913 21827584 4396 4294967295 134512640 134716908 3221224592 3221220428 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 4396 1111 63 0 5266 0
vsize: 21316
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6886 0 0 0 28983 20 0 0 25 0 1 0 892390913 21991424 4429 4294967295 134512640 134716908 3221224592 3221220508 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4429 1111 63 0 5306 0
vsize: 21476
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6886 0 0 0 29983 20 0 0 25 0 1 0 892390913 21991424 4429 4294967295 134512640 134716908 3221224592 3221220864 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4429 1111 63 0 5306 0
vsize: 21476
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6970 0 0 0 30983 20 0 0 25 0 1 0 892390913 22347776 4513 4294967295 134512640 134716908 3221224592 3221220768 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4513 1111 63 0 5393 0
vsize: 21824
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6971 0 0 0 31983 20 0 0 25 0 1 0 892390913 22347776 4514 4294967295 134512640 134716908 3221224592 3221220456 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4514 1111 63 0 5393 0
vsize: 21824
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6974 0 0 0 32983 20 0 0 25 0 1 0 892390913 22347776 4517 4294967295 134512640 134716908 3221224592 3221221024 1075397225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4517 1111 63 0 5393 0
vsize: 21824
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 6975 0 0 0 33984 20 0 0 25 0 1 0 892390913 22347776 4518 4294967295 134512640 134716908 3221224592 3221220724 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4518 1111 63 0 5393 0
vsize: 21824
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7022 0 0 0 34984 20 0 0 25 0 1 0 892390913 22532096 4565 4294967295 134512640 134716908 3221224592 3221220872 1075112600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4565 1111 63 0 5438 0
vsize: 22004
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7023 0 0 0 35984 20 0 0 25 0 1 0 892390913 22532096 4566 4294967295 134512640 134716908 3221224592 3221220724 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4566 1111 63 0 5438 0
vsize: 22004
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7026 0 0 0 36984 20 0 0 25 0 1 0 892390913 22532096 4569 4294967295 134512640 134716908 3221224592 3221220380 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4569 1111 63 0 5438 0
vsize: 22004
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7034 0 0 0 37984 20 0 0 25 0 1 0 892390913 22532096 4577 4294967295 134512640 134716908 3221224592 3221220656 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4577 1111 63 0 5438 0
vsize: 22004
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7039 0 0 0 38984 20 0 0 25 0 1 0 892390913 22532096 4582 4294967295 134512640 134716908 3221224592 3221221088 1074885766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4582 1111 63 0 5438 0
vsize: 22004
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7047 0 0 0 39984 20 0 0 25 0 1 0 892390913 22532096 4590 4294967295 134512640 134716908 3221224592 3221220768 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4590 1111 63 0 5438 0
vsize: 22004
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7050 0 0 0 40985 20 0 0 25 0 1 0 892390913 22532096 4593 4294967295 134512640 134716908 3221224592 3221220456 1074789286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4593 1111 63 0 5438 0
vsize: 22004
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7050 0 0 0 41985 20 0 0 25 0 1 0 892390913 22532096 4593 4294967295 134512640 134716908 3221224592 3221220464 1075965272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4593 1111 63 0 5438 0
vsize: 22004
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7061 0 0 0 42985 20 0 0 25 0 1 0 892390913 22532096 4604 4294967295 134512640 134716908 3221224592 3221220768 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4604 1111 63 0 5438 0
vsize: 22004
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7061 0 0 0 43985 20 0 0 25 0 1 0 892390913 22532096 4604 4294967295 134512640 134716908 3221224592 3221220392 1074787018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4604 1111 63 0 5438 0
vsize: 22004
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7061 0 0 0 44985 21 0 0 25 0 1 0 892390913 22532096 4604 4294967295 134512640 134716908 3221224592 3221221152 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4604 1111 63 0 5438 0
vsize: 22004
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7061 0 0 0 45985 21 0 0 25 0 1 0 892390913 22532096 4604 4294967295 134512640 134716908 3221224592 3221220380 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4604 1111 63 0 5438 0
vsize: 22004
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7061 0 0 0 46986 21 0 0 25 0 1 0 892390913 22532096 4604 4294967295 134512640 134716908 3221224592 3221220832 1075114272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4604 1111 63 0 5438 0
vsize: 22004
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7061 0 0 0 47986 21 0 0 25 0 1 0 892390913 22532096 4604 4294967295 134512640 134716908 3221224592 3221221024 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4604 1111 63 0 5438 0
vsize: 22004
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7066 0 0 0 48986 21 0 0 25 0 1 0 892390913 22532096 4609 4294967295 134512640 134716908 3221224592 3221220392 1074787033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4609 1111 63 0 5438 0
vsize: 22004
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7118 0 0 0 49986 21 0 0 25 0 1 0 892390913 22728704 4661 4294967295 134512640 134716908 3221224592 3221220828 1076111465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5549 4661 1111 63 0 5486 0
vsize: 22196
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7178 0 0 0 50986 21 0 0 25 0 1 0 892390913 22937600 4721 4294967295 134512640 134716908 3221224592 3221220464 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4721 1111 63 0 5537 0
vsize: 22400
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7188 0 0 0 51986 21 0 0 25 0 1 0 892390913 22937600 4731 4294967295 134512640 134716908 3221224592 3221220508 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4731 1111 63 0 5537 0
vsize: 22400
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7188 0 0 0 52986 21 0 0 25 0 1 0 892390913 22937600 4731 4294967295 134512640 134716908 3221224592 3221220380 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4731 1111 63 0 5537 0
vsize: 22400
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7200 0 0 0 53987 21 0 0 25 0 1 0 892390913 22937600 4743 4294967295 134512640 134716908 3221224592 3221220872 1075112592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4743 1111 63 0 5537 0
vsize: 22400
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7205 0 0 0 54987 21 0 0 25 0 1 0 892390913 22937600 4748 4294967295 134512640 134716908 3221224592 3221221040 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4748 1111 63 0 5537 0
vsize: 22400
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7205 0 0 0 55987 21 0 0 25 0 1 0 892390913 22937600 4748 4294967295 134512640 134716908 3221224592 3221220708 1075117518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4748 1111 63 0 5537 0
vsize: 22400
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7205 0 0 0 56988 21 0 0 25 0 1 0 892390913 22937600 4748 4294967295 134512640 134716908 3221224592 3221220368 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4748 1111 63 0 5537 0
vsize: 22400
[startup+580.026 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7206 0 0 0 57988 21 0 0 25 0 1 0 892390913 22937600 4749 4294967295 134512640 134716908 3221224592 3221220328 1074789228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4749 1111 63 0 5537 0
vsize: 22400
[startup+590.026 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7206 0 0 0 58988 21 0 0 25 0 1 0 892390913 22937600 4749 4294967295 134512640 134716908 3221224592 3221220368 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4749 1111 63 0 5537 0
vsize: 22400
[startup+600.027 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7206 0 0 0 59988 21 0 0 25 0 1 0 892390913 22937600 4749 4294967295 134512640 134716908 3221224592 3221221568 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4749 1111 63 0 5537 0
vsize: 22400
[startup+610.028 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7207 0 0 0 60988 21 0 0 25 0 1 0 892390913 22937600 4750 4294967295 134512640 134716908 3221224592 3221220456 1074789286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4750 1111 63 0 5537 0
vsize: 22400
[startup+620.028 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7207 0 0 0 61989 21 0 0 25 0 1 0 892390913 22937600 4750 4294967295 134512640 134716908 3221224592 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4750 1111 63 0 5537 0
vsize: 22400
[startup+630.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7257 0 0 0 62989 21 0 0 25 0 1 0 892390913 23154688 4800 4294967295 134512640 134716908 3221224592 3221220368 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4800 1111 63 0 5590 0
vsize: 22612
[startup+640.028 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10549
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7261 0 0 0 63988 22 0 0 25 0 1 0 892390913 23154688 4804 4294967295 134512640 134716908 3221224592 3221220428 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4804 1111 63 0 5590 0
vsize: 22612
[startup+650.029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7261 0 0 0 64988 22 0 0 25 0 1 0 892390913 23154688 4804 4294967295 134512640 134716908 3221224592 3221220328 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4804 1111 63 0 5590 0
vsize: 22612
[startup+660.029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7261 0 0 0 65988 22 0 0 25 0 1 0 892390913 23154688 4804 4294967295 134512640 134716908 3221224592 3221220508 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4804 1111 63 0 5590 0
vsize: 22612
[startup+670.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7261 0 0 0 66988 22 0 0 25 0 1 0 892390913 23154688 4804 4294967295 134512640 134716908 3221224592 3221220736 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4804 1111 63 0 5590 0
vsize: 22612
[startup+680.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7261 0 0 0 67989 22 0 0 25 0 1 0 892390913 23154688 4804 4294967295 134512640 134716908 3221224592 3221220460 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4804 1111 63 0 5590 0
vsize: 22612
[startup+690.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7261 0 0 0 68989 22 0 0 25 0 1 0 892390913 23154688 4804 4294967295 134512640 134716908 3221224592 3221220768 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5653 4804 1111 63 0 5590 0
vsize: 22612
[startup+700.03 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7315 0 0 0 69989 23 0 0 25 0 1 0 892390913 23384064 4858 4294967295 134512640 134716908 3221224592 3221220400 1074786844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4858 1111 63 0 5646 0
vsize: 22836
[startup+710.031 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 10602
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7316 0 0 0 70989 23 0 0 25 0 1 0 892390913 23384064 4859 4294967295 134512640 134716908 3221224592 3221220360 1074787033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4859 1111 63 0 5646 0
vsize: 22836
[startup+720.031 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7317 0 0 0 71989 23 0 0 25 0 1 0 892390913 23384064 4860 4294967295 134512640 134716908 3221224592 3221220368 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4860 1111 63 0 5646 0
vsize: 22836
[startup+730.031 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7317 0 0 0 72989 23 0 0 25 0 1 0 892390913 23384064 4860 4294967295 134512640 134716908 3221224592 3221221308 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4860 1111 63 0 5646 0
vsize: 22836
[startup+740.031 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7317 0 0 0 73989 23 0 0 25 0 1 0 892390913 23384064 4860 4294967295 134512640 134716908 3221224592 3221220656 1075094850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4860 1111 63 0 5646 0
vsize: 22836
[startup+750.032 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7317 0 0 0 74990 23 0 0 25 0 1 0 892390913 23384064 4860 4294967295 134512640 134716908 3221224592 3221220708 1075117394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4860 1111 63 0 5646 0
vsize: 22836
[startup+760.032 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 75990 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220768 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+770.032 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 76990 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220328 1074789208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+780.033 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 77990 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220708 1075117414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+790.036 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 78991 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220640 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+800.037 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 79991 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220380 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+810.036 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 80991 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221221152 1075967916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+820.038 s]
Raw data (loadavg): 1.02 1.02 0.93 3/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 81991 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220456 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+830.039 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 82991 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221221616 1074834317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+840.039 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 83992 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220724 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+850.048 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 84993 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220328 1074789237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+860.076 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 85996 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220596 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+870.076 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 86996 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220416 1074890893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+880.076 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 87996 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220768 1074960783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+890.077 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 88996 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220328 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+900.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 89996 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220560 1074881411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+910.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 90996 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220640 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+920.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 91997 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220400 1074786849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+930.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 92997 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220872 1075112619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+940.078 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 93997 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220596 1075964234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+950.079 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7319 0 0 0 94997 23 0 0 25 0 1 0 892390913 23384064 4862 4294967295 134512640 134716908 3221224592 3221220768 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5709 4862 1111 63 0 5646 0
vsize: 22836
[startup+960.08 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7376 0 0 0 95997 23 0 0 25 0 1 0 892390913 23625728 4919 4294967295 134512640 134716908 3221224592 3221220368 1074786835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4919 1111 63 0 5705 0
vsize: 23072
[startup+970.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7376 0 0 0 96997 23 0 0 25 0 1 0 892390913 23625728 4919 4294967295 134512640 134716908 3221224592 3221220920 1075110901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4919 1111 63 0 5705 0
vsize: 23072
[startup+980.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7377 0 0 0 97998 23 0 0 25 0 1 0 892390913 23625728 4920 4294967295 134512640 134716908 3221224592 3221220864 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4920 1111 63 0 5705 0
vsize: 23072
[startup+990.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10604
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7377 0 0 0 98998 23 0 0 25 0 1 0 892390913 23625728 4920 4294967295 134512640 134716908 3221224592 3221220872 1075112606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4920 1111 63 0 5705 0
vsize: 23072
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7377 0 0 0 99998 23 0 0 25 0 1 0 892390913 23625728 4920 4294967295 134512640 134716908 3221224592 3221220380 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4920 1111 63 0 5705 0
vsize: 23072
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7377 0 0 0 100998 23 0 0 25 0 1 0 892390913 23625728 4920 4294967295 134512640 134716908 3221224592 3221220724 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4920 1111 63 0 5705 0
vsize: 23072
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7436 0 0 0 101998 23 0 0 25 0 1 0 892390913 23875584 4979 4294967295 134512640 134716908 3221224592 3221220864 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4979 1111 63 0 5766 0
vsize: 23316
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7437 0 0 0 102998 23 0 0 25 0 1 0 892390913 23875584 4980 4294967295 134512640 134716908 3221224592 3221220724 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4980 1111 63 0 5766 0
vsize: 23316
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7437 0 0 0 103999 23 0 0 25 0 1 0 892390913 23875584 4980 4294967295 134512640 134716908 3221224592 3221220768 1074960854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4980 1111 63 0 5766 0
vsize: 23316
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7439 0 0 0 104999 24 0 0 25 0 1 0 892390913 23875584 4982 4294967295 134512640 134716908 3221224592 3221220416 1074890913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4982 1111 63 0 5766 0
vsize: 23316
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7439 0 0 0 105999 24 0 0 25 0 1 0 892390913 23875584 4982 4294967295 134512640 134716908 3221224592 3221220460 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4982 1111 63 0 5766 0
vsize: 23316
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7439 0 0 0 106999 24 0 0 25 0 1 0 892390913 23875584 4982 4294967295 134512640 134716908 3221224592 3221220380 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4982 1111 63 0 5766 0
vsize: 23316
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7439 0 0 0 107999 24 0 0 25 0 1 0 892390913 23875584 4982 4294967295 134512640 134716908 3221224592 3221220828 1076111476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4982 1111 63 0 5766 0
vsize: 23316
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7439 0 0 0 108999 24 0 0 25 0 1 0 892390913 23875584 4982 4294967295 134512640 134716908 3221224592 3221220328 1074789289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4982 1111 63 0 5766 0
vsize: 23316
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7501 0 0 0 109999 24 0 0 25 0 1 0 892390913 24150016 5044 4294967295 134512640 134716908 3221224592 3221220800 1074247928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5044 1111 63 0 5833 0
vsize: 23584
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7501 0 0 0 111000 24 0 0 25 0 1 0 892390913 24150016 5044 4294967295 134512640 134716908 3221224592 3221220380 1074788996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5044 1111 63 0 5833 0
vsize: 23584
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7502 0 0 0 112000 24 0 0 25 0 1 0 892390913 24150016 5045 4294967295 134512640 134716908 3221224592 3221220832 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5045 1111 63 0 5833 0
vsize: 23584
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7502 0 0 0 113000 24 0 0 25 0 1 0 892390913 24150016 5045 4294967295 134512640 134716908 3221224592 3221220328 1074789286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5045 1111 63 0 5833 0
vsize: 23584
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7503 0 0 0 114000 24 0 0 25 0 1 0 892390913 24150016 5046 4294967295 134512640 134716908 3221224592 3221220400 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5046 1111 63 0 5833 0
vsize: 23584
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7503 0 0 0 115000 24 0 0 25 0 1 0 892390913 24150016 5046 4294967295 134512640 134716908 3221224592 3221220872 1075112606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5046 1111 63 0 5833 0
vsize: 23584
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7503 0 0 0 116000 24 0 0 25 0 1 0 892390913 24150016 5046 4294967295 134512640 134716908 3221224592 3221220416 1074890844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5046 1111 63 0 5833 0
vsize: 23584
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7503 0 0 0 117001 24 0 0 25 0 1 0 892390913 24150016 5046 4294967295 134512640 134716908 3221224592 3221220380 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5046 1111 63 0 5833 0
vsize: 23584
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7504 0 0 0 118001 24 0 0 25 0 1 0 892390913 24150016 5047 4294967295 134512640 134716908 3221224592 3221220380 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5047 1111 63 0 5833 0
vsize: 23584
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7504 0 0 0 119001 24 0 0 25 0 1 0 892390913 24150016 5047 4294967295 134512640 134716908 3221224592 3221220828 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5047 1111 63 0 5833 0
vsize: 23584
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) R 10548 20224 20223 0 -1 0 7504 0 0 0 120001 24 0 0 25 0 1 0 892390913 24150016 5047 4294967295 134512640 134716908 3221224592 3221220724 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5047 1111 63 0 5833 0
vsize: 23584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 10606
Raw data (stat): 10549 (bsolo_lpr-v2) Z 10548 20224 20223 0 -1 1036 7504 0 0 0 120001 25 0 0 25 0 1 0 892390913 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.27
CPU user time (s): 1200.02
CPU system time (s): 0.254961
CPU usage (%): 100.014
Max. virtual memory (Kb): 23584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####