PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 40047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 01:06:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28101 boxname=wulflinc4 idbench=1057 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 28101
/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:        879836 kB
Buffers:          6096 kB
Cached:         127324 kB
SwapCached:        948 kB
Active:          22508 kB
Inactive:       113068 kB
HighTotal:      131008 kB
HighFree:         6552 kB
LowTotal:       903652 kB
LowFree:        873284 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13680 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:26:23 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 28101 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.734 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.0195
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.92 2/54 24307
Raw data (stat): 24307 (runsolver) R 24306 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897535519 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 6540 0 0 0 977 20 0 0 25 0 1 0 897535519 19628032 4096 4294967295 134512640 134716908 3221224576 3221222912 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4792 4096 1111 63 0 4729 0
vsize: 19168
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 12547 0 0 0 1952 44 0 0 25 0 1 0 897535519 23080960 4936 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5635 4936 1111 63 0 5572 0
vsize: 22540
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 19006 0 0 0 2928 69 0 0 25 0 1 0 897535519 26222592 5695 4294967295 134512640 134716908 3221224576 3221221696 1074866603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 5695 1111 63 0 6339 0
vsize: 25608
[startup+40.001 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 25746 0 0 0 3901 96 0 0 25 0 1 0 897535519 29888512 6593 4294967295 134512640 134716908 3221224576 3221222688 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7297 6593 1111 63 0 7234 0
vsize: 29188
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 32000 0 0 0 4876 121 0 0 25 0 1 0 897535519 32833536 7314 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8016 7314 1111 63 0 7953 0
vsize: 32064
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 37673 0 0 0 5854 143 0 0 25 0 1 0 897535519 35827712 8043 4294967295 134512640 134716908 3221224576 3221223236 134523855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8747 8043 1111 63 0 8684 0
vsize: 34988
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 43101 0 0 0 6831 166 0 0 25 0 1 0 897535519 39845888 8975 4294967295 134512640 134716908 3221224576 3221221752 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9728 8975 1111 63 0 9665 0
vsize: 38912
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 48516 0 0 0 7806 191 0 0 25 0 1 0 897535519 42708992 9701 4294967295 134512640 134716908 3221224576 3221223292 134558560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10427 9701 1111 63 0 10364 0
vsize: 41708
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 54052 0 0 0 8782 215 0 0 25 0 1 0 897535519 45694976 10430 4294967295 134512640 134716908 3221224576 3221223248 134652564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11156 10430 1111 63 0 11093 0
vsize: 44624
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 59550 0 0 0 9760 238 0 0 25 0 1 0 897535519 48951296 11224 4294967295 134512640 134716908 3221224576 3221222544 1075809079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11951 11224 1111 63 0 11888 0
vsize: 47804
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 64946 0 0 0 10738 259 0 0 25 0 1 0 897535519 51953664 11958 4294967295 134512640 134716908 3221224576 3221222912 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12684 11958 1111 63 0 12621 0
vsize: 50736
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 71122 0 0 0 11712 286 0 0 25 0 1 0 897535519 57778176 13152 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14106 13152 1111 63 0 14043 0
vsize: 56424
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 76447 0 0 0 12689 308 0 0 25 0 1 0 897535519 60698624 13857 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13857 1111 63 0 14756 0
vsize: 59276
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 81858 0 0 0 13668 329 0 0 25 0 1 0 897535519 63143936 14482 4294967295 134512640 134716908 3221224576 3221223024 1073990251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15416 14482 1111 63 0 15353 0
vsize: 61664
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 86925 0 0 0 14648 350 0 0 25 0 1 0 897535519 65830912 15157 4294967295 134512640 134716908 3221224576 3221222224 1075818295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16072 15157 1111 63 0 16009 0
vsize: 64288
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 92252 0 0 0 15627 370 0 0 25 0 1 0 897535519 68792320 15881 4294967295 134512640 134716908 3221224576 3221222688 1074867289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16795 15881 1111 63 0 16732 0
vsize: 67180
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 97034 0 0 0 16612 385 0 0 25 0 1 0 897535519 72175616 16737 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17621 16737 1111 63 0 17558 0
vsize: 70484
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 97735 0 0 0 17610 387 0 0 25 0 1 0 897535519 71622656 16610 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17486 16610 1111 63 0 17423 0
vsize: 69944
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 105409 0 0 0 18591 406 0 0 25 0 1 0 897535519 72118272 16716 4294967295 134512640 134716908 3221224576 3221221888 1075006839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17607 16716 1111 63 0 17544 0
vsize: 70428
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 123936 0 0 0 19548 449 0 0 25 0 1 0 897535519 74764288 17350 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18253 17350 1111 63 0 18190 0
vsize: 73012
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 140668 0 0 0 20511 486 0 0 25 0 1 0 897535519 77766656 18134 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18986 18134 1111 63 0 18923 0
vsize: 75944
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 159235 0 0 0 21465 532 0 0 25 0 1 0 897535519 80932864 18894 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19759 18894 1111 63 0 19696 0
vsize: 79036
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 177760 0 0 0 22421 576 0 0 25 0 1 0 897535519 83718144 19583 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20439 19583 1111 63 0 20376 0
vsize: 81756
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 196483 0 0 0 23377 621 0 0 25 0 1 0 897535519 86097920 20156 4294967295 134512640 134716908 3221224576 3221222632 1077374756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21020 20156 1111 63 0 20957 0
vsize: 84080
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 214399 0 0 0 24337 660 0 0 25 0 1 0 897535519 94330880 21583 4294967295 134512640 134716908 3221224576 3221223016 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23030 21583 1111 63 0 22967 0
vsize: 92120
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 233157 0 0 0 25291 707 0 0 25 0 1 0 897535519 97345536 22337 4294967295 134512640 134716908 3221224576 3221222304 1075828634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23766 22337 1111 63 0 23703 0
vsize: 95064
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 251561 0 0 0 26246 751 0 0 25 0 1 0 897535519 99819520 22945 4294967295 134512640 134716908 3221224576 3221222536 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24370 22945 1111 63 0 24307 0
vsize: 97480
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 269581 0 0 0 27201 796 0 0 25 0 1 0 897535519 103510016 23682 4294967295 134512640 134716908 3221224576 3221221408 1075115280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25271 23682 1111 63 0 25208 0
vsize: 101084
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 287973 0 0 0 28156 841 0 0 25 0 1 0 897535519 105041920 24239 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25645 24239 1111 63 0 25582 0
vsize: 102580
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 303791 0 0 0 29117 881 0 0 25 0 1 0 897535519 107483136 24869 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26241 24869 1111 63 0 26178 0
vsize: 104964
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 322326 0 0 0 30071 927 0 0 25 0 1 0 897535519 109780992 25433 4294967295 134512640 134716908 3221224576 3221223024 1073990306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26802 25433 1111 63 0 26739 0
vsize: 107208
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 341163 0 0 0 31026 972 0 0 25 0 1 0 897535519 112771072 26157 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27532 26157 1111 63 0 27469 0
vsize: 110128
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 359723 0 0 0 31985 1013 0 0 25 0 1 0 897535519 116011008 26777 4294967295 134512640 134716908 3221224576 3221221580 1074621112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28323 26777 1111 63 0 28260 0
vsize: 113292
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 361762 0 0 0 32979 1019 0 0 25 0 1 0 897535519 116043776 26967 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28331 26967 1111 63 0 28268 0
vsize: 113324
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 361762 0 0 0 33979 1019 0 0 25 0 1 0 897535519 116043776 26967 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28331 26967 1111 63 0 28268 0
vsize: 113324
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 372239 0 0 0 34951 1047 0 0 25 0 1 0 897535519 117440512 27305 4294967295 134512640 134716908 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28672 27305 1111 63 0 28609 0
vsize: 114688
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 390915 0 0 0 35902 1097 0 0 25 0 1 0 897535519 120311808 28005 4294967295 134512640 134716908 3221224576 3221222976 1074118858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29373 28005 1111 63 0 29310 0
vsize: 117492
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 406494 0 0 0 36864 1135 0 0 25 0 1 0 897535519 123019264 28631 4294967295 134512640 134716908 3221224576 3221222928 1074115248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30034 28631 1111 63 0 29971 0
vsize: 120136
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 425169 0 0 0 37820 1178 0 0 25 0 1 0 897535519 125640704 29242 4294967295 134512640 134716908 3221224576 3221222304 1075635454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30674 29242 1111 63 0 30611 0
vsize: 122696
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 443881 0 0 0 38779 1220 0 0 25 0 1 0 897535519 129200128 30024 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31543 30024 1111 63 0 31480 0
vsize: 126172
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 462058 0 0 0 39732 1267 0 0 25 0 1 0 897535519 131203072 30615 4294967295 134512640 134716908 3221224576 3221222576 1074056578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32032 30615 1111 63 0 31969 0
vsize: 128128
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 480791 0 0 0 40689 1310 0 0 25 0 1 0 897535519 134074368 31334 4294967295 134512640 134716908 3221224576 3221222496 1075799695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32733 31334 1111 63 0 32670 0
vsize: 130932
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 496705 0 0 0 41651 1349 0 0 25 0 1 0 897535519 136986624 32078 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33444 32078 1111 63 0 33381 0
vsize: 133776
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 515289 0 0 0 42605 1394 0 0 25 0 1 0 897535519 140156928 32707 4294967295 134512640 134716908 3221224576 3221221344 1076083431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34218 32707 1111 63 0 34155 0
vsize: 136872
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 533734 0 0 0 43563 1437 0 0 25 0 1 0 897535519 141770752 33272 4294967295 134512640 134716908 3221224576 3221222464 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34612 33272 1111 63 0 34549 0
vsize: 138448
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 552646 0 0 0 44517 1482 0 0 25 0 1 0 897535519 145375232 34012 4294967295 134512640 134716908 3221224576 3221220576 1075965253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35492 34012 1111 63 0 35429 0
vsize: 141968
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 569777 0 0 0 45476 1524 0 0 25 0 1 0 897535519 146931712 34597 4294967295 134512640 134716908 3221224576 3221222992 1074116193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35872 34597 1111 63 0 35809 0
vsize: 143488
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 588248 0 0 0 46433 1567 0 0 25 0 1 0 897535519 149266432 35170 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36442 35170 1111 63 0 36379 0
vsize: 145768
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 606237 0 0 0 47390 1609 0 0 25 0 1 0 897535519 151416832 35697 4294967295 134512640 134716908 3221224576 3221223128 1074912837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36967 35697 1111 63 0 36904 0
vsize: 147868
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 623728 0 0 0 48347 1653 0 0 25 0 1 0 897535519 162013184 37405 4294967295 134512640 134716908 3221224576 3221222928 1074115244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39554 37405 1111 63 0 39491 0
vsize: 158216
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 633431 0 0 0 49323 1677 0 0 25 0 1 0 897535519 165609472 37913 4294967295 134512640 134716908 3221224576 3221222288 1074051901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40432 37913 1111 63 0 40369 0
vsize: 161728
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 651004 0 0 0 50277 1723 0 0 25 0 1 0 897535519 168161280 38501 4294967295 134512640 134716908 3221224576 3221223424 134623480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41055 38501 1111 63 0 40992 0
vsize: 164220
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 669672 0 0 0 51236 1764 0 0 25 0 1 0 897535519 170508288 39112 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41628 39112 1111 63 0 41565 0
vsize: 166512
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 688492 0 0 0 52192 1808 0 0 25 0 1 0 897535519 173162496 39717 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42276 39717 1111 63 0 42213 0
vsize: 169104
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 707300 0 0 0 53149 1852 0 0 25 0 1 0 897535519 175640576 40302 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43069 40306 1111 63 0 43006 0
vsize: 171524
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 725722 0 0 0 54106 1895 0 0 25 0 1 0 897535519 177995776 40917 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43456 40917 1111 63 0 43393 0
vsize: 173824
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 744582 0 0 0 55060 1941 0 0 25 0 1 0 897535519 180305920 41483 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44020 41483 1111 63 0 43957 0
vsize: 176080
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 762037 0 0 0 56022 1979 0 0 25 0 1 0 897535519 183439360 42053 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44785 42061 1111 63 0 44722 0
vsize: 179140
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 779302 0 0 0 56984 2018 0 0 25 0 1 0 897535519 184860672 42627 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45132 42627 1111 63 0 45069 0
vsize: 180528
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 798481 0 0 0 57941 2060 0 0 25 0 1 0 897535519 187535360 43283 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45785 43283 1111 63 0 45722 0
vsize: 183140
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 817795 0 0 0 58893 2109 0 0 25 0 1 0 897535519 189853696 43849 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46351 43849 1111 63 0 46288 0
vsize: 185404
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 837203 0 0 0 59848 2154 0 0 25 0 1 0 897535519 192942080 44434 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 44434 1111 63 0 47042 0
vsize: 188420
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 840097 0 0 0 60841 2161 0 0 25 0 1 0 897535519 193134592 44658 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47152 44658 1111 63 0 47089 0
vsize: 188608
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 851653 0 0 0 61811 2191 0 0 25 0 1 0 897535519 193835008 44828 4294967295 134512640 134716908 3221224576 3221223392 134622144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47323 44828 1111 63 0 47260 0
vsize: 189292
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 870786 0 0 0 62770 2232 0 0 25 0 1 0 897535519 195944448 45394 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47838 45394 1111 63 0 47775 0
vsize: 191352
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 888174 0 0 0 63731 2271 0 0 25 0 1 0 897535519 198090752 45907 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48362 45907 1111 63 0 48299 0
vsize: 193448
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 908039 0 0 0 64683 2320 0 0 25 0 1 0 897535519 200364032 46482 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48917 46482 1111 63 0 48854 0
vsize: 195668
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 929738 0 0 0 65636 2368 0 0 25 0 1 0 897535519 202256384 46962 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49379 46962 1111 63 0 49316 0
vsize: 197516
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 950248 0 0 0 66587 2416 0 0 25 0 1 0 897535519 204402688 47494 4294967295 134512640 134716908 3221224576 3221222416 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49903 47494 1111 63 0 49840 0
vsize: 199612
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 969355 0 0 0 67543 2461 0 0 25 0 1 0 897535519 206426112 48011 4294967295 134512640 134716908 3221224576 3221222656 1077379745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50397 48011 1111 63 0 50334 0
vsize: 201588
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 986876 0 0 0 68502 2502 0 0 25 0 1 0 897535519 208576512 48568 4294967295 134512640 134716908 3221224576 3221222424 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50922 48568 1111 63 0 50859 0
vsize: 203688
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1005637 0 0 0 69457 2547 0 0 25 0 1 0 897535519 210812928 49107 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51468 49107 1111 63 0 51405 0
vsize: 205872
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1024599 0 0 0 70411 2593 0 0 25 0 1 0 897535519 213164032 49719 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52042 49719 1111 63 0 51979 0
vsize: 208168
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1042067 0 0 0 71370 2634 0 0 25 0 1 0 897535519 215580672 50139 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52444 50133 1111 63 0 52381 0
vsize: 210528
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1060281 0 0 0 72326 2678 0 0 25 0 1 0 897535519 217440256 50768 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53086 50768 1111 63 0 53023 0
vsize: 212344
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1078946 0 0 0 73287 2717 0 0 25 0 1 0 897535519 219742208 51389 4294967295 134512640 134716908 3221224576 3221222976 1074118879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53648 51389 1111 63 0 53585 0
vsize: 214592
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1092925 0 0 0 74254 2750 0 0 25 0 1 0 897535519 221478912 51807 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54072 51807 1111 63 0 54009 0
vsize: 216288
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1111345 0 0 0 75212 2793 0 0 25 0 1 0 897535519 224522240 52401 4294967295 134512640 134716908 3221224576 3221222476 1074207552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54815 52401 1111 63 0 54752 0
vsize: 219260
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1130098 0 0 0 76166 2839 0 0 25 0 1 0 897535519 227151872 53018 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55457 53018 1111 63 0 55394 0
vsize: 221828
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1148319 0 0 0 77121 2884 0 0 25 0 1 0 897535519 230010880 53641 4294967295 134512640 134716908 3221224576 3221222224 1075817664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56155 53641 1111 63 0 56092 0
vsize: 224620
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1166782 0 0 0 78078 2928 0 0 25 0 1 0 897535519 232706048 54242 4294967295 134512640 134716908 3221224576 3221223448 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56813 54242 1111 63 0 56750 0
vsize: 227252
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1173904 0 0 0 79061 2945 0 0 25 0 1 0 897535519 234029056 54600 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57136 54600 1111 63 0 57073 0
vsize: 228544
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1173904 0 0 0 80061 2945 0 0 25 0 1 0 897535519 234029056 54600 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57136 54600 1111 63 0 57073 0
vsize: 228544
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1173904 0 0 0 81061 2945 0 0 25 0 1 0 897535519 234029056 54600 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57136 54600 1111 63 0 57073 0
vsize: 228544
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1174458 0 0 0 82059 2947 0 0 25 0 1 0 897535519 235245568 54880 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57433 54880 1111 63 0 57370 0
vsize: 229732
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1177701 0 0 0 83052 2954 0 0 25 0 1 0 897535519 234323968 54651 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57208 54651 1111 63 0 57145 0
vsize: 228832
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1190815 0 0 0 84022 2984 0 0 25 0 1 0 897535519 234852352 54792 4294967295 134512640 134716908 3221224576 3221223312 134556388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57337 54792 1111 63 0 57274 0
vsize: 229348
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1209383 0 0 0 84983 3024 0 0 25 0 1 0 897535519 237252608 55399 4294967295 134512640 134716908 3221224576 3221222304 1075828569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57923 55399 1111 63 0 57860 0
vsize: 231692
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1223584 0 0 0 85951 3056 0 0 25 0 1 0 897535519 239112192 55894 4294967295 134512640 134716908 3221224576 3221222496 1075802492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58377 55894 1111 63 0 58314 0
vsize: 233508
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1242110 0 0 0 86911 3096 0 0 25 0 1 0 897535519 241156096 56397 4294967295 134512640 134716908 3221224576 3221222448 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58876 56397 1111 63 0 58813 0
vsize: 235504
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1261384 0 0 0 87868 3140 0 0 25 0 1 0 897535519 243593216 56992 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59471 56992 1111 63 0 59408 0
vsize: 237884
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1280353 0 0 0 88823 3185 0 0 25 0 1 0 897535519 245846016 57585 4294967295 134512640 134716908 3221224576 3221222928 1074142748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60021 57585 1111 63 0 59958 0
vsize: 240084
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1298860 0 0 0 89778 3229 0 0 25 0 1 0 897535519 248078336 58151 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60566 58151 1111 63 0 60503 0
vsize: 242264
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1317373 0 0 0 90737 3271 0 0 25 0 1 0 897535519 250425344 58712 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61139 58712 1111 63 0 61076 0
vsize: 244556
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1336407 0 0 0 91694 3314 0 0 25 0 1 0 897535519 253612032 59528 4294967295 134512640 134716908 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61917 59528 1111 63 0 61854 0
vsize: 247668
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1355332 0 0 0 92651 3357 0 0 25 0 1 0 897535519 255782912 60077 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62447 60077 1111 63 0 62384 0
vsize: 249788
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1369216 0 0 0 93618 3390 0 0 25 0 1 0 897535519 257220608 60438 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62798 60438 1111 63 0 62735 0
vsize: 251192
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1388003 0 0 0 94573 3436 0 0 25 0 1 0 897535519 259629056 60996 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63386 60996 1111 63 0 63323 0
vsize: 253544
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1407375 0 0 0 95521 3488 0 0 25 0 1 0 897535519 262197248 61575 4294967295 134512640 134716908 3221224576 3221222576 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64013 61575 1111 63 0 63950 0
vsize: 256052
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1426621 0 0 0 96476 3533 0 0 25 0 1 0 897535519 264609792 62181 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64602 62181 1111 63 0 64539 0
vsize: 258408
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1449152 0 0 0 97425 3584 0 0 25 0 1 0 897535519 266452992 62554 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65222 62560 1111 63 0 65159 0
vsize: 260208
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1470326 0 0 0 98376 3633 0 0 25 0 1 0 897535519 267960320 62942 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65420 62942 1111 63 0 65357 0
vsize: 261680
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1486849 0 0 0 99341 3668 0 0 25 0 1 0 897535519 270192640 63538 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65965 63538 1111 63 0 65902 0
vsize: 263860
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1505192 0 0 0 100298 3711 0 0 25 0 1 0 897535519 272572416 64154 4294967295 134512640 134716908 3221224576 3221222976 1074118879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66546 64154 1111 63 0 66483 0
vsize: 266184
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1519136 0 0 0 101266 3744 0 0 25 0 1 0 897535519 274284544 64577 4294967295 134512640 134716908 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66964 64577 1111 63 0 66901 0
vsize: 267856
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1537282 0 0 0 102223 3787 0 0 25 0 1 0 897535519 276361216 65113 4294967295 134512640 134716908 3221224576 3221222620 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67471 65113 1111 63 0 67408 0
vsize: 269884
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1555715 0 0 0 103181 3830 0 0 25 0 1 0 897535519 278454272 65662 4294967295 134512640 134716908 3221224576 3221222880 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67982 65662 1111 63 0 67919 0
vsize: 271928
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1574202 0 0 0 104139 3871 0 0 25 0 1 0 897535519 280682496 66229 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68526 66229 1111 63 0 68463 0
vsize: 274104
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1592498 0 0 0 105096 3914 0 0 25 0 1 0 897535519 283074560 66857 4294967295 134512640 134716908 3221224576 3221222224 1074247373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69110 66857 1111 63 0 69047 0
vsize: 276440
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1606801 0 0 0 106063 3947 0 0 25 0 1 0 897535519 285560832 67448 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69717 67448 1111 63 0 69654 0
vsize: 278868
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1608579 0 0 0 107060 3951 0 0 25 0 1 0 897535519 285511680 67457 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1608579 0 0 0 108060 3951 0 0 25 0 1 0 897535519 285511680 67457 4294967295 134512640 134716908 3221224576 3221223296 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1608579 0 0 0 109060 3951 0 0 25 0 1 0 897535519 285511680 67457 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1626732 0 0 0 110017 3994 0 0 25 0 1 0 897535519 287248384 67884 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70129 67884 1111 63 0 70066 0
vsize: 280516
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1649417 0 0 0 110966 4046 0 0 25 0 1 0 897535519 310398976 70241 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75781 70241 1111 63 0 75718 0
vsize: 303124
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1663309 0 0 0 111933 4079 0 0 25 0 1 0 897535519 311484416 70506 4294967295 134512640 134716908 3221224576 3221222496 1075802507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76046 70506 1111 63 0 75983 0
vsize: 304184
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1681674 0 0 0 112892 4120 0 0 25 0 1 0 897535519 313466880 70985 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76530 70985 1111 63 0 76467 0
vsize: 306120
[startup+1175.06 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 24307
Raw data (stat): 24307 (bsolo_lpr-v2) R 24306 21152 21151 0 -1 0 1681674 0 0 0 112892 4120 0 0 25 0 1 0 897535519 313466880 70985 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76530 70985 1111 63 0 76467 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.15
CPU user time (s): 1133.61
CPU system time (s): 41.5387
CPU usage (%): 100.008
Max. virtual memory (Kb): 306120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####