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/miplib2003/normalized-mps-v2-13-7-set1ch.opb
MD5SUM	154c7c542b6df7aab333fa859438b34f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65634210
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
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	1252.14
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 40368

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 08:16:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28429 boxname=wulflinc4 idbench=1385 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  154c7c542b6df7aab333fa859438b34f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 28429
/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:        573048 kB
Buffers:          3188 kB
Cached:         436704 kB
SwapCached:        952 kB
Active:          24744 kB
Inactive:       417212 kB
HighTotal:      131008 kB
HighFree:        14280 kB
LowTotal:       903652 kB
LowFree:        558768 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4896 kB
Slab:            13916 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:36:30 (client local time) WITH STATUS 0 IN 1176.27 SECONDS
stats: 28429 7 1176.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9680 variables and 732 constraints.
c After prepocess the problem consists of 7700 variables and 954 constraints.
c preprocess terminated 7.376 s
c Initial Lower Bound: 17980473
c Lower Bound Elapsed time: 0.92975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.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): 1.07 1.01 0.95 2/54 30288
Raw data (stat): 30288 (runsolver) R 30287 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900116412 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.0011 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 11731 0 0 0 972 25 0 0 25 0 1 0 900116412 49532928 11261 4294967295 134512640 134716908 3221224576 3221222944 1074121076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12093 11261 1111 63 0 12030 0
vsize: 48372
[startup+20.0015 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 15854 0 0 0 1962 35 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222448 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+30.0024 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 19003 0 0 0 2954 43 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222344 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+40.0032 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 21966 0 0 0 3947 50 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221219088 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+50.0045 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 24819 0 0 0 4942 55 0 0 25 0 1 0 900116412 50876416 11479 4294967295 134512640 134716908 3221224576 3221220960 1075133410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12421 11479 1111 63 0 12358 0
vsize: 49684
[startup+60.0039 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 27833 0 0 0 5935 62 0 0 25 0 1 0 900116412 50847744 11462 4294967295 134512640 134716908 3221224576 3221221632 1075084539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12414 11462 1111 63 0 12351 0
vsize: 49656
[startup+70.0048 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 30864 0 0 0 6929 68 0 0 25 0 1 0 900116412 50913280 11469 4294967295 134512640 134716908 3221224576 3221220540 1074860655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12430 11469 1111 63 0 12367 0
vsize: 49720
[startup+80.0062 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 33407 0 0 0 7923 74 0 0 25 0 1 0 900116412 49176576 11226 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12006 11226 1111 63 0 11943 0
vsize: 48024
[startup+90.0065 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 36421 0 0 0 8918 80 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222432 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+100.006 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 39376 0 0 0 9911 86 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221219320 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+110.007 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 42320 0 0 0 10905 93 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222400 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+120.007 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 45275 0 0 0 11899 99 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221219040 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 48394 0 0 0 12892 106 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222480 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 51310 0 0 0 13885 113 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222384 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 54263 0 0 0 14877 121 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221223072 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 57155 0 0 0 15870 128 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 60167 0 0 0 16863 136 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222312 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 63094 0 0 0 17856 142 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222496 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 65963 0 0 0 18848 150 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222440 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 68833 0 0 0 19841 156 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222496 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 71704 0 0 0 20835 163 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+220.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 74572 0 0 0 21830 170 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222480 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+230.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 77415 0 0 0 22824 177 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222384 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+240.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 80493 0 0 0 23818 182 0 0 25 0 1 0 900116412 49287168 11250 4294967295 134512640 134716908 3221224576 3221222992 1074116242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12033 11250 1111 63 0 11970 0
vsize: 48132
[startup+250.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 83354 0 0 0 24812 189 0 0 25 0 1 0 900116412 49786880 11259 4294967295 134512640 134716908 3221224576 3221221920 1074839008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12155 11259 1111 63 0 12092 0
vsize: 48620
[startup+260.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 85961 0 0 0 25806 195 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222384 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+270.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 89339 0 0 0 26799 202 0 0 25 0 1 0 900116412 50851840 11462 4294967295 134512640 134716908 3221224576 3221220736 1074794589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11462 1111 63 0 12352 0
vsize: 49660
[startup+280.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 92182 0 0 0 27792 209 0 0 25 0 1 0 900116412 50851840 11445 4294967295 134512640 134716908 3221224576 3221220572 1074860989 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11445 1111 63 0 12352 0
vsize: 49660
[startup+290.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 95058 0 0 0 28786 215 0 0 25 0 1 0 900116412 50851840 11464 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11464 1111 63 0 12352 0
vsize: 49660
[startup+300.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 98111 0 0 0 29779 222 0 0 25 0 1 0 900116412 50081792 11313 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12227 11313 1111 63 0 12164 0
vsize: 48908
[startup+310.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 100772 0 0 0 30774 228 0 0 25 0 1 0 900116412 50900992 11473 4294967295 134512640 134716908 3221224576 3221220720 1074950925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12427 11473 1111 63 0 12364 0
vsize: 49708
[startup+320.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 103685 0 0 0 31768 234 0 0 25 0 1 0 900116412 50851840 11454 4294967295 134512640 134716908 3221224576 3221220912 1075113612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11454 1111 63 0 12352 0
vsize: 49660
[startup+330.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 106375 0 0 0 32763 239 0 0 25 0 1 0 900116412 50331648 11354 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12288 11354 1111 63 0 12225 0
vsize: 49152
[startup+340.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 109581 0 0 0 33757 245 0 0 25 0 1 0 900116412 50851840 11461 4294967295 134512640 134716908 3221224576 3221220576 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12415 11461 1111 63 0 12352 0
vsize: 49660
[startup+350.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 112453 0 0 0 34752 251 0 0 25 0 1 0 900116412 50851840 11463 4294967295 134512640 134716908 3221224576 3221220540 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12415 11463 1111 63 0 12352 0
vsize: 49660
[startup+360.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 115329 0 0 0 35746 256 0 0 25 0 1 0 900116412 50851840 11464 4294967295 134512640 134716908 3221224576 3221220444 1074787568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12415 11464 1111 63 0 12352 0
vsize: 49660
[startup+370.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 118198 0 0 0 36740 263 0 0 25 0 1 0 900116412 50851840 11463 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12415 11463 1111 63 0 12352 0
vsize: 49660
[startup+380.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 121263 0 0 0 37734 268 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222672 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+390.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 123925 0 0 0 38729 274 0 0 25 0 1 0 900116412 50847744 11463 4294967295 134512640 134716908 3221224576 3221220648 1074950227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12414 11463 1111 63 0 12351 0
vsize: 49656
[startup+400.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 126974 0 0 0 39721 282 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+410.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 129824 0 0 0 40716 287 0 0 25 0 1 0 900116412 48947200 11170 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11170 1111 63 0 11887 0
vsize: 47800
[startup+420.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 132683 0 0 0 41710 293 0 0 25 0 1 0 900116412 48947200 11174 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11174 1111 63 0 11887 0
vsize: 47800
[startup+430.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 135339 0 0 0 42705 298 0 0 25 0 1 0 900116412 50847744 11470 4294967295 134512640 134716908 3221224576 3221220736 1074794964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12414 11470 1111 63 0 12351 0
vsize: 49656
[startup+440.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 138161 0 0 0 43700 304 0 0 25 0 1 0 900116412 50839552 11465 4294967295 134512640 134716908 3221224576 3221220780 1075563861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12412 11465 1111 63 0 12349 0
vsize: 49648
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 140981 0 0 0 44694 310 0 0 25 0 1 0 900116412 50839552 11465 4294967295 134512640 134716908 3221224576 3221220540 1074860608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12412 11465 1111 63 0 12349 0
vsize: 49648
[startup+460.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 143994 0 0 0 45688 316 0 0 25 0 1 0 900116412 49049600 11199 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11975 11199 1111 63 0 11912 0
vsize: 47900
[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 146616 0 0 0 46683 322 0 0 25 0 1 0 900116412 50839552 11464 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12412 11464 1111 63 0 12349 0
vsize: 49648
[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 149839 0 0 0 47676 329 0 0 25 0 1 0 900116412 49541120 11289 4294967295 134512640 134716908 3221224576 3221222704 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12095 11289 1111 63 0 12032 0
vsize: 48380
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 152702 0 0 0 48671 334 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222400 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 155769 0 0 0 49665 340 0 0 25 0 1 0 900116412 51986432 11788 4294967295 134512640 134716908 3221224576 3221221496 1074950064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12692 11788 1111 63 0 12629 0
vsize: 50768
[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 158595 0 0 0 50660 345 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222784 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+520.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 161208 0 0 0 51653 352 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222432 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 164239 0 0 0 52647 359 0 0 25 0 1 0 900116412 51986432 11759 4294967295 134512640 134716908 3221224576 3221221644 1074831203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12692 11759 1111 63 0 12629 0
vsize: 50768
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 166882 0 0 0 53641 365 0 0 25 0 1 0 900116412 51986432 11789 4294967295 134512640 134716908 3221224576 3221220908 1075113003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12692 11789 1111 63 0 12629 0
vsize: 50768
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 169700 0 0 0 54634 372 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 172313 0 0 0 55629 378 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 174920 0 0 0 56623 384 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222448 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 177674 0 0 0 57617 390 0 0 25 0 1 0 900116412 51683328 11721 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12618 11721 1111 63 0 12555 0
vsize: 50472
[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 180584 0 0 0 58610 397 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222728 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 183233 0 0 0 59605 403 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222360 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 186291 0 0 0 60598 409 0 0 25 0 1 0 900116412 52236288 11812 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11812 1111 63 0 12690 0
vsize: 51012
[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 189040 0 0 0 61592 416 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222448 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 192097 0 0 0 62585 422 0 0 25 0 1 0 900116412 52256768 11821 4294967295 134512640 134716908 3221224576 3221220804 1075114923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12758 11821 1111 63 0 12695 0
vsize: 51032
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 194884 0 0 0 63579 430 0 0 25 0 1 0 900116412 50528256 11561 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11561 1111 63 0 12273 0
vsize: 49344
[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 197975 0 0 0 64573 435 0 0 25 0 1 0 900116412 52256768 11816 4294967295 134512640 134716908 3221224576 3221220540 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12758 11816 1111 63 0 12695 0
vsize: 51032
[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 200733 0 0 0 65566 442 0 0 25 0 1 0 900116412 50921472 11657 4294967295 134512640 134716908 3221224576 3221222396 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12432 11657 1111 63 0 12369 0
vsize: 49728
[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 203845 0 0 0 66560 449 0 0 25 0 1 0 900116412 51073024 11639 4294967295 134512640 134716908 3221224576 3221222616 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11639 1111 63 0 12406 0
vsize: 49876
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 206539 0 0 0 67555 454 0 0 25 0 1 0 900116412 52568064 11908 4294967295 134512640 134716908 3221224576 3221221232 1075967901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12834 11908 1111 63 0 12771 0
vsize: 51336
[startup+690.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 209102 0 0 0 68550 459 0 0 25 0 1 0 900116412 51302400 11750 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12525 11750 1111 63 0 12462 0
vsize: 50100
[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 211524 0 0 0 69544 465 0 0 25 0 1 0 900116412 52428800 11892 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12800 11892 1111 63 0 12737 0
vsize: 51200
[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 213855 0 0 0 70540 469 0 0 25 0 1 0 900116412 51073024 11694 4294967295 134512640 134716908 3221224576 3221222336 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11694 1111 63 0 12406 0
vsize: 49876
[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 216570 0 0 0 71535 475 0 0 25 0 1 0 900116412 52568064 11896 4294967295 134512640 134716908 3221224576 3221220736 1075090177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12834 11896 1111 63 0 12771 0
vsize: 51336
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 219024 0 0 0 72530 480 0 0 25 0 1 0 900116412 51073024 11694 4294967295 134512640 134716908 3221224576 3221222012 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11694 1111 63 0 12406 0
vsize: 49876
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 221322 0 0 0 73525 485 0 0 25 0 1 0 900116412 51073024 11694 4294967295 134512640 134716908 3221224576 3221222448 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11694 1111 63 0 12406 0
vsize: 49876
[startup+750.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 223605 0 0 0 74521 490 0 0 25 0 1 0 900116412 51073024 11694 4294967295 134512640 134716908 3221224576 3221222384 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11694 1111 63 0 12406 0
vsize: 49876
[startup+760.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 226264 0 0 0 75515 496 0 0 25 0 1 0 900116412 51073024 11694 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11694 1111 63 0 12406 0
vsize: 49876
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 228625 0 0 0 76509 502 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222296 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 231016 0 0 0 77504 507 0 0 25 0 1 0 900116412 51302400 11751 4294967295 134512640 134716908 3221224576 3221222576 1074918319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12525 11751 1111 63 0 12462 0
vsize: 50100
[startup+790.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 233497 0 0 0 78499 512 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222488 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 235871 0 0 0 79494 517 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222584 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 238312 0 0 0 80490 522 0 0 25 0 1 0 900116412 52211712 11851 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12747 11851 1111 63 0 12684 0
vsize: 50988
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 240849 0 0 0 81485 527 0 0 25 0 1 0 900116412 52555776 11905 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12831 11905 1111 63 0 12768 0
vsize: 51324
[startup+830.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 243239 0 0 0 82480 532 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 245432 0 0 0 83476 536 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222384 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 248068 0 0 0 84470 542 0 0 25 0 1 0 900116412 52555776 11903 4294967295 134512640 134716908 3221224576 3221220600 1074860217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12831 11903 1111 63 0 12768 0
vsize: 51324
[startup+860.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 250443 0 0 0 85464 548 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+870.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 252708 0 0 0 86460 553 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 255535 0 0 0 87454 559 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221223200 134651193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 257801 0 0 0 88449 564 0 0 25 0 1 0 900116412 51073024 11695 4294967295 134512640 134716908 3221224576 3221222496 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12469 11695 1111 63 0 12406 0
vsize: 49876
[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 260513 0 0 0 89443 571 0 0 25 0 1 0 900116412 51712000 11797 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12625 11797 1111 63 0 12562 0
vsize: 50500
[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 263162 0 0 0 90438 576 0 0 25 0 1 0 900116412 52834304 11954 4294967295 134512640 134716908 3221224576 3221220632 1074860217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12899 11954 1111 63 0 12836 0
vsize: 51596
[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 265399 0 0 0 91432 581 0 0 25 0 1 0 900116412 51363840 11766 4294967295 134512640 134716908 3221224576 3221223276 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12540 11766 1111 63 0 12477 0
vsize: 50160
[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 268183 0 0 0 92426 588 0 0 25 0 1 0 900116412 53293056 12059 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13011 12059 1111 63 0 12948 0
vsize: 52044
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 270913 0 0 0 93421 593 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 273940 0 0 0 94415 599 0 0 25 0 1 0 900116412 53293056 12066 4294967295 134512640 134716908 3221224576 3221221520 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13011 12066 1111 63 0 12948 0
vsize: 52044
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 277087 0 0 0 95408 607 0 0 25 0 1 0 900116412 52977664 11996 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12934 11996 1111 63 0 12871 0
vsize: 51736
[startup+970.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 279368 0 0 0 96403 612 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222344 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+980.079 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 281906 0 0 0 97398 617 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221223424 134623469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 284404 0 0 0 98393 624 0 0 25 0 1 0 900116412 51560448 11814 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12588 11814 1111 63 0 12525 0
vsize: 50352
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 286836 0 0 0 99388 629 0 0 25 0 1 0 900116412 52703232 11971 4294967295 134512640 134716908 3221224576 3221222400 1075823573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12867 11971 1111 63 0 12804 0
vsize: 51468
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 289211 0 0 0 100383 635 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222320 1075645378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 291580 0 0 0 101378 640 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 293807 0 0 0 102374 644 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222384 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 296460 0 0 0 103368 650 0 0 25 0 1 0 900116412 52871168 12010 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12908 12010 1111 63 0 12845 0
vsize: 51632
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 298419 0 0 0 104363 655 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 300274 0 0 0 105359 660 0 0 25 0 1 0 900116412 52727808 11967 4294967295 134512640 134716908 3221224576 3221221600 1074810513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12873 11967 1111 63 0 12810 0
vsize: 51492
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 302132 0 0 0 106355 664 0 0 25 0 1 0 900116412 52727808 11966 4294967295 134512640 134716908 3221224576 3221220600 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12873 11966 1111 63 0 12810 0
vsize: 51492
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 304076 0 0 0 107351 668 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 305931 0 0 0 108348 671 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 307785 0 0 0 109344 675 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222384 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 309635 0 0 0 110340 679 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222184 1077377774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 311562 0 0 0 111335 684 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222496 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 313695 0 0 0 112331 688 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222352 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 315701 0 0 0 113328 692 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222328 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 317832 0 0 0 114323 697 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222384 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 319964 0 0 0 115318 702 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222024 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 322094 0 0 0 116313 707 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222312 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 50348
[startup+1176.15 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 30288
Raw data (stat): 30288 (bsolo_lpr-v2) R 30287 21152 21151 0 -1 0 322094 0 0 0 116313 707 0 0 25 0 1 0 900116412 51556352 11813 4294967295 134512640 134716908 3221224576 3221222312 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12587 11813 1111 63 0 12524 0
vsize: 0

Child status: 0
Real time (s): 1176.15
CPU time (s): 1176.27
CPU user time (s): 1169.14
CPU system time (s): 7.13092
CPU usage (%): 100.01
Max. virtual memory (Kb): 52044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####