PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb
MD5SUM	f8a5d8e99e0f063cb10208b1e5f7bf38
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1277437
Optimality of the best value was proved	NO
Number of terms in the objective function	5460
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1567797422
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1567797422
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5460
Total number of constraints	296
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	296
Minimum length of a constraint	21
Maximum length of a constraint	520
Trace number 40459

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 11:28:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28525 boxname=wulflinc4 idbench=1481 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f8a5d8e99e0f063cb10208b1e5f7bf38  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x26.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ran10x26.opb
IDLAUNCH: 28525
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        533104 kB
Buffers:         18844 kB
Cached:         461368 kB
SwapCached:        956 kB
Active:          24980 kB
Inactive:       457280 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        532712 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13728 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:47:51 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 28525 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5460 variables and 332 constraints.
c After prepocess the problem consists of 3050 variables and 409 constraints.
c preprocess terminated 8.807 s
c Initial Lower Bound: 493699
c Lower Bound Elapsed time: 0.222
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.91 0.95 0.92 2/54 31572
Raw data (stat): 31572 (runsolver) R 31571 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901264743 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0007 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 7882 0 0 0 979 17 0 0 25 0 1 0 901264743 33394688 7411 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7411 1111 63 0 8090 0
vsize: 32612
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 10475 0 0 0 1973 24 0 0 25 0 1 0 901264743 33394688 7413 4294967295 134512640 134716908 3221224576 3221222560 1074056223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7413 1111 63 0 8090 0
vsize: 32612
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 13131 0 0 0 2967 30 0 0 25 0 1 0 901264743 33738752 7422 4294967295 134512640 134716908 3221224576 3221222640 1075961756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8237 7422 1111 63 0 8174 0
vsize: 32948
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 15805 0 0 0 3960 37 0 0 25 0 1 0 901264743 33452032 7422 4294967295 134512640 134716908 3221224576 3221222320 1075645388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8167 7422 1111 63 0 8104 0
vsize: 32668
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 18512 0 0 0 4955 42 0 0 25 0 1 0 901264743 34152448 7526 4294967295 134512640 134716908 3221224576 3221220648 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8338 7526 1111 63 0 8275 0
vsize: 33352
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 21256 0 0 0 5948 49 0 0 25 0 1 0 901264743 33447936 7422 4294967295 134512640 134716908 3221224576 3221222320 1075636575 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7422 1111 63 0 8103 0
vsize: 32664
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 24057 0 0 0 6941 56 0 0 25 0 1 0 901264743 33394688 7413 4294967295 134512640 134716908 3221224576 3221222444 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7413 1111 63 0 8090 0
vsize: 32612
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 26848 0 0 0 7934 63 0 0 25 0 1 0 901264743 33447936 7417 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7417 1111 63 0 8103 0
vsize: 32664
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 29692 0 0 0 8927 71 0 0 25 0 1 0 901264743 33394688 7413 4294967295 134512640 134716908 3221224576 3221222464 1074056255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7413 1111 63 0 8090 0
vsize: 32612
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 32484 0 0 0 9921 77 0 0 25 0 1 0 901264743 33955840 7509 4294967295 134512640 134716908 3221224576 3221220736 1074794560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8290 7509 1111 63 0 8227 0
vsize: 33160
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 35139 0 0 0 10915 83 0 0 25 0 1 0 901264743 33394688 7413 4294967295 134512640 134716908 3221224576 3221221728 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7413 1111 63 0 8090 0
vsize: 32612
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 37838 0 0 0 11908 90 0 0 25 0 1 0 901264743 33394688 7413 4294967295 134512640 134716908 3221224576 3221222792 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7413 1111 63 0 8090 0
vsize: 32612
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 40516 0 0 0 12902 97 0 0 25 0 1 0 901264743 33447936 7421 4294967295 134512640 134716908 3221224576 3221222956 1074208560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7421 1111 63 0 8103 0
vsize: 32664
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 43184 0 0 0 13896 102 0 0 25 0 1 0 901264743 33935360 7513 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8194 7451 1111 63 0 8131 0
vsize: 33140
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 45808 0 0 0 14889 110 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 48303 0 0 0 15883 116 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221220000 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 50887 0 0 0 16878 121 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 53347 0 0 0 17872 128 0 0 25 0 1 0 901264743 33730560 7418 4294967295 134512640 134716908 3221224576 3221222304 1075828449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8235 7418 1111 63 0 8172 0
vsize: 32940
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 55858 0 0 0 18866 134 0 0 25 0 1 0 901264743 33730560 7417 4294967295 134512640 134716908 3221224576 3221222508 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8235 7418 1111 63 0 8172 0
vsize: 32940
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 58307 0 0 0 19858 142 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222992 1074116578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 60877 0 0 0 20852 148 0 0 25 0 1 0 901264743 33447936 7428 4294967295 134512640 134716908 3221224576 3221223040 1074121092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7428 1111 63 0 8103 0
vsize: 32664
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 63336 0 0 0 21846 154 0 0 25 0 1 0 901264743 33583104 7417 4294967295 134512640 134716908 3221224576 3221222496 1075799500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7417 1111 63 0 8136 0
vsize: 32796
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 65866 0 0 0 22840 160 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 68318 0 0 0 23834 167 0 0 25 0 1 0 901264743 33447936 7428 4294967295 134512640 134716908 3221224576 3221221680 1074138623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7428 1111 63 0 8103 0
vsize: 32664
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 70735 0 0 0 24829 172 0 0 25 0 1 0 901264743 33865728 7501 4294967295 134512640 134716908 3221224576 3221220572 1074788236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7501 1111 63 0 8205 0
vsize: 33072
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 73130 0 0 0 25824 178 0 0 25 0 1 0 901264743 33861632 7500 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8267 7500 1111 63 0 8204 0
vsize: 33068
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 75410 0 0 0 26819 183 0 0 25 0 1 0 901264743 33583104 7417 4294967295 134512640 134716908 3221224576 3221222304 1075828363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7417 1111 63 0 8136 0
vsize: 32796
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 77745 0 0 0 27813 189 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221221912 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 80081 0 0 0 28808 194 0 0 25 0 1 0 901264743 33447936 7428 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7428 1111 63 0 8103 0
vsize: 32664
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 82323 0 0 0 29802 200 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 84562 0 0 0 30796 207 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222224 1074247416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 86936 0 0 0 31790 213 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 89188 0 0 0 32784 219 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221221920 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 91529 0 0 0 33777 226 0 0 25 0 1 0 901264743 33939456 7488 4294967295 134512640 134716908 3221224576 3221220804 1075114960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8286 7488 1111 63 0 8223 0
vsize: 33144
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 93824 0 0 0 34770 233 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 96142 0 0 0 35765 239 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222096 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 98494 0 0 0 36759 244 0 0 25 0 1 0 901264743 33447936 7428 4294967295 134512640 134716908 3221224576 3221222712 1077379966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7428 1111 63 0 8103 0
vsize: 32664
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 100732 0 0 0 37754 249 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222112 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 102783 0 0 0 38749 255 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221220568 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 104808 0 0 0 39744 260 0 0 25 0 1 0 901264743 33583104 7417 4294967295 134512640 134716908 3221224576 3221222304 1075828243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7417 1111 63 0 8136 0
vsize: 32796
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 106986 0 0 0 40740 265 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222824 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 108952 0 0 0 41735 270 0 0 25 0 1 0 901264743 33447936 7428 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7428 1111 63 0 8103 0
vsize: 32664
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 110846 0 0 0 42732 273 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 112949 0 0 0 43726 279 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222208 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 114790 0 0 0 44722 283 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 116581 0 0 0 45718 288 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 118278 0 0 0 46714 292 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221221200 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 119981 0 0 0 47709 297 0 0 25 0 1 0 901264743 33394688 7415 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7415 1111 63 0 8090 0
vsize: 32612
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 121613 0 0 0 48705 301 0 0 25 0 1 0 901264743 33447936 7430 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7430 1111 63 0 8103 0
vsize: 32664
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 123249 0 0 0 49699 307 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 124834 0 0 0 50696 310 0 0 25 0 1 0 901264743 33583104 7419 4294967295 134512640 134716908 3221224576 3221222688 1074867200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7419 1111 63 0 8136 0
vsize: 32796
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 126414 0 0 0 51692 315 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 127905 0 0 0 52687 320 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 129339 0 0 0 53683 324 0 0 25 0 1 0 901264743 33787904 7452 4294967295 134512640 134716908 3221224576 3221220796 1074878880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8249 7452 1111 63 0 8186 0
vsize: 32996
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 130708 0 0 0 54679 328 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 132069 0 0 0 55676 331 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221221520 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 133371 0 0 0 56673 335 0 0 25 0 1 0 901264743 33447936 7430 4294967295 134512640 134716908 3221224576 3221221636 1074617634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7430 1111 63 0 8103 0
vsize: 32664
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 134606 0 0 0 57669 338 0 0 25 0 1 0 901264743 33447936 7428 4294967295 134512640 134716908 3221224576 3221222992 1074116239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7428 1111 63 0 8103 0
vsize: 32664
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 135800 0 0 0 58666 342 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222576 1074916799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 137085 0 0 0 59663 345 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 138256 0 0 0 60659 349 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 139215 0 0 0 61656 353 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 140208 0 0 0 62653 356 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 141089 0 0 0 63650 359 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222400 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 142048 0 0 0 64647 362 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222960 1074153596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 142936 0 0 0 65644 365 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 143773 0 0 0 66643 367 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 144584 0 0 0 67640 370 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 145396 0 0 0 68637 373 0 0 25 0 1 0 901264743 33738752 7437 4294967295 134512640 134716908 3221224576 3221221520 1074620314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8237 7437 1111 63 0 8174 0
vsize: 32948
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 146254 0 0 0 69635 375 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 147060 0 0 0 70633 377 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 147895 0 0 0 71630 380 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 148634 0 0 0 72628 382 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222304 1075828548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 149332 0 0 0 73626 385 0 0 25 0 1 0 901264743 33394688 7417 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7417 1111 63 0 8090 0
vsize: 32612
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 149959 0 0 0 74623 388 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 150605 0 0 0 75621 390 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 151269 0 0 0 76619 393 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222728 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 151846 0 0 0 77616 396 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222016 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 152670 0 0 0 78613 399 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222448 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 153635 0 0 0 79609 402 0 0 25 0 1 0 901264743 33746944 7435 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8239 7435 1111 63 0 8176 0
vsize: 32956
[startup+810.03 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 154549 0 0 0 80606 406 0 0 25 0 1 0 901264743 33447936 7427 4294967295 134512640 134716908 3221224576 3221221856 1074140029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7427 1111 63 0 8103 0
vsize: 32664
[startup+820.03 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 155468 0 0 0 81603 410 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222736 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+830.031 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 156363 0 0 0 82600 413 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+840.031 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 157240 0 0 0 83597 415 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222688 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+850.031 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 158167 0 0 0 84595 418 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+860.032 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 159246 0 0 0 85591 422 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+870.031 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 160461 0 0 0 86587 426 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+880.033 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 162055 0 0 0 87581 432 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+890.033 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 167307 0 0 0 88566 447 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222888 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+900.033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 172414 0 0 0 89554 459 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222768 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+910.033 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 177455 0 0 0 90541 472 0 0 25 0 1 0 901264743 33394688 7419 4294967295 134512640 134716908 3221224576 3221222928 1074142880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7419 1111 63 0 8090 0
vsize: 32612
[startup+920.034 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 183122 0 0 0 91528 485 0 0 25 0 1 0 901264743 33394688 7422 4294967295 134512640 134716908 3221224576 3221222668 1074206432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7422 1111 63 0 8090 0
vsize: 32612
[startup+930.035 s]
Raw data (loadavg): 1.01 0.99 0.93 3/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 188868 0 0 0 92513 500 0 0 25 0 1 0 901264743 33447936 7435 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7435 1111 63 0 8103 0
vsize: 32664
[startup+940.035 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 194592 0 0 0 93499 515 0 0 25 0 1 0 901264743 33763328 7468 4294967295 134512640 134716908 3221224576 3221221696 1074866126 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8287 7472 1111 63 0 8224 0
vsize: 32972
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 199879 0 0 0 94485 529 0 0 25 0 1 0 901264743 33939456 7487 4294967295 134512640 134716908 3221224576 3221221152 1076044858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8286 7487 1111 63 0 8223 0
vsize: 33144
[startup+960.037 s]
Raw data (loadavg): 1.00 0.99 0.93 3/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 205175 0 0 0 95472 543 0 0 25 0 1 0 901264743 33447936 7435 4294967295 134512640 134716908 3221224576 3221222992 1074117036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7435 1111 63 0 8103 0
vsize: 32664
[startup+970.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 210725 0 0 0 96457 558 0 0 25 0 1 0 901264743 33394688 7422 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7422 1111 63 0 8090 0
vsize: 32612
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 216005 0 0 0 97443 572 0 0 25 0 1 0 901264743 33394688 7422 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8153 7422 1111 63 0 8090 0
vsize: 32612
[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 221798 0 0 0 98428 587 0 0 25 0 1 0 901264743 33447936 7425 4294967295 134512640 134716908 3221224576 3221222424 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7425 1111 63 0 8103 0
vsize: 32664
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 228237 0 0 0 99411 604 0 0 25 0 1 0 901264743 33779712 7442 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7442 1111 63 0 8184 0
vsize: 32988
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 237831 0 0 0 100388 627 0 0 25 0 1 0 901264743 33447936 7435 4294967295 134512640 134716908 3221224576 3221222320 1075636680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7435 1111 63 0 8103 0
vsize: 32664
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 249055 0 0 0 101363 653 0 0 25 0 1 0 901264743 34131968 7529 4294967295 134512640 134716908 3221224576 3221220816 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8333 7529 1111 63 0 8270 0
vsize: 33332
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 254534 0 0 0 102350 666 0 0 25 0 1 0 901264743 33583104 7468 4294967295 134512640 134716908 3221224576 3221222688 1074206620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7468 1111 63 0 8136 0
vsize: 32796
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 260181 0 0 0 103336 680 0 0 25 0 1 0 901264743 33583104 7468 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7468 1111 63 0 8136 0
vsize: 32796
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.93 3/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 265465 0 0 0 104322 694 0 0 25 0 1 0 901264743 33583104 7468 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7468 1111 63 0 8136 0
vsize: 32796
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 271064 0 0 0 105308 708 0 0 25 0 1 0 901264743 33640448 7482 4294967295 134512640 134716908 3221224576 3221222304 1075635930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7482 1111 63 0 8150 0
vsize: 32852
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 276203 0 0 0 106294 723 0 0 25 0 1 0 901264743 33583104 7468 4294967295 134512640 134716908 3221224576 3221222804 1073978420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7468 1111 63 0 8136 0
vsize: 32796
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 281695 0 0 0 107279 737 0 0 25 0 1 0 901264743 33583104 7468 4294967295 134512640 134716908 3221224576 3221222688 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8199 7468 1111 63 0 8136 0
vsize: 32796
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 286926 0 0 0 108265 752 0 0 25 0 1 0 901264743 33640448 7482 4294967295 134512640 134716908 3221224576 3221222320 1075645399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7482 1111 63 0 8150 0
vsize: 32852
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 292704 0 0 0 109251 767 0 0 25 0 1 0 901264743 33640448 7482 4294967295 134512640 134716908 3221224576 3221222736 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7482 1111 63 0 8150 0
vsize: 32852
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 298672 0 0 0 110234 783 0 0 25 0 1 0 901264743 33640448 7482 4294967295 134512640 134716908 3221224576 3221222304 1075635580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8213 7482 1111 63 0 8150 0
vsize: 32852
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 306962 0 0 0 111214 803 0 0 25 0 1 0 901264743 33730560 7504 4294967295 134512640 134716908 3221224576 3221223040 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8235 7504 1111 63 0 8172 0
vsize: 32940
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 316856 0 0 0 112193 825 0 0 25 0 1 0 901264743 33779712 7516 4294967295 134512640 134716908 3221224576 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7516 1111 63 0 8184 0
vsize: 32988
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 327080 0 0 0 113169 848 0 0 25 0 1 0 901264743 33779712 7516 4294967295 134512640 134716908 3221224576 3221222864 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7516 1111 63 0 8184 0
vsize: 32988
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 339285 0 0 0 114141 877 0 0 25 0 1 0 901264743 33779712 7516 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7516 1111 63 0 8184 0
vsize: 32988
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 351492 0 0 0 115116 902 0 0 25 0 1 0 901264743 33779712 7516 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7516 1111 63 0 8184 0
vsize: 32988
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 363496 0 0 0 116087 932 0 0 25 0 1 0 901264743 33779712 7516 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7516 1111 63 0 8184 0
vsize: 32988
[startup+1174.96 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 31572
Raw data (stat): 31572 (bsolo_lpr-v2) R 31571 21152 21151 0 -1 0 363496 0 0 0 116087 932 0 0 25 0 1 0 901264743 33779712 7516 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8247 7516 1111 63 0 8184 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1165.64
CPU system time (s): 9.46756
CPU usage (%): 100.013
Max. virtual memory (Kb): 33352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####