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/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
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	1236.51
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 39925

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        811552 kB
Buffers:         34260 kB
Cached:         161208 kB
SwapCached:       6016 kB
Active:          55040 kB
Inactive:       147780 kB
HighTotal:      131008 kB
HighFree:        11284 kB
LowTotal:       903652 kB
LowFree:        800268 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14596 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:50:45 (client local time) WITH STATUS 0 IN 1175.87 SECONDS
stats: 27980 7 1175.87 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.73 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.01925
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.73 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.91 1/54 17177
Raw data (stat): 17177 (runsolver) R 17176 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896602515 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.0014 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 6554 0 0 0 976 20 0 0 25 0 1 0 896602515 19628032 4096 4294967295 134512640 134716908 3221224576 3221222560 1074056084 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.0022 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 12573 0 0 0 1950 47 0 0 25 0 1 0 896602515 23080960 4941 4294967295 134512640 134716908 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5673 4943 1111 63 0 5610 0
vsize: 22540
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 19067 0 0 0 2922 75 0 0 25 0 1 0 896602515 26198016 5693 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6396 5693 1111 63 0 6333 0
vsize: 25584
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 25802 0 0 0 3899 99 0 0 25 0 1 0 896602515 29958144 6601 4294967295 134512640 134716908 3221224576 3221222320 1075640425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7314 6601 1111 63 0 7251 0
vsize: 29256
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 32038 0 0 0 4875 123 0 0 25 0 1 0 896602515 32894976 7323 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8031 7323 1111 63 0 7968 0
vsize: 32124
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 37695 0 0 0 5852 146 0 0 25 0 1 0 896602515 35852288 8051 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8753 8051 1111 63 0 8690 0
vsize: 35012
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 43086 0 0 0 6830 168 0 0 25 0 1 0 896602515 39845888 8975 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9728 8975 1111 63 0 9665 0
vsize: 38912
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 48461 0 0 0 7809 189 0 0 25 0 1 0 896602515 42860544 9703 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10464 9703 1111 63 0 10401 0
vsize: 41856
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 53959 0 0 0 8788 210 0 0 25 0 1 0 896602515 45559808 10398 4294967295 134512640 134716908 3221224576 3221222264 1077378259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11123 10398 1111 63 0 11060 0
vsize: 44492
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 59446 0 0 0 9762 237 0 0 25 0 1 0 896602515 49102848 11211 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11988 11211 1111 63 0 11925 0
vsize: 47952
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 64862 0 0 0 10741 258 0 0 25 0 1 0 896602515 51904512 11949 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12672 11949 1111 63 0 12609 0
vsize: 50688
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 70958 0 0 0 11715 284 0 0 25 0 1 0 896602515 57667584 13126 4294967295 134512640 134716908 3221224576 3221222496 1075799758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14079 13126 1111 63 0 14016 0
vsize: 56316
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 76276 0 0 0 12694 305 0 0 25 0 1 0 896602515 60538880 13831 4294967295 134512640 134716908 3221224576 3221223116 1073989844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14778 13831 1111 63 0 14715 0
vsize: 59120
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 81683 0 0 0 13671 328 0 0 25 0 1 0 896602515 62976000 14444 4294967295 134512640 134716908 3221224576 3221222888 1074138195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15375 14444 1111 63 0 15312 0
vsize: 61500
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 86764 0 0 0 14648 351 0 0 25 0 1 0 896602515 65777664 15133 4294967295 134512640 134716908 3221224576 3221222912 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16059 15133 1111 63 0 15996 0
vsize: 64236
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 92012 0 0 0 15625 374 0 0 25 0 1 0 896602515 68702208 15848 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16773 15848 1111 63 0 16710 0
vsize: 67092
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 97034 0 0 0 16604 395 0 0 25 0 1 0 896602515 72175616 16737 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17621 16737 1111 63 0 17558 0
vsize: 70484
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 97735 0 0 0 17603 397 0 0 25 0 1 0 896602515 71622656 16610 4294967295 134512640 134716908 3221224576 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17486 16610 1111 63 0 17423 0
vsize: 69944
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 104689 0 0 0 18585 415 0 0 25 0 1 0 896602515 71913472 16673 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17557 16673 1111 63 0 17494 0
vsize: 70228
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 123097 0 0 0 19542 458 0 0 25 0 1 0 896602515 74674176 17324 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18231 17324 1111 63 0 18168 0
vsize: 72924
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 139821 0 0 0 20504 496 0 0 25 0 1 0 896602515 77635584 18102 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18954 18102 1111 63 0 18891 0
vsize: 75816
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 158283 0 0 0 21460 541 0 0 25 0 1 0 896602515 80769024 18856 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18856 1111 63 0 19656 0
vsize: 78876
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 176648 0 0 0 22413 588 0 0 25 0 1 0 896602515 83599360 19537 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20410 19537 1111 63 0 20347 0
vsize: 81640
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 195326 0 0 0 23366 635 0 0 25 0 1 0 896602515 86032384 20133 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21004 20133 1111 63 0 20941 0
vsize: 84016
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 213114 0 0 0 24326 675 0 0 25 0 1 0 896602515 94236672 21547 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23007 21547 1111 63 0 22944 0
vsize: 92028
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 231788 0 0 0 25279 722 0 0 25 0 1 0 896602515 97083392 22274 4294967295 134512640 134716908 3221224576 3221222544 1074247416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23702 22274 1111 63 0 23639 0
vsize: 94808
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 250270 0 0 0 26237 765 0 0 25 0 1 0 896602515 99586048 22888 4294967295 134512640 134716908 3221224576 3221222480 1075460136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24313 22888 1111 63 0 24250 0
vsize: 97252
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 267886 0 0 0 27193 809 0 0 25 0 1 0 896602515 102584320 23632 4294967295 134512640 134716908 3221224576 3221222400 1075823924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25045 23632 1111 63 0 24982 0
vsize: 100180
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 286242 0 0 0 28148 854 0 0 25 0 1 0 896602515 104652800 24141 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25550 24141 1111 63 0 25487 0
vsize: 102200
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 301725 0 0 0 29107 895 0 0 25 0 1 0 896602515 107319296 24821 4294967295 134512640 134716908 3221224576 3221222668 1077379823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26201 24821 1111 63 0 26138 0
vsize: 104804
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 320173 0 0 0 30063 939 0 0 25 0 1 0 896602515 109428736 25337 4294967295 134512640 134716908 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26810 25340 1111 63 0 26747 0
vsize: 106864
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 338760 0 0 0 31017 985 0 0 25 0 1 0 896602515 112607232 26105 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27492 26105 1111 63 0 27429 0
vsize: 109968
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 357204 0 0 0 31970 1033 0 0 25 0 1 0 896602515 114765824 26647 4294967295 134512640 134716908 3221224576 3221222856 1074138279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28019 26647 1111 63 0 27956 0
vsize: 112076
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 361762 0 0 0 32958 1045 0 0 25 0 1 0 896602515 116043776 26967 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28331 26967 1111 63 0 28268 0
vsize: 113324
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 361762 0 0 0 33958 1045 0 0 25 0 1 0 896602515 116043776 26967 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28331 26967 1111 63 0 28268 0
vsize: 113324
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 369122 0 0 0 34938 1065 0 0 25 0 1 0 896602515 117714944 27189 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28551 27173 1111 63 0 28488 0
vsize: 114956
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 387395 0 0 0 35888 1115 0 0 25 0 1 0 896602515 119676928 27842 4294967295 134512640 134716908 3221224576 3221223248 134652561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29218 27842 1111 63 0 29155 0
vsize: 116872
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 402803 0 0 0 36848 1155 0 0 25 0 1 0 896602515 122638336 28523 4294967295 134512640 134716908 3221224576 3221222580 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29941 28523 1111 63 0 29878 0
vsize: 119764
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 421435 0 0 0 37804 1200 0 0 25 0 1 0 896602515 125894656 29099 4294967295 134512640 134716908 3221224576 3221221388 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30736 29105 1111 63 0 30673 0
vsize: 122944
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 439936 0 0 0 38759 1245 0 0 25 0 1 0 896602515 128409600 29923 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31350 29923 1111 63 0 31287 0
vsize: 125400
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 458469 0 0 0 39713 1291 0 0 25 0 1 0 896602515 130600960 30456 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31885 30457 1111 63 0 31822 0
vsize: 127540
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 476765 0 0 0 40669 1335 0 0 25 0 1 0 896602515 133582848 31232 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32613 31232 1111 63 0 32550 0
vsize: 130452
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 495219 0 0 0 41625 1379 0 0 25 0 1 0 896602515 136376320 31919 4294967295 134512640 134716908 3221224576 3221222976 1074118800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33295 31919 1111 63 0 33232 0
vsize: 133180
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 510902 0 0 0 42589 1416 0 0 25 0 1 0 896602515 139018240 32597 4294967295 134512640 134716908 3221224576 3221223212 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33940 32597 1111 63 0 33877 0
vsize: 135760
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 529517 0 0 0 43541 1463 0 0 25 0 1 0 896602515 141066240 33106 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34440 33106 1111 63 0 34377 0
vsize: 137760
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 548178 0 0 0 44496 1509 0 0 25 0 1 0 896602515 144199680 33877 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35205 33877 1111 63 0 35142 0
vsize: 140820
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 566636 0 0 0 45447 1558 0 0 25 0 1 0 896602515 147202048 34441 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35938 34441 1111 63 0 35875 0
vsize: 143752
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 583870 0 0 0 46406 1599 0 0 25 0 1 0 896602515 148746240 35035 4294967295 134512640 134716908 3221224576 3221222992 1074116804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36315 35035 1111 63 0 36252 0
vsize: 145260
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 601788 0 0 0 47363 1642 0 0 25 0 1 0 896602515 150978560 35579 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36860 35579 1111 63 0 36797 0
vsize: 147440
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 617794 0 0 0 48320 1686 0 0 25 0 1 0 896602515 153063424 36085 4294967295 134512640 134716908 3221224576 3221222912 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37369 36085 1111 63 0 37306 0
vsize: 149476
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 630992 0 0 0 49288 1717 0 0 25 0 1 0 896602515 165748736 37951 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40466 37951 1111 63 0 40403 0
vsize: 161864
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 646993 0 0 0 50251 1755 0 0 25 0 1 0 896602515 167579648 38357 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40913 38357 1111 63 0 40850 0
vsize: 163652
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 664822 0 0 0 51209 1797 0 0 25 0 1 0 896602515 169893888 38932 4294967295 134512640 134716908 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41666 38939 1111 63 0 41603 0
vsize: 165912
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 683361 0 0 0 52165 1841 0 0 25 0 1 0 896602515 172433408 39564 4294967295 134512640 134716908 3221224576 3221222912 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42098 39564 1111 63 0 42035 0
vsize: 168392
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 701735 0 0 0 53122 1884 0 0 25 0 1 0 896602515 175017984 40146 4294967295 134512640 134716908 3221224576 3221222976 1074118800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42729 40146 1111 63 0 42666 0
vsize: 170916
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 719672 0 0 0 54076 1930 0 0 25 0 1 0 896602515 178057216 40749 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43471 40749 1111 63 0 43408 0
vsize: 173884
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 738236 0 0 0 55033 1973 0 0 25 0 1 0 896602515 179548160 41306 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43835 41306 1111 63 0 43772 0
vsize: 175340
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 755086 0 0 0 55994 2012 0 0 25 0 1 0 896602515 181788672 41823 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44382 41823 1111 63 0 44319 0
vsize: 177528
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 773510 0 0 0 56950 2057 0 0 25 0 1 0 896602515 184930304 42456 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45149 42457 1111 63 0 45086 0
vsize: 180596
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 790517 0 0 0 57907 2101 0 0 25 0 1 0 896602515 186441728 43009 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45518 43009 1111 63 0 45455 0
vsize: 182072
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 809549 0 0 0 58859 2149 0 0 25 0 1 0 896602515 189112320 43634 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46170 43634 1111 63 0 46107 0
vsize: 184680
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 828488 0 0 0 59815 2192 0 0 25 0 1 0 896602515 191123456 44158 4294967295 134512640 134716908 3221224576 3221223452 134586790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46661 44158 1111 63 0 46598 0
vsize: 186644
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 840097 0 0 0 60785 2222 0 0 25 0 1 0 896602515 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 841909 0 0 0 61781 2227 0 0 25 0 1 0 896602515 193417216 44549 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47221 44555 1111 63 0 47158 0
vsize: 188884
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 860687 0 0 0 62734 2274 0 0 25 0 1 0 896602515 195043328 45129 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47618 45129 1111 63 0 47555 0
vsize: 190472
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 877419 0 0 0 63692 2316 0 0 25 0 1 0 896602515 196771840 45591 4294967295 134512640 134716908 3221224576 3221222168 1077380195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48040 45591 1111 63 0 47977 0
vsize: 192160
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 896418 0 0 0 64646 2363 0 0 25 0 1 0 896602515 199057408 46151 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48598 46151 1111 63 0 48535 0
vsize: 194392
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 917354 0 0 0 65595 2414 0 0 25 0 1 0 896602515 201748480 46649 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49255 46649 1111 63 0 49192 0
vsize: 197020
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 937198 0 0 0 66546 2463 0 0 25 0 1 0 896602515 203120640 47190 4294967295 134512640 134716908 3221224576 3221223204 134651106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49590 47190 1111 63 0 49527 0
vsize: 198360
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 956935 0 0 0 67498 2511 0 0 25 0 1 0 896602515 205135872 47685 4294967295 134512640 134716908 3221224576 3221223136 1073989416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50082 47685 1111 63 0 50019 0
vsize: 200328
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 975578 0 0 0 68454 2555 0 0 25 0 1 0 896602515 207089664 48199 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50559 48199 1111 63 0 50496 0
vsize: 202236
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 992758 0 0 0 69413 2596 0 0 25 0 1 0 896602515 209260544 48731 4294967295 134512640 134716908 3221224576 3221222304 1075828459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51089 48731 1111 63 0 51026 0
vsize: 204356
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1010883 0 0 0 70367 2642 0 0 25 0 1 0 896602515 211517440 49294 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51640 49294 1111 63 0 51577 0
vsize: 206560
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1028759 0 0 0 71325 2684 0 0 25 0 1 0 896602515 213733376 49878 4294967295 134512640 134716908 3221224576 3221222832 1074146291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52181 49878 1111 63 0 52118 0
vsize: 208724
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1046368 0 0 0 72285 2725 0 0 25 0 1 0 896602515 215318528 50271 4294967295 134512640 134716908 3221224576 3221222496 1075799727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52568 50271 1111 63 0 52505 0
vsize: 210272
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1064155 0 0 0 73245 2765 0 0 25 0 1 0 896602515 217878528 50900 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53193 50900 1111 63 0 53130 0
vsize: 212772
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1081999 0 0 0 74201 2809 0 0 25 0 1 0 896602515 220794880 51628 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53905 51628 1111 63 0 53842 0
vsize: 215620
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1096010 0 0 0 75167 2844 0 0 25 0 1 0 896602515 221794304 51886 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54149 51886 1111 63 0 54086 0
vsize: 216596
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1114195 0 0 0 76124 2887 0 0 25 0 1 0 896602515 224915456 52498 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54911 52498 1111 63 0 54848 0
vsize: 219644
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1132515 0 0 0 77075 2935 0 0 25 0 1 0 896602515 227414016 53082 4294967295 134512640 134716908 3221224576 3221222256 1075895011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55521 53082 1111 63 0 55458 0
vsize: 222084
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1150319 0 0 0 78033 2978 0 0 25 0 1 0 896602515 230240256 53688 4294967295 134512640 134716908 3221224576 3221222400 1075824329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56211 53688 1111 63 0 56148 0
vsize: 224844
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1168436 0 0 0 78988 3023 0 0 25 0 1 0 896602515 232890368 54314 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56858 54314 1111 63 0 56795 0
vsize: 227432
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1173904 0 0 0 79974 3037 0 0 25 0 1 0 896602515 234029056 54600 4294967295 134512640 134716908 3221224576 3221223288 134543144 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1173904 0 0 0 80975 3037 0 0 25 0 1 0 896602515 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+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1173904 0 0 0 81975 3037 0 0 25 0 1 0 896602515 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+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1174458 0 0 0 82973 3039 0 0 25 0 1 0 896602515 235245568 54880 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57433 54880 1111 63 0 57370 0
vsize: 229732
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1177574 0 0 0 83965 3047 0 0 25 0 1 0 896602515 233762816 54524 4294967295 134512640 134716908 3221224576 3221222516 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57071 54524 1111 63 0 57008 0
vsize: 228284
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1186442 0 0 0 84943 3069 0 0 25 0 1 0 896602515 235143168 54652 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57408 54658 1111 63 0 57345 0
vsize: 229632
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1204485 0 0 0 85897 3115 0 0 25 0 1 0 896602515 236646400 55246 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57775 55246 1111 63 0 57712 0
vsize: 231100
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1222438 0 0 0 86852 3160 0 0 25 0 1 0 896602515 239202304 55909 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58399 55909 1111 63 0 58336 0
vsize: 233596
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1236732 0 0 0 87815 3198 0 0 25 0 1 0 896602515 240529408 56233 4294967295 134512640 134716908 3221224576 3221222304 1075635436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58723 56233 1111 63 0 58660 0
vsize: 234892
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1255177 0 0 0 88770 3243 0 0 25 0 1 0 896602515 242876416 56824 4294967295 134512640 134716908 3221224576 3221222480 1075460122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59296 56824 1111 63 0 59233 0
vsize: 237184
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1273818 0 0 0 89725 3288 0 0 25 0 1 0 896602515 244965376 57372 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59806 57372 1111 63 0 59743 0
vsize: 239224
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1291958 0 0 0 90684 3329 0 0 25 0 1 0 896602515 247263232 57935 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60367 57935 1111 63 0 60304 0
vsize: 241468
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1310328 0 0 0 91638 3376 0 0 25 0 1 0 896602515 249630720 58533 4294967295 134512640 134716908 3221224576 3221221856 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61172 58539 1111 63 0 61109 0
vsize: 243780
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1328772 0 0 0 92590 3424 0 0 25 0 1 0 896602515 252731392 59331 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61702 59331 1111 63 0 61639 0
vsize: 246808
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1347113 0 0 0 93546 3467 0 0 25 0 1 0 896602515 254943232 59871 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62242 59871 1111 63 0 62179 0
vsize: 248968
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1360390 0 0 0 94512 3502 0 0 25 0 1 0 896602515 256696320 60312 4294967295 134512640 134716908 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62670 60312 1111 63 0 62607 0
vsize: 250680
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1378909 0 0 0 95470 3544 0 0 25 0 1 0 896602515 258576384 60790 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63129 60790 1111 63 0 63066 0
vsize: 252516
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1397681 0 0 0 96424 3590 0 0 25 0 1 0 896602515 261324800 61359 4294967295 134512640 134716908 3221224576 3221222576 1074921315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63800 61359 1111 63 0 63737 0
vsize: 255200
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1416591 0 0 0 97376 3638 0 0 25 0 1 0 896602515 263163904 61821 4294967295 134512640 134716908 3221224576 3221222956 1074208604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64249 61821 1111 63 0 64186 0
vsize: 256996
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1437767 0 0 0 98323 3692 0 0 25 0 1 0 896602515 265596928 62399 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64843 62399 1111 63 0 64780 0
vsize: 259372
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1459475 0 0 0 99275 3740 0 0 25 0 1 0 896602515 266932224 62714 4294967295 134512640 134716908 3221224576 3221223216 134651074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65169 62714 1111 63 0 65106 0
vsize: 260676
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1476620 0 0 0 100237 3778 0 0 25 0 1 0 896602515 268783616 63190 4294967295 134512640 134716908 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65621 63190 1111 63 0 65558 0
vsize: 262484
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1494306 0 0 0 101194 3821 0 0 25 0 1 0 896602515 271052800 63775 4294967295 134512640 134716908 3221224576 3221221680 1074139116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66402 63781 1111 63 0 66339 0
vsize: 264700
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1512260 0 0 0 102149 3866 0 0 25 0 1 0 896602515 273342464 64350 4294967295 134512640 134716908 3221224576 3221222780 1073950984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66734 64350 1111 63 0 66671 0
vsize: 266936
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1525879 0 0 0 103114 3902 0 0 25 0 1 0 896602515 274964480 64763 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67130 64763 1111 63 0 67067 0
vsize: 268520
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1543740 0 0 0 104068 3948 0 0 25 0 1 0 896602515 277180416 65327 4294967295 134512640 134716908 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67671 65327 1111 63 0 67608 0
vsize: 270684
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1561760 0 0 0 105024 3992 0 0 25 0 1 0 896602515 279191552 65846 4294967295 134512640 134716908 3221224576 3221221920 1074839095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68389 65852 1111 63 0 68326 0
vsize: 272648
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1579658 0 0 0 105977 4039 0 0 25 0 1 0 896602515 282333184 66428 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68702 66413 1111 63 0 68639 0
vsize: 275716
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1597763 0 0 0 106934 4083 0 0 25 0 1 0 896602515 283688960 67009 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69260 67009 1111 63 0 69197 0
vsize: 277040
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1607216 0 0 0 107908 4109 0 0 25 0 1 0 896602515 286687232 67732 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69992 67732 1111 63 0 69929 0
vsize: 279968
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1608579 0 0 0 108905 4112 0 0 25 0 1 0 896602515 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+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1608579 0 0 0 109905 4112 0 0 25 0 1 0 896602515 285511680 67457 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69705 67457 1111 63 0 69642 0
vsize: 278820
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1612371 0 0 0 110894 4123 0 0 25 0 1 0 896602515 286314496 67439 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69901 67441 1111 63 0 69838 0
vsize: 279604
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1630392 0 0 0 111848 4169 0 0 25 0 1 0 896602515 288501760 67964 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70435 67964 1111 63 0 70372 0
vsize: 281740
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1652600 0 0 0 112796 4221 0 0 25 0 1 0 896602515 310398976 70242 4294967295 134512640 134716908 3221224576 3221223280 134654883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75781 70242 1111 63 0 75718 0
vsize: 303124
[startup+1175.71 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17177
Raw data (stat): 17177 (bsolo_lpr-v2) R 17176 20224 20223 0 -1 0 1652600 0 0 0 112796 4221 0 0 25 0 1 0 896602515 310398976 70242 4294967295 134512640 134716908 3221224576 3221223280 134654883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75781 70242 1111 63 0 75718 0
vsize: 0

Child status: 0
Real time (s): 1175.71
CPU time (s): 1175.87
CPU user time (s): 1133.38
CPU system time (s): 42.4885
CPU usage (%): 100.014
Max. virtual memory (Kb): 303124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####