PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.69
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 27110

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 19:16:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18474 boxname=wulflinc5 idbench=1422 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 18474
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        873376 kB
Buffers:          3320 kB
Cached:         137008 kB
SwapCached:        636 kB
Active:          26260 kB
Inactive:       116612 kB
HighTotal:      131008 kB
HighFree:         9940 kB
LowTotal:       903652 kB
LowFree:        863436 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5756 kB
Slab:            12776 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:36:14 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 18474 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 394 constraints.
c preprocess terminated 74.732 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 1.74475
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.91 0.95 0.90 2/54 11256
Raw data (stat): 11256 (runsolver) R 11255 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774467507 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 16308 0 0 0 961 36 0 0 25 0 1 0 774467507 69939200 16221 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17075 16221 1111 63 0 17012 0
vsize: 68300
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 17637 0 0 0 1957 39 0 0 25 0 1 0 774467507 75350016 17550 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18396 17550 1111 63 0 18333 0
vsize: 73584
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 17690 0 0 0 2957 40 0 0 25 0 1 0 774467507 75620352 17603 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 17603 1111 63 0 18399 0
vsize: 73848
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 17743 0 0 0 3957 40 0 0 25 0 1 0 774467507 75755520 17656 4294967295 134512640 134714508 3221224592 3221223264 134627217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 17656 1111 63 0 18432 0
vsize: 73980
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 17786 0 0 0 4958 40 0 0 25 0 1 0 774467507 76025856 17699 4294967295 134512640 134714508 3221224592 3221223244 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17699 1111 63 0 18498 0
vsize: 74244
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 17834 0 0 0 5958 40 0 0 25 0 1 0 774467507 76161024 17747 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17747 1111 63 0 18531 0
vsize: 74376
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 17879 0 0 0 6958 40 0 0 25 0 1 0 774467507 76431360 17792 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18660 17792 1111 63 0 18597 0
vsize: 74640
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 22983 0 2 0 7945 50 0 0 25 0 1 0 774467507 81125376 19092 4294967295 134512640 134714508 3221224592 3221222896 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19806 19092 1111 63 0 19743 0
vsize: 79224
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 25494 0 2 0 8938 56 0 0 25 0 1 0 774467507 81588224 19226 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 19226 1111 63 0 19856 0
vsize: 79676
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 25494 0 2 0 9937 58 0 0 25 0 1 0 774467507 81588224 19226 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19919 19226 1111 63 0 19856 0
vsize: 79676
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 25809 0 2 0 10936 59 0 0 25 0 1 0 774467507 82939904 19541 4294967295 134512640 134714508 3221224592 3221223264 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20249 19541 1111 63 0 20186 0
vsize: 80996
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 26166 0 2 0 11934 61 0 0 25 0 1 0 774467507 84414464 19898 4294967295 134512640 134714508 3221224592 3221222988 1077379876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20609 19898 1111 63 0 20546 0
vsize: 82436
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 26530 0 2 0 12932 63 0 0 25 0 1 0 774467507 85839872 20262 4294967295 134512640 134714508 3221224592 3221223232 134696085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20957 20262 1111 63 0 20894 0
vsize: 83828
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 26635 0 2 0 13931 64 0 0 25 0 1 0 774467507 86331392 20363 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 20363 1111 63 0 21014 0
vsize: 84308
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 26803 0 2 0 14930 65 0 0 25 0 1 0 774467507 86990848 20531 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21238 20531 1111 63 0 21175 0
vsize: 84952
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 26996 0 2 0 15929 66 0 0 25 0 1 0 774467507 87801856 20724 4294967295 134512640 134714508 3221224592 3221223168 134542751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21436 20724 1111 63 0 21373 0
vsize: 85744
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 27178 0 2 0 16929 67 0 0 25 0 1 0 774467507 88449024 20904 4294967295 134512640 134714508 3221224592 3221223232 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21594 20904 1111 63 0 21531 0
vsize: 86376
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 27329 0 2 0 17927 69 0 0 25 0 1 0 774467507 89071616 21055 4294967295 134512640 134714508 3221224592 3221223152 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21746 21055 1111 63 0 21683 0
vsize: 86984
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 27511 0 2 0 18926 70 0 0 25 0 1 0 774467507 89882624 21237 4294967295 134512640 134714508 3221224592 3221223296 134528614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21944 21237 1111 63 0 21881 0
vsize: 87776
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 27670 0 2 0 19924 72 0 0 25 0 1 0 774467507 90558464 21396 4294967295 134512640 134714508 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22109 21396 1111 63 0 22046 0
vsize: 88436
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 27775 0 2 0 20923 73 0 0 25 0 1 0 774467507 90972160 21501 4294967295 134512640 134714508 3221224592 3221223224 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22210 21501 1111 63 0 22147 0
vsize: 88840
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 27954 0 2 0 21922 74 0 0 25 0 1 0 774467507 91648000 21680 4294967295 134512640 134714508 3221224592 3221223328 134591997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22375 21680 1111 63 0 22312 0
vsize: 89500
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28132 0 2 0 22922 75 0 0 25 0 1 0 774467507 92459008 21858 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22573 21858 1111 63 0 22510 0
vsize: 90292
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28156 0 2 0 23921 75 0 0 25 0 1 0 774467507 92393472 21867 4294967295 134512640 134714508 3221224592 3221223220 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22557 21867 1111 63 0 22494 0
vsize: 90228
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28299 0 2 0 24920 76 0 0 25 0 1 0 774467507 93048832 22004 4294967295 134512640 134714508 3221224592 3221223348 134592387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 22004 1111 63 0 22654 0
vsize: 90868
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28446 0 2 0 25919 78 0 0 25 0 1 0 774467507 93589504 22151 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22849 22151 1111 63 0 22786 0
vsize: 91396
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28658 0 2 0 26918 79 0 0 25 0 1 0 774467507 94507008 22363 4294967295 134512640 134714508 3221224592 3221223200 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 22363 1111 63 0 23010 0
vsize: 92292
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28753 0 2 0 27917 80 0 0 25 0 1 0 774467507 94912512 22458 4294967295 134512640 134714508 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23172 22458 1111 63 0 23109 0
vsize: 92688
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 28846 0 2 0 28917 81 0 0 25 0 1 0 774467507 95318016 22551 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23271 22551 1111 63 0 23208 0
vsize: 93084
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29020 0 2 0 29915 82 0 0 25 0 1 0 774467507 95989760 22718 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23435 22718 1111 63 0 23372 0
vsize: 93740
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29275 0 2 0 30914 83 0 0 25 0 1 0 774467507 96935936 22973 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23666 22973 1111 63 0 23603 0
vsize: 94664
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29321 0 2 0 31914 84 0 0 25 0 1 0 774467507 97206272 23019 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23732 23019 1111 63 0 23669 0
vsize: 94928
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29551 0 2 0 32913 84 0 0 25 0 1 0 774467507 97984512 23214 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23922 23214 1111 63 0 23859 0
vsize: 95688
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29685 0 2 0 33913 85 0 0 25 0 1 0 774467507 98492416 23348 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24046 23348 1111 63 0 23983 0
vsize: 96184
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29841 0 2 0 34912 86 0 0 25 0 1 0 774467507 99069952 23493 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24187 23493 1111 63 0 24124 0
vsize: 96748
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 29959 0 2 0 35911 87 0 0 25 0 1 0 774467507 99610624 23611 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24319 23611 1111 63 0 24256 0
vsize: 97276
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30028 0 2 0 36911 88 0 0 25 0 1 0 774467507 99880960 23680 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24385 23680 1111 63 0 24322 0
vsize: 97540
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30091 0 2 0 37909 89 0 0 25 0 1 0 774467507 100151296 23743 4294967295 134512640 134714508 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24451 23743 1111 63 0 24388 0
vsize: 97804
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30172 0 2 0 38909 90 0 0 25 0 1 0 774467507 100421632 23824 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24517 23824 1111 63 0 24454 0
vsize: 98068
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30260 0 2 0 39908 91 0 0 25 0 1 0 774467507 100765696 23911 4294967295 134512640 134714508 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24601 23911 1111 63 0 24538 0
vsize: 98404
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30466 0 2 0 40907 92 0 0 25 0 1 0 774467507 101715968 24117 4294967295 134512640 134714508 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24833 24117 1111 63 0 24770 0
vsize: 99332
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30466 0 2 0 41906 93 0 0 25 0 1 0 774467507 101666816 24117 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24821 24117 1111 63 0 24758 0
vsize: 99284
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30470 0 2 0 42906 93 0 0 25 0 1 0 774467507 101666816 24121 4294967295 134512640 134714508 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24821 24121 1111 63 0 24758 0
vsize: 99284
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30623 0 2 0 43905 95 0 0 25 0 1 0 774467507 102342656 24274 4294967295 134512640 134714508 3221224592 3221223188 134549516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24986 24274 1111 63 0 24923 0
vsize: 99944
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30755 0 2 0 44904 95 0 0 25 0 1 0 774467507 102879232 24406 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25117 24406 1111 63 0 25054 0
vsize: 100468
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30800 0 2 0 45902 97 0 0 25 0 1 0 774467507 103014400 24451 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25150 24451 1111 63 0 25087 0
vsize: 100600
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30858 0 2 0 46901 98 0 0 25 0 1 0 774467507 103284736 24509 4294967295 134512640 134714508 3221224592 3221223200 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25216 24509 1111 63 0 25153 0
vsize: 100864
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 30921 0 2 0 47900 100 0 0 25 0 1 0 774467507 103555072 24572 4294967295 134512640 134714508 3221224592 3221223184 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25282 24572 1111 63 0 25219 0
vsize: 101128
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31078 0 2 0 48899 101 0 0 25 0 1 0 774467507 104116224 24729 4294967295 134512640 134714508 3221224592 3221223196 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25419 24729 1111 63 0 25356 0
vsize: 101676
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31178 0 2 0 49898 102 0 0 25 0 1 0 774467507 104546304 24829 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25524 24829 1111 63 0 25461 0
vsize: 102096
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31178 0 2 0 50897 104 0 0 25 0 1 0 774467507 104546304 24829 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25524 24829 1111 63 0 25461 0
vsize: 102096
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31387 0 2 0 51896 105 0 0 25 0 1 0 774467507 105488384 25038 4294967295 134512640 134714508 3221224592 3221223324 1076647871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25754 25038 1111 63 0 25691 0
vsize: 103016
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31464 0 2 0 52895 105 0 0 25 0 1 0 774467507 105758720 25115 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25820 25115 1111 63 0 25757 0
vsize: 103280
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31592 0 2 0 53894 107 0 0 25 0 1 0 774467507 106254336 25243 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25941 25243 1111 63 0 25878 0
vsize: 103764
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31592 0 2 0 54893 108 0 0 25 0 1 0 774467507 106225664 25243 4294967295 134512640 134714508 3221224592 3221223424 134551450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25934 25243 1111 63 0 25871 0
vsize: 103736
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31630 0 2 0 55893 108 0 0 25 0 1 0 774467507 106422272 25279 4294967295 134512640 134714508 3221224592 3221223344 134592416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25982 25279 1111 63 0 25919 0
vsize: 103928
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31768 0 2 0 56892 109 0 0 25 0 1 0 774467507 106999808 25406 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26123 25406 1111 63 0 26060 0
vsize: 104492
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 31852 0 2 0 57891 110 0 0 25 0 1 0 774467507 107065344 25434 4294967295 134512640 134714508 3221224592 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26139 25434 1111 63 0 26076 0
vsize: 104556
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32073 0 2 0 58890 111 0 0 25 0 1 0 774467507 107937792 25655 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25655 1111 63 0 26289 0
vsize: 105408
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32075 0 2 0 59890 112 0 0 25 0 1 0 774467507 107937792 25657 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32075 0 2 0 60889 112 0 0 25 0 1 0 774467507 107937792 25657 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26352 25657 1111 63 0 26289 0
vsize: 105408
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32175 0 2 0 61888 114 0 0 25 0 1 0 774467507 108445696 25754 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26476 25754 1111 63 0 26413 0
vsize: 105904
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32238 0 2 0 62887 115 0 0 25 0 1 0 774467507 108662784 25817 4294967295 134512640 134714508 3221224592 3221223232 134696011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26529 25817 1111 63 0 26466 0
vsize: 106116
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32353 0 2 0 63886 116 0 0 25 0 1 0 774467507 109068288 25932 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26628 25932 1111 63 0 26565 0
vsize: 106512
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32354 0 2 0 64886 116 0 0 25 0 1 0 774467507 109068288 25933 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26628 25933 1111 63 0 26565 0
vsize: 106512
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32397 0 2 0 65885 117 0 0 25 0 1 0 774467507 109211648 25973 4294967295 134512640 134714508 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26663 25973 1111 63 0 26600 0
vsize: 106652
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32473 0 2 0 66886 117 0 0 25 0 1 0 774467507 109588480 26049 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26755 26049 1111 63 0 26692 0
vsize: 107020
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32493 0 2 0 67886 117 0 0 25 0 1 0 774467507 109674496 26069 4294967295 134512640 134714508 3221224592 3221223184 134542731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26776 26069 1111 63 0 26713 0
vsize: 107104
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32565 0 2 0 68886 117 0 0 25 0 1 0 774467507 109998080 26141 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26855 26141 1111 63 0 26792 0
vsize: 107420
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32576 0 2 0 69885 118 0 0 25 0 1 0 774467507 109998080 26152 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26855 26152 1111 63 0 26792 0
vsize: 107420
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32719 0 2 0 70884 119 0 0 25 0 1 0 774467507 110600192 26289 4294967295 134512640 134714508 3221224592 3221223232 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27002 26289 1111 63 0 26939 0
vsize: 108008
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32772 0 2 0 71884 120 0 0 25 0 1 0 774467507 110735360 26342 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27035 26342 1111 63 0 26972 0
vsize: 108140
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32817 0 2 0 72883 121 0 0 25 0 1 0 774467507 110936064 26387 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27084 26387 1111 63 0 27021 0
vsize: 108336
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32854 0 2 0 73883 121 0 0 25 0 1 0 774467507 111071232 26424 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27117 26424 1111 63 0 27054 0
vsize: 108468
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 32909 0 2 0 74882 122 0 0 25 0 1 0 774467507 111341568 26479 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27183 26479 1111 63 0 27120 0
vsize: 108732
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 33380 0 2 0 75881 123 0 0 25 0 1 0 774467507 113213440 26950 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27640 26950 1111 63 0 27577 0
vsize: 110560
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 33510 0 2 0 76880 124 0 0 25 0 1 0 774467507 113754112 27080 4294967295 134512640 134714508 3221224592 3221223296 134528521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27772 27080 1111 63 0 27709 0
vsize: 111088
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 33645 0 2 0 77881 125 0 0 25 0 1 0 774467507 114405376 27215 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27931 27215 1111 63 0 27868 0
vsize: 111724
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 33780 0 2 0 78880 126 0 0 25 0 1 0 774467507 114937856 27350 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28061 27350 1111 63 0 27998 0
vsize: 112244
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 33924 0 2 0 79879 127 0 0 25 0 1 0 774467507 115462144 27494 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28189 27494 1111 63 0 28126 0
vsize: 112756
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34086 0 2 0 80878 128 0 0 25 0 1 0 774467507 116137984 27656 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28354 27656 1111 63 0 28291 0
vsize: 113416
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34111 0 2 0 81878 128 0 0 25 0 1 0 774467507 116273152 27681 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28387 27681 1111 63 0 28324 0
vsize: 113548
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34380 0 2 0 82877 129 0 0 25 0 1 0 774467507 117354496 27950 4294967295 134512640 134714508 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28651 27950 1111 63 0 28588 0
vsize: 114604
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34460 0 2 0 83877 130 0 0 25 0 1 0 774467507 117612544 28024 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28714 28024 1111 63 0 28651 0
vsize: 114856
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34521 0 2 0 84877 130 0 0 25 0 1 0 774467507 117882880 28085 4294967295 134512640 134714508 3221224592 3221223232 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28780 28085 1111 63 0 28717 0
vsize: 115120
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34615 0 2 0 85876 130 0 0 25 0 1 0 774467507 118288384 28179 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28879 28179 1111 63 0 28816 0
vsize: 115516
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34701 0 2 0 86876 131 0 0 25 0 1 0 774467507 118693888 28265 4294967295 134512640 134714508 3221224592 3221223296 134528552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28978 28265 1111 63 0 28915 0
vsize: 115912
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 34843 0 2 0 87875 132 0 0 25 0 1 0 774467507 119300096 28407 4294967295 134512640 134714508 3221224592 3221223296 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29126 28407 1111 63 0 29063 0
vsize: 116504
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35023 0 2 0 88874 133 0 0 25 0 1 0 774467507 120037376 28587 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29306 28587 1111 63 0 29243 0
vsize: 117224
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35145 0 2 0 89874 134 0 0 25 0 1 0 774467507 120532992 28709 4294967295 134512640 134714508 3221224592 3221223232 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29427 28709 1111 63 0 29364 0
vsize: 117708
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35255 0 2 0 90873 134 0 0 25 0 1 0 774467507 120938496 28819 4294967295 134512640 134714508 3221224592 3221223172 134696230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29526 28819 1111 63 0 29463 0
vsize: 118104
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35287 0 2 0 91874 134 0 0 25 0 1 0 774467507 121061376 28851 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29556 28851 1111 63 0 29493 0
vsize: 118224
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35333 0 2 0 92873 135 0 0 25 0 1 0 774467507 121298944 28897 4294967295 134512640 134714508 3221224592 3221223180 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29614 28897 1111 63 0 29551 0
vsize: 118456
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35472 0 2 0 93873 135 0 0 25 0 1 0 774467507 121745408 29033 4294967295 134512640 134714508 3221224592 3221223340 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29723 29033 1111 63 0 29660 0
vsize: 118892
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35572 0 2 0 94873 136 0 0 25 0 1 0 774467507 122089472 29117 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29807 29117 1111 63 0 29744 0
vsize: 119228
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35639 0 2 0 95873 136 0 0 25 0 1 0 774467507 122208256 29145 4294967295 134512640 134714508 3221224592 3221223232 134696088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29836 29145 1111 63 0 29773 0
vsize: 119344
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35798 0 2 0 96872 137 0 0 25 0 1 0 774467507 122843136 29289 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29991 29289 1111 63 0 29928 0
vsize: 119964
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35854 0 2 0 97872 137 0 0 25 0 1 0 774467507 123113472 29345 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30057 29345 1111 63 0 29994 0
vsize: 120228
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35874 0 2 0 98872 137 0 0 25 0 1 0 774467507 123113472 29365 4294967295 134512640 134714508 3221224592 3221223344 134592393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30057 29365 1111 63 0 29994 0
vsize: 120228
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 35898 0 2 0 99872 138 0 0 25 0 1 0 774467507 123248640 29389 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30090 29389 1111 63 0 30027 0
vsize: 120360
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36074 0 2 0 100871 139 0 0 25 0 1 0 774467507 123924480 29565 4294967295 134512640 134714508 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30255 29565 1111 63 0 30192 0
vsize: 121020
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36074 0 2 0 101871 139 0 0 25 0 1 0 774467507 123924480 29565 4294967295 134512640 134714508 3221224592 3221223160 134539340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30255 29565 1111 63 0 30192 0
vsize: 121020
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36133 0 2 0 102871 139 0 0 25 0 1 0 774467507 124194816 29624 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30321 29624 1111 63 0 30258 0
vsize: 121284
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36174 0 2 0 103871 139 0 0 25 0 1 0 774467507 124452864 29665 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30384 29665 1111 63 0 30321 0
vsize: 121536
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36242 0 2 0 104870 140 0 0 25 0 1 0 774467507 124657664 29733 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30434 29733 1111 63 0 30371 0
vsize: 121736
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36391 0 2 0 105869 141 0 0 25 0 1 0 774467507 125333504 29882 4294967295 134512640 134714508 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30599 29882 1111 63 0 30536 0
vsize: 122396
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36391 0 2 0 106869 141 0 0 25 0 1 0 774467507 125247488 29882 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36391 0 2 0 107869 142 0 0 25 0 1 0 774467507 125247488 29882 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36391 0 2 0 108869 142 0 0 25 0 1 0 774467507 125247488 29882 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30578 29882 1111 63 0 30515 0
vsize: 122312
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36402 0 2 0 109869 143 0 0 25 0 1 0 774467507 125317120 29893 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30595 29893 1111 63 0 30532 0
vsize: 122380
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36436 0 2 0 110868 144 0 0 25 0 1 0 774467507 125411328 29927 4294967295 134512640 134714508 3221224592 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30618 29927 1111 63 0 30555 0
vsize: 122472
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36538 0 2 0 111867 144 0 0 25 0 1 0 774467507 125796352 30022 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30712 30022 1111 63 0 30649 0
vsize: 122848
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36667 0 2 0 112867 145 0 0 25 0 1 0 774467507 126435328 30151 4294967295 134512640 134714508 3221224592 3221223224 134523385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30868 30151 1111 63 0 30805 0
vsize: 123472
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36688 0 2 0 113866 146 0 0 25 0 1 0 774467507 126435328 30172 4294967295 134512640 134714508 3221224592 3221223184 134549651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30868 30172 1111 63 0 30805 0
vsize: 123472
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36688 0 2 0 114866 146 0 0 25 0 1 0 774467507 126435328 30172 4294967295 134512640 134714508 3221224592 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30868 30172 1111 63 0 30805 0
vsize: 123472
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36782 0 2 0 115866 147 0 0 25 0 1 0 774467507 126840832 30266 4294967295 134512640 134714508 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30967 30266 1111 63 0 30904 0
vsize: 123868
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36817 0 2 0 116865 147 0 0 25 0 1 0 774467507 126976000 30301 4294967295 134512640 134714508 3221224592 3221223424 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31000 30301 1111 63 0 30937 0
vsize: 124000
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11256
Raw data (stat): 11256 (bsolo_lpr) R 11255 7266 7265 0 -1 0 36817 0 2 0 116865 147 0 0 25 0 1 0 774467507 126976000 30301 4294967295 134512640 134714508 3221224592 3221223424 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31000 30301 1111 63 0 30937 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.08
CPU user time (s): 1173.54
CPU system time (s): 1.53677
CPU usage (%): 100.008
Max. virtual memory (Kb): 124000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####