PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	13.9929
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 40178

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 03:36:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28218 boxname=wulflinc3 idbench=1174 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sp98ar.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sp98ar.opb
IDLAUNCH: 28218
/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:        774064 kB
Buffers:         31480 kB
Cached:         206316 kB
SwapCached:        680 kB
Active:          41216 kB
Inactive:       198580 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        773812 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            15096 kB
Committed_AS:    71776 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:56:20 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 28218 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 660.492 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 20.5547
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 762924732 @ 732.326
c NEW SOLUTION FOUND: -2147483648 @ 732.479
#### 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.85 0.94 0.90 2/54 20153
Raw data (stat): 20153 (runsolver) R 20152 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898433580 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 16922 0 0 0 963 34 0 0 25 0 1 0 898433580 82235392 16842 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20077 16842 1111 63 0 20014 0
vsize: 80308
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 34475 0 0 0 1933 65 0 0 25 0 1 0 898433580 154017792 34395 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37602 34395 1111 63 0 37539 0
vsize: 150408
[startup+30.002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 52630 0 0 0 2901 97 0 0 25 0 1 0 898433580 228519936 52550 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55791 52550 1111 63 0 55728 0
vsize: 223164
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 72126 0 0 0 3868 130 0 0 25 0 1 0 898433580 308248576 72046 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75256 72046 1111 63 0 75193 0
vsize: 301024
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 90308 0 0 0 4839 159 0 0 25 0 1 0 898433580 382750720 90228 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93445 90233 1111 63 0 93382 0
vsize: 373780
[startup+60.0045 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 93138 0 0 0 5835 163 0 0 25 0 1 0 898433580 394375168 93058 4294967295 134512640 134716908 3221224576 3221222852 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96283 93058 1111 63 0 96220 0
vsize: 385132
[startup+70.004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 93817 0 0 0 6833 165 0 0 25 0 1 0 898433580 397275136 93736 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96991 93736 1111 63 0 96928 0
vsize: 387964
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 94458 0 0 0 7832 166 0 0 25 0 1 0 898433580 399872000 94376 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97659 94380 1111 63 0 97596 0
vsize: 390500
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 95209 0 0 0 8828 169 0 0 25 0 1 0 898433580 403005440 95127 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98390 95127 1111 63 0 98327 0
vsize: 393560
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 96112 0 0 0 9826 172 0 0 25 0 1 0 898433580 406822912 96030 4294967295 134512640 134716908 3221224576 3221223148 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99322 96030 1111 63 0 99259 0
vsize: 397288
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 96988 0 0 0 10824 173 0 0 25 0 1 0 898433580 410492928 96906 4294967295 134512640 134716908 3221224576 3221221340 1077191778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100218 96906 1111 63 0 100155 0
vsize: 400872
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 97853 0 0 0 11822 176 0 0 25 0 1 0 898433580 414040064 97771 4294967295 134512640 134716908 3221224576 3221223296 134569454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101084 97771 1111 63 0 101021 0
vsize: 404336
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 98671 0 0 0 12821 177 0 0 25 0 1 0 898433580 417439744 98589 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101914 98589 1111 63 0 101851 0
vsize: 407656
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 99544 0 0 0 13819 179 0 0 25 0 1 0 898433580 421117952 99462 4294967295 134512640 134716908 3221224576 3221222864 134566785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102812 99462 1111 63 0 102749 0
vsize: 411248
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101382 0 0 0 14814 183 0 0 25 0 1 0 898433580 418897920 101218 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102270 101218 1111 63 0 102207 0
vsize: 409080
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101438 0 0 0 15813 183 0 0 25 0 1 0 898433580 419168256 101274 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102336 101274 1111 63 0 102273 0
vsize: 409344
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101492 0 0 0 16813 184 0 0 25 0 1 0 898433580 419438592 101328 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102402 101328 1111 63 0 102339 0
vsize: 409608
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101542 0 0 0 17813 184 0 0 25 0 1 0 898433580 419573760 101378 4294967295 134512640 134716908 3221224576 3221223304 134675289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102435 101378 1111 63 0 102372 0
vsize: 409740
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101614 0 0 0 18813 184 0 0 25 0 1 0 898433580 419844096 101450 4294967295 134512640 134716908 3221224576 3221223020 134535888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102501 101450 1111 63 0 102438 0
vsize: 410004
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101704 0 0 0 19813 184 0 0 25 0 1 0 898433580 420249600 101540 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102600 101540 1111 63 0 102537 0
vsize: 410400
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101763 0 0 0 20813 185 0 0 25 0 1 0 898433580 420519936 101599 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102666 101599 1111 63 0 102603 0
vsize: 410664
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101816 0 0 0 21813 185 0 0 25 0 1 0 898433580 420790272 101652 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102732 101652 1111 63 0 102669 0
vsize: 410928
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101875 0 0 0 22813 186 0 0 25 0 1 0 898433580 420925440 101711 4294967295 134512640 134716908 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102765 101711 1111 63 0 102702 0
vsize: 411060
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101933 0 0 0 23812 186 0 0 25 0 1 0 898433580 421195776 101769 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102831 101769 1111 63 0 102768 0
vsize: 411324
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 101983 0 0 0 24812 186 0 0 25 0 1 0 898433580 421466112 101819 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102897 101819 1111 63 0 102834 0
vsize: 411588
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102056 0 0 0 25812 187 0 0 25 0 1 0 898433580 421736448 101892 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102963 101892 1111 63 0 102900 0
vsize: 411852
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102118 0 0 0 26812 187 0 0 25 0 1 0 898433580 422006784 101954 4294967295 134512640 134716908 3221224576 3221223056 134543008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103029 101954 1111 63 0 102966 0
vsize: 412116
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102180 0 0 0 27812 187 0 0 25 0 1 0 898433580 422277120 102016 4294967295 134512640 134716908 3221224576 3221222968 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103095 102016 1111 63 0 103032 0
vsize: 412380
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102236 0 0 0 28812 187 0 0 25 0 1 0 898433580 422416384 102072 4294967295 134512640 134716908 3221224576 3221223168 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103129 102072 1111 63 0 103066 0
vsize: 412516
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102302 0 0 0 29812 188 0 0 25 0 1 0 898433580 422686720 102138 4294967295 134512640 134716908 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103195 102138 1111 63 0 103132 0
vsize: 412780
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102347 0 0 0 30813 188 0 0 25 0 1 0 898433580 422957056 102183 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103261 102183 1111 63 0 103198 0
vsize: 413044
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102416 0 0 0 31813 188 0 0 25 0 1 0 898433580 423227392 102252 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103327 102252 1111 63 0 103264 0
vsize: 413308
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102469 0 0 0 32813 188 0 0 25 0 1 0 898433580 423362560 102305 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103360 102305 1111 63 0 103297 0
vsize: 413440
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102528 0 0 0 33814 188 0 0 25 0 1 0 898433580 423632896 102364 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103426 102364 1111 63 0 103363 0
vsize: 413704
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102574 0 0 0 34814 189 0 0 25 0 1 0 898433580 423768064 102410 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103459 102410 1111 63 0 103396 0
vsize: 413836
[startup+360.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102628 0 0 0 35815 189 0 0 25 0 1 0 898433580 424038400 102464 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103525 102464 1111 63 0 103462 0
vsize: 414100
[startup+370.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102694 0 0 0 36815 189 0 0 25 0 1 0 898433580 424308736 102530 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103591 102530 1111 63 0 103528 0
vsize: 414364
[startup+380.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102754 0 0 0 37815 189 0 0 25 0 1 0 898433580 424579072 102590 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103657 102590 1111 63 0 103594 0
vsize: 414628
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102810 0 0 0 38815 190 0 0 25 0 1 0 898433580 424849408 102646 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103723 102646 1111 63 0 103660 0
vsize: 414892
[startup+400.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102875 0 0 0 39815 190 0 0 25 0 1 0 898433580 425119744 102711 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103789 102711 1111 63 0 103726 0
vsize: 415156
[startup+410.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102931 0 0 0 40815 190 0 0 25 0 1 0 898433580 425254912 102767 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103822 102767 1111 63 0 103759 0
vsize: 415288
[startup+420.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 102984 0 0 0 41815 190 0 0 25 0 1 0 898433580 425525248 102820 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103888 102820 1111 63 0 103825 0
vsize: 415552
[startup+430.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103044 0 0 0 42815 190 0 0 25 0 1 0 898433580 425795584 102880 4294967295 134512640 134716908 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103954 102880 1111 63 0 103891 0
vsize: 415816
[startup+440.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103117 0 0 0 43815 191 0 0 25 0 1 0 898433580 426070016 102953 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104021 102953 1111 63 0 103958 0
vsize: 416084
[startup+450.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103172 0 0 0 44815 191 0 0 25 0 1 0 898433580 426205184 103008 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104054 103008 1111 63 0 103991 0
vsize: 416216
[startup+460.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103242 0 0 0 45815 191 0 0 25 0 1 0 898433580 426610688 103078 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104153 103078 1111 63 0 104090 0
vsize: 416612
[startup+470.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103344 0 0 0 46815 191 0 0 25 0 1 0 898433580 427016192 103180 4294967295 134512640 134716908 3221224576 3221223048 134543023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104252 103180 1111 63 0 104189 0
vsize: 417008
[startup+480.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103454 0 0 0 47815 191 0 0 25 0 1 0 898433580 427421696 103290 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104351 103290 1111 63 0 104288 0
vsize: 417404
[startup+490.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103532 0 0 0 48815 192 0 0 25 0 1 0 898433580 427692032 103368 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104417 103368 1111 63 0 104354 0
vsize: 417668
[startup+500.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103592 0 0 0 49815 192 0 0 25 0 1 0 898433580 427962368 103428 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104483 103428 1111 63 0 104420 0
vsize: 417932
[startup+510.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103633 0 0 0 50815 192 0 0 25 0 1 0 898433580 428097536 103469 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104516 103469 1111 63 0 104453 0
vsize: 418064
[startup+520.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103689 0 0 0 51815 193 0 0 25 0 1 0 898433580 428367872 103525 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104582 103525 1111 63 0 104519 0
vsize: 418328
[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103735 0 0 0 52815 193 0 0 25 0 1 0 898433580 428503040 103571 4294967295 134512640 134716908 3221224576 3221223020 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104615 103571 1111 63 0 104552 0
vsize: 418460
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103789 0 0 0 53815 193 0 0 25 0 1 0 898433580 428773376 103625 4294967295 134512640 134716908 3221224576 3221223036 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104681 103625 1111 63 0 104618 0
vsize: 418724
[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103838 0 0 0 54815 193 0 0 25 0 1 0 898433580 428908544 103674 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104714 103674 1111 63 0 104651 0
vsize: 418856
[startup+560.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103921 0 0 0 55815 193 0 0 25 0 1 0 898433580 429314048 103757 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104813 103757 1111 63 0 104750 0
vsize: 419252
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 103986 0 0 0 56815 194 0 0 25 0 1 0 898433580 429584384 103822 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104879 103822 1111 63 0 104816 0
vsize: 419516
[startup+580.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104062 0 0 0 57814 194 0 0 25 0 1 0 898433580 429854720 103898 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104945 103898 1111 63 0 104882 0
vsize: 419780
[startup+590.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104122 0 0 0 58814 194 0 0 25 0 1 0 898433580 430125056 103958 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105011 103958 1111 63 0 104948 0
vsize: 420044
[startup+600.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104191 0 0 0 59814 195 0 0 25 0 1 0 898433580 430395392 104027 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105077 104027 1111 63 0 105014 0
vsize: 420308
[startup+610.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104255 0 0 0 60814 195 0 0 25 0 1 0 898433580 430665728 104091 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104091 1111 63 0 105080 0
vsize: 420572
[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104257 0 0 0 61814 195 0 0 25 0 1 0 898433580 430665728 104093 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104093 1111 63 0 105080 0
vsize: 420572
[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104260 0 0 0 62814 195 0 0 25 0 1 0 898433580 430665728 104096 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104096 1111 63 0 105080 0
vsize: 420572
[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104262 0 0 0 63815 195 0 0 25 0 1 0 898433580 430665728 104098 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104098 1111 63 0 105080 0
vsize: 420572
[startup+650.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104269 0 0 0 64815 195 0 0 25 0 1 0 898433580 430665728 104105 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104105 1111 63 0 105080 0
vsize: 420572
[startup+660.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 104272 0 0 0 65815 195 0 0 25 0 1 0 898433580 430665728 104108 4294967295 134512640 134716908 3221224576 3221223364 134622776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105143 104108 1111 63 0 105080 0
vsize: 420572
[startup+670.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 106045 0 0 0 66810 199 0 0 25 0 1 0 898433580 437960704 105856 4294967295 134512640 134716908 3221224576 3221215440 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106924 105856 1111 63 0 106861 0
vsize: 427696
[startup+680.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 106149 0 0 0 67809 200 0 0 25 0 1 0 898433580 438382592 105960 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107027 105960 1111 63 0 106964 0
vsize: 428108
[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 106185 0 0 0 68809 201 0 0 25 0 1 0 898433580 438525952 105996 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107062 105996 1111 63 0 106999 0
vsize: 428248
[startup+700.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 112933 0 0 0 69797 213 0 0 25 0 1 0 898433580 450138112 108812 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108812 1111 63 0 109834 0
vsize: 439588
[startup+710.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 112942 0 0 0 70797 213 0 0 25 0 1 0 898433580 450138112 108821 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109897 108821 1111 63 0 109834 0
vsize: 439588
[startup+720.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 133099 0 0 0 71755 256 0 0 25 0 1 0 898433580 448794624 108638 4294967295 134512640 134716908 3221224576 3221222480 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109569 108638 1111 63 0 109506 0
vsize: 438276
[startup+730.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 141009 0 0 0 72736 274 0 0 25 0 1 0 898433580 439107584 106290 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107204 106290 1111 63 0 107141 0
vsize: 428816
[startup+740.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 174769 0 0 0 73668 343 0 0 25 0 1 0 898433580 435691520 105252 4294967295 134512640 134716908 3221224576 3221222496 1075799528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106370 105252 1111 63 0 106307 0
vsize: 425480
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 207778 0 0 0 74597 414 0 0 25 0 1 0 898433580 434212864 105098 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106009 105098 1111 63 0 105946 0
vsize: 424036
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 234087 0 0 0 75541 469 0 0 25 0 1 0 898433580 435019776 105259 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106172 105225 1111 63 0 106109 0
vsize: 424824
[startup+770.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 256917 0 0 0 76491 519 0 0 25 0 1 0 898433580 435437568 105266 4294967295 134512640 134716908 3221224576 3221221680 1074139007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106308 105266 1111 63 0 106245 0
vsize: 425232
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 278303 0 0 0 77443 567 0 0 25 0 1 0 898433580 434257920 105084 4294967295 134512640 134716908 3221224576 3221222576 1074056563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106020 105084 1111 63 0 105957 0
vsize: 424080
[startup+790.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 296639 0 0 0 78402 608 0 0 25 0 1 0 898433580 434429952 105145 4294967295 134512640 134716908 3221224576 3221223040 1074121015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106062 105145 1111 63 0 105999 0
vsize: 424248
[startup+800.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 314157 0 0 0 79364 646 0 0 25 0 1 0 898433580 434950144 105259 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106189 105259 1111 63 0 106126 0
vsize: 424756
[startup+810.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 330777 0 0 0 80328 683 0 0 25 0 1 0 898433580 434257920 105109 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+820.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 346467 0 0 0 81295 716 0 0 25 0 1 0 898433580 434257920 105109 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+830.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 361305 0 0 0 82262 749 0 0 25 0 1 0 898433580 434282496 105109 4294967295 134512640 134716908 3221224576 3221222664 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106026 105109 1111 63 0 105963 0
vsize: 424104
[startup+840.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 375366 0 0 0 83232 779 0 0 25 0 1 0 898433580 434282496 105115 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106026 105115 1111 63 0 105963 0
vsize: 424104
[startup+850.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 389438 0 0 0 84199 812 0 0 25 0 1 0 898433580 434257920 105109 4294967295 134512640 134716908 3221224576 3221222928 1074142746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+860.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 402315 0 0 0 85172 839 0 0 25 0 1 0 898433580 434929664 105273 4294967295 134512640 134716908 3221224576 3221223208 1073987068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106184 105273 1111 63 0 106121 0
vsize: 424736
[startup+870.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 415163 0 0 0 86144 867 0 0 25 0 1 0 898433580 434257920 105109 4294967295 134512640 134716908 3221224576 3221222720 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+880.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 427208 0 0 0 87118 893 0 0 25 0 1 0 898433580 435490816 105385 4294967295 134512640 134716908 3221224576 3221222928 1074115306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106321 105385 1111 63 0 106258 0
vsize: 425284
[startup+890.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 438566 0 0 0 88094 918 0 0 25 0 1 0 898433580 434745344 105218 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106139 105218 1111 63 0 106076 0
vsize: 424556
[startup+900.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 448867 0 0 0 89073 938 0 0 25 0 1 0 898433580 434356224 105133 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+910.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 459330 0 0 0 90049 962 0 0 25 0 1 0 898433580 436580352 105477 4294967295 134512640 134716908 3221224576 3221221696 1074834484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106587 105477 1111 63 0 106524 0
vsize: 426348
[startup+920.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 469086 0 0 0 91027 984 0 0 25 0 1 0 898433580 434356224 105133 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+930.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 479257 0 0 0 92004 1007 0 0 25 0 1 0 898433580 434331648 105127 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106038 105127 1111 63 0 105975 0
vsize: 424152
[startup+940.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 488527 0 0 0 92985 1027 0 0 25 0 1 0 898433580 434356224 105127 4294967295 134512640 134716908 3221224576 3221222688 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105127 1111 63 0 105981 0
vsize: 424176
[startup+950.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 497767 0 0 0 93965 1046 0 0 25 0 1 0 898433580 434356224 105127 4294967295 134512640 134716908 3221224576 3221222768 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105127 1111 63 0 105981 0
vsize: 424176
[startup+960.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 506345 0 0 0 94945 1067 0 0 25 0 1 0 898433580 434356224 105133 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+970.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 515140 0 0 0 95926 1085 0 0 25 0 1 0 898433580 434356224 105133 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+980.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 524144 0 0 0 96905 1106 0 0 25 0 1 0 898433580 434356224 105127 4294967295 134512640 134716908 3221224576 3221222680 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105127 1111 63 0 105981 0
vsize: 424176
[startup+990.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 532426 0 0 0 97885 1127 0 0 25 0 1 0 898433580 434356224 105133 4294967295 134512640 134716908 3221224576 3221222880 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106044 105133 1111 63 0 105981 0
vsize: 424176
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 540970 0 0 0 98866 1146 0 0 25 0 1 0 898433580 435142656 105293 4294967295 134512640 134716908 3221224576 3221222576 1074916922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106236 105293 1111 63 0 106173 0
vsize: 424944
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 549579 0 0 0 99847 1165 0 0 25 0 1 0 898433580 434765824 105233 4294967295 134512640 134716908 3221224576 3221222320 1075640204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106144 105233 1111 63 0 106081 0
vsize: 424576
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 557720 0 0 0 100830 1183 0 0 25 0 1 0 898433580 436047872 105350 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106457 105350 1111 63 0 106394 0
vsize: 425828
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 566857 0 0 0 101809 1204 0 0 25 0 1 0 898433580 434257920 105109 4294967295 134512640 134716908 3221224576 3221222688 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106020 105109 1111 63 0 105957 0
vsize: 424080
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 576195 0 0 0 102788 1224 0 0 25 0 1 0 898433580 434405376 105143 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106056 105143 1111 63 0 105993 0
vsize: 424224
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 585923 0 0 0 103768 1245 0 0 25 0 1 0 898433580 435601408 105415 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106348 105415 1111 63 0 106285 0
vsize: 425392
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 594573 0 0 0 104748 1265 0 0 25 0 1 0 898433580 434384896 105140 4294967295 134512640 134716908 3221224576 3221222600 1074138147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106051 105140 1111 63 0 105988 0
vsize: 424204
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 601942 0 0 0 105731 1282 0 0 25 0 1 0 898433580 434384896 105140 4294967295 134512640 134716908 3221224576 3221222768 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106051 105140 1111 63 0 105988 0
vsize: 424204
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 610061 0 0 0 106714 1299 0 0 25 0 1 0 898433580 436047872 105406 4294967295 134512640 134716908 3221224576 3221221696 1074865662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106457 105406 1111 63 0 106394 0
vsize: 425828
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 618568 0 0 0 107696 1317 0 0 25 0 1 0 898433580 434438144 105139 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106064 105139 1111 63 0 106001 0
vsize: 424256
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 627371 0 0 0 108678 1335 0 0 25 0 1 0 898433580 434147328 105082 4294967295 134512640 134716908 3221224576 3221222816 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105993 105082 1111 63 0 105930 0
vsize: 423972
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 635308 0 0 0 109660 1353 0 0 25 0 1 0 898433580 434372608 105123 4294967295 134512640 134716908 3221224576 3221222672 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106048 105123 1111 63 0 105985 0
vsize: 424192
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 643178 0 0 0 110643 1371 0 0 25 0 1 0 898433580 434327552 105124 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106037 105124 1111 63 0 105974 0
vsize: 424148
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 651054 0 0 0 111625 1388 0 0 25 0 1 0 898433580 434331648 105125 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106038 105125 1111 63 0 105975 0
vsize: 424152
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 659125 0 0 0 112607 1407 0 0 25 0 1 0 898433580 436133888 105372 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106478 105372 1111 63 0 106415 0
vsize: 425912
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 666742 0 0 0 113589 1425 0 0 25 0 1 0 898433580 434335744 105125 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106039 105125 1111 63 0 105976 0
vsize: 424156
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 674528 0 0 0 114570 1444 0 0 25 0 1 0 898433580 434282496 105115 4294967295 134512640 134716908 3221224576 3221222664 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106026 105115 1111 63 0 105963 0
vsize: 424104
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 682335 0 0 0 115551 1463 0 0 25 0 1 0 898433580 434163712 105080 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105997 105080 1111 63 0 105934 0
vsize: 423988
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 689700 0 0 0 116535 1479 0 0 25 0 1 0 898433580 436867072 105481 4294967295 134512640 134716908 3221224576 3221221616 1075860294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106657 105481 1111 63 0 106594 0
vsize: 426628
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 697053 0 0 0 117518 1495 0 0 25 0 1 0 898433580 434438144 105139 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106064 105139 1111 63 0 106001 0
vsize: 424256
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) R 20152 20224 20223 0 -1 0 704613 0 0 0 118501 1513 0 0 25 0 1 0 898433580 434049024 105058 4294967295 134512640 134716908 3221224576 3221222720 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105969 105058 1111 63 0 105906 0
vsize: 423876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20153
Raw data (stat): 20153 (bsolo_lpr-v2) Z 20152 20224 20223 0 -1 1036 704613 0 0 0 118501 1532 0 0 25 0 1 0 898433580 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.29
CPU time (s): 1200.34
CPU user time (s): 1185.01
CPU system time (s): 15.3267
CPU usage (%): 100.004
Max. virtual memory (Kb): 439588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####