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/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.7554
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 40020

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 00:34:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28071 boxname=wulflinc1 idbench=1027 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  665f67f4b53c876b2782c354a2ecbf32  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 28071
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        909772 kB
Buffers:         13576 kB
Cached:          86428 kB
SwapCached:       1112 kB
Active:          20772 kB
Inactive:        81500 kB
HighTotal:      131008 kB
HighFree:        41748 kB
LowTotal:       903652 kB
LowFree:        868024 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            16768 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:53:49 (client local time) WITH STATUS 0 IN 1175.27 SECONDS
stats: 28071 7 1175.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.306 s
c Initial Lower Bound: 15608252
c Lower Bound Elapsed time: 0.1455
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.25 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.92 2/55 14194
Raw data (stat): 14194 (runsolver) D 14193 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 840492686 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 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.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 12810 0 0 0 963 34 0 0 25 0 1 0 840492686 42631168 9693 4294967295 134512640 134716908 3221224576 3221222744 1077378266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10408 9693 1111 63 0 10345 0
vsize: 41632
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 17366 0 0 0 1952 45 0 0 25 0 1 0 840492686 43069440 9794 4294967295 134512640 134716908 3221224576 3221222320 1075646937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10511 9790 1111 63 0 10448 0
vsize: 42060
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 22466 0 0 0 2938 59 0 0 25 0 1 0 840492686 44072960 9913 4294967295 134512640 134716908 3221224576 3221221636 1074617714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10760 9913 1111 63 0 10697 0
vsize: 43040
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 27357 0 0 0 3926 72 0 0 25 0 1 0 840492686 43761664 9937 4294967295 134512640 134716908 3221224576 3221222536 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10739 9940 1111 63 0 10676 0
vsize: 42736
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 32770 0 0 0 4911 86 0 0 25 0 1 0 840492686 43929600 10010 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10725 10010 1111 63 0 10662 0
vsize: 42900
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 36888 0 0 0 5900 98 0 0 25 0 1 0 840492686 44040192 10037 4294967295 134512640 134716908 3221224576 3221222296 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10752 10037 1111 63 0 10689 0
vsize: 43008
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 40183 0 0 0 6891 107 0 0 25 0 1 0 840492686 44040192 10037 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10752 10037 1111 63 0 10689 0
vsize: 43008
[startup+80.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 45207 0 0 0 7878 120 0 0 25 0 1 0 840492686 44253184 10089 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10804 10089 1111 63 0 10741 0
vsize: 43216
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 48844 0 0 0 8866 132 0 0 25 0 1 0 840492686 44253184 10089 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10804 10089 1111 63 0 10741 0
vsize: 43216
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 53735 0 0 0 9852 146 0 0 25 0 1 0 840492686 44371968 10118 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10833 10118 1111 63 0 10770 0
vsize: 43332
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 56134 0 0 0 10845 153 0 0 25 0 1 0 840492686 44904448 10180 4294967295 134512640 134716908 3221224576 3221220572 1074860991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10963 10180 1111 63 0 10900 0
vsize: 43852
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 58201 0 0 0 11839 160 0 0 25 0 1 0 840492686 44371968 10118 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10833 10118 1111 63 0 10770 0
vsize: 43332
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 60342 0 0 0 12833 166 0 0 25 0 1 0 840492686 44371968 10118 4294967295 134512640 134716908 3221224576 3221222936 1077410241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10833 10118 1111 63 0 10770 0
vsize: 43332
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 62483 0 0 0 13828 171 0 0 25 0 1 0 840492686 44855296 10133 4294967295 134512640 134716908 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10951 10133 1111 63 0 10888 0
vsize: 43804
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 66477 0 0 0 14817 183 0 0 25 0 1 0 840492686 44605440 10166 4294967295 134512640 134716908 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10890 10166 1111 63 0 10827 0
vsize: 43560
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 69116 0 0 0 15809 191 0 0 25 0 1 0 840492686 44605440 10175 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10890 10175 1111 63 0 10827 0
vsize: 43560
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 72801 0 0 0 16798 202 0 0 25 0 1 0 840492686 44748800 10193 4294967295 134512640 134716908 3221224576 3221222576 1074918201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10925 10193 1111 63 0 10862 0
vsize: 43700
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 75330 0 0 0 17790 210 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222400 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 78043 0 0 0 18783 217 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 81337 0 0 0 19774 226 0 0 25 0 1 0 840492686 45236224 10248 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11044 10248 1111 63 0 10981 0
vsize: 44176
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 85413 0 0 0 20763 238 0 0 25 0 1 0 840492686 45223936 10194 4294967295 134512640 134716908 3221224576 3221221560 1074831562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 10194 1111 63 0 10978 0
vsize: 44164
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 89674 0 0 0 21751 250 0 0 25 0 1 0 840492686 44679168 10192 4294967295 134512640 134716908 3221224576 3221221696 1074865679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10908 10192 1111 63 0 10845 0
vsize: 43632
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 94528 0 0 0 22738 263 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222836 1077374123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 96206 0 0 0 23733 268 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 97931 0 0 0 24728 273 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 99663 0 0 0 25724 278 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 101498 0 0 0 26719 283 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 103478 0 0 0 27713 289 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 105304 0 0 0 28708 294 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 106959 0 0 0 29703 299 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 108628 0 0 0 30699 304 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221223380 134622173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 110457 0 0 0 31693 310 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222928 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 112539 0 0 0 32688 315 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221223256 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 114318 0 0 0 33683 320 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221223408 134589147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 116252 0 0 0 34677 327 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221221680 1074138863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 117944 0 0 0 35672 332 0 0 25 0 1 0 840492686 45023232 10175 4294967295 134512640 134716908 3221224576 3221221536 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10992 10175 1111 63 0 10929 0
vsize: 43968
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 120075 0 0 0 36666 337 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222360 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 122356 0 0 0 37660 344 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 124943 0 0 0 38653 351 0 0 25 0 1 0 840492686 45047808 10226 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10998 10226 1111 63 0 10935 0
vsize: 43992
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 127214 0 0 0 39646 358 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222360 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 129579 0 0 0 40640 364 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 132328 0 0 0 41633 372 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 135090 0 0 0 42624 381 0 0 25 0 1 0 840492686 45182976 10235 4294967295 134512640 134716908 3221224576 3221220944 1075894480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11031 10235 1111 63 0 10968 0
vsize: 44124
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 138044 0 0 0 43616 389 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 140364 0 0 0 44609 396 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222480 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 142584 0 0 0 45603 402 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222928 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 144835 0 0 0 46596 409 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 147017 0 0 0 47590 415 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 149134 0 0 0 48585 421 0 0 25 0 1 0 840492686 45023232 10211 4294967295 134512640 134716908 3221224576 3221220576 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10992 10211 1111 63 0 10929 0
vsize: 43968
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 151573 0 0 0 49577 429 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222400 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 155492 0 0 0 50567 439 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 158971 0 0 0 51558 448 0 0 25 0 1 0 840492686 44617728 10178 4294967295 134512640 134716908 3221224576 3221223024 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10893 10178 1111 63 0 10830 0
vsize: 43572
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 162191 0 0 0 52550 456 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 165401 0 0 0 53542 465 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 168772 0 0 0 54530 477 0 0 25 0 1 0 840492686 45117440 10188 4294967295 134512640 134716908 3221224576 3221221560 1074831838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11015 10188 1111 63 0 10952 0
vsize: 44060
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 172068 0 0 0 55521 486 0 0 25 0 1 0 840492686 44924928 10183 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10968 10183 1111 63 0 10905 0
vsize: 43872
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 176474 0 0 0 56509 499 0 0 25 0 1 0 840492686 44568576 10166 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10881 10166 1111 63 0 10818 0
vsize: 43524
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 180911 0 0 0 57496 511 0 0 25 0 1 0 840492686 45592576 10329 4294967295 134512640 134716908 3221224576 3221220784 1076079608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11131 10329 1111 63 0 11068 0
vsize: 44524
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 183898 0 0 0 58489 519 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 186585 0 0 0 59480 528 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222216 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 188621 0 0 0 60476 532 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 191084 0 0 0 61469 539 0 0 25 0 1 0 840492686 44797952 10216 4294967295 134512640 134716908 3221224576 3221222576 1074918577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10216 1111 63 0 10874 0
vsize: 43748
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 193567 0 0 0 62462 547 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222400 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 196000 0 0 0 63454 555 0 0 25 0 1 0 840492686 44797952 10222 4294967295 134512640 134716908 3221224576 3221223336 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10222 1111 63 0 10874 0
vsize: 43748
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 198557 0 0 0 64447 562 0 0 25 0 1 0 840492686 44904448 10217 4294967295 134512640 134716908 3221224576 3221222224 1075817784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10963 10217 1111 63 0 10900 0
vsize: 43852
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 201218 0 0 0 65439 570 0 0 25 0 1 0 840492686 44797952 10216 4294967295 134512640 134716908 3221224576 3221222576 1074918490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10216 1111 63 0 10874 0
vsize: 43748
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 204044 0 0 0 66432 577 0 0 25 0 1 0 840492686 44847104 10228 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10949 10228 1111 63 0 10886 0
vsize: 43796
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 206796 0 0 0 67423 586 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 209905 0 0 0 68415 595 0 0 25 0 1 0 840492686 44797952 10222 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10222 1111 63 0 10874 0
vsize: 43748
[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 212835 0 0 0 69406 604 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 215918 0 0 0 70398 612 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222928 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 219761 0 0 0 71387 623 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 222910 0 0 0 72379 632 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 226317 0 0 0 73370 641 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222528 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 229993 0 0 0 74360 651 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 233547 0 0 0 75350 661 0 0 25 0 1 0 840492686 45436928 10246 4294967295 134512640 134716908 3221224576 3221221620 1074846248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11093 10246 1111 63 0 11030 0
vsize: 44372
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 236731 0 0 0 76341 670 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+780.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 239926 0 0 0 77332 679 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 243581 0 0 0 78323 689 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 247522 0 0 0 79310 701 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+810.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 252560 0 0 0 80297 715 0 0 25 0 1 0 840492686 45105152 10253 4294967295 134512640 134716908 3221224576 3221222688 1074867325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11012 10255 1111 63 0 10949 0
vsize: 44048
[startup+820.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 255524 0 0 0 81289 723 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 258111 0 0 0 82283 730 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222592 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 260813 0 0 0 83275 738 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 263710 0 0 0 84267 746 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222576 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+860.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 266793 0 0 0 85258 755 0 0 25 0 1 0 840492686 44765184 10214 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10214 1111 63 0 10866 0
vsize: 43716
[startup+870.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 270514 0 0 0 86247 766 0 0 25 0 1 0 840492686 44974080 10223 4294967295 134512640 134716908 3221224576 3221222304 1075828471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10223 1111 63 0 10917 0
vsize: 43920
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 274155 0 0 0 87238 775 0 0 25 0 1 0 840492686 44789760 10220 4294967295 134512640 134716908 3221224576 3221222672 1074206180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10935 10220 1111 63 0 10872 0
vsize: 43740
[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 277633 0 0 0 88228 785 0 0 25 0 1 0 840492686 44789760 10220 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10935 10220 1111 63 0 10872 0
vsize: 43740
[startup+900.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 281078 0 0 0 89220 794 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 283806 0 0 0 90212 802 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+920.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 286675 0 0 0 91204 810 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222528 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+930.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 289478 0 0 0 92196 818 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+940.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 292333 0 0 0 93188 827 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+950.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 295565 0 0 0 94179 836 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+960.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 298773 0 0 0 95170 845 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222708 1077378632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+970.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 301983 0 0 0 96161 854 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+980.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 305269 0 0 0 97152 863 0 0 25 0 1 0 840492686 45494272 10310 4294967295 134512640 134716908 3221224576 3221220572 1074861001 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11107 10310 1111 63 0 11044 0
vsize: 44428
[startup+990.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 308633 0 0 0 98142 873 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221223320 134604895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 312390 0 0 0 99132 883 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 316502 0 0 0 100120 895 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 320571 0 0 0 101110 906 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 324010 0 0 0 102100 916 0 0 25 0 1 0 840492686 45490176 10311 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 10311 1111 63 0 11043 0
vsize: 44424
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 327183 0 0 0 103091 926 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222652 1073955656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 330462 0 0 0 104082 934 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222792 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 333815 0 0 0 105074 943 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222024 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 337459 0 0 0 106064 953 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221221856 1074140406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 340958 0 0 0 107054 963 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 345098 0 0 0 108043 974 0 0 25 0 1 0 840492686 44859392 10237 4294967295 134512640 134716908 3221224576 3221222976 1074118885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10952 10237 1111 63 0 10889 0
vsize: 43808
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 349136 0 0 0 109031 986 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 353332 0 0 0 110019 998 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222344 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 357071 0 0 0 111010 1008 0 0 25 0 1 0 840492686 44859392 10236 4294967295 134512640 134716908 3221224576 3221222576 1074916673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10952 10236 1111 63 0 10889 0
vsize: 43808
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 360712 0 0 0 112000 1018 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 364276 0 0 0 112989 1029 0 0 25 0 1 0 840492686 45015040 10243 4294967295 134512640 134716908 3221224576 3221221680 1074138614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10990 10243 1111 63 0 10927 0
vsize: 43960
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 368098 0 0 0 113979 1040 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 372018 0 0 0 114968 1051 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222400 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 375874 0 0 0 115957 1062 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 43760
[startup+1175.1 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 14194
Raw data (stat): 14194 (bsolo_lpr-v2) R 14193 8378 8377 0 -1 0 375874 0 0 0 115957 1062 0 0 25 0 1 0 840492686 44810240 10225 4294967295 134512640 134716908 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10225 1111 63 0 10877 0
vsize: 0

Child status: 0
Real time (s): 1175.1
CPU time (s): 1175.27
CPU user time (s): 1164.56
CPU system time (s): 10.7124
CPU usage (%): 100.015
Max. virtual memory (Kb): 44524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####