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/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM	9689869ef48b5a0c26d142f61d149c48
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	51200
Optimality of the best value was proved	NO
Number of terms in the objective function	123
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1061759
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268469758
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.08
Number of variables	17883
Total number of constraints	4322
Number of constraints which are clauses	426
Number of constraints which are cardinality constraints (but not clauses)	1177
Number of constraints which are nor clauses,nor cardinality constraints	2719
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 25189

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 10:40:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20190 boxname=wulflinc31 idbench=1554 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9689869ef48b5a0c26d142f61d149c48  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb
IDLAUNCH: 20190
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        693240 kB
Buffers:         24968 kB
Cached:         288628 kB
SwapCached:       1040 kB
Active:          96540 kB
Inactive:       225028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692988 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14280 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 10:59:54 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 20190 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 17883 variables and 3146 constraints.
c After prepocess the problem consists of 17825 variables and 3144 constraints.
c preprocess terminated 30.771 s
c Initial Lower Bound: 50816
c Lower Bound Elapsed time: 18.5745
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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
Raw data (loadavg): 0.92 0.98 0.99 2/55 25510
Raw data (stat): 25510 (runsolver) R 25509 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 769084037 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40108 0 0 0 902 92 0 0 25 0 1 0 769084037 167714816 39988 4294967295 134512640 134714508 3221221776 3221220108 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39988 1111 63 0 40883 0
vsize: 163784
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40108 0 0 0 1902 93 0 0 25 0 1 0 769084037 167714816 39988 4294967295 134512640 134714508 3221221776 3221220424 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39988 1111 63 0 40883 0
vsize: 163784
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40108 0 0 0 2902 93 0 0 25 0 1 0 769084037 167714816 39988 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39988 1111 63 0 40883 0
vsize: 163784
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40379 0 0 0 3900 95 0 0 25 0 1 0 769084037 168718336 40259 4294967295 134512640 134714508 3221221776 3221219456 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41191 40259 1111 63 0 41128 0
vsize: 164764
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 41422 0 0 0 4898 97 0 0 25 0 1 0 769084037 173891584 41302 4294967295 134512640 134714508 3221221776 3221219424 1075828195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42454 41302 1111 63 0 42391 0
vsize: 169816
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 44804 0 0 0 5891 104 0 0 25 0 1 0 769084037 169320448 40530 4294967295 134512640 134714508 3221221776 3221219948 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41338 40530 1111 63 0 41275 0
vsize: 165352
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 46038 0 0 0 6888 107 0 0 25 0 1 0 769084037 172544000 41280 4294967295 134512640 134714508 3221221776 3221219976 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42125 41281 1111 63 0 42062 0
vsize: 168500
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 48950 0 0 0 7881 114 0 0 25 0 1 0 769084037 169324544 40532 4294967295 134512640 134714508 3221221776 3221219948 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41339 40532 1111 63 0 41276 0
vsize: 165356
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 53131 0 0 0 8872 124 0 0 25 0 1 0 769084037 169336832 40536 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40536 1111 63 0 41279 0
vsize: 165368
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 53131 0 0 0 9871 125 0 0 25 0 1 0 769084037 169336832 40536 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41342 40536 1111 63 0 41279 0
vsize: 165368
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57307 0 0 0 10861 135 0 0 25 0 1 0 769084037 169357312 40542 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41347 40542 1111 63 0 41284 0
vsize: 165388
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57307 0 0 0 11861 135 0 0 25 0 1 0 769084037 169357312 40542 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40542 1111 63 0 41284 0
vsize: 165388
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57309 0 0 0 12861 135 0 0 25 0 1 0 769084037 169357312 40544 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40544 1111 63 0 41284 0
vsize: 165388
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57311 0 0 0 13861 135 0 0 25 0 1 0 769084037 169357312 40546 4294967295 134512640 134714508 3221221776 3221220544 134597631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40546 1111 63 0 41284 0
vsize: 165388
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57311 0 0 0 14861 136 0 0 25 0 1 0 769084037 169357312 40546 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40546 1111 63 0 41284 0
vsize: 165388
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57313 0 0 0 15861 136 0 0 25 0 1 0 769084037 169357312 40548 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40548 1111 63 0 41284 0
vsize: 165388
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57313 0 0 0 16861 136 0 0 25 0 1 0 769084037 169357312 40548 4294967295 134512640 134714508 3221221776 3221220540 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40548 1111 63 0 41284 0
vsize: 165388
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57315 0 0 0 17861 136 0 0 25 0 1 0 769084037 169357312 40550 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40550 1111 63 0 41284 0
vsize: 165388
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57315 0 0 0 18861 136 0 0 25 0 1 0 769084037 169357312 40550 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40550 1111 63 0 41284 0
vsize: 165388
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 19861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 20861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220560 134597675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 21861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 22861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 23861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+250.01 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 24861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+260.011 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 25860 138 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+270.011 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 26860 139 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+280.012 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 27860 139 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+290.012 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 28860 139 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+300.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 29859 140 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+310.013 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 30859 141 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+320.013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 31858 141 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+330.013 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 32858 141 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+340.013 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 33858 142 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+350.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 34858 142 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+360.014 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 35858 142 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+370.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 36858 143 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+380.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 37857 143 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 38857 144 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 39857 144 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 40857 144 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 41857 145 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 42856 145 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+440.015 s]
Raw data (loadavg): 1.16 1.03 1.01 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 43856 145 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+450.016 s]
Raw data (loadavg): 1.13 1.03 1.01 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 44856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+460.016 s]
Raw data (loadavg): 1.11 1.03 1.01 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 45856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597690 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+470.017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 46856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+480.017 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 47856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+490.017 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 48856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+500.017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 49856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+510.017 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 50856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+520.018 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 51856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+530.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 52856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+540.017 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 53856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+550.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 54856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+560.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 55856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+570.018 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 56856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+580.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 57856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+590.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 58856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+600.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 59856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41347 40552 1111 63 0 41284 0
vsize: 165388
[startup+610.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57381 0 0 0 60856 149 0 0 25 0 1 0 769084037 169627648 40616 4294967295 134512640 134714508 3221221776 3221220576 134597657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41413 40616 1111 63 0 41350 0
vsize: 165652
[startup+620.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57729 0 0 0 61854 151 0 0 25 0 1 0 769084037 171114496 40964 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41776 40964 1111 63 0 41713 0
vsize: 167104
[startup+630.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 58047 0 0 0 62853 152 0 0 25 0 1 0 769084037 172462080 41281 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42105 41281 1111 63 0 42042 0
vsize: 168420
[startup+640.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 58372 0 0 0 63853 153 0 0 25 0 1 0 769084037 173813760 41606 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42435 41606 1111 63 0 42372 0
vsize: 169740
[startup+650.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 58718 0 0 0 64852 153 0 0 25 0 1 0 769084037 175165440 41952 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42765 41952 1111 63 0 42702 0
vsize: 171060
[startup+660.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 59072 0 0 0 65852 154 0 0 25 0 1 0 769084037 176672768 42304 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43133 42304 1111 63 0 43070 0
vsize: 172532
[startup+670.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 59373 0 0 0 66851 155 0 0 25 0 1 0 769084037 177889280 42605 4294967295 134512640 134714508 3221221776 3221220576 134597645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43430 42605 1111 63 0 43367 0
vsize: 173720
[startup+680.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 59687 0 0 0 67850 156 0 0 25 0 1 0 769084037 179105792 42919 4294967295 134512640 134714508 3221221776 3221220560 134584858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43727 42919 1111 63 0 43664 0
vsize: 174908
[startup+690.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60027 0 0 0 68850 156 0 0 25 0 1 0 769084037 180600832 43257 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44092 43257 1111 63 0 44029 0
vsize: 176368
[startup+700.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60332 0 0 0 69849 157 0 0 25 0 1 0 769084037 181817344 43562 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44389 43562 1111 63 0 44326 0
vsize: 177556
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60576 0 0 0 70849 158 0 0 25 0 1 0 769084037 182763520 43806 4294967295 134512640 134714508 3221221776 3221220552 134613517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44620 43806 1111 63 0 44557 0
vsize: 178480
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60857 0 0 0 71848 159 0 0 25 0 1 0 769084037 183996416 44087 4294967295 134512640 134714508 3221221776 3221220576 134597695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44921 44087 1111 63 0 44858 0
vsize: 179684
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61127 0 0 0 72847 160 0 0 25 0 1 0 769084037 185077760 44357 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45185 44357 1111 63 0 45122 0
vsize: 180740
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61354 0 0 0 73847 161 0 0 25 0 1 0 769084037 186023936 44584 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45416 44584 1111 63 0 45353 0
vsize: 181664
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61593 0 0 0 74846 162 0 0 25 0 1 0 769084037 186982400 44822 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45650 44822 1111 63 0 45587 0
vsize: 182600
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61832 0 0 0 75845 162 0 0 25 0 1 0 769084037 188063744 45061 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45914 45061 1111 63 0 45851 0
vsize: 183656
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62039 0 0 0 76845 163 0 0 25 0 1 0 769084037 188874752 45268 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46112 45268 1111 63 0 46049 0
vsize: 184448
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62256 0 0 0 77844 164 0 0 25 0 1 0 769084037 189685760 45485 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46310 45485 1111 63 0 46247 0
vsize: 185240
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62481 0 0 0 78843 165 0 0 25 0 1 0 769084037 190631936 45710 4294967295 134512640 134714508 3221221776 3221220560 134597624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46541 45710 1111 63 0 46478 0
vsize: 186164
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62704 0 0 0 79843 165 0 0 25 0 1 0 769084037 191578112 45933 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46772 45933 1111 63 0 46709 0
vsize: 187088
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62901 0 0 0 80843 166 0 0 25 0 1 0 769084037 192385024 46130 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46969 46130 1111 63 0 46906 0
vsize: 187876
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63095 0 0 0 81842 166 0 0 25 0 1 0 769084037 193196032 46324 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47167 46324 1111 63 0 47104 0
vsize: 188668
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63296 0 0 0 82842 167 0 0 25 0 1 0 769084037 194007040 46525 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47365 46525 1111 63 0 47302 0
vsize: 189460
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63494 0 0 0 83841 168 0 0 25 0 1 0 769084037 194822144 46723 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47564 46723 1111 63 0 47501 0
vsize: 190256
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63675 0 0 0 84841 168 0 0 25 0 1 0 769084037 195633152 46904 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47762 46904 1111 63 0 47699 0
vsize: 191048
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63858 0 0 0 85841 169 0 0 25 0 1 0 769084037 196308992 47086 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47927 47087 1111 63 0 47864 0
vsize: 191708
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64069 0 0 0 86840 170 0 0 25 0 1 0 769084037 197120000 47297 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48125 47297 1111 63 0 48062 0
vsize: 192500
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64283 0 0 0 87839 171 0 0 25 0 1 0 769084037 198066176 47511 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48356 47511 1111 63 0 48293 0
vsize: 193424
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64502 0 0 0 88839 171 0 0 25 0 1 0 769084037 199012352 47730 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48587 47730 1111 63 0 48524 0
vsize: 194348
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64731 0 0 0 89837 173 0 0 25 0 1 0 769084037 199958528 47957 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48818 47957 1111 63 0 48755 0
vsize: 195272
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64955 0 0 0 90836 174 0 0 25 0 1 0 769084037 200769536 48181 4294967295 134512640 134714508 3221221776 3221220552 134613513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49016 48181 1111 63 0 48953 0
vsize: 196064
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65174 0 0 0 91836 175 0 0 25 0 1 0 769084037 201715712 48400 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49247 48400 1111 63 0 49184 0
vsize: 196988
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65425 0 0 0 92835 176 0 0 25 0 1 0 769084037 202792960 48651 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49510 48651 1111 63 0 49447 0
vsize: 198040
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65674 0 0 0 93834 177 0 0 25 0 1 0 769084037 203739136 48900 4294967295 134512640 134714508 3221221776 3221220304 134543035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49741 48901 1111 63 0 49678 0
vsize: 198964
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65905 0 0 0 94834 177 0 0 25 0 1 0 769084037 204681216 49131 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49971 49131 1111 63 0 49908 0
vsize: 199884
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 66177 0 0 0 95834 178 0 0 25 0 1 0 769084037 205762560 49403 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50235 49403 1111 63 0 50172 0
vsize: 200940
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 66466 0 0 0 96833 178 0 0 25 0 1 0 769084037 206983168 49692 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50533 49692 1111 63 0 50470 0
vsize: 202132
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 66771 0 0 0 97833 179 0 0 25 0 1 0 769084037 208199680 49997 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50830 49997 1111 63 0 50767 0
vsize: 203320
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 67087 0 0 0 98831 181 0 0 25 0 1 0 769084037 209592320 50309 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51170 50309 1111 63 0 51107 0
vsize: 204680
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 67418 0 0 0 99830 182 0 0 25 0 1 0 769084037 210948096 50640 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51501 50640 1111 63 0 51438 0
vsize: 206004
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 67763 0 0 0 100829 183 0 0 25 0 1 0 769084037 212299776 50985 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51831 50985 1111 63 0 51768 0
vsize: 207324
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 68086 0 0 0 101828 185 0 0 25 0 1 0 769084037 213651456 51308 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52161 51308 1111 63 0 52098 0
vsize: 208644
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 68372 0 0 0 102828 185 0 0 25 0 1 0 769084037 214913024 51588 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52469 51588 1111 63 0 52406 0
vsize: 209876
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 68734 0 0 0 103827 186 0 0 25 0 1 0 769084037 216395776 51950 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52831 51950 1111 63 0 52768 0
vsize: 211324
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 69046 0 0 0 104826 187 0 0 25 0 1 0 769084037 217612288 52262 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53128 52262 1111 63 0 53065 0
vsize: 212512
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 69413 0 0 0 105825 189 0 0 25 0 1 0 769084037 219234304 52629 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52629 1111 63 0 53461 0
vsize: 214096
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 69725 0 0 0 106823 190 0 0 25 0 1 0 769084037 220483584 52940 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53829 52940 1111 63 0 53766 0
vsize: 215316
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 70086 0 0 0 107822 192 0 0 25 0 1 0 769084037 221974528 53299 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54193 53299 1111 63 0 54130 0
vsize: 216772
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 70409 0 0 0 108821 193 0 0 25 0 1 0 769084037 223326208 53622 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54523 53622 1111 63 0 54460 0
vsize: 218092
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 70773 0 0 0 109820 195 0 0 25 0 1 0 769084037 224813056 53986 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54886 53986 1111 63 0 54823 0
vsize: 219544
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71092 0 0 0 110819 195 0 0 25 0 1 0 769084037 226029568 54305 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55183 54305 1111 63 0 55120 0
vsize: 220732
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71298 0 0 0 111818 196 0 0 25 0 1 0 769084037 226840576 54511 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55381 54511 1111 63 0 55318 0
vsize: 221524
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71614 0 0 0 112817 198 0 0 25 0 1 0 769084037 228192256 54827 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55711 54827 1111 63 0 55648 0
vsize: 222844
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71966 0 0 0 113816 199 0 0 25 0 1 0 769084037 229744640 55175 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56090 55175 1111 63 0 56027 0
vsize: 224360
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72317 0 0 0 114815 200 0 0 25 0 1 0 769084037 231096320 55526 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56420 55526 1111 63 0 56357 0
vsize: 225680
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72628 0 0 0 115814 201 0 0 25 0 1 0 769084037 232448000 55837 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56750 55837 1111 63 0 56687 0
vsize: 227000
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72988 0 0 0 116813 202 0 0 25 0 1 0 769084037 233799680 56197 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57080 56197 1111 63 0 57017 0
vsize: 228320
[startup+1175.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 25510
Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72988 0 0 0 116813 202 0 0 25 0 1 0 769084037 233799680 56197 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57080 56197 1111 63 0 57017 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.14
CPU user time (s): 1173.01
CPU system time (s): 2.13368
CPU usage (%): 100.01
Max. virtual memory (Kb): 228320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####