PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.02808
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 40490

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        693080 kB
Buffers:         26232 kB
Cached:         294128 kB
SwapCached:        940 kB
Active:          32580 kB
Inactive:       289852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692828 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13504 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:45:03 (client local time) WITH STATUS 0 IN 1175.39 SECONDS
stats: 28552 7 1175.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.562 s
c Initial Lower Bound: 95
c Lower Bound Elapsed time: 0.15775
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.38 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.82 0.92 0.90 1/54 30709
Raw data (stat): 30709 (runsolver) R 30708 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901616630 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 6179 0 0 0 982 16 0 0 25 0 1 0 901616630 16068608 3228 4294967295 134512640 134716908 3221224576 3221222416 1075798478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3923 3228 1111 63 0 3860 0
vsize: 15692
[startup+20.001 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 8587 0 0 0 1976 22 0 0 25 0 1 0 901616630 16953344 3324 4294967295 134512640 134716908 3221224576 3221220620 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4139 3324 1111 63 0 4076 0
vsize: 16556
[startup+30.0008 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 11280 0 0 0 2969 29 0 0 25 0 1 0 901616630 16420864 3281 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4009 3281 1111 63 0 3946 0
vsize: 16036
[startup+40.001 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 14172 0 0 0 3962 36 0 0 25 0 1 0 901616630 16318464 3290 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3290 1111 63 0 3921 0
vsize: 15936
[startup+50.0015 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 17412 0 0 0 4956 43 0 0 25 0 1 0 901616630 16502784 3335 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4029 3335 1111 63 0 3966 0
vsize: 16116
[startup+60.0013 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 20346 0 0 0 5949 51 0 0 25 0 1 0 901616630 17424384 3404 4294967295 134512640 134716908 3221224576 3221221504 1075960291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3407 1111 63 0 4191 0
vsize: 17016
[startup+70.0015 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 23324 0 0 0 6942 58 0 0 25 0 1 0 901616630 16523264 3340 4294967295 134512640 134716908 3221224576 3221223152 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4034 3340 1111 63 0 3971 0
vsize: 16136
[startup+80.0019 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 26389 0 0 0 7934 66 0 0 25 0 1 0 901616630 16699392 3383 4294967295 134512640 134716908 3221224576 3221222320 1075646769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3383 1111 63 0 4014 0
vsize: 16308
[startup+90.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 29170 0 0 0 8927 73 0 0 25 0 1 0 901616630 17428480 3421 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4255 3421 1111 63 0 4192 0
vsize: 17020
[startup+100.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 32059 0 0 0 9919 82 0 0 25 0 1 0 901616630 17477632 3439 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3439 1111 63 0 4204 0
vsize: 17068
[startup+110.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 35235 0 0 0 10911 90 0 0 25 0 1 0 901616630 16740352 3395 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3395 1111 63 0 4024 0
vsize: 16348
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 38220 0 0 0 11902 99 0 0 25 0 1 0 901616630 16785408 3407 4294967295 134512640 134716908 3221224576 3221222928 1074142880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4098 3407 1111 63 0 4035 0
vsize: 16392
[startup+130.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 41309 0 0 0 12894 108 0 0 25 0 1 0 901616630 16814080 3414 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4105 3414 1111 63 0 4042 0
vsize: 16420
[startup+140.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 44123 0 0 0 13888 114 0 0 25 0 1 0 901616630 16891904 3433 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4124 3433 1111 63 0 4061 0
vsize: 16496
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 47347 0 0 0 14881 121 0 0 25 0 1 0 901616630 17694720 3518 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4320 3518 1111 63 0 4257 0
vsize: 17280
[startup+160.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 50189 0 0 0 15874 129 0 0 25 0 1 0 901616630 17989632 3579 4294967295 134512640 134716908 3221224576 3221220736 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4392 3579 1111 63 0 4329 0
vsize: 17568
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 53270 0 0 0 16866 137 0 0 25 0 1 0 901616630 18108416 3650 4294967295 134512640 134716908 3221224576 3221220572 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4421 3650 1111 63 0 4358 0
vsize: 17684
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 56527 0 0 0 17858 146 0 0 25 0 1 0 901616630 17915904 3629 4294967295 134512640 134716908 3221224576 3221220572 1074873501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4374 3629 1111 63 0 4311 0
vsize: 17496
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 59448 0 0 0 18851 153 0 0 25 0 1 0 901616630 18030592 3592 4294967295 134512640 134716908 3221224576 3221220840 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4402 3592 1111 63 0 4339 0
vsize: 17608
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 62372 0 0 0 19843 161 0 0 25 0 1 0 901616630 17416192 3561 4294967295 134512640 134716908 3221224576 3221222456 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4252 3561 1111 63 0 4189 0
vsize: 17008
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 65650 0 0 0 20834 170 0 0 25 0 1 0 901616630 17743872 3621 4294967295 134512640 134716908 3221224576 3221221720 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4332 3621 1111 63 0 4269 0
vsize: 17328
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 69002 0 0 0 21826 178 0 0 25 0 1 0 901616630 18366464 3668 4294967295 134512640 134716908 3221224576 3221220688 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4484 3668 1111 63 0 4421 0
vsize: 17936
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 72098 0 0 0 22819 186 0 0 25 0 1 0 901616630 17707008 3632 4294967295 134512640 134716908 3221224576 3221223024 1073990196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3632 1111 63 0 4260 0
vsize: 17292
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 74927 0 0 0 23814 192 0 0 25 0 1 0 901616630 18395136 3692 4294967295 134512640 134716908 3221224576 3221220736 1074815170 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4491 3692 1111 63 0 4428 0
vsize: 17964
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 77789 0 0 0 24805 200 0 0 25 0 1 0 901616630 18477056 3682 4294967295 134512640 134716908 3221224576 3221220720 1074970451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4511 3682 1111 63 0 4448 0
vsize: 18044
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 80787 0 0 0 25798 208 0 0 25 0 1 0 901616630 18452480 3712 4294967295 134512640 134716908 3221224576 3221220536 1074789701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3712 1111 63 0 4442 0
vsize: 18020
[startup+270.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 83711 0 0 0 26790 216 0 0 25 0 1 0 901616630 17760256 3647 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4336 3647 1111 63 0 4273 0
vsize: 17344
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 86517 0 0 0 27782 224 0 0 25 0 1 0 901616630 18509824 3725 4294967295 134512640 134716908 3221224576 3221220476 1074787518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3725 1111 63 0 4456 0
vsize: 18076
[startup+290.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 89308 0 0 0 28776 231 0 0 25 0 1 0 901616630 17772544 3650 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4339 3650 1111 63 0 4276 0
vsize: 17356
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 92252 0 0 0 29768 239 0 0 25 0 1 0 901616630 17870848 3674 4294967295 134512640 134716908 3221224576 3221221664 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4363 3674 1111 63 0 4300 0
vsize: 17452
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 95425 0 0 0 30761 247 0 0 25 0 1 0 901616630 17952768 3687 4294967295 134512640 134716908 3221224576 3221222856 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4383 3687 1111 63 0 4320 0
vsize: 17532
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 98561 0 0 0 31752 256 0 0 25 0 1 0 901616630 18624512 3754 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4547 3754 1111 63 0 4484 0
vsize: 18188
[startup+330.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 101891 0 0 0 32744 264 0 0 25 0 1 0 901616630 18616320 3739 4294967295 134512640 134716908 3221224576 3221220536 1074789726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 3739 1111 63 0 4482 0
vsize: 18180
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 104926 0 0 0 33737 271 0 0 25 0 1 0 901616630 17981440 3701 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4390 3701 1111 63 0 4327 0
vsize: 17560
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 107796 0 0 0 34730 279 0 0 25 0 1 0 901616630 18714624 3771 4294967295 134512640 134716908 3221224576 3221220756 1075114923 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4569 3771 1111 63 0 4506 0
vsize: 18276
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 110775 0 0 0 35723 286 0 0 25 0 1 0 901616630 18821120 3776 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3776 1111 63 0 4532 0
vsize: 18380
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 113711 0 0 0 36716 294 0 0 25 0 1 0 901616630 18075648 3724 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3724 1111 63 0 4350 0
vsize: 17652
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 116635 0 0 0 37709 301 0 0 25 0 1 0 901616630 18759680 3780 4294967295 134512640 134716908 3221224576 3221221104 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3780 1111 63 0 4517 0
vsize: 18320
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 119942 0 0 0 38702 308 0 0 25 0 1 0 901616630 18481152 3830 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4512 3830 1111 63 0 4449 0
vsize: 18048
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 123104 0 0 0 39694 317 0 0 25 0 1 0 901616630 18587648 3856 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3856 1111 63 0 4475 0
vsize: 18152
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 126537 0 0 0 40688 324 0 0 25 0 1 0 901616630 18587648 3856 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3856 1111 63 0 4475 0
vsize: 18152
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 129148 0 0 0 41682 330 0 0 25 0 1 0 901616630 19263488 3841 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3842 1111 63 0 4640 0
vsize: 18812
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 131795 0 0 0 42675 337 0 0 25 0 1 0 901616630 18870272 3857 4294967295 134512640 134716908 3221224576 3221220672 1074968727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4607 3857 1111 63 0 4544 0
vsize: 18428
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 134354 0 0 0 43667 345 0 0 25 0 1 0 901616630 19275776 3854 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4706 3854 1111 63 0 4643 0
vsize: 18824
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 137271 0 0 0 44659 353 0 0 25 0 1 0 901616630 19275776 3852 4294967295 134512640 134716908 3221224576 3221220736 1074883672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4706 3852 1111 63 0 4643 0
vsize: 18824
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 139868 0 0 0 45652 361 0 0 25 0 1 0 901616630 18448384 3822 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3822 1111 63 0 4441 0
vsize: 18016
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 142337 0 0 0 46646 368 0 0 25 0 1 0 901616630 19275776 3862 4294967295 134512640 134716908 3221224576 3221220792 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4706 3862 1111 63 0 4643 0
vsize: 18824
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 145398 0 0 0 47638 375 0 0 25 0 1 0 901616630 18436096 3819 4294967295 134512640 134716908 3221224576 3221222688 1074057920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4501 3819 1111 63 0 4438 0
vsize: 18004
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 148843 0 0 0 48630 384 0 0 25 0 1 0 901616630 19619840 3906 4294967295 134512640 134716908 3221224576 3221220536 1074789711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 3906 1111 63 0 4727 0
vsize: 19160
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 151921 0 0 0 49624 390 0 0 25 0 1 0 901616630 18628608 3866 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4548 3866 1111 63 0 4485 0
vsize: 18192
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 155267 0 0 0 50615 400 0 0 25 0 1 0 901616630 19988480 4042 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4880 4042 1111 63 0 4817 0
vsize: 19520
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 158605 0 0 0 51607 408 0 0 25 0 1 0 901616630 19726336 3963 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4816 3963 1111 63 0 4753 0
vsize: 19264
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 162142 0 0 0 52599 417 0 0 25 0 1 0 901616630 18841600 3918 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3918 1111 63 0 4537 0
vsize: 18400
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 165233 0 0 0 53591 425 0 0 25 0 1 0 901616630 18841600 3918 4294967295 134512640 134716908 3221224576 3221222548 1077378560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3918 1111 63 0 4537 0
vsize: 18400
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 167727 0 0 0 54584 432 0 0 25 0 1 0 901616630 18841600 3918 4294967295 134512640 134716908 3221224576 3221221768 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4667 3919 1111 63 0 4604 0
vsize: 18400
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 170354 0 0 0 55577 439 0 0 25 0 1 0 901616630 19668992 3956 4294967295 134512640 134716908 3221224576 3221220632 1074789701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 3956 1111 63 0 4739 0
vsize: 19208
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 173214 0 0 0 56571 446 0 0 25 0 1 0 901616630 18841600 3918 4294967295 134512640 134716908 3221224576 3221223148 1077377191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3918 1111 63 0 4537 0
vsize: 18400
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 178093 0 0 0 57559 459 0 0 25 0 1 0 901616630 20430848 4147 4294967295 134512640 134716908 3221224576 3221221108 1075863641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4988 4147 1111 63 0 4925 0
vsize: 19952
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 181019 0 0 0 58552 466 0 0 25 0 1 0 901616630 19091456 3979 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4661 3979 1111 63 0 4598 0
vsize: 18644
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 183919 0 0 0 59544 474 0 0 25 0 1 0 901616630 19918848 4021 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4863 4021 1111 63 0 4800 0
vsize: 19452
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 187041 0 0 0 60536 482 0 0 25 0 1 0 901616630 19165184 3997 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 3997 1111 63 0 4616 0
vsize: 18716
[startup+620.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 190064 0 0 0 61529 490 0 0 25 0 1 0 901616630 19300352 3999 4294967295 134512640 134716908 3221224576 3221222224 1075818287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4712 3999 1111 63 0 4649 0
vsize: 18848
[startup+630.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 193157 0 0 0 62521 498 0 0 25 0 1 0 901616630 20221952 4057 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4057 1111 63 0 4874 0
vsize: 19748
[startup+640.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 196400 0 0 0 63514 505 0 0 25 0 1 0 901616630 19161088 3996 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4678 3996 1111 63 0 4615 0
vsize: 18712
[startup+650.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 200221 0 0 0 64505 515 0 0 25 0 1 0 901616630 19238912 4015 4294967295 134512640 134716908 3221224576 3221222632 1077377534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4697 4015 1111 63 0 4634 0
vsize: 18788
[startup+660.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 203707 0 0 0 65497 523 0 0 25 0 1 0 901616630 19251200 4018 4294967295 134512640 134716908 3221224576 3221222880 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 4018 1111 63 0 4637 0
vsize: 18800
[startup+670.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 207240 0 0 0 66489 532 0 0 25 0 1 0 901616630 19595264 4102 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4784 4102 1111 63 0 4721 0
vsize: 19136
[startup+680.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 210522 0 0 0 67481 540 0 0 25 0 1 0 901616630 19632128 4109 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4793 4109 1111 63 0 4730 0
vsize: 19172
[startup+690.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 214359 0 0 0 68472 549 0 0 25 0 1 0 901616630 19816448 4145 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4838 4145 1111 63 0 4775 0
vsize: 19352
[startup+700.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 218066 0 0 0 69464 558 0 0 25 0 1 0 901616630 20467712 4193 4294967295 134512640 134716908 3221224576 3221220800 1074800176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4997 4193 1111 63 0 4934 0
vsize: 19988
[startup+710.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 221831 0 0 0 70454 568 0 0 25 0 1 0 901616630 19922944 4182 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 4182 1111 63 0 4801 0
vsize: 19456
[startup+720.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 225230 0 0 0 71447 575 0 0 25 0 1 0 901616630 21073920 4267 4294967295 134512640 134716908 3221224576 3221220720 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 4267 1111 63 0 5082 0
vsize: 20580
[startup+730.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 228739 0 0 0 72440 583 0 0 25 0 1 0 901616630 20193280 4226 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4930 4226 1111 63 0 4867 0
vsize: 19720
[startup+740.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 232232 0 0 0 73432 591 0 0 25 0 1 0 901616630 21098496 4425 4294967295 134512640 134716908 3221224576 3221220704 1074882614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5151 4425 1111 63 0 5088 0
vsize: 20604
[startup+750.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 235524 0 0 0 74426 598 0 0 25 0 1 0 901616630 20545536 4334 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 4334 1111 63 0 4953 0
vsize: 20064
[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 238980 0 0 0 75419 605 0 0 25 0 1 0 901616630 21368832 4379 4294967295 134512640 134716908 3221224576 3221220848 1074961278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4379 1111 63 0 5154 0
vsize: 20868
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 241651 0 0 0 76412 612 0 0 25 0 1 0 901616630 20918272 4365 4294967295 134512640 134716908 3221224576 3221220800 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5107 4365 1111 63 0 5044 0
vsize: 20428
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 244631 0 0 0 77406 620 0 0 25 0 1 0 901616630 21811200 4480 4294967295 134512640 134716908 3221224576 3221221344 1076083754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 4480 1111 63 0 5262 0
vsize: 21300
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 247722 0 0 0 78399 627 0 0 25 0 1 0 901616630 20496384 4322 4294967295 134512640 134716908 3221224576 3221222928 1074153751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5004 4322 1111 63 0 4941 0
vsize: 20016
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 250609 0 0 0 79392 634 0 0 25 0 1 0 901616630 20594688 4327 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4327 1111 63 0 4965 0
vsize: 20112
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 254279 0 0 0 80384 643 0 0 25 0 1 0 901616630 20541440 4333 4294967295 134512640 134716908 3221224576 3221221680 1074139070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5056 4341 1111 63 0 4993 0
vsize: 20060
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 257847 0 0 0 81376 652 0 0 25 0 1 0 901616630 22073344 4566 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4566 1111 63 0 5326 0
vsize: 21556
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 261097 0 0 0 82366 661 0 0 25 0 1 0 901616630 20656128 4361 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5043 4361 1111 63 0 4980 0
vsize: 20172
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 264299 0 0 0 83358 670 0 0 25 0 1 0 901616630 21659648 4422 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4422 1111 63 0 5225 0
vsize: 21152
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 267284 0 0 0 84350 678 0 0 25 0 1 0 901616630 21549056 4416 4294967295 134512640 134716908 3221224576 3221220756 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5261 4416 1111 63 0 5198 0
vsize: 21044
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 270201 0 0 0 85344 685 0 0 25 0 1 0 901616630 21680128 4416 4294967295 134512640 134716908 3221224576 3221220848 1074960710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4416 1111 63 0 5230 0
vsize: 21172
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 273433 0 0 0 86336 693 0 0 25 0 1 0 901616630 21794816 4461 4294967295 134512640 134716908 3221224576 3221220908 1076111491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5321 4461 1111 63 0 5258 0
vsize: 21284
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 277030 0 0 0 87326 703 0 0 25 0 1 0 901616630 22343680 4606 4294967295 134512640 134716908 3221224576 3221221344 1076083457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5455 4606 1111 63 0 5392 0
vsize: 21820
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 280189 0 0 0 88318 711 0 0 25 0 1 0 901616630 20910080 4423 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5105 4423 1111 63 0 5042 0
vsize: 20420
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 283728 0 0 0 89310 720 0 0 25 0 1 0 901616630 21360640 4533 4294967295 134512640 134716908 3221224576 3221222816 1074206369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5215 4533 1111 63 0 5152 0
vsize: 20860
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 286684 0 0 0 90304 727 0 0 25 0 1 0 901616630 21770240 4468 4294967295 134512640 134716908 3221224576 3221220908 1075113181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4468 1111 63 0 5252 0
vsize: 21260
[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 289489 0 0 0 91298 733 0 0 25 0 1 0 901616630 21721088 4462 4294967295 134512640 134716908 3221224576 3221220632 1074789701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 4462 1111 63 0 5240 0
vsize: 21212
[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 292980 0 0 0 92290 742 0 0 25 0 1 0 901616630 21868544 4485 4294967295 134512640 134716908 3221224576 3221220736 1074794472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5339 4485 1111 63 0 5276 0
vsize: 21356
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 296893 0 0 0 93282 750 0 0 25 0 1 0 901616630 21291008 4516 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4516 1111 63 0 5135 0
vsize: 20792
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 299997 0 0 0 94275 757 0 0 25 0 1 0 901616630 21913600 4508 4294967295 134512640 134716908 3221224576 3221220704 1075561237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5350 4508 1111 63 0 5287 0
vsize: 21400
[startup+960.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 303022 0 0 0 95268 764 0 0 25 0 1 0 901616630 21901312 4590 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 4590 1111 63 0 5284 0
vsize: 21388
[startup+970.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 306369 0 0 0 96260 773 0 0 25 0 1 0 901616630 21913600 4515 4294967295 134512640 134716908 3221224576 3221221620 1074846195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5350 4515 1111 63 0 5287 0
vsize: 21400
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 309963 0 0 0 97251 782 0 0 25 0 1 0 901616630 22155264 4541 4294967295 134512640 134716908 3221224576 3221220848 1074961191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5409 4541 1111 63 0 5346 0
vsize: 21636
[startup+990.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 312936 0 0 0 98244 789 0 0 25 0 1 0 901616630 21073920 4463 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 4463 1111 63 0 5082 0
vsize: 20580
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 316229 0 0 0 99237 797 0 0 25 0 1 0 901616630 21073920 4463 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 4463 1111 63 0 5082 0
vsize: 20580
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 320020 0 0 0 100229 805 0 0 25 0 1 0 901616630 21164032 4485 4294967295 134512640 134716908 3221224576 3221222848 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4485 1111 63 0 5104 0
vsize: 20668
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 323809 0 0 0 101221 814 0 0 25 0 1 0 901616630 22409216 4625 4294967295 134512640 134716908 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5471 4625 1111 63 0 5408 0
vsize: 21884
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 327762 0 0 0 102211 824 0 0 25 0 1 0 901616630 22425600 4621 4294967295 134512640 134716908 3221224576 3221220544 1074872903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5475 4621 1111 63 0 5412 0
vsize: 21900
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 331082 0 0 0 103202 834 0 0 25 0 1 0 901616630 22286336 4583 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5441 4583 1111 63 0 5378 0
vsize: 21764
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 334863 0 0 0 104195 841 0 0 25 0 1 0 901616630 21630976 4599 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4599 1111 63 0 5218 0
vsize: 21124
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 338582 0 0 0 105185 851 0 0 25 0 1 0 901616630 22654976 4680 4294967295 134512640 134716908 3221224576 3221220704 1075112097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5531 4680 1111 63 0 5468 0
vsize: 22124
[startup+1070.04 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 342172 0 0 0 106177 860 0 0 25 0 1 0 901616630 22679552 4708 4294967295 134512640 134716908 3221224576 3221220704 1075112403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5537 4708 1111 63 0 5474 0
vsize: 22148
[startup+1080.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 345996 0 0 0 107167 870 0 0 25 0 1 0 901616630 22585344 4654 4294967295 134512640 134716908 3221224576 3221220480 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4654 1111 63 0 5451 0
vsize: 22056
[startup+1090.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 349346 0 0 0 108159 878 0 0 25 0 1 0 901616630 21766144 4629 4294967295 134512640 134716908 3221224576 3221222576 1074916528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5314 4629 1111 63 0 5251 0
vsize: 21256
[startup+1100.05 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 352701 0 0 0 109154 884 0 0 25 0 1 0 901616630 21663744 4607 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5289 4607 1111 63 0 5226 0
vsize: 21156
[startup+1110.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 356217 0 0 0 110146 892 0 0 25 0 1 0 901616630 21663744 4607 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5289 4607 1111 63 0 5226 0
vsize: 21156
[startup+1120.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 359919 0 0 0 111140 900 0 0 25 0 1 0 901616630 22896640 4704 4294967295 134512640 134716908 3221224576 3221220672 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5590 4704 1111 63 0 5527 0
vsize: 22360
[startup+1130.07 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 363840 0 0 0 112132 909 0 0 25 0 1 0 901616630 21929984 4672 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5354 4672 1111 63 0 5291 0
vsize: 21416
[startup+1140.07 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 367289 0 0 0 113124 918 0 0 25 0 1 0 901616630 22573056 4724 4294967295 134512640 134716908 3221224576 3221221072 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 4724 1111 63 0 5448 0
vsize: 22044
[startup+1150.07 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 371269 0 0 0 114114 928 0 0 25 0 1 0 901616630 23052288 4857 4294967295 134512640 134716908 3221224576 3221220800 1074960783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5628 4857 1111 63 0 5565 0
vsize: 22512
[startup+1160.07 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 374304 0 0 0 115106 936 0 0 25 0 1 0 901616630 22925312 4767 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5597 4767 1111 63 0 5534 0
vsize: 22388
[startup+1170.07 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 377733 0 0 0 116097 946 0 0 25 0 1 0 901616630 22147072 4716 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5407 4716 1111 63 0 5344 0
vsize: 21628
[startup+1175.03 s]
Raw data (loadavg): 1.01 1.00 0.92 1/53 30709
Raw data (stat): 30709 (bsolo_lpr-v2) R 30708 25568 25567 0 -1 0 377733 0 0 0 116097 946 0 0 25 0 1 0 901616630 22147072 4716 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5407 4716 1111 63 0 5344 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.39
CPU user time (s): 1165.88
CPU system time (s): 9.51555
CPU usage (%): 100.031
Max. virtual memory (Kb): 22512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####