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/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM	388cec2ad329df6f021dfbdc92f512ad
Bench Category	optimization, big integers (OPTBIGINT)
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	3774
Biggest coefficient in the objective function	3604480000000000
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	483609165299803395
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	3604480000000000
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	483609165299803395
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05999
Number of variables	6363
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	141
Trace number 39993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 00:08:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28052 boxname=wulflinc5 idbench=1008 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  388cec2ad329df6f021dfbdc92f512ad  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-timtab2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-timtab2.opb
IDLAUNCH: 28052
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        929484 kB
Buffers:          1152 kB
Cached:          81916 kB
SwapCached:        708 kB
Active:          18712 kB
Inactive:        66360 kB
HighTotal:      131008 kB
HighFree:        65296 kB
LowTotal:       903652 kB
LowFree:        864188 kB
SwapTotal:     2097136 kB
SwapFree:      2095488 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            14412 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:27:54 (client local time) WITH STATUS 0 IN 1175.61 SECONDS
stats: 28052 7 1175.61 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6363 variables and 1079 constraints.
c After prepocess the problem consists of 6361 variables and 1082 constraints.
c preprocess terminated 6.737 s
c Initial Lower Bound: -3750
c Lower Bound Elapsed time: 0.7515
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.58 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.98 0.92 1/54 10545
Raw data (stat): 10545 (runsolver) R 10544 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897194033 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 14349 0 0 0 960 37 0 0 25 0 1 0 897194033 41934848 9510 4294967295 134512640 134716908 3221224576 3221222696 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10238 9510 1111 63 0 10175 0
vsize: 40952
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 20810 0 0 0 1942 54 0 0 25 0 1 0 897194033 42180608 9572 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9572 1111 63 0 10235 0
vsize: 41192
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 27375 0 0 0 2925 71 0 0 25 0 1 0 897194033 42254336 9592 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10316 9592 1111 63 0 10253 0
vsize: 41264
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 34603 0 0 0 3907 88 0 0 25 0 1 0 897194033 44212224 9907 4294967295 134512640 134716908 3221224576 3221221232 1075967759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10794 9907 1111 63 0 10731 0
vsize: 43176
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 41042 0 0 0 4892 103 0 0 25 0 1 0 897194033 44212224 9901 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10794 9901 1111 63 0 10731 0
vsize: 43176
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 47959 0 0 0 5874 122 0 0 25 0 1 0 897194033 41934848 9514 4294967295 134512640 134716908 3221224576 3221222708 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9514 1111 63 0 10175 0
vsize: 40952
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 54472 0 0 0 6858 138 0 0 25 0 1 0 897194033 42196992 9578 4294967295 134512640 134716908 3221224576 3221222312 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10302 9578 1111 63 0 10239 0
vsize: 41208
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 60778 0 0 0 7842 154 0 0 25 0 1 0 897194033 41934848 9514 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9514 1111 63 0 10175 0
vsize: 40952
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 66688 0 0 0 8827 169 0 0 25 0 1 0 897194033 44199936 9896 4294967295 134512640 134716908 3221224576 3221220712 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10791 9896 1111 63 0 10728 0
vsize: 43164
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 73516 0 0 0 9812 184 0 0 25 0 1 0 897194033 42356736 9615 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10341 9615 1111 63 0 10278 0
vsize: 41364
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 78687 0 0 0 10800 197 0 0 25 0 1 0 897194033 42246144 9590 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10314 9590 1111 63 0 10251 0
vsize: 41256
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 85427 0 0 0 11784 213 0 0 25 0 1 0 897194033 43384832 9866 4294967295 134512640 134716908 3221224576 3221222576 1074916773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10592 9866 1111 63 0 10529 0
vsize: 42368
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 91993 0 0 0 12769 229 0 0 25 0 1 0 897194033 44036096 9971 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10751 9974 1111 63 0 10688 0
vsize: 43004
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 97586 0 0 0 13753 245 0 0 25 0 1 0 897194033 42209280 9582 4294967295 134512640 134716908 3221224576 3221221952 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10305 9582 1111 63 0 10242 0
vsize: 41220
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 103798 0 0 0 14737 261 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222152 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 110081 0 0 0 15722 276 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222432 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 116564 0 0 0 16706 292 0 0 25 0 1 0 897194033 42225664 9586 4294967295 134512640 134716908 3221224576 3221222064 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10309 9586 1111 63 0 10246 0
vsize: 41236
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 123249 0 0 0 17689 309 0 0 25 0 1 0 897194033 43773952 9877 4294967295 134512640 134716908 3221224576 3221222400 1075823496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10687 9877 1111 63 0 10624 0
vsize: 42748
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 130563 0 0 0 18670 329 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 136957 0 0 0 19654 345 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222024 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 143407 0 0 0 20637 362 0 0 25 0 1 0 897194033 42246144 9591 4294967295 134512640 134716908 3221224576 3221221856 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10314 9591 1111 63 0 10251 0
vsize: 41256
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 150196 0 0 0 21622 377 0 0 25 0 1 0 897194033 43405312 9872 4294967295 134512640 134716908 3221224576 3221222576 1074916330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9872 1111 63 0 10534 0
vsize: 42388
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 156104 0 0 0 22607 392 0 0 25 0 1 0 897194033 42266624 9596 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10319 9596 1111 63 0 10256 0
vsize: 41276
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 162301 0 0 0 23593 407 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 168645 0 0 0 24575 425 0 0 25 0 1 0 897194033 42184704 9576 4294967295 134512640 134716908 3221224576 3221221696 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10299 9576 1111 63 0 10236 0
vsize: 41196
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 174930 0 0 0 25560 440 0 0 25 0 1 0 897194033 42237952 9589 4294967295 134512640 134716908 3221224576 3221222064 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10312 9589 1111 63 0 10249 0
vsize: 41248
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 181212 0 0 0 26545 455 0 0 25 0 1 0 897194033 42274816 9598 4294967295 134512640 134716908 3221224576 3221221856 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10321 9598 1111 63 0 10258 0
vsize: 41284
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 188665 0 0 0 27525 475 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222400 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 195182 0 0 0 28510 490 0 0 25 0 1 0 897194033 43536384 9821 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10629 9821 1111 63 0 10566 0
vsize: 42516
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 202061 0 0 0 29493 507 0 0 25 0 1 0 897194033 42151936 9568 4294967295 134512640 134716908 3221224576 3221221728 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10291 9568 1111 63 0 10228 0
vsize: 41164
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 209144 0 0 0 30476 525 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 215385 0 0 0 31462 539 0 0 25 0 1 0 897194033 42213376 9583 4294967295 134512640 134716908 3221224576 3221222096 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10306 9583 1111 63 0 10243 0
vsize: 41224
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 222475 0 0 0 32445 557 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222204 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 229487 0 0 0 33429 573 0 0 25 0 1 0 897194033 42848256 9738 4294967295 134512640 134716908 3221224576 3221221680 1074139054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 9738 1111 63 0 10398 0
vsize: 41844
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 235643 0 0 0 34413 589 0 0 25 0 1 0 897194033 42250240 9592 4294967295 134512640 134716908 3221224576 3221221536 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 9592 1111 63 0 10252 0
vsize: 41260
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 242649 0 0 0 35397 606 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222624 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 249485 0 0 0 36380 622 0 0 25 0 1 0 897194033 42340352 9614 4294967295 134512640 134716908 3221224576 3221221920 1074839053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 9614 1111 63 0 10274 0
vsize: 41348
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 255672 0 0 0 37364 639 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222400 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 262783 0 0 0 38346 657 0 0 25 0 1 0 897194033 41934848 9515 4294967295 134512640 134716908 3221224576 3221222392 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10238 9515 1111 63 0 10175 0
vsize: 40952
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 269635 0 0 0 39329 674 0 0 25 0 1 0 897194033 42340352 9614 4294967295 134512640 134716908 3221224576 3221222568 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 9614 1111 63 0 10274 0
vsize: 41348
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 276066 0 0 0 40313 690 0 0 25 0 1 0 897194033 43147264 9809 4294967295 134512640 134716908 3221224576 3221221968 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9809 1111 63 0 10471 0
vsize: 42136
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 282363 0 0 0 41297 706 0 0 25 0 1 0 897194033 43339776 9854 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9854 1111 63 0 10518 0
vsize: 42324
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 287598 0 0 0 42286 718 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222240 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 293413 0 0 0 43272 731 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 299482 0 0 0 44258 746 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222360 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 304546 0 0 0 45246 758 0 0 25 0 1 0 897194033 43855872 9984 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 9984 1111 63 0 10644 0
vsize: 42828
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 310685 0 0 0 46232 773 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222016 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 316483 0 0 0 47218 786 0 0 25 0 1 0 897194033 45338624 10177 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11069 10177 1111 63 0 11006 0
vsize: 44276
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 322665 0 0 0 48204 801 0 0 25 0 1 0 897194033 45371392 10215 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 10215 1111 63 0 11014 0
vsize: 44308
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 328482 0 0 0 49190 815 0 0 25 0 1 0 897194033 43679744 9941 4294967295 134512640 134716908 3221224576 3221221856 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10664 9941 1111 63 0 10601 0
vsize: 42656
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 334973 0 0 0 50175 830 0 0 25 0 1 0 897194033 43839488 9980 4294967295 134512640 134716908 3221224576 3221222208 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10703 9980 1111 63 0 10640 0
vsize: 42812
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 341231 0 0 0 51159 846 0 0 25 0 1 0 897194033 43687936 9943 4294967295 134512640 134716908 3221224576 3221221920 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10666 9943 1111 63 0 10603 0
vsize: 42664
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 348074 0 0 0 52143 862 0 0 25 0 1 0 897194033 44806144 10214 4294967295 134512640 134716908 3221224576 3221222576 1074916974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10939 10214 1111 63 0 10876 0
vsize: 43756
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 355090 0 0 0 53127 879 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 361251 0 0 0 54113 893 0 0 25 0 1 0 897194033 43356160 9862 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10585 9862 1111 63 0 10522 0
vsize: 42340
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 367136 0 0 0 55099 907 0 0 25 0 1 0 897194033 43356160 9862 4294967295 134512640 134716908 3221224576 3221222448 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10585 9862 1111 63 0 10522 0
vsize: 42340
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 373109 0 0 0 56084 922 0 0 25 0 1 0 897194033 43700224 9946 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10669 9946 1111 63 0 10606 0
vsize: 42676
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 380083 0 0 0 57067 939 0 0 25 0 1 0 897194033 43356160 9862 4294967295 134512640 134716908 3221224576 3221222816 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10585 9862 1111 63 0 10522 0
vsize: 42340
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 386000 0 0 0 58053 953 0 0 25 0 1 0 897194033 43520000 9891 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10625 9891 1111 63 0 10562 0
vsize: 42500
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 391839 0 0 0 59039 967 0 0 25 0 1 0 897194033 43659264 9936 4294967295 134512640 134716908 3221224576 3221221568 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10659 9936 1111 63 0 10596 0
vsize: 42636
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 398694 0 0 0 60024 983 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222504 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 404878 0 0 0 61008 999 0 0 25 0 1 0 897194033 44519424 10146 4294967295 134512640 134716908 3221224576 3221222576 1074918343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10869 10146 1111 63 0 10806 0
vsize: 43476
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 411384 0 0 0 61993 1014 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222240 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 418221 0 0 0 62979 1029 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 424425 0 0 0 63964 1044 0 0 25 0 1 0 897194033 44675072 10131 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10907 10135 1111 63 0 10844 0
vsize: 43628
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 430728 0 0 0 64949 1059 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222200 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+670.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 437552 0 0 0 65933 1075 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 443358 0 0 0 66920 1088 0 0 25 0 1 0 897194033 43675648 9940 4294967295 134512640 134716908 3221224576 3221221904 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10663 9940 1111 63 0 10600 0
vsize: 42652
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 450328 0 0 0 67905 1104 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222056 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 456283 0 0 0 68890 1118 0 0 25 0 1 0 897194033 43671552 9939 4294967295 134512640 134716908 3221224576 3221221872 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10662 9939 1111 63 0 10599 0
vsize: 42648
[startup+710.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 463117 0 0 0 69873 1136 0 0 25 0 1 0 897194033 43343872 9859 4294967295 134512640 134716908 3221224576 3221222256 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10582 9859 1111 63 0 10519 0
vsize: 42328
[startup+720.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 468501 0 0 0 70859 1150 0 0 25 0 1 0 897194033 43638784 9931 4294967295 134512640 134716908 3221224576 3221222208 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9931 1111 63 0 10591 0
vsize: 42616
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 473990 0 0 0 71845 1164 0 0 25 0 1 0 897194033 44572672 10103 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10882 10103 1111 63 0 10819 0
vsize: 43528
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 480392 0 0 0 72829 1180 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+750.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 485827 0 0 0 73817 1193 0 0 25 0 1 0 897194033 43552768 9910 4294967295 134512640 134716908 3221224576 3221221728 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10633 9910 1111 63 0 10570 0
vsize: 42532
[startup+760.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 492186 0 0 0 74801 1209 0 0 25 0 1 0 897194033 45174784 10191 4294967295 134512640 134716908 3221224576 3221222400 1075823513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11029 10191 1111 63 0 10966 0
vsize: 44116
[startup+770.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 499174 0 0 0 75786 1224 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222816 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+780.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 505157 0 0 0 76770 1240 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221221920 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 512226 0 0 0 77753 1257 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 518913 0 0 0 78737 1274 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 525439 0 0 0 79721 1290 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222400 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+820.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 531995 0 0 0 80704 1307 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221221584 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 538168 0 0 0 81689 1322 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221221592 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 544338 0 0 0 82675 1337 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222400 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 550598 0 0 0 83660 1352 0 0 25 0 1 0 897194033 43663360 9937 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9937 1111 63 0 10597 0
vsize: 42640
[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 557680 0 0 0 84641 1371 0 0 25 0 1 0 897194033 43683840 9942 4294967295 134512640 134716908 3221224576 3221221696 1074865627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10665 9942 1111 63 0 10602 0
vsize: 42660
[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 564096 0 0 0 85625 1387 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 569934 0 0 0 86611 1401 0 0 25 0 1 0 897194033 45318144 10217 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11064 10217 1111 63 0 11001 0
vsize: 44256
[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 576441 0 0 0 87596 1416 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222048 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+900.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 582697 0 0 0 88581 1432 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+910.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 589035 0 0 0 89565 1447 0 0 25 0 1 0 897194033 43601920 9922 4294967295 134512640 134716908 3221224576 3221222208 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10645 9922 1111 63 0 10582 0
vsize: 42580
[startup+920.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 595597 0 0 0 90549 1464 0 0 25 0 1 0 897194033 43638784 9931 4294967295 134512640 134716908 3221224576 3221222448 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9931 1111 63 0 10591 0
vsize: 42616
[startup+930.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 601994 0 0 0 91533 1480 0 0 25 0 1 0 897194033 43679744 9941 4294967295 134512640 134716908 3221224576 3221221856 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10664 9941 1111 63 0 10601 0
vsize: 42656
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 608926 0 0 0 92518 1496 0 0 25 0 1 0 897194033 44736512 10199 4294967295 134512640 134716908 3221224576 3221222576 1074918496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10199 1111 63 0 10859 0
vsize: 43688
[startup+950.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 616028 0 0 0 93501 1512 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 622553 0 0 0 94487 1527 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 628840 0 0 0 95472 1542 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+980.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 635123 0 0 0 96457 1557 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222064 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 641616 0 0 0 97442 1573 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221221680 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 648234 0 0 0 98427 1588 0 0 25 0 1 0 897194033 43614208 9925 4294967295 134512640 134716908 3221224576 3221221376 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10648 9925 1111 63 0 10585 0
vsize: 42592
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 654513 0 0 0 99411 1604 0 0 25 0 1 0 897194033 43655168 9935 4294967295 134512640 134716908 3221224576 3221222288 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10658 9935 1111 63 0 10595 0
vsize: 42632
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 661061 0 0 0 100396 1619 0 0 25 0 1 0 897194033 45228032 10202 4294967295 134512640 134716908 3221224576 3221222304 1075828432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11042 10202 1111 63 0 10979 0
vsize: 44168
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 667643 0 0 0 101380 1635 0 0 25 0 1 0 897194033 44736512 10199 4294967295 134512640 134716908 3221224576 3221221856 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10199 1111 63 0 10859 0
vsize: 43688
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 674532 0 0 0 102365 1651 0 0 25 0 1 0 897194033 43687936 9943 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10666 9943 1111 63 0 10603 0
vsize: 42664
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 680707 0 0 0 103349 1667 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222096 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 686893 0 0 0 104336 1680 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221221920 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 693378 0 0 0 105322 1695 0 0 25 0 1 0 897194033 44961792 10196 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10977 10196 1111 63 0 10914 0
vsize: 43908
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 700452 0 0 0 106305 1712 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222448 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 706563 0 0 0 107290 1727 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 712613 0 0 0 108274 1742 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221221776 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 718637 0 0 0 109260 1757 0 0 25 0 1 0 897194033 43339776 9858 4294967295 134512640 134716908 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10581 9858 1111 63 0 10518 0
vsize: 42324
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 724877 0 0 0 110245 1772 0 0 25 0 1 0 897194033 43347968 9860 4294967295 134512640 134716908 3221224576 3221221920 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 9860 1111 63 0 10520 0
vsize: 42332
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 731822 0 0 0 111229 1788 0 0 25 0 1 0 897194033 43606016 9923 4294967295 134512640 134716908 3221224576 3221222304 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 9923 1111 63 0 10583 0
vsize: 42584
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 739039 0 0 0 112210 1807 0 0 25 0 1 0 897194033 44331008 10100 4294967295 134512640 134716908 3221224576 3221221920 1074839088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10823 10100 1111 63 0 10760 0
vsize: 43292
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 746600 0 0 0 113192 1825 0 0 25 0 1 0 897194033 43347968 9860 4294967295 134512640 134716908 3221224576 3221222256 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 9860 1111 63 0 10520 0
vsize: 42332
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 753360 0 0 0 114177 1841 0 0 25 0 1 0 897194033 43622400 9927 4294967295 134512640 134716908 3221224576 3221222424 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10650 9927 1111 63 0 10587 0
vsize: 42600
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 760526 0 0 0 115160 1858 0 0 25 0 1 0 897194033 43335680 9857 4294967295 134512640 134716908 3221224576 3221222928 1074142884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9857 1111 63 0 10517 0
vsize: 42320
[startup+1175.45 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 10545
Raw data (stat): 10545 (bsolo_lpr-v2) R 10544 7266 7265 0 -1 0 760526 0 0 0 115160 1858 0 0 25 0 1 0 897194033 43335680 9857 4294967295 134512640 134716908 3221224576 3221222928 1074142884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9857 1111 63 0 10517 0
vsize: 0

Child status: 0
Real time (s): 1175.45
CPU time (s): 1175.61
CPU user time (s): 1156.92
CPU system time (s): 18.6842
CPU usage (%): 100.014
Max. virtual memory (Kb): 44308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####