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/miplib/normalized-mps-v2-13-7-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15249
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.38
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 27418

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        619972 kB
Buffers:         35600 kB
Cached:         358360 kB
SwapCached:        100 kB
Active:          76432 kB
Inactive:       320232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        619720 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            12332 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:02:15 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 17148 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.71 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.02725
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 31197
Raw data (stat): 31197 (runsolver) R 31196 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775351873 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 9223 0 0 0 969 28 0 0 25 0 1 0 775351873 20828160 4393 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5085 4393 1111 63 0 5022 0
vsize: 20340
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 15430 0 0 0 1944 53 0 0 25 0 1 0 775351873 25747456 5543 4294967295 134512640 134714508 3221224592 3221221632 1075860007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5541 1111 63 0 6173 0
vsize: 25144
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 22446 0 0 0 2919 78 0 0 25 0 1 0 775351873 30986240 6862 4294967295 134512640 134714508 3221224592 3221222840 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7565 6862 1111 63 0 7502 0
vsize: 30260
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 29186 0 0 0 3895 102 0 0 25 0 1 0 775351873 35659776 8007 4294967295 134512640 134714508 3221224592 3221222664 1077377443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8706 8007 1111 63 0 8643 0
vsize: 34824
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 35651 0 0 0 4869 128 0 0 25 0 1 0 775351873 41594880 9366 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10155 9366 1111 63 0 10092 0
vsize: 40620
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 43237 0 0 0 5847 150 0 0 25 0 1 0 775351873 45592576 10366 4294967295 134512640 134714508 3221224592 3221223008 1074116190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11131 10366 1111 63 0 11068 0
vsize: 44524
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 51575 0 0 0 6822 175 0 0 25 0 1 0 775351873 50327552 11524 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12287 11524 1111 63 0 12224 0
vsize: 49148
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 60172 0 0 0 7797 201 0 0 25 0 1 0 775351873 56807424 12865 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13869 12865 1111 63 0 13806 0
vsize: 55476
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 69478 0 0 0 8770 228 0 0 25 0 1 0 775351873 60489728 13779 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14768 13779 1111 63 0 14705 0
vsize: 59072
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 77843 0 0 0 9746 252 0 0 25 0 1 0 775351873 63094784 14430 4294967295 134512640 134714508 3221224592 3221222320 1075635480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15404 14430 1111 63 0 15341 0
vsize: 61616
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 89532 0 0 0 10713 286 0 0 25 0 1 0 775351873 66850816 15357 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16321 15357 1111 63 0 16258 0
vsize: 65284
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 100825 0 0 0 11680 319 0 0 25 0 1 0 775351873 70184960 16202 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17135 16202 1111 63 0 17072 0
vsize: 68540
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 112142 0 0 0 12647 352 0 0 25 0 1 0 775351873 73879552 17132 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18037 17132 1111 63 0 17974 0
vsize: 72148
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 123271 0 0 0 13613 386 0 0 25 0 1 0 775351873 77500416 18009 4294967295 134512640 134714508 3221224592 3221223360 134553593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18921 18011 1111 63 0 18858 0
vsize: 75684
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 134820 0 0 0 14579 420 0 0 25 0 1 0 775351873 81121280 18943 4294967295 134512640 134714508 3221224592 3221222272 1075895023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19805 18943 1111 63 0 19742 0
vsize: 79220
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 146108 0 0 0 15547 453 0 0 25 0 1 0 775351873 84385792 19750 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20602 19750 1111 63 0 20539 0
vsize: 82408
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 158561 0 0 0 16514 485 0 0 25 0 1 0 775351873 93843456 21406 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22911 21406 1111 63 0 22848 0
vsize: 91644
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 168800 0 0 0 17484 516 0 0 25 0 1 0 775351873 96468992 22081 4294967295 134512640 134714508 3221224592 3221222924 1074153360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23552 22081 1111 63 0 23489 0
vsize: 94208
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 177837 0 0 0 18457 543 0 0 25 0 1 0 775351873 99147776 22746 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24206 22746 1111 63 0 24143 0
vsize: 96824
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 187048 0 0 0 19430 570 0 0 25 0 1 0 775351873 101801984 23330 4294967295 134512640 134714508 3221224592 3221221168 1076049830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24769 23321 1111 63 0 24706 0
vsize: 99416
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 196833 0 0 0 20401 600 0 0 25 0 1 0 775351873 103985152 23953 4294967295 134512640 134714508 3221224592 3221222880 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25387 23953 1111 63 0 25324 0
vsize: 101548
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 208135 0 0 0 21369 632 0 0 25 0 1 0 775351873 107147264 24752 4294967295 134512640 134714508 3221224592 3221222896 1074153158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26159 24752 1111 63 0 26096 0
vsize: 104636
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 219087 0 0 0 22337 664 0 0 25 0 1 0 775351873 110088192 25378 4294967295 134512640 134714508 3221224592 3221221360 1076083910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26877 25378 1111 63 0 26814 0
vsize: 107508
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 227339 0 0 0 23314 687 0 0 25 0 1 0 775351873 111943680 25934 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27330 25934 1111 63 0 27267 0
vsize: 109320
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 236380 0 0 0 24289 712 0 0 25 0 1 0 775351873 113872896 26429 4294967295 134512640 134714508 3221224592 3221222512 1075799524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27801 26429 1111 63 0 27738 0
vsize: 111204
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 247212 0 0 0 25260 742 0 0 25 0 1 0 775351873 116752384 27145 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28504 27145 1111 63 0 28441 0
vsize: 114016
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 258963 0 0 0 26228 774 0 0 25 0 1 0 775351873 119762944 27894 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29239 27894 1111 63 0 29176 0
vsize: 116956
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 270854 0 0 0 27191 811 0 0 25 0 1 0 775351873 122515456 28561 4294967295 134512640 134714508 3221224592 3221223056 1074121000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29911 28561 1111 63 0 29848 0
vsize: 119644
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 281454 0 0 0 28159 843 0 0 25 0 1 0 775351873 125124608 29198 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30548 29198 1111 63 0 30485 0
vsize: 122192
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 292379 0 0 0 29128 874 0 0 25 0 1 0 775351873 128724992 30093 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31427 30093 1111 63 0 31364 0
vsize: 125708
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 302686 0 0 0 30098 905 0 0 25 0 1 0 775351873 132136960 30858 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32260 30860 1111 63 0 32197 0
vsize: 129040
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 308768 0 0 0 31081 921 0 0 25 0 1 0 775351873 133492736 31285 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32591 31285 1111 63 0 32528 0
vsize: 130364
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 319581 0 0 0 32053 950 0 0 25 0 1 0 775351873 137248768 32216 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33508 32216 1111 63 0 33445 0
vsize: 134032
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 329697 0 0 0 33025 978 0 0 25 0 1 0 775351873 140333056 32980 4294967295 134512640 134714508 3221224592 3221222680 1077377792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34261 32980 1111 63 0 34198 0
vsize: 137044
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 340979 0 0 0 33990 1013 0 0 25 0 1 0 775351873 143835136 33824 4294967295 134512640 134714508 3221224592 3221222592 1074056202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35116 33824 1111 63 0 35053 0
vsize: 140464
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 352224 0 0 0 34957 1046 0 0 25 0 1 0 775351873 146546688 34497 4294967295 134512640 134714508 3221224592 3221223316 134556893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35778 34497 1111 63 0 35715 0
vsize: 143112
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 359924 0 0 0 35931 1073 0 0 25 0 1 0 775351873 149213184 35155 4294967295 134512640 134714508 3221224592 3221222848 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36429 35155 1111 63 0 36366 0
vsize: 145716
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 360970 0 0 0 36928 1075 0 0 25 0 1 0 775351873 152150016 35802 4294967295 134512640 134714508 3221224592 3221221784 1074138319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37146 35802 1111 63 0 37083 0
vsize: 148584
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 362466 0 0 0 37926 1078 0 0 25 0 1 0 775351873 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 362466 0 0 0 38926 1078 0 0 25 0 1 0 775351873 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 362466 0 0 0 39927 1078 0 0 25 0 1 0 775351873 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 362466 0 0 0 40927 1078 0 0 25 0 1 0 775351873 149725184 35299 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 362524 0 0 0 41927 1078 0 0 25 0 1 0 775351873 149225472 35177 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36432 35177 1111 63 0 36369 0
vsize: 145728
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 363149 0 0 0 42925 1080 0 0 25 0 1 0 775351873 151117824 35630 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36894 35630 1111 63 0 36831 0
vsize: 147576
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 377682 0 0 0 43890 1115 0 0 25 0 1 0 775351873 151736320 35773 4294967295 134512640 134714508 3221224592 3221222880 1074207534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37045 35773 1111 63 0 36982 0
vsize: 148180
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 391387 0 0 0 44857 1148 0 0 25 0 1 0 775351873 156585984 36568 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38229 36568 1111 63 0 38166 0
vsize: 152916
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 400317 0 0 0 45838 1168 0 0 25 0 1 0 775351873 168062976 38467 4294967295 134512640 134714508 3221224592 3221222168 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41031 38467 1111 63 0 40968 0
vsize: 164124
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 416022 0 0 0 46799 1207 0 0 25 0 1 0 775351873 171012096 39158 4294967295 134512640 134714508 3221224592 3221223008 1074117074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41751 39159 1111 63 0 41688 0
vsize: 167004
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 431750 0 0 0 47758 1248 0 0 25 0 1 0 775351873 175685632 39964 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42892 39964 1111 63 0 42829 0
vsize: 171568
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 436764 0 0 0 48745 1261 0 0 25 0 1 0 775351873 175411200 40277 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42825 40277 1111 63 0 42762 0
vsize: 171300
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 447753 0 0 0 49719 1287 0 0 25 0 1 0 775351873 176807936 40614 4294967295 134512640 134714508 3221224592 3221222320 1075828656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43166 40614 1111 63 0 43103 0
vsize: 172664
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 455308 0 0 0 50698 1309 0 0 25 0 1 0 775351873 178184192 40946 4294967295 134512640 134714508 3221224592 3221222944 1074115296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43502 40946 1111 63 0 43439 0
vsize: 174008
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 462968 0 0 0 51679 1328 0 0 25 0 1 0 775351873 180244480 41297 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43811 41286 1111 63 0 43748 0
vsize: 176020
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 470961 0 0 0 52658 1349 0 0 25 0 1 0 775351873 180912128 41629 4294967295 134512640 134714508 3221224592 3221222944 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44168 41629 1111 63 0 44105 0
vsize: 176672
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 480628 0 0 0 53633 1374 0 0 25 0 1 0 775351873 182456320 42017 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44545 42017 1111 63 0 44482 0
vsize: 178180
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 496347 0 0 0 54594 1414 0 0 25 0 1 0 775351873 184971264 42630 4294967295 134512640 134714508 3221224592 3221222480 1074051046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45159 42630 1111 63 0 45096 0
vsize: 180636
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 512364 0 0 0 55553 1454 0 0 25 0 1 0 775351873 187740160 43297 4294967295 134512640 134714508 3221224592 3221222640 1074140427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45835 43297 1111 63 0 45772 0
vsize: 183340
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 525639 0 0 0 56520 1488 0 0 25 0 1 0 775351873 190230528 43913 4294967295 134512640 134714508 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46443 43913 1111 63 0 46380 0
vsize: 185772
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 537519 0 0 0 57490 1517 0 0 25 0 1 0 775351873 191569920 44228 4294967295 134512640 134714508 3221224592 3221222592 1074056273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46770 44228 1111 63 0 46707 0
vsize: 187080
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 553729 0 0 0 58446 1562 0 0 25 0 1 0 775351873 194072576 44860 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47381 44860 1111 63 0 47318 0
vsize: 189524
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 567803 0 0 0 59410 1598 0 0 25 0 1 0 775351873 197349376 45680 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48181 45680 1111 63 0 48118 0
vsize: 192724
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 573851 0 0 0 60393 1615 0 0 25 0 1 0 775351873 198762496 45634 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48526 45634 1111 63 0 48463 0
vsize: 194104
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 583783 0 0 0 61369 1640 0 0 25 0 1 0 775351873 199929856 46095 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48617 46083 1111 63 0 48554 0
vsize: 195244
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 598944 0 0 0 62330 1679 0 0 25 0 1 0 775351873 201584640 46683 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49215 46683 1111 63 0 49152 0
vsize: 196860
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 613854 0 0 0 63292 1717 0 0 25 0 1 0 775351873 203759616 47219 4294967295 134512640 134714508 3221224592 3221223196 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49746 47219 1111 63 0 49683 0
vsize: 198984
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 628104 0 0 0 64256 1754 0 0 25 0 1 0 775351873 206782464 47969 4294967295 134512640 134714508 3221224592 3221222504 1074138249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50484 47969 1111 63 0 50421 0
vsize: 201936
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 643538 0 0 0 65215 1794 0 0 25 0 1 0 775351873 211496960 48767 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51635 48768 1111 63 0 51572 0
vsize: 206540
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 650646 0 0 0 66199 1811 0 0 25 0 1 0 775351873 212258816 49341 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51821 49341 1111 63 0 51758 0
vsize: 207284
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 665753 0 0 0 67157 1852 0 0 25 0 1 0 775351873 214687744 49874 4294967295 134512640 134714508 3221224592 3221222992 1074118827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52414 49874 1111 63 0 52351 0
vsize: 209656
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 682014 0 0 0 68116 1893 0 0 25 0 1 0 775351873 218193920 50783 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53270 50783 1111 63 0 53207 0
vsize: 213080
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 686031 0 0 0 69107 1903 0 0 25 0 1 0 775351873 219619328 51141 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53618 51141 1111 63 0 53555 0
vsize: 214472
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 697799 0 0 0 70071 1939 0 0 25 0 1 0 775351873 221261824 51510 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54019 51510 1111 63 0 53956 0
vsize: 216076
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 706383 0 0 0 71048 1963 0 0 25 0 1 0 775351873 222814208 51922 4294967295 134512640 134714508 3221224592 3221222416 1075823538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54398 51922 1111 63 0 54335 0
vsize: 217592
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 720796 0 0 0 72012 1999 0 0 25 0 1 0 775351873 227377152 52650 4294967295 134512640 134714508 3221224592 3221221192 1075850635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55512 52650 1111 63 0 55449 0
vsize: 222048
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 725509 0 0 0 72999 2011 0 0 25 0 1 0 775351873 229015552 53436 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55912 53436 1111 63 0 55849 0
vsize: 223648
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 727298 0 0 0 73996 2015 0 0 25 0 1 0 775351873 227573760 53094 4294967295 134512640 134714508 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 727298 0 0 0 74996 2015 0 0 25 0 1 0 775351873 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 727298 0 0 0 75996 2015 0 0 25 0 1 0 775351873 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 727298 0 0 0 76996 2015 0 0 25 0 1 0 775351873 227573760 53094 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 727442 0 0 0 77996 2016 0 0 25 0 1 0 775351873 227352576 53014 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55506 53014 1111 63 0 55443 0
vsize: 222024
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 730412 0 0 0 78989 2024 0 0 25 0 1 0 775351873 228700160 52980 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55835 52980 1111 63 0 55772 0
vsize: 223340
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 745727 0 0 0 79949 2063 0 0 25 0 1 0 775351873 231895040 53680 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56615 53680 1111 63 0 56552 0
vsize: 226460
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 761226 0 0 0 80913 2100 0 0 25 0 1 0 775351873 233254912 54366 4294967295 134512640 134714508 3221224592 3221222944 1074142734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56947 54366 1111 63 0 56884 0
vsize: 227788
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 774034 0 0 0 81882 2131 0 0 25 0 1 0 775351873 235479040 54910 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57490 54910 1111 63 0 57427 0
vsize: 229960
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 789895 0 0 0 82843 2170 0 0 25 0 1 0 775351873 237944832 55551 4294967295 134512640 134714508 3221224592 3221222320 1075635436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58092 55551 1111 63 0 58029 0
vsize: 232368
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 805617 0 0 0 83805 2208 0 0 25 0 1 0 775351873 240857088 56256 4294967295 134512640 134714508 3221224592 3221223120 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58803 56256 1111 63 0 58740 0
vsize: 235212
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 817423 0 0 0 84777 2237 0 0 25 0 1 0 775351873 242782208 56748 4294967295 134512640 134714508 3221224592 3221222680 1077377311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59273 56748 1111 63 0 59210 0
vsize: 237092
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 831548 0 0 0 85745 2269 0 0 25 0 1 0 775351873 245510144 57392 4294967295 134512640 134714508 3221224592 3221222576 1074051835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59939 57392 1111 63 0 59876 0
vsize: 239756
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 845937 0 0 0 86705 2309 0 0 25 0 1 0 775351873 248766464 58181 4294967295 134512640 134714508 3221224592 3221222760 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60734 58181 1111 63 0 60671 0
vsize: 242936
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 846177 0 0 0 87703 2311 0 0 25 0 1 0 775351873 249704448 58406 4294967295 134512640 134714508 3221224592 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60963 58406 1111 63 0 60900 0
vsize: 243852
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 847113 0 0 0 88701 2313 0 0 25 0 1 0 775351873 252391424 59065 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 847113 0 0 0 89702 2313 0 0 25 0 1 0 775351873 252391424 59065 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 90695 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 91695 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 92695 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 93695 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 94695 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 95696 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 850229 0 0 0 96696 2320 0 0 25 0 1 0 775351873 250048512 58495 4294967295 134512640 134714508 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 852709 0 0 0 97689 2326 0 0 25 0 1 0 775351873 248926208 58222 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60773 58222 1111 63 0 60710 0
vsize: 243092
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 867332 0 0 0 98647 2369 0 0 25 0 1 0 775351873 254517248 58911 4294967295 134512640 134714508 3221224592 3221220556 1074860659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61506 58899 1111 63 0 61443 0
vsize: 248552
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 882524 0 0 0 99604 2412 0 0 25 0 1 0 775351873 254676992 59586 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62177 59586 1111 63 0 62114 0
vsize: 248708
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 891623 0 0 0 100580 2436 0 0 25 0 1 0 775351873 257830912 60392 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62947 60392 1111 63 0 62884 0
vsize: 251788
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31197
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 892280 0 0 0 101579 2438 0 0 25 0 1 0 775351873 259624960 60822 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63385 60822 1111 63 0 63322 0
vsize: 253540
[startup+1050.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 894414 0 0 0 102573 2443 0 0 25 0 1 0 775351873 258043904 60447 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1060.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 894414 0 0 0 103574 2443 0 0 25 0 1 0 775351873 258043904 60447 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1070.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 894414 0 0 0 104574 2443 0 0 25 0 1 0 775351873 258043904 60447 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1080.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 894414 0 0 0 105574 2443 0 0 25 0 1 0 775351873 258043904 60447 4294967295 134512640 134714508 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1090.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 902321 0 0 0 106553 2465 0 0 25 0 1 0 775351873 258662400 60594 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63150 60595 1111 63 0 63087 0
vsize: 252600
[startup+1100.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 917401 0 0 0 107512 2506 0 0 25 0 1 0 775351873 262098944 61468 4294967295 134512640 134714508 3221224592 3221222612 1074206179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63989 61468 1111 63 0 63926 0
vsize: 255956
[startup+1110.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 917818 0 0 0 108509 2508 0 0 25 0 1 0 775351873 263372800 61796 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1120.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31250
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 918472 0 0 0 109508 2510 0 0 25 0 1 0 775351873 265166848 62228 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64738 62228 1111 63 0 64675 0
vsize: 258952
[startup+1130.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31252
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 920974 0 0 0 110502 2516 0 0 25 0 1 0 775351873 263372800 61796 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1140.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31252
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 920974 0 0 0 111502 2516 0 0 25 0 1 0 775351873 263372800 61796 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1150.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31252
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 920974 0 0 0 112502 2516 0 0 25 0 1 0 775351873 263372800 61796 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1160.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31252
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 920974 0 0 0 113503 2516 0 0 25 0 1 0 775351873 263372800 61796 4294967295 134512640 134714508 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1170.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31252
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 924815 0 0 0 114492 2526 0 0 25 0 1 0 775351873 262647808 61618 4294967295 134512640 134714508 3221224592 3221222336 1075636613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64123 61618 1111 63 0 64060 0
vsize: 256492
[startup+1174.95 s]
Raw data (loadavg): 1.01 0.99 0.91 1/53 31252
Raw data (stat): 31197 (bsolo_lpr) R 31196 24300 24299 0 -1 0 924815 0 0 0 114492 2526 0 0 25 0 1 0 775351873 262647808 61618 4294967295 134512640 134714508 3221224592 3221222336 1075636613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64123 61618 1111 63 0 64060 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.14
CPU user time (s): 1149.53
CPU system time (s): 25.6051
CPU usage (%): 100.016
Max. virtual memory (Kb): 258952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####