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/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	fa6454a9831f2da4180d8bfab7c0a21b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.037993
Number of variables	3288
Total number of constraints	310
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	310
Minimum length of a constraint	14
Maximum length of a constraint	123
Trace number 40432

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        904644 kB
Buffers:           152 kB
Cached:         110128 kB
SwapCached:        560 kB
Active:          25888 kB
Inactive:        86152 kB
HighTotal:      131008 kB
HighFree:        19880 kB
LowTotal:       903652 kB
LowFree:        884764 kB
SwapTotal:     2097136 kB
SwapFree:      2095280 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4780 kB
Slab:            12484 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:16:28 (client local time) WITH STATUS 0 IN 1175.26 SECONDS
stats: 28488 7 1175.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 329 constraints.
c preprocess terminated 3.973 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 0.3275
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.24 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.97 0.97 0.91 2/54 24586
Raw data (stat): 24586 (runsolver) R 24585 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900717304 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 7079 0 6 0 946 19 0 0 25 0 1 0 900717304 21057536 4426 4294967295 134512640 134716908 3221224576 3221222576 1074915852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5141 4426 1111 63 0 5078 0
vsize: 20564
[startup+20.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 10115 0 6 0 1939 27 0 0 25 0 1 0 900717304 21389312 4476 4294967295 134512640 134716908 3221224576 3221220804 1075114969 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5222 4476 1111 63 0 5159 0
vsize: 20888
[startup+30.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 13217 0 6 0 2931 35 0 0 25 0 1 0 900717304 21463040 4476 4294967295 134512640 134716908 3221224576 3221220560 1074875101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 4476 1111 63 0 5177 0
vsize: 20960
[startup+40.0022 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 16584 0 6 0 3922 44 0 0 25 0 1 0 900717304 21323776 4472 4294967295 134512640 134716908 3221224576 3221220736 1074794589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5206 4472 1111 63 0 5143 0
vsize: 20824
[startup+50.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 19619 0 6 0 4914 52 0 0 25 0 1 0 900717304 20733952 4353 4294967295 134512640 134716908 3221224576 3221221856 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4353 1111 63 0 4999 0
vsize: 20248
[startup+60.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 22963 0 6 0 5906 60 0 0 25 0 1 0 900717304 21372928 4468 4294967295 134512640 134716908 3221224576 3221220616 1074790386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5218 4468 1111 63 0 5155 0
vsize: 20872
[startup+70.0033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 25551 0 6 0 6900 66 0 0 25 0 1 0 900717304 20770816 4362 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4362 1111 63 0 5008 0
vsize: 20284
[startup+80.0041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 27998 0 6 0 7894 71 0 0 25 0 1 0 900717304 21356544 4479 4294967295 134512640 134716908 3221224576 3221221064 1074798917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4479 1111 63 0 5151 0
vsize: 20856
[startup+90.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 30817 0 6 0 8889 77 0 0 25 0 1 0 900717304 21483520 4494 4294967295 134512640 134716908 3221224576 3221221180 1077410224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5245 4494 1111 63 0 5182 0
vsize: 20980
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 33555 0 6 0 9883 83 0 0 25 0 1 0 900717304 20733952 4354 4294967295 134512640 134716908 3221224576 3221222336 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4354 1111 63 0 4999 0
vsize: 20248
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 36610 0 6 0 10874 92 0 0 25 0 1 0 900717304 20733952 4355 4294967295 134512640 134716908 3221224576 3221222336 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4355 1111 63 0 4999 0
vsize: 20248
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 39834 0 6 0 11865 101 0 0 25 0 1 0 900717304 21286912 4462 4294967295 134512640 134716908 3221224576 3221220648 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4462 1111 63 0 5134 0
vsize: 20788
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 43090 0 6 0 12855 112 0 0 25 0 1 0 900717304 20733952 4355 4294967295 134512640 134716908 3221224576 3221222264 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4355 1111 63 0 4999 0
vsize: 20248
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 47072 0 6 0 13845 122 0 0 25 0 1 0 900717304 21172224 4389 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4389 1111 63 0 5106 0
vsize: 20676
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 50986 0 6 0 14833 133 0 0 25 0 1 0 900717304 20733952 4355 4294967295 134512640 134716908 3221224576 3221222384 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4355 1111 63 0 4999 0
vsize: 20248
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 55154 0 6 0 15823 144 0 0 25 0 1 0 900717304 21409792 4472 4294967295 134512640 134716908 3221224576 3221220648 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5227 4472 1111 63 0 5164 0
vsize: 20908
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 59541 0 6 0 16811 156 0 0 25 0 1 0 900717304 21278720 4455 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5195 4455 1111 63 0 5132 0
vsize: 20780
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 64115 0 6 0 17798 169 0 0 25 0 1 0 900717304 21131264 4426 4294967295 134512640 134716908 3221224576 3221221680 1074139116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5159 4426 1111 63 0 5096 0
vsize: 20636
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24586
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 67469 0 6 0 18788 179 0 0 25 0 1 0 900717304 20873216 4390 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5096 4390 1111 63 0 5033 0
vsize: 20384
[startup+200.006 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 24639
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 70821 0 6 0 19774 192 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221222248 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+210.006 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 24639
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 74858 0 6 0 20763 203 0 0 25 0 1 0 900717304 21286912 4463 4294967295 134512640 134716908 3221224576 3221220672 1074879297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4463 1111 63 0 5134 0
vsize: 20788
[startup+220.007 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 24639
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 78673 0 6 0 21752 214 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221222160 134652422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+230.008 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 24639
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 82693 0 6 0 22743 223 0 0 25 0 1 0 900717304 21262336 4456 4294967295 134512640 134716908 3221224576 3221220740 1075964224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5191 4456 1111 63 0 5128 0
vsize: 20764
[startup+240.007 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 24639
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 86732 0 6 0 23732 234 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221222600 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+250.007 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 24639
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 91523 0 6 0 24721 246 0 0 25 0 1 0 900717304 21106688 4387 4294967295 134512640 134716908 3221224576 3221221480 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5153 4387 1111 63 0 5090 0
vsize: 20612
[startup+260.007 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 96166 0 6 0 25708 259 0 0 25 0 1 0 900717304 21299200 4460 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 4460 1111 63 0 5137 0
vsize: 20800
[startup+270.007 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 100107 0 6 0 26696 270 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221222336 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+280.007 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 104195 0 6 0 27685 281 0 0 25 0 1 0 900717304 21102592 4374 4294967295 134512640 134716908 3221224576 3221222688 1074867323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5152 4374 1111 63 0 5089 0
vsize: 20608
[startup+290.008 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 108390 0 6 0 28676 292 0 0 25 0 1 0 900717304 21086208 4370 4294967295 134512640 134716908 3221224576 3221222304 1075828621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5148 4370 1111 63 0 5085 0
vsize: 20592
[startup+300.008 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 112649 0 6 0 29663 304 0 0 25 0 1 0 900717304 21278720 4457 4294967295 134512640 134716908 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5195 4457 1111 63 0 5132 0
vsize: 20780
[startup+310.009 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 116901 0 6 0 30650 318 0 0 25 0 1 0 900717304 21082112 4369 4294967295 134512640 134716908 3221224576 3221222640 1075961756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 4369 1111 63 0 5084 0
vsize: 20588
[startup+320.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 121296 0 6 0 31638 329 0 0 25 0 1 0 900717304 21073920 4378 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 4378 1111 63 0 5082 0
vsize: 20580
[startup+330.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 125754 0 6 0 32626 342 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221221920 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+340.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 130583 0 6 0 33615 353 0 0 25 0 1 0 900717304 21303296 4460 4294967295 134512640 134716908 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4460 1111 63 0 5138 0
vsize: 20804
[startup+350.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 135272 0 6 0 34602 367 0 0 25 0 1 0 900717304 21123072 4381 4294967295 134512640 134716908 3221224576 3221222304 1075828535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4381 1111 63 0 5094 0
vsize: 20628
[startup+360.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 139712 0 6 0 35591 378 0 0 25 0 1 0 900717304 20770816 4365 4294967295 134512640 134716908 3221224576 3221222856 1074138274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4365 1111 63 0 5008 0
vsize: 20284
[startup+370.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 144020 0 6 0 36580 389 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+380.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 148632 0 6 0 37567 401 0 0 25 0 1 0 900717304 21368832 4446 4294967295 134512640 134716908 3221224576 3221220712 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5217 4446 1111 63 0 5154 0
vsize: 20868
[startup+390.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 153015 0 6 0 38555 414 0 0 25 0 1 0 900717304 20770816 4365 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4365 1111 63 0 5008 0
vsize: 20284
[startup+400.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 157644 0 6 0 39543 426 0 0 25 0 1 0 900717304 20770816 4364 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4364 1111 63 0 5008 0
vsize: 20284
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 162302 0 6 0 40529 441 0 0 25 0 1 0 900717304 20733952 4356 4294967295 134512640 134716908 3221224576 3221222120 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4356 1111 63 0 4999 0
vsize: 20248
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 167017 0 6 0 41514 456 0 0 25 0 1 0 900717304 20770816 4361 4294967295 134512640 134716908 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4361 1111 63 0 5008 0
vsize: 20284
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 171470 0 6 0 42501 469 0 0 25 0 1 0 900717304 20733952 4357 4294967295 134512640 134716908 3221224576 3221222200 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20248
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 176778 0 6 0 43487 483 0 0 25 0 1 0 900717304 20733952 4357 4294967295 134512640 134716908 3221224576 3221221932 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20248
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 182221 0 6 0 44471 499 0 0 25 0 1 0 900717304 20770816 4366 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20284
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 187642 0 6 0 45457 514 0 0 25 0 1 0 900717304 20733952 4357 4294967295 134512640 134716908 3221224576 3221222448 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20248
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 192966 0 6 0 46440 531 0 0 25 0 1 0 900717304 20733952 4357 4294967295 134512640 134716908 3221224576 3221221920 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20248
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 198106 0 6 0 47426 545 0 0 25 0 1 0 900717304 20770816 4362 4294967295 134512640 134716908 3221224576 3221222576 1074918472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4362 1111 63 0 5008 0
vsize: 20284
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 203872 0 6 0 48411 560 0 0 25 0 1 0 900717304 21270528 4449 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 4449 1111 63 0 5130 0
vsize: 20772
[startup+500.017 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 209667 0 6 0 49396 576 0 0 25 0 1 0 900717304 21078016 4371 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5146 4371 1111 63 0 5083 0
vsize: 20584
[startup+510.016 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 215039 0 6 0 50380 592 0 0 25 0 1 0 900717304 20733952 4357 4294967295 134512640 134716908 3221224576 3221222160 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20248
[startup+520.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 24641
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 220416 0 6 0 51364 607 0 0 25 0 1 0 900717304 20733952 4357 4294967295 134512640 134716908 3221224576 3221222192 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5062 4357 1111 63 0 4999 0
vsize: 20248
[startup+530.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 227034 0 6 0 52346 626 0 0 25 0 1 0 900717304 21180416 4395 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5171 4395 1111 63 0 5108 0
vsize: 20684
[startup+540.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 235288 0 6 0 53323 649 0 0 25 0 1 0 900717304 20963328 4413 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5118 4413 1111 63 0 5055 0
vsize: 20472
[startup+550.017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 243046 0 6 0 54303 669 0 0 25 0 1 0 900717304 21561344 4485 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4485 1111 63 0 5201 0
vsize: 21056
[startup+560.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 249103 0 6 0 55288 684 0 0 25 0 1 0 900717304 21192704 4439 4294967295 134512640 134716908 3221224576 3221221388 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5174 4439 1111 63 0 5111 0
vsize: 20696
[startup+570.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 254590 0 6 0 56273 699 0 0 25 0 1 0 900717304 21020672 4427 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5132 4427 1111 63 0 5069 0
vsize: 20528
[startup+580.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 259767 0 6 0 57260 712 0 0 25 0 1 0 900717304 21127168 4453 4294967295 134512640 134716908 3221224576 3221222576 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5158 4453 1111 63 0 5095 0
vsize: 20632
[startup+590.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 265232 0 6 0 58247 725 0 0 25 0 1 0 900717304 21647360 4509 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5285 4509 1111 63 0 5222 0
vsize: 21140
[startup+600.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 270522 0 6 0 59233 740 0 0 25 0 1 0 900717304 21245952 4482 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4482 1111 63 0 5124 0
vsize: 20748
[startup+610.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 276626 0 6 0 60217 756 0 0 25 0 1 0 900717304 21770240 4582 4294967295 134512640 134716908 3221224576 3221220540 1074860608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4582 1111 63 0 5252 0
vsize: 21260
[startup+620.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 282491 0 6 0 61203 770 0 0 25 0 1 0 900717304 21680128 4518 4294967295 134512640 134716908 3221224576 3221222640 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5293 4518 1111 63 0 5230 0
vsize: 21172
[startup+630.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 288493 0 6 0 62189 784 0 0 25 0 1 0 900717304 21127168 4453 4294967295 134512640 134716908 3221224576 3221222816 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5158 4453 1111 63 0 5095 0
vsize: 20632
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 294423 0 6 0 63175 798 0 0 25 0 1 0 900717304 21794816 4588 4294967295 134512640 134716908 3221224576 3221220540 1074860611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5321 4588 1111 63 0 5258 0
vsize: 21284
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 300501 0 6 0 64161 813 0 0 25 0 1 0 900717304 21909504 4584 4294967295 134512640 134716908 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4584 1111 63 0 5286 0
vsize: 21396
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 306765 0 6 0 65147 827 0 0 25 0 1 0 900717304 21782528 4585 4294967295 134512640 134716908 3221224576 3221220540 1074860634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 4585 1111 63 0 5255 0
vsize: 21272
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 313485 0 6 0 66131 843 0 0 25 0 1 0 900717304 21127168 4453 4294967295 134512640 134716908 3221224576 3221222336 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5158 4453 1111 63 0 5095 0
vsize: 20632
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 320393 0 6 0 67114 860 0 0 25 0 1 0 900717304 21815296 4577 4294967295 134512640 134716908 3221224576 3221220804 1075114950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5326 4577 1111 63 0 5263 0
vsize: 21304
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 327090 0 6 0 68096 879 0 0 25 0 1 0 900717304 21794816 4572 4294967295 134512640 134716908 3221224576 3221220800 1075895905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5321 4572 1111 63 0 5258 0
vsize: 21284
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 333399 0 6 0 69080 895 0 0 25 0 1 0 900717304 21127168 4453 4294967295 134512640 134716908 3221224576 3221222400 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5158 4453 1111 63 0 5095 0
vsize: 20632
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 339874 0 6 0 70064 911 0 0 25 0 1 0 900717304 21766144 4566 4294967295 134512640 134716908 3221224576 3221221644 1074831225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5314 4566 1111 63 0 5251 0
vsize: 21256
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 346392 0 6 0 71048 927 0 0 25 0 1 0 900717304 21127168 4453 4294967295 134512640 134716908 3221224576 3221221808 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5158 4453 1111 63 0 5095 0
vsize: 20632
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 353445 0 6 0 72031 945 0 0 25 0 1 0 900717304 21770240 4578 4294967295 134512640 134716908 3221224576 3221220792 1075560257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5315 4578 1111 63 0 5252 0
vsize: 21260
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 360484 0 6 0 73015 961 0 0 25 0 1 0 900717304 21856256 4602 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5336 4602 1111 63 0 5273 0
vsize: 21344
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 367293 0 6 0 73999 977 0 0 25 0 1 0 900717304 21716992 4518 4294967295 134512640 134716908 3221224576 3221222304 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5302 4524 1111 63 0 5239 0
vsize: 21208
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 374249 0 6 0 74982 994 0 0 25 0 1 0 900717304 21590016 4520 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4521 1111 63 0 5208 0
vsize: 21084
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 382674 0 6 0 75959 1017 0 0 25 0 1 0 900717304 21245952 4482 4294967295 134512640 134716908 3221224576 3221223424 134623469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4482 1111 63 0 5124 0
vsize: 20748
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 391035 0 6 0 76940 1037 0 0 25 0 1 0 900717304 21934080 4589 4294967295 134512640 134716908 3221224576 3221221616 1075859966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5355 4589 1111 63 0 5292 0
vsize: 21420
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 398292 0 6 0 77923 1054 0 0 25 0 1 0 900717304 21987328 4617 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4618 1111 63 0 5305 0
vsize: 21472
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 405947 0 6 0 78906 1071 0 0 25 0 1 0 900717304 21979136 4661 4294967295 134512640 134716908 3221224576 3221222992 1074117062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5366 4661 1111 63 0 5303 0
vsize: 21464
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 412147 0 6 0 79889 1088 0 0 25 0 1 0 900717304 22421504 4724 4294967295 134512640 134716908 3221224576 3221221496 1074950064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4724 1111 63 0 5411 0
vsize: 21896
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 418737 0 6 0 80874 1104 0 0 25 0 1 0 900717304 21741568 4603 4294967295 134512640 134716908 3221224576 3221221920 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5308 4603 1111 63 0 5245 0
vsize: 21232
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 426132 0 6 0 81855 1122 0 0 25 0 1 0 900717304 21807104 4619 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4619 1111 63 0 5261 0
vsize: 21296
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 435163 0 6 0 82836 1142 0 0 25 0 1 0 900717304 21807104 4619 4294967295 134512640 134716908 3221224576 3221222832 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4619 1111 63 0 5261 0
vsize: 21296
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 444714 0 6 0 83814 1164 0 0 25 0 1 0 900717304 22474752 4711 4294967295 134512640 134716908 3221224576 3221222304 1075823576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4711 1111 63 0 5424 0
vsize: 21948
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 452313 0 6 0 84796 1182 0 0 25 0 1 0 900717304 22196224 4714 4294967295 134512640 134716908 3221224576 3221222352 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5419 4714 1111 63 0 5356 0
vsize: 21676
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 458702 0 6 0 85780 1199 0 0 25 0 1 0 900717304 22196224 4714 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5419 4714 1111 63 0 5356 0
vsize: 21676
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 465978 0 6 0 86761 1217 0 0 25 0 1 0 900717304 22196224 4714 4294967295 134512640 134716908 3221224576 3221222784 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5419 4714 1111 63 0 5356 0
vsize: 21676
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 474479 0 6 0 87741 1237 0 0 25 0 1 0 900717304 23109632 4892 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5642 4892 1111 63 0 5579 0
vsize: 22568
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 482211 0 6 0 88723 1256 0 0 25 0 1 0 900717304 22605824 4814 4294967295 134512640 134716908 3221224576 3221223196 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5519 4814 1111 63 0 5456 0
vsize: 22076
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 488789 0 6 0 89708 1271 0 0 25 0 1 0 900717304 23060480 4891 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5630 4891 1111 63 0 5567 0
vsize: 22520
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 495270 0 6 0 90696 1284 0 0 25 0 1 0 900717304 22478848 4783 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4783 1111 63 0 5425 0
vsize: 21952
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 501959 0 6 0 91683 1297 0 0 25 0 1 0 900717304 22769664 4855 4294967295 134512640 134716908 3221224576 3221222584 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4855 1111 63 0 5496 0
vsize: 22236
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 508362 0 6 0 92670 1310 0 0 25 0 1 0 900717304 23486464 4948 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5734 4954 1111 63 0 5671 0
vsize: 22936
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 514229 0 6 0 93657 1323 0 0 25 0 1 0 900717304 23130112 4890 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5647 4896 1111 63 0 5584 0
vsize: 22588
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 520126 0 6 0 94641 1339 0 0 25 0 1 0 900717304 23269376 4945 4294967295 134512640 134716908 3221224576 3221221536 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5681 4945 1111 63 0 5618 0
vsize: 22724
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 526173 0 6 0 95628 1352 0 0 25 0 1 0 900717304 23740416 5035 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5796 5035 1111 63 0 5733 0
vsize: 23184
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 532045 0 6 0 96615 1365 0 0 25 0 1 0 900717304 22769664 4855 4294967295 134512640 134716908 3221224576 3221222736 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4855 1111 63 0 5496 0
vsize: 22236
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 537840 0 6 0 97603 1378 0 0 25 0 1 0 900717304 22769664 4855 4294967295 134512640 134716908 3221224576 3221221872 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4855 1111 63 0 5496 0
vsize: 22236
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 543470 0 6 0 98591 1390 0 0 25 0 1 0 900717304 22769664 4855 4294967295 134512640 134716908 3221224576 3221222096 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4855 1111 63 0 5496 0
vsize: 22236
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 549147 0 6 0 99575 1406 0 0 25 0 1 0 900717304 22769664 4855 4294967295 134512640 134716908 3221224576 3221221816 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4855 1111 63 0 5496 0
vsize: 22236
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 555902 0 6 0 100562 1420 0 0 25 0 1 0 900717304 22982656 4907 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5611 4907 1111 63 0 5548 0
vsize: 22444
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 562926 0 6 0 101547 1434 0 0 25 0 1 0 900717304 23343104 4995 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5699 4995 1111 63 0 5636 0
vsize: 22796
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 570010 0 6 0 102533 1449 0 0 25 0 1 0 900717304 23691264 5005 4294967295 134512640 134716908 3221224576 3221222304 1075828232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5784 5005 1111 63 0 5721 0
vsize: 23136
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 577262 0 6 0 103518 1464 0 0 25 0 1 0 900717304 23359488 4985 4294967295 134512640 134716908 3221224576 3221222536 1074138312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 4985 1111 63 0 5640 0
vsize: 22812
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 583980 0 6 0 104505 1477 0 0 25 0 1 0 900717304 23330816 4962 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5696 4967 1111 63 0 5633 0
vsize: 22784
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 591390 0 6 0 105489 1493 0 0 25 0 1 0 900717304 22769664 4856 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4856 1111 63 0 5496 0
vsize: 22236
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 598990 0 6 0 106473 1510 0 0 25 0 1 0 900717304 23158784 4919 4294967295 134512640 134716908 3221224576 3221222576 1074916962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4919 1111 63 0 5591 0
vsize: 22616
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 604672 0 6 0 107459 1524 0 0 25 0 1 0 900717304 22769664 4856 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4856 1111 63 0 5496 0
vsize: 22236
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 610073 0 6 0 108447 1536 0 0 25 0 1 0 900717304 22769664 4856 4294967295 134512640 134716908 3221224576 3221221952 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5559 4856 1111 63 0 5496 0
vsize: 22236
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 617454 0 6 0 109430 1553 0 0 25 0 1 0 900717304 22933504 4896 4294967295 134512640 134716908 3221224576 3221222672 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5599 4896 1111 63 0 5536 0
vsize: 22396
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 624266 0 6 0 110414 1569 0 0 25 0 1 0 900717304 23113728 4914 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4914 1111 63 0 5580 0
vsize: 22572
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 630977 0 6 0 111398 1585 0 0 25 0 1 0 900717304 23113728 4909 4294967295 134512640 134716908 3221224576 3221222448 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5643 4909 1111 63 0 5580 0
vsize: 22572
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 637974 0 6 0 112381 1603 0 0 25 0 1 0 900717304 23064576 4907 4294967295 134512640 134716908 3221224576 3221222112 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5631 4907 1111 63 0 5568 0
vsize: 22524
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 645386 0 6 0 113364 1620 0 0 25 0 1 0 900717304 23064576 4897 4294967295 134512640 134716908 3221224576 3221222092 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5631 4897 1111 63 0 5568 0
vsize: 22524
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 652917 0 6 0 114346 1638 0 0 25 0 1 0 900717304 22913024 4891 4294967295 134512640 134716908 3221224576 3221222796 1073987056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5594 4891 1111 63 0 5531 0
vsize: 22376
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 659667 0 6 0 115329 1655 0 0 25 0 1 0 900717304 23527424 4968 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5744 4968 1111 63 0 5681 0
vsize: 22976
[startup+1175.45 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 24643
Raw data (stat): 24586 (bsolo_lpr-v2) R 24585 20224 20223 0 -1 0 659667 0 6 0 115329 1655 0 0 25 0 1 0 900717304 23527424 4968 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5744 4968 1111 63 0 5681 0
vsize: 0

Child status: 0
Real time (s): 1175.44
CPU time (s): 1175.26
CPU user time (s): 1158.6
CPU system time (s): 16.6615
CPU usage (%): 99.9844
Max. virtual memory (Kb): 23184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####