PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran17x17.opb
MD5SUM	4afffa77a031423497a8b9b377dd0292
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	689314
Optimality of the best value was proved	NO
Number of terms in the objective function	6069
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1576985250
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1576985250
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	6069
Total number of constraints	323
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	323
Minimum length of a constraint	21
Maximum length of a constraint	340
Trace number 40467

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        530964 kB
Buffers:         20428 kB
Cached:         461756 kB
SwapCached:        956 kB
Active:          25028 kB
Inactive:       459260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        530712 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13696 kB
Committed_AS:    71760 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:07:33 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 28531 7 1175.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6069 variables and 357 constraints.
c After prepocess the problem consists of 3411 variables and 496 constraints.
c preprocess terminated 12.992 s
c Initial Lower Bound: 155552
c Lower Bound Elapsed time: 0.271
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.17 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.93 0.97 0.92 1/54 31666
Raw data (stat): 31666 (runsolver) R 31665 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901383039 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.0013 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 7655 0 0 0 981 16 0 0 25 0 1 0 901383039 34496512 7550 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8422 7550 1111 63 0 8359 0
vsize: 33688
[startup+20.0023 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 11568 0 0 0 1971 25 0 0 25 0 1 0 901383039 36638720 8201 4294967295 134512640 134716908 3221224576 3221220992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8945 8201 1111 63 0 8882 0
vsize: 35780
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 16372 0 0 0 2961 35 0 0 25 0 1 0 901383039 36700160 8217 4294967295 134512640 134716908 3221224576 3221223040 1074121052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8960 8217 1111 63 0 8897 0
vsize: 35840
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 20264 0 0 0 3951 45 0 0 25 0 1 0 901383039 37552128 8345 4294967295 134512640 134716908 3221224576 3221220572 1074860964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9168 8345 1111 63 0 9105 0
vsize: 36672
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 23858 0 0 0 4942 54 0 0 25 0 1 0 901383039 36700160 8217 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8960 8217 1111 63 0 8897 0
vsize: 35840
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 27361 0 0 0 5933 63 0 0 25 0 1 0 901383039 36638720 8202 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8945 8202 1111 63 0 8882 0
vsize: 35780
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 31090 0 0 0 6923 74 0 0 25 0 1 0 901383039 37253120 8245 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9095 8245 1111 63 0 9032 0
vsize: 36380
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 35119 0 0 0 7911 85 0 0 25 0 1 0 901383039 36700160 8217 4294967295 134512640 134716908 3221224576 3221221680 1074138961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8960 8217 1111 63 0 8897 0
vsize: 35840
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 39393 0 0 0 8902 94 0 0 25 0 1 0 901383039 36638720 8202 4294967295 134512640 134716908 3221224576 3221222880 1074153751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8945 8202 1111 63 0 8882 0
vsize: 35780
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 43586 0 0 0 9893 104 0 0 25 0 1 0 901383039 36638720 8202 4294967295 134512640 134716908 3221224576 3221220912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8945 8202 1111 63 0 8882 0
vsize: 35780
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 47897 0 0 0 10881 115 0 0 25 0 1 0 901383039 36700160 8217 4294967295 134512640 134716908 3221224576 3221222928 1074115342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8960 8217 1111 63 0 8897 0
vsize: 35840
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 52084 0 0 0 11871 125 0 0 25 0 1 0 901383039 37236736 8242 4294967295 134512640 134716908 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9091 8242 1111 63 0 9028 0
vsize: 36364
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 56439 0 0 0 12860 137 0 0 25 0 1 0 901383039 36638720 8202 4294967295 134512640 134716908 3221224576 3221222576 1074056610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8202 1111 63 0 8882 0
vsize: 35780
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 60484 0 0 0 13851 146 0 0 25 0 1 0 901383039 37232640 8243 4294967295 134512640 134716908 3221224576 3221222224 1075818206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9090 8243 1111 63 0 9027 0
vsize: 36360
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 64708 0 0 0 14840 157 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 68918 0 0 0 15831 166 0 0 25 0 1 0 901383039 36700160 8218 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8218 1111 63 0 8897 0
vsize: 35840
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 72975 0 0 0 16821 176 0 0 25 0 1 0 901383039 36700160 8218 4294967295 134512640 134716908 3221224576 3221222576 1074918292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8218 1111 63 0 8897 0
vsize: 35840
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 77076 0 0 0 17813 185 0 0 25 0 1 0 901383039 37511168 8335 4294967295 134512640 134716908 3221224576 3221221616 1075860104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8335 1111 63 0 9095 0
vsize: 36632
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 81130 0 0 0 18804 194 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222864 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 85254 0 0 0 19795 203 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 89325 0 0 0 20784 214 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221220664 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 93464 0 0 0 21774 224 0 0 25 0 1 0 901383039 37408768 8330 4294967295 134512640 134716908 3221224576 3221220608 1075965253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9133 8330 1111 63 0 9070 0
vsize: 36532
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 97429 0 0 0 22765 234 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 101344 0 0 0 23754 244 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221221008 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 105312 0 0 0 24743 256 0 0 25 0 1 0 901383039 37474304 8329 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 8329 1111 63 0 9086 0
vsize: 36596
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 109006 0 0 0 25734 265 0 0 25 0 1 0 901383039 36888576 8214 4294967295 134512640 134716908 3221224576 3221221920 1074839088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9006 8214 1111 63 0 8943 0
vsize: 36024
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 112867 0 0 0 26724 275 0 0 25 0 1 0 901383039 36700160 8218 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8218 1111 63 0 8897 0
vsize: 35840
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 116722 0 0 0 27716 283 0 0 25 0 1 0 901383039 37457920 8327 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9145 8327 1111 63 0 9082 0
vsize: 36580
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 120384 0 0 0 28707 292 0 0 25 0 1 0 901383039 37126144 8268 4294967295 134512640 134716908 3221224576 3221221680 1074138683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9064 8268 1111 63 0 9001 0
vsize: 36256
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 124040 0 0 0 29701 299 0 0 25 0 1 0 901383039 37453824 8319 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 8319 1111 63 0 9081 0
vsize: 36576
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 127612 0 0 0 30692 308 0 0 25 0 1 0 901383039 36700160 8212 4294967295 134512640 134716908 3221224576 3221222320 1075640380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8212 1111 63 0 8897 0
vsize: 35840
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 131130 0 0 0 31683 317 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 134550 0 0 0 32674 327 0 0 25 0 1 0 901383039 37011456 8214 4294967295 134512640 134716908 3221224576 3221222304 1075828612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8214 1111 63 0 8973 0
vsize: 36144
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 138037 0 0 0 33665 335 0 0 25 0 1 0 901383039 37429248 8308 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9138 8308 1111 63 0 9075 0
vsize: 36552
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 141295 0 0 0 34657 344 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 144755 0 0 0 35649 352 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222776 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 148166 0 0 0 36640 361 0 0 25 0 1 0 901383039 37408768 8313 4294967295 134512640 134716908 3221224576 3221220960 1076116670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9133 8313 1111 63 0 9070 0
vsize: 36532
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 151410 0 0 0 37631 370 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 154712 0 0 0 38622 379 0 0 25 0 1 0 901383039 37031936 8235 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9041 8235 1111 63 0 8978 0
vsize: 36164
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 157661 0 0 0 39615 386 0 0 25 0 1 0 901383039 36700160 8205 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8205 1111 63 0 8897 0
vsize: 35840
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 160592 0 0 0 40609 393 0 0 25 0 1 0 901383039 36700160 8205 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8205 1111 63 0 8897 0
vsize: 35840
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 163550 0 0 0 41601 401 0 0 25 0 1 0 901383039 37392384 8304 4294967295 134512640 134716908 3221224576 3221220780 1075563840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9129 8304 1111 63 0 9066 0
vsize: 36516
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 166354 0 0 0 42595 407 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221221256 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 169217 0 0 0 43588 414 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 172049 0 0 0 44582 421 0 0 25 0 1 0 901383039 37011456 8206 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8206 1111 63 0 8973 0
vsize: 36144
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 174841 0 0 0 45574 429 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221222880 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 177933 0 0 0 46566 437 0 0 25 0 1 0 901383039 36638720 8203 4294967295 134512640 134716908 3221224576 3221221488 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8203 1111 63 0 8882 0
vsize: 35780
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 181153 0 0 0 47557 446 0 0 25 0 1 0 901383039 37011456 8231 4294967295 134512640 134716908 3221224576 3221220780 1075563091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8231 1111 63 0 8973 0
vsize: 36144
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 183967 0 0 0 48550 453 0 0 25 0 1 0 901383039 36700160 8206 4294967295 134512640 134716908 3221224576 3221222912 1074208601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8206 1111 63 0 8897 0
vsize: 35840
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 186802 0 0 0 49545 461 0 0 25 0 1 0 901383039 36638720 8204 4294967295 134512640 134716908 3221224576 3221222824 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8204 1111 63 0 8882 0
vsize: 35780
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 189506 0 0 0 50538 468 0 0 25 0 1 0 901383039 36638720 8204 4294967295 134512640 134716908 3221224576 3221221656 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8204 1111 63 0 8882 0
vsize: 35780
[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 192273 0 0 0 51531 475 0 0 25 0 1 0 901383039 36700160 8209 4294967295 134512640 134716908 3221224576 3221222320 1075640396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8209 1111 63 0 8897 0
vsize: 35840
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 194937 0 0 0 52525 481 0 0 25 0 1 0 901383039 37011456 8208 4294967295 134512640 134716908 3221224576 3221222304 1075828459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8208 1111 63 0 8973 0
vsize: 36144
[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 197697 0 0 0 53519 488 0 0 25 0 1 0 901383039 37011456 8208 4294967295 134512640 134716908 3221224576 3221222496 1075799488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 8208 1111 63 0 8973 0
vsize: 36144
[startup+550.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 200499 0 0 0 54511 495 0 0 25 0 1 0 901383039 37306368 8288 4294967295 134512640 134716908 3221224576 3221221388 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 8288 1111 63 0 9045 0
vsize: 36432
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 203190 0 0 0 55505 502 0 0 25 0 1 0 901383039 36700160 8212 4294967295 134512640 134716908 3221224576 3221222992 1074117077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8212 1111 63 0 8897 0
vsize: 35840
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 205841 0 0 0 56499 508 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 208427 0 0 0 57493 515 0 0 25 0 1 0 901383039 36700160 8207 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8207 1111 63 0 8897 0
vsize: 35840
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 211016 0 0 0 58485 523 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 213529 0 0 0 59477 530 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 215973 0 0 0 60471 537 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222576 1074918237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 218515 0 0 0 61465 543 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221221824 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 221030 0 0 0 62459 549 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 223510 0 0 0 63453 555 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222928 1074115339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 226019 0 0 0 64446 562 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222824 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 228478 0 0 0 65439 569 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 230920 0 0 0 66433 576 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+680.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 233345 0 0 0 67426 584 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+690.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 235714 0 0 0 68419 590 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+700.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 238057 0 0 0 69412 597 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222168 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 240407 0 0 0 70404 606 0 0 25 0 1 0 901383039 37277696 8272 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 8272 1111 63 0 9038 0
vsize: 36404
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 31666
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 242660 0 0 0 71398 611 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+730.044 s]
Raw data (loadavg): 1.15 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 244942 0 0 0 72392 618 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+740.046 s]
Raw data (loadavg): 1.13 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 247201 0 0 0 73386 624 0 0 25 0 1 0 901383039 36700160 8209 4294967295 134512640 134716908 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8209 1111 63 0 8897 0
vsize: 35840
[startup+750.047 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 249427 0 0 0 74380 630 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+760.046 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 251638 0 0 0 75374 636 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221221880 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+770.046 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 253870 0 0 0 76367 643 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+780.047 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 256053 0 0 0 77361 650 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222904 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+790.047 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 258118 0 0 0 78354 657 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222840 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+800.048 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 31719
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 260271 0 0 0 79347 664 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221223056 1074039480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+810.049 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 262452 0 0 0 80341 670 0 0 25 0 1 0 901383039 36638720 8205 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8205 1111 63 0 8882 0
vsize: 35780
[startup+820.049 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 264577 0 0 0 81334 677 0 0 25 0 1 0 901383039 36638720 8206 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8206 1111 63 0 8882 0
vsize: 35780
[startup+830.049 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 266597 0 0 0 82328 683 0 0 25 0 1 0 901383039 36638720 8206 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8206 1111 63 0 8882 0
vsize: 35780
[startup+840.049 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 268465 0 0 0 83323 689 0 0 25 0 1 0 901383039 36638720 8206 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8206 1111 63 0 8882 0
vsize: 35780
[startup+850.05 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 270250 0 0 0 84318 694 0 0 25 0 1 0 901383039 36847616 8208 4294967295 134512640 134716908 3221224576 3221222224 1075818290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 8208 1111 63 0 8933 0
vsize: 35984
[startup+860.051 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 271917 0 0 0 85313 699 0 0 25 0 1 0 901383039 36638720 8206 4294967295 134512640 134716908 3221224576 3221222384 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8206 1111 63 0 8882 0
vsize: 35780
[startup+870.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 273554 0 0 0 86308 704 0 0 25 0 1 0 901383039 36638720 8206 4294967295 134512640 134716908 3221224576 3221222624 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 8207 1111 63 0 8933 0
vsize: 35780
[startup+880.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 275226 0 0 0 87304 708 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+890.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 276870 0 0 0 88299 714 0 0 25 0 1 0 901383039 36700160 8210 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8210 1111 63 0 8897 0
vsize: 35840
[startup+900.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 278487 0 0 0 89293 720 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222464 1074051046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 280078 0 0 0 90290 724 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+920.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 281840 0 0 0 91295 730 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222856 1074138333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+930.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 283284 0 0 0 92289 736 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222496 1075799720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+940.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 284847 0 0 0 93285 740 0 0 25 0 1 0 901383039 36700160 8222 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8222 1111 63 0 8897 0
vsize: 35840
[startup+950.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 286391 0 0 0 94281 745 0 0 25 0 1 0 901383039 37105664 8242 4294967295 134512640 134716908 3221224576 3221220540 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8242 1111 63 0 8996 0
vsize: 36236
[startup+960.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 287908 0 0 0 95277 749 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+970.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 289416 0 0 0 96272 754 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222872 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+980.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 290836 0 0 0 97267 759 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+990.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 292215 0 0 0 98262 764 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 293466 0 0 0 99258 768 0 0 25 0 1 0 901383039 36843520 8213 4294967295 134512640 134716908 3221224576 3221220780 1075563081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8210 1111 63 0 8897 0
vsize: 35980
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 294699 0 0 0 100254 773 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222784 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 295984 0 0 0 101249 778 0 0 25 0 1 0 901383039 36638720 8207 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8207 1111 63 0 8882 0
vsize: 35780
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 297484 0 0 0 102245 782 0 0 25 0 1 0 901383039 36700160 8209 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8209 1111 63 0 8897 0
vsize: 35840
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 299073 0 0 0 103240 788 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 301024 0 0 0 104233 795 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31721
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 302779 0 0 0 105227 801 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 305539 0 0 0 106219 809 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 310874 0 0 0 107205 824 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 317985 0 0 0 108188 840 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 325485 0 0 0 109170 859 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 333113 0 0 0 110151 878 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222632 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 340847 0 0 0 111132 898 0 0 25 0 1 0 901383039 36638720 8210 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8210 1111 63 0 8882 0
vsize: 35780
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 349661 0 0 0 112112 918 0 0 25 0 1 0 901383039 36757504 8239 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8974 8239 1111 63 0 8911 0
vsize: 35896
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 356157 0 0 0 113095 934 0 0 25 0 1 0 901383039 36757504 8239 4294967295 134512640 134716908 3221224576 3221222872 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8974 8239 1111 63 0 8911 0
vsize: 35896
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 362518 0 0 0 114080 951 0 0 25 0 1 0 901383039 36757504 8239 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8974 8239 1111 63 0 8911 0
vsize: 35896
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 369334 0 0 0 115063 968 0 0 25 0 1 0 901383039 36757504 8239 4294967295 134512640 134716908 3221224576 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8974 8239 1111 63 0 8911 0
vsize: 35896
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 375810 0 0 0 116048 983 0 0 25 0 1 0 901383039 37588992 8330 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9177 8330 1111 63 0 9114 0
vsize: 36708
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 31723
Raw data (stat): 31666 (bsolo_lpr-v2) R 31665 21152 21151 0 -1 0 375810 0 0 0 116048 983 0 0 25 0 1 0 901383039 37588992 8330 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9177 8330 1111 63 0 9114 0
vsize: 0

Child status: 0
Real time (s): 1175.07
CPU time (s): 1175.2
CPU user time (s): 1165.27
CPU system time (s): 9.92849
CPU usage (%): 100.011
Max. virtual memory (Kb): 36708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####