PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM	e6bff154156b54af3a9a38f7579209b6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	17324
Optimality of the best value was proved	NO
Number of terms in the objective function	163
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	74742
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	8192
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	74742
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	1.06984
Number of variables	163
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	102
Trace number 28101

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-25 00:28:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14704 boxname=wulflinc20 idbench=1132 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e6bff154156b54af3a9a38f7579209b6  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-neos5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-neos5.opb
IDLAUNCH: 14704
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        706232 kB
Buffers:         26944 kB
Cached:         280108 kB
SwapCached:        716 kB
Active:          36176 kB
Inactive:       272940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        705980 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5064 kB
Slab:            13636 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:47:59 (client local time) WITH STATUS 10 IN 1177.18 SECONDS
stats: 14704 0 1177.18 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 163 variables and 73 constraints.
c After prepocess the problem consists of 163 variables and 73 constraints.
c preprocess terminated 0.355 s
c Initial Lower Bound: 13313
c Lower Bound Elapsed time: 0.104
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 18689 @ 1.46
s SATISFIABLE
v d1_bit0 d2_bit0 d3_bit0 -d4_bit0 -d5_bit0 -d6_bit0 d7_bit0 -d8_bit0 d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 d13_bit0 d14_bit0 -d15_bit0 -d16_bit0 -d17_bit0 d18_bit0 -d19_bit0 -d20_bit0 -d21_bit0 -d22_bit0 d23_bit0 -d24_bit0 -d25_bit0 -d26_bit0 d27_bit0 -d28_bit0 -d29_bit0 -d30_bit0 -d31_bit0 d32_bit0 d33_bit0 -d34_bit0 -d35_bit0 -d36_bit0 -d37_bit0 -d38_bit0 d39_bit0 -d40_bit0 -d41_bit0 -d42_bit0 d43_bit0 -d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 d49_bit0 -d50_bit0 -d51_bit0 -d52_bit0 d53_bit0 d54_bit_10 -d54_bit_9 -d54_bit_8 -d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 -d55_bit_10 -d55_bit_9 -d55_bit_8 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 d55_bit_2 -d55_bit_1 -d55_bit0 -d56_bit_10 -d56_bit_9 -d56_bit_8 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 -d57_bit_10 -d57_bit_9 -d57_bit_8 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 d57_bit0 -d58_bit_10 -d58_bit_9 -d58_bit_8 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_10 -d59_bit_9 -d59_bit_8 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_10 -d60_bit_9 -d60_bit_8 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 d60_bit0 -d61_bit_10 -d61_bit_9 -d61_bit_8 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_10 -d62_bit_9 -d62_bit_8 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_10 -d63_bit_9 -d63_bit_8 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
c Exit Code: 10
c Total time: 1176.95 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.90 0.94 0.91 2/54 32015
Raw data (stat): 32015 (runsolver) R 32014 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834559129 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.0007 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 12341 0 0 0 932 50 0 0 25 0 1 0 834559129 27684864 6037 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6796 6039 1111 63 0 6733 0
vsize: 27036
[startup+20.0154 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 23417 0 0 0 1884 100 0 0 25 0 1 0 834559129 49446912 11222 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12072 11222 1111 63 0 12009 0
vsize: 48288
[startup+30.0214 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 34264 0 0 0 2835 150 0 0 25 0 1 0 834559129 70115328 16019 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17166 16020 1111 63 0 17103 0
vsize: 68472
[startup+40.0209 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 44281 0 0 0 3790 195 0 0 25 0 1 0 834559129 88236032 20354 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21542 20354 1111 63 0 21479 0
vsize: 86168
[startup+50.0286 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 54090 0 0 0 4745 241 0 0 25 0 1 0 834559129 104288256 24336 4294967295 134512640 134714508 3221224592 3221221872 1074139993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25527 24340 1111 63 0 25464 0
vsize: 101844
[startup+60.0286 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 64280 0 0 0 5698 288 0 0 25 0 1 0 834559129 125235200 28824 4294967295 134512640 134714508 3221224592 3221222944 1074142742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30575 28824 1111 63 0 30512 0
vsize: 122300
[startup+70.029 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 73683 0 0 0 6658 328 0 0 25 0 1 0 834559129 140185600 32389 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34225 32389 1111 63 0 34162 0
vsize: 136900
[startup+80.0298 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 85914 0 0 0 7613 374 0 0 25 0 1 0 834559129 154542080 35840 4294967295 134512640 134714508 3221224592 3221223036 1074119708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37730 35840 1111 63 0 37667 0
vsize: 150920
[startup+90.0363 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 99997 0 0 0 8560 427 0 0 25 0 1 0 834559129 171667456 39962 4294967295 134512640 134714508 3221224592 3221223040 1073990251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41911 39962 1111 63 0 41848 0
vsize: 167644
[startup+100.036 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 112064 0 0 0 9517 470 0 0 25 0 1 0 834559129 184676352 43114 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45087 43114 1111 63 0 45024 0
vsize: 180348
[startup+110.037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 116328 0 0 0 10503 485 0 0 25 0 1 0 834559129 189861888 44388 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46353 44388 1111 63 0 46290 0
vsize: 185412
[startup+120.042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 116821 0 0 0 11502 486 0 0 25 0 1 0 834559129 191057920 44709 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46645 44709 1111 63 0 46582 0
vsize: 186580
[startup+130.043 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 118581 0 0 0 12497 492 0 0 25 0 1 0 834559129 189878272 44424 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46357 44424 1111 63 0 46294 0
vsize: 185428
[startup+140.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 118581 0 0 0 13497 492 0 0 25 0 1 0 834559129 189878272 44424 4294967295 134512640 134714508 3221224592 3221223308 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46357 44424 1111 63 0 46294 0
vsize: 185428
[startup+150.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 124109 0 0 0 14479 510 0 0 25 0 1 0 834559129 191557632 44442 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46767 44442 1111 63 0 46704 0
vsize: 187068
[startup+160.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 148447 0 0 0 15414 575 0 0 25 0 1 0 834559129 199188480 46682 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48630 46682 1111 63 0 48567 0
vsize: 194520
[startup+170.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 153522 0 0 0 16401 588 0 0 25 0 1 0 834559129 201318400 47232 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49150 47232 1111 63 0 49087 0
vsize: 196600
[startup+180.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 168736 0 0 0 17363 627 0 0 25 0 1 0 834559129 211611648 48796 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51663 48796 1111 63 0 51600 0
vsize: 206652
[startup+190.045 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 198266 0 0 0 18289 701 0 0 25 0 1 0 834559129 227586048 51653 4294967295 134512640 134714508 3221224592 3221222328 1077374761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55563 51653 1111 63 0 55500 0
vsize: 222252
[startup+200.063 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 212969 0 0 0 19248 744 0 0 25 0 1 0 834559129 233422848 53100 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56988 53100 1111 63 0 56925 0
vsize: 227952
[startup+210.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 246664 0 0 0 20163 830 0 0 25 0 1 0 834559129 246722560 56409 4294967295 134512640 134714508 3221224592 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60235 56409 1111 63 0 60172 0
vsize: 240940
[startup+220.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 275560 0 0 0 21088 905 0 0 25 0 1 0 834559129 258801664 59120 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62900 59117 1111 63 0 62837 0
vsize: 252736
[startup+230.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 297558 0 0 0 22033 961 0 0 25 0 1 0 834559129 264794112 61014 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64647 61014 1111 63 0 64584 0
vsize: 258588
[startup+240.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 301509 0 0 0 23023 972 0 0 25 0 1 0 834559129 268222464 61872 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65484 61872 1111 63 0 65421 0
vsize: 261936
[startup+250.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 303338 0 0 0 24020 977 0 0 25 0 1 0 834559129 268087296 61839 4294967295 134512640 134714508 3221224592 3221222592 1074918650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65451 61839 1111 63 0 65388 0
vsize: 261804
[startup+260.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 320010 0 0 0 24977 1020 0 0 25 0 1 0 834559129 270995456 62569 4294967295 134512640 134714508 3221224592 3221222592 1074916974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66161 62569 1111 63 0 66098 0
vsize: 264644
[startup+270.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 347454 0 0 0 25908 1090 0 0 25 0 1 0 834559129 284385280 65494 4294967295 134512640 134714508 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69430 65494 1111 63 0 69367 0
vsize: 277720
[startup+280.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 358351 0 0 0 26876 1122 0 0 25 0 1 0 834559129 290017280 66872 4294967295 134512640 134714508 3221224592 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70805 66872 1111 63 0 70742 0
vsize: 283220
[startup+290.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 359606 0 0 0 27874 1125 0 0 25 0 1 0 834559129 289972224 66888 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70794 66888 1111 63 0 70731 0
vsize: 283176
[startup+300.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 366722 0 0 0 28854 1145 0 0 25 0 1 0 834559129 292761600 67605 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71475 67605 1111 63 0 71412 0
vsize: 285900
[startup+310.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 373243 0 0 0 29837 1162 0 0 25 0 1 0 834559129 296366080 68419 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72355 68419 1111 63 0 72292 0
vsize: 289420
[startup+320.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 373361 0 0 0 30835 1164 0 0 25 0 1 0 834559129 296701952 68513 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72437 68513 1111 63 0 72374 0
vsize: 289748
[startup+330.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 374184 0 0 0 31834 1166 0 0 25 0 1 0 834559129 298856448 69024 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72963 69024 1111 63 0 72900 0
vsize: 291852
[startup+340.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 374184 0 0 0 32834 1166 0 0 25 0 1 0 834559129 298856448 69024 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72963 69024 1111 63 0 72900 0
vsize: 291852
[startup+350.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 376533 0 0 0 33829 1171 0 0 25 0 1 0 834559129 296890368 68559 4294967295 134512640 134714508 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72483 68559 1111 63 0 72420 0
vsize: 289932
[startup+360.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 376533 0 0 0 34829 1172 0 0 25 0 1 0 834559129 296890368 68559 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72483 68559 1111 63 0 72420 0
vsize: 289932
[startup+370.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 376533 0 0 0 35829 1172 0 0 25 0 1 0 834559129 296890368 68559 4294967295 134512640 134714508 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72483 68559 1111 63 0 72420 0
vsize: 289932
[startup+380.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 376533 0 0 0 36829 1172 0 0 25 0 1 0 834559129 296890368 68559 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72483 68559 1111 63 0 72420 0
vsize: 289932
[startup+390.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 376533 0 0 0 37829 1172 0 0 25 0 1 0 834559129 295948288 68329 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72253 68329 1111 63 0 72190 0
vsize: 289012
[startup+400.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 379264 0 0 0 38822 1179 0 0 25 0 1 0 834559129 295948288 68346 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72253 68346 1111 63 0 72190 0
vsize: 289012
[startup+410.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 401769 0 0 0 39759 1244 0 0 25 0 1 0 834559129 305336320 70613 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74545 70613 1111 63 0 74482 0
vsize: 298180
[startup+420.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 408351 0 0 0 40743 1261 0 0 25 0 1 0 834559129 306302976 70883 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74781 70883 1111 63 0 74718 0
vsize: 299124
[startup+430.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 426329 0 0 0 41697 1308 0 0 25 0 1 0 834559129 312381440 72378 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76265 72378 1111 63 0 76202 0
vsize: 305060
[startup+440.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 445416 0 0 0 42641 1363 0 0 25 0 1 0 834559129 321269760 74460 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78435 74460 1111 63 0 78372 0
vsize: 313740
[startup+450.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 460838 0 0 0 43601 1405 0 0 25 0 1 0 834559129 328953856 76103 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80311 76103 1111 63 0 80248 0
vsize: 321244
[startup+460.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 465629 0 0 0 44588 1419 0 0 25 0 1 0 834559129 330903552 76612 4294967295 134512640 134714508 3221224592 3221222240 1075818338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80787 76612 1111 63 0 80724 0
vsize: 323148
[startup+470.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 471161 0 0 0 45572 1436 0 0 25 0 1 0 834559129 335388672 77708 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81882 77708 1111 63 0 81819 0
vsize: 327528
[startup+480.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 471161 0 0 0 46572 1436 0 0 25 0 1 0 834559129 335388672 77708 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81882 77708 1111 63 0 81819 0
vsize: 327528
[startup+490.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 472691 0 0 0 47579 1439 0 0 25 0 1 0 834559129 334016512 77381 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81547 77381 1111 63 0 81484 0
vsize: 326188
[startup+500.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 472691 0 0 0 48579 1439 0 0 25 0 1 0 834559129 334016512 77381 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81547 77381 1111 63 0 81484 0
vsize: 326188
[startup+510.278 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 473800 0 0 0 49577 1442 0 0 25 0 1 0 834559129 333406208 77232 4294967295 134512640 134714508 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81398 77232 1111 63 0 81335 0
vsize: 325592
[startup+520.282 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 497069 0 0 0 50514 1506 0 0 25 0 1 0 834559129 341934080 79273 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83480 79273 1111 63 0 83417 0
vsize: 333920
[startup+530.285 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 512771 0 0 0 51467 1553 0 0 25 0 1 0 834559129 346972160 80430 4294967295 134512640 134714508 3221224592 3221223240 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84710 80430 1111 63 0 84647 0
vsize: 338840
[startup+540.285 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 536359 0 0 0 52401 1619 0 0 25 0 1 0 834559129 357666816 83004 4294967295 134512640 134714508 3221224592 3221223432 134558561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87321 83004 1111 63 0 87258 0
vsize: 349284
[startup+550.286 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 570128 0 0 0 53299 1722 0 0 25 0 1 0 834559129 373170176 86803 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91106 86803 1111 63 0 91043 0
vsize: 364424
[startup+560.294 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 598694 0 0 0 54221 1800 0 0 25 0 1 0 834559129 388595712 89804 4294967295 134512640 134714508 3221224592 3221221648 1075276463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94514 89802 1111 63 0 94451 0
vsize: 379488
[startup+570.293 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 627183 0 0 0 55146 1876 0 0 25 0 1 0 834559129 397266944 92697 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96989 92697 1111 63 0 96926 0
vsize: 387956
[startup+580.294 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 641534 0 0 0 56107 1915 0 0 25 0 1 0 834559129 403730432 93913 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98209 93909 1111 63 0 98146 0
vsize: 394268
[startup+590.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 658887 0 0 0 57062 1961 0 0 25 0 1 0 834559129 428175360 96669 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104535 96669 1111 63 0 104472 0
vsize: 418140
[startup+600.304 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 659661 0 0 0 58059 1965 0 0 25 0 1 0 834559129 430141440 97155 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105015 97155 1111 63 0 104952 0
vsize: 420060
[startup+610.308 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 659661 0 0 0 59059 1965 0 0 25 0 1 0 834559129 430141440 97155 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105015 97155 1111 63 0 104952 0
vsize: 420060
[startup+620.311 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 661677 0 0 0 60054 1970 0 0 25 0 1 0 834559129 428019712 96620 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104497 96620 1111 63 0 104434 0
vsize: 417988
[startup+630.312 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 662399 0 0 0 61052 1973 0 0 25 0 1 0 834559129 430116864 97135 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105009 97135 1111 63 0 104946 0
vsize: 420036
[startup+640.311 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 662399 0 0 0 62052 1973 0 0 25 0 1 0 834559129 430116864 97135 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105009 97135 1111 63 0 104946 0
vsize: 420036
[startup+650.319 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 675195 0 0 0 63019 2007 0 0 25 0 1 0 834559129 431353856 97502 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105311 97502 1111 63 0 105248 0
vsize: 421244
[startup+660.319 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 704130 0 0 0 63942 2083 0 0 25 0 1 0 834559129 441638912 100060 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107822 100060 1111 63 0 107759 0
vsize: 431288
[startup+670.318 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 731764 0 0 0 64865 2161 0 0 25 0 1 0 834559129 452493312 102799 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110472 102799 1111 63 0 110409 0
vsize: 441888
[startup+680.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 738768 0 0 0 65848 2178 0 0 25 0 1 0 834559129 455913472 103624 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111307 103624 1111 63 0 111244 0
vsize: 445228
[startup+690.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 739306 0 0 0 66847 2179 0 0 25 0 1 0 834559129 457265152 103979 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111637 103979 1111 63 0 111574 0
vsize: 446548
[startup+700.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 740796 0 0 0 67844 2182 0 0 25 0 1 0 834559129 455933952 103658 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111312 103658 1111 63 0 111249 0
vsize: 445248
[startup+710.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 740796 0 0 0 68844 2182 0 0 25 0 1 0 834559129 455933952 103658 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111312 103658 1111 63 0 111249 0
vsize: 445248
[startup+720.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 747827 0 0 0 69826 2201 0 0 25 0 1 0 834559129 458108928 104235 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111843 104235 1111 63 0 111780 0
vsize: 447372
[startup+730.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 756396 0 0 0 70801 2226 0 0 25 0 1 0 834559129 461586432 105076 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112692 105076 1111 63 0 112629 0
vsize: 450768
[startup+740.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 760786 0 0 0 71789 2238 0 0 25 0 1 0 834559129 464060416 105680 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113296 105680 1111 63 0 113233 0
vsize: 453184
[startup+750.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 760946 0 0 0 72788 2239 0 0 25 0 1 0 834559129 464703488 105840 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113453 105840 1111 63 0 113390 0
vsize: 453812
[startup+760.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 760989 0 0 0 73787 2241 0 0 25 0 1 0 834559129 464863232 105883 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113492 105883 1111 63 0 113429 0
vsize: 453968
[startup+770.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 761024 0 0 0 74786 2242 0 0 25 0 1 0 834559129 465006592 105918 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113527 105918 1111 63 0 113464 0
vsize: 454108
[startup+780.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 761083 0 0 0 75785 2243 0 0 25 0 1 0 834559129 465338368 105977 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113608 105977 1111 63 0 113545 0
vsize: 454432
[startup+790.321 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 762332 0 0 0 76783 2245 0 0 25 0 1 0 834559129 468443136 106760 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114366 106760 1111 63 0 114303 0
vsize: 457464
[startup+800.321 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 762332 0 0 0 77783 2245 0 0 25 0 1 0 834559129 468443136 106760 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114366 106760 1111 63 0 114303 0
vsize: 457464
[startup+810.321 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 762332 0 0 0 78783 2245 0 0 25 0 1 0 834559129 468443136 106760 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114366 106760 1111 63 0 114303 0
vsize: 457464
[startup+820.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 762332 0 0 0 79783 2245 0 0 25 0 1 0 834559129 468443136 106760 4294967295 134512640 134714508 3221224592 3221222592 1074918347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114366 106760 1111 63 0 114303 0
vsize: 457464
[startup+830.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 762332 0 0 0 80784 2245 0 0 25 0 1 0 834559129 468443136 106760 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114366 106760 1111 63 0 114303 0
vsize: 457464
[startup+840.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 81775 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+850.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 82775 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+860.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 83776 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+870.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 84776 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+880.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 85776 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+890.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 86777 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+900.336 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 87776 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223368 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+910.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 88777 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223304 134558617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+920.439 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 89787 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+930.447 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 90788 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+940.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 91788 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+950.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766025 0 0 0 92788 2255 0 0 25 0 1 0 834559129 465399808 106024 4294967295 134512640 134714508 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113623 106024 1111 63 0 113560 0
vsize: 454492
[startup+960.447 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766157 0 0 0 93787 2257 0 0 25 0 1 0 834559129 464498688 105804 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113403 105804 1111 63 0 113340 0
vsize: 453612
[startup+970.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 766637 0 0 0 94785 2259 0 0 25 0 1 0 834559129 465874944 106130 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113739 106130 1111 63 0 113676 0
vsize: 454956
[startup+980.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 768913 0 0 0 95780 2264 0 0 25 0 1 0 834559129 464371712 105768 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113372 105768 1111 63 0 113309 0
vsize: 453488
[startup+990.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 779558 0 0 0 96750 2294 0 0 25 0 1 0 834559129 468180992 106761 4294967295 134512640 134714508 3221224592 3221223396 134622592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114302 106761 1111 63 0 114239 0
vsize: 457208
[startup+1000.45 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 797820 0 0 0 97699 2346 0 0 25 0 1 0 834559129 475078656 108509 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115986 108509 1111 63 0 115923 0
vsize: 463944
[startup+1010.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 821181 0 0 0 98639 2407 0 0 25 0 1 0 834559129 484421632 110915 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118267 110915 1111 63 0 118204 0
vsize: 473068
[startup+1020.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 821761 0 0 0 99638 2408 0 0 25 0 1 0 834559129 483930112 110795 4294967295 134512640 134714508 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118147 110795 1111 63 0 118084 0
vsize: 472588
[startup+1030.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 835494 0 0 0 100603 2444 0 0 25 0 1 0 834559129 488132608 111887 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119173 111887 1111 63 0 119110 0
vsize: 476692
[startup+1040.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 855571 0 0 0 101551 2495 0 0 25 0 1 0 834559129 495349760 113554 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120935 113554 1111 63 0 120872 0
vsize: 483740
[startup+1050.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 874551 0 0 0 102504 2543 0 0 25 0 1 0 834559129 503791616 115712 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122996 115712 1111 63 0 122933 0
vsize: 491984
[startup+1060.46 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 874682 0 0 0 103503 2545 0 0 25 0 1 0 834559129 504250368 115843 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123108 115843 1111 63 0 123045 0
vsize: 492432
[startup+1070.47 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 875446 0 0 0 104502 2546 0 0 25 0 1 0 834559129 506241024 116317 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123594 116317 1111 63 0 123531 0
vsize: 494376
[startup+1080.47 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 875446 0 0 0 105502 2546 0 0 25 0 1 0 834559129 506241024 116317 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123594 116317 1111 63 0 123531 0
vsize: 494376
[startup+1090.47 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 877797 0 0 0 106496 2552 0 0 25 0 1 0 834559129 504070144 115800 4294967295 134512640 134714508 3221224592 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123064 115800 1111 63 0 123001 0
vsize: 492256
[startup+1100.47 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 878576 0 0 0 107493 2555 0 0 25 0 1 0 834559129 506167296 116298 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123576 116298 1111 63 0 123513 0
vsize: 494304
[startup+1110.47 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 878576 0 0 0 108493 2555 0 0 25 0 1 0 834559129 506167296 116298 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123576 116298 1111 63 0 123513 0
vsize: 494304
[startup+1120.57 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 880655 0 0 0 109499 2560 0 0 25 0 1 0 834559129 504389632 115878 4294967295 134512640 134714508 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123142 115878 1111 63 0 123079 0
vsize: 492568
[startup+1130.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 886526 0 0 0 110483 2576 0 0 25 0 1 0 834559129 504713216 115959 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123221 115959 1111 63 0 123158 0
vsize: 492884
[startup+1140.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 902512 0 0 0 111439 2620 0 0 25 0 1 0 834559129 511381504 117661 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124849 117661 1111 63 0 124786 0
vsize: 499396
[startup+1150.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 904318 0 0 0 112434 2626 0 0 25 0 1 0 834559129 511164416 117632 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124796 117632 1111 63 0 124733 0
vsize: 499184
[startup+1160.57 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 904804 0 0 0 113433 2627 0 0 25 0 1 0 834559129 512761856 118001 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125186 118001 1111 63 0 125123 0
vsize: 500744
[startup+1170.57 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 915037 0 0 0 114406 2654 0 0 25 0 1 0 834559129 517726208 118541 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125682 118535 1111 63 0 125619 0
vsize: 505592
[startup+1177.19 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 32015
Raw data (stat): 32015 (bsolo_lpr) R 32014 25399 25398 0 -1 0 915037 0 0 0 114406 2654 0 0 25 0 1 0 834559129 517726208 118541 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125682 118535 1111 63 0 125619 0
vsize: 0

Child status: 10
Real time (s): 1177.19
CPU time (s): 1177.18
CPU user time (s): 1150.3
CPU system time (s): 26.8859
CPU usage (%): 99.9997
Max. virtual memory (Kb): 505592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18689
#### END VERIFIER DATA ####