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/MIPLIB/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 40053

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        898128 kB
Buffers:         21412 kB
Cached:          92676 kB
SwapCached:       1376 kB
Active:          20536 kB
Inactive:        95576 kB
HighTotal:      131008 kB
HighFree:        41160 kB
LowTotal:       903652 kB
LowFree:        856968 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            14548 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:36:51 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 28115 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.127 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.0165
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 42 @ 0.196
c NEW SOLUTION FOUND: 41 @ 0.201
c NEW SOLUTION FOUND: 40 @ 0.203
c NEW SOLUTION FOUND: 39 @ 0.206
c NEW SOLUTION FOUND: 38 @ 0.208
c NEW SOLUTION FOUND: 37 @ 0.21
c NEW SOLUTION FOUND: 36 @ 0.213
c NEW SOLUTION FOUND: 35 @ 0.223
c NEW SOLUTION FOUND: 34 @ 0.229
c NEW SOLUTION FOUND: 33 @ 0.27
c NEW SOLUTION FOUND: 32 @ 0.327
c NEW SOLUTION FOUND: 31 @ 0.682
c NEW SOLUTION FOUND: 30 @ 27.773
s SATISFIABLE
v -V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 V0006_bit0 -V0007_bit0 V0008_bit0 -V0009_bit0 V0010_bit0 V0011_bit0 -V0012_bit0 V0013_bit0 -V0014_bit0 V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 -V0021_bit0 V0022_bit0 -V0023_bit0 V0024_bit0 V0025_bit0 -V0026_bit0 V0027_bit0 -V0028_bit0 V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 -V0033_bit0 V0034_bit0 V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 -V0042_bit0 -V0043_bit0 V0044_bit0 V0045_bit0 
c Exit Code: 10
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.81 0.91 0.89 2/54 1405
Raw data (stat): 1405 (runsolver) R 1404 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897611478 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 10267 0 0 0 963 35 0 0 25 0 1 0 897611478 8429568 1334 4294967295 134512640 134716908 3221224576 3221220960 1076116751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2058 1334 1111 63 0 1995 0
vsize: 8232
[startup+20.0016 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 19610 0 0 0 1928 69 0 0 25 0 1 0 897611478 10006528 1720 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2443 1720 1111 63 0 2380 0
vsize: 9772
[startup+30.0019 s]
Raw data (loadavg): 0.88 0.91 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 28307 0 0 0 2896 102 0 0 25 0 1 0 897611478 11489280 2082 4294967295 134512640 134716908 3221224576 3221221660 1074619284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 2082 1111 63 0 2742 0
vsize: 11220
[startup+40.0031 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 37140 0 0 0 3867 131 0 0 25 0 1 0 897611478 12382208 2332 4294967295 134512640 134716908 3221224576 3221222656 1074143991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 2332 1111 63 0 2960 0
vsize: 12092
[startup+50.0037 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 46165 0 0 0 4835 163 0 0 25 0 1 0 897611478 13508608 2576 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2576 1111 63 0 3235 0
vsize: 13192
[startup+60.003 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 54980 0 0 0 5803 195 0 0 25 0 1 0 897611478 14422016 2830 4294967295 134512640 134716908 3221224576 3221223264 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3521 2830 1111 63 0 3458 0
vsize: 14084
[startup+70.0041 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 63889 0 0 0 6772 226 0 0 25 0 1 0 897611478 15376384 3061 4294967295 134512640 134716908 3221224576 3221223312 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3754 3061 1111 63 0 3691 0
vsize: 15016
[startup+80.0048 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 71847 0 0 0 7743 255 0 0 25 0 1 0 897611478 16404480 3284 4294967295 134512640 134716908 3221224576 3221220848 1074799094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4005 3284 1111 63 0 3942 0
vsize: 16020
[startup+90.0056 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 80387 0 0 0 8714 285 0 0 25 0 1 0 897611478 17276928 3513 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3513 1111 63 0 4155 0
vsize: 16872
[startup+100.006 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 88159 0 0 0 9684 314 0 0 25 0 1 0 897611478 18264064 3767 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3767 1111 63 0 4396 0
vsize: 17836
[startup+110.007 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 96023 0 0 0 10657 341 0 0 25 0 1 0 897611478 19070976 3965 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3965 1111 63 0 4593 0
vsize: 18624
[startup+120.007 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 103319 0 0 0 11631 368 0 0 25 0 1 0 897611478 20058112 4177 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4897 4177 1111 63 0 4834 0
vsize: 19588
[startup+130.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 110770 0 0 0 12602 396 0 0 25 0 1 0 897611478 20729856 4370 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5061 4370 1111 63 0 4998 0
vsize: 20244
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 118007 0 0 0 13576 423 0 0 25 0 1 0 897611478 21536768 4567 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4567 1111 63 0 5195 0
vsize: 21032
[startup+150.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 124213 0 0 0 14555 444 0 0 25 0 1 0 897611478 22523904 4808 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4808 1111 63 0 5436 0
vsize: 21996
[startup+160.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 131546 0 0 0 15530 468 0 0 25 0 1 0 897611478 23482368 5002 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5733 5002 1111 63 0 5670 0
vsize: 22932
[startup+170.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 138186 0 0 0 16502 496 0 0 25 0 1 0 897611478 24109056 5195 4294967295 134512640 134716908 3221224576 3221223236 134652237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5886 5195 1111 63 0 5823 0
vsize: 23544
[startup+180.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 145415 0 0 0 17476 523 0 0 25 0 1 0 897611478 24891392 5386 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6077 5386 1111 63 0 6014 0
vsize: 24308
[startup+190.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 152323 0 0 0 18454 545 0 0 25 0 1 0 897611478 25673728 5573 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6268 5573 1111 63 0 6205 0
vsize: 25072
[startup+200.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 159018 0 0 0 19430 569 0 0 25 0 1 0 897611478 26480640 5774 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5774 1111 63 0 6402 0
vsize: 25860
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 165631 0 0 0 20405 595 0 0 25 0 1 0 897611478 27279360 5969 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 5969 1111 63 0 6597 0
vsize: 26640
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 172049 0 0 0 21381 619 0 0 25 0 1 0 897611478 27938816 6131 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 6131 1111 63 0 6758 0
vsize: 27284
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 177656 0 0 0 22362 638 0 0 25 0 1 0 897611478 28643328 6303 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6993 6303 1111 63 0 6930 0
vsize: 27972
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 183967 0 0 0 23341 658 0 0 25 0 1 0 897611478 29601792 6479 4294967295 134512640 134716908 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6479 1111 63 0 7164 0
vsize: 28908
[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 189691 0 0 0 24318 682 0 0 25 0 1 0 897611478 30179328 6650 4294967295 134512640 134716908 3221224576 3221221616 1075859800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6650 1111 63 0 7305 0
vsize: 29472
[startup+260.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 194369 0 0 0 25299 701 0 0 25 0 1 0 897611478 30875648 6848 4294967295 134512640 134716908 3221224576 3221223176 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7538 6848 1111 63 0 7475 0
vsize: 30152
[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 200349 0 0 0 26280 720 0 0 25 0 1 0 897611478 31543296 7009 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7701 7009 1111 63 0 7638 0
vsize: 30804
[startup+280.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 205858 0 0 0 27259 741 0 0 25 0 1 0 897611478 32178176 7163 4294967295 134512640 134716908 3221224576 3221222560 1074052149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 7163 1111 63 0 7793 0
vsize: 31424
[startup+290.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 211180 0 0 0 28241 759 0 0 25 0 1 0 897611478 32935936 7322 4294967295 134512640 134716908 3221224576 3221220732 1075090000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8041 7322 1111 63 0 7978 0
vsize: 32164
[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 216349 0 0 0 29223 777 0 0 25 0 1 0 897611478 33574912 7473 4294967295 134512640 134716908 3221224576 3221221644 1074831249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8197 7473 1111 63 0 8134 0
vsize: 32788
[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 221624 0 0 0 30207 794 0 0 25 0 1 0 897611478 34304000 7655 4294967295 134512640 134716908 3221224576 3221223024 1073990411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8375 7655 1111 63 0 8312 0
vsize: 33500
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 227019 0 0 0 31190 811 0 0 25 0 1 0 897611478 34811904 7809 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8499 7809 1111 63 0 8436 0
vsize: 33996
[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 232621 0 0 0 32171 830 0 0 25 0 1 0 897611478 35573760 7961 4294967295 134512640 134716908 3221224576 3221222840 1073987068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8685 7961 1111 63 0 8622 0
vsize: 34740
[startup+340.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 238128 0 0 0 33152 849 0 0 25 0 1 0 897611478 36020224 8104 4294967295 134512640 134716908 3221224576 3221223192 134543154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8794 8104 1111 63 0 8731 0
vsize: 35176
[startup+350.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 243262 0 0 0 34136 865 0 0 25 0 1 0 897611478 36671488 8263 4294967295 134512640 134716908 3221224576 3221223248 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8953 8263 1111 63 0 8890 0
vsize: 35812
[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 248364 0 0 0 35115 886 0 0 25 0 1 0 897611478 37302272 8416 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9107 8416 1111 63 0 9044 0
vsize: 36428
[startup+370.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 251713 0 0 0 36101 901 0 0 25 0 1 0 897611478 38281216 8628 4294967295 134512640 134716908 3221224576 3221223216 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9346 8628 1111 63 0 9283 0
vsize: 37384
[startup+380.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 256815 0 0 0 37082 919 0 0 25 0 1 0 897611478 38862848 8770 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9488 8770 1111 63 0 9425 0
vsize: 37952
[startup+390.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 262012 0 0 0 38065 936 0 0 25 0 1 0 897611478 39501824 8926 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9644 8926 1111 63 0 9581 0
vsize: 38576
[startup+400.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 267293 0 0 0 39047 955 0 0 25 0 1 0 897611478 40095744 9068 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9789 9068 1111 63 0 9726 0
vsize: 39156
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 272033 0 0 0 40029 972 0 0 25 0 1 0 897611478 40673280 9212 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9930 9212 1111 63 0 9867 0
vsize: 39720
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 277094 0 0 0 41012 990 0 0 25 0 1 0 897611478 41234432 9349 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10067 9349 1111 63 0 10004 0
vsize: 40268
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 282430 0 0 0 41994 1008 0 0 25 0 1 0 897611478 41947136 9495 4294967295 134512640 134716908 3221224576 3221220720 1074971352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10241 9495 1111 63 0 10178 0
vsize: 40964
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 287197 0 0 0 42977 1025 0 0 25 0 1 0 897611478 42352640 9622 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10340 9622 1111 63 0 10277 0
vsize: 41360
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 292152 0 0 0 43959 1043 0 0 25 0 1 0 897611478 42946560 9764 4294967295 134512640 134716908 3221224576 3221222512 1074057902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10485 9764 1111 63 0 10422 0
vsize: 41940
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 296825 0 0 0 44942 1061 0 0 25 0 1 0 897611478 43622400 9901 4294967295 134512640 134716908 3221224576 3221221544 1077410273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10650 9901 1111 63 0 10587 0
vsize: 42600
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 301798 0 0 0 45925 1078 0 0 25 0 1 0 897611478 44236800 10026 4294967295 134512640 134716908 3221224576 3221221640 1075007308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10800 10026 1111 63 0 10737 0
vsize: 43200
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 306393 0 0 0 46908 1095 0 0 25 0 1 0 897611478 44515328 10148 4294967295 134512640 134716908 3221224576 3221223136 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 10148 1111 63 0 10805 0
vsize: 43472
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 310881 0 0 0 47893 1110 0 0 25 0 1 0 897611478 45006848 10267 4294967295 134512640 134716908 3221224576 3221222224 1075818402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10988 10267 1111 63 0 10925 0
vsize: 43952
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 315141 0 0 0 48878 1125 0 0 25 0 1 0 897611478 45539328 10397 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11118 10397 1111 63 0 11055 0
vsize: 44472
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 319585 0 0 0 49864 1139 0 0 25 0 1 0 897611478 46055424 10526 4294967295 134512640 134716908 3221224576 3221223296 134529276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11244 10526 1111 63 0 11181 0
vsize: 44976
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 324322 0 0 0 50847 1157 0 0 25 0 1 0 897611478 46772224 10670 4294967295 134512640 134716908 3221224576 3221222304 1075828401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11419 10670 1111 63 0 11356 0
vsize: 45676
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 329554 0 0 0 51828 1175 0 0 25 0 1 0 897611478 47206400 10807 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11525 10807 1111 63 0 11462 0
vsize: 46100
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 334008 0 0 0 52811 1193 0 0 25 0 1 0 897611478 47685632 10924 4294967295 134512640 134716908 3221224576 3221222280 1077377371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11642 10924 1111 63 0 11579 0
vsize: 46568
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 338109 0 0 0 53797 1206 0 0 25 0 1 0 897611478 48222208 11055 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11773 11055 1111 63 0 11710 0
vsize: 47092
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 342626 0 0 0 54781 1223 0 0 25 0 1 0 897611478 48889856 11188 4294967295 134512640 134716908 3221224576 3221221152 1076045827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11936 11188 1111 63 0 11873 0
vsize: 47744
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 347086 0 0 0 55765 1239 0 0 25 0 1 0 897611478 49225728 11300 4294967295 134512640 134716908 3221224576 3221223312 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12018 11300 1111 63 0 11955 0
vsize: 48072
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 351711 0 0 0 56751 1254 0 0 25 0 1 0 897611478 49709056 11418 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 11418 1111 63 0 12073 0
vsize: 48544
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 356172 0 0 0 57733 1272 0 0 25 0 1 0 897611478 50249728 11547 4294967295 134512640 134716908 3221224576 3221223248 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12268 11547 1111 63 0 12205 0
vsize: 49072
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 359912 0 0 0 58718 1287 0 0 25 0 1 0 897611478 50888704 11672 4294967295 134512640 134716908 3221224576 3221221688 1074838532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12424 11672 1111 63 0 12361 0
vsize: 49696
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 364297 0 0 0 59704 1301 0 0 25 0 1 0 897611478 51310592 11808 4294967295 134512640 134716908 3221224576 3221222184 1077377762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12527 11808 1111 63 0 12464 0
vsize: 50108
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 368167 0 0 0 60690 1315 0 0 25 0 1 0 897611478 51798016 11925 4294967295 134512640 134716908 3221224576 3221223184 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12646 11925 1111 63 0 12583 0
vsize: 50584
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 372513 0 0 0 61674 1331 0 0 25 0 1 0 897611478 52314112 12051 4294967295 134512640 134716908 3221224576 3221222508 1074206167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12772 12051 1111 63 0 12709 0
vsize: 51088
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 376990 0 0 0 62660 1345 0 0 25 0 1 0 897611478 52760576 12161 4294967295 134512640 134716908 3221224576 3221223312 134529103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 12161 1111 63 0 12818 0
vsize: 51524
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 381293 0 0 0 63645 1361 0 0 25 0 1 0 897611478 53211136 12273 4294967295 134512640 134716908 3221224576 3221221920 1074839043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12991 12273 1111 63 0 12928 0
vsize: 51964
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 385771 0 0 0 64629 1377 0 0 25 0 1 0 897611478 53657600 12382 4294967295 134512640 134716908 3221224576 3221222572 1074138442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 12382 1111 63 0 13037 0
vsize: 52400
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 389902 0 0 0 65615 1391 0 0 25 0 1 0 897611478 54153216 12503 4294967295 134512640 134716908 3221224576 3221223312 134529335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13221 12503 1111 63 0 13158 0
vsize: 52884
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 394106 0 0 0 66598 1408 0 0 25 0 1 0 897611478 54988800 12707 4294967295 134512640 134716908 3221224576 3221223248 134652583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13425 12707 1111 63 0 13362 0
vsize: 53700
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 398517 0 0 0 67584 1422 0 0 25 0 1 0 897611478 55422976 12813 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13531 12813 1111 63 0 13468 0
vsize: 54124
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 402316 0 0 0 68570 1436 0 0 25 0 1 0 897611478 55939072 12939 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13657 12939 1111 63 0 13594 0
vsize: 54628
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 405875 0 0 0 69558 1448 0 0 25 0 1 0 897611478 56438784 13058 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13779 13058 1111 63 0 13716 0
vsize: 55116
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 410094 0 0 0 70545 1461 0 0 25 0 1 0 897611478 56926208 13176 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13898 13176 1111 63 0 13835 0
vsize: 55592
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 414404 0 0 0 71529 1477 0 0 25 0 1 0 897611478 57417728 13300 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14018 13300 1111 63 0 13955 0
vsize: 56072
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 418442 0 0 0 72514 1492 0 0 25 0 1 0 897611478 57880576 13413 4294967295 134512640 134716908 3221224576 3221223264 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 13413 1111 63 0 14068 0
vsize: 56524
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 422781 0 0 0 73499 1507 0 0 25 0 1 0 897611478 58359808 13530 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14248 13530 1111 63 0 14185 0
vsize: 56992
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 427050 0 0 0 74486 1521 0 0 25 0 1 0 897611478 58843136 13648 4294967295 134512640 134716908 3221224576 3221222712 1077377899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 13648 1111 63 0 14303 0
vsize: 57464
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 430747 0 0 0 75472 1535 0 0 25 0 1 0 897611478 59363328 13775 4294967295 134512640 134716908 3221224576 3221223260 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14493 13775 1111 63 0 14430 0
vsize: 57972
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 434796 0 0 0 76457 1550 0 0 25 0 1 0 897611478 59805696 13883 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 13883 1111 63 0 14538 0
vsize: 58404
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 438899 0 0 0 77441 1566 0 0 25 0 1 0 897611478 60243968 13988 4294967295 134512640 134716908 3221224576 3221223136 134549773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14708 13988 1111 63 0 14645 0
vsize: 58832
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 442861 0 0 0 78426 1581 0 0 25 0 1 0 897611478 60653568 14087 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14808 14087 1111 63 0 14745 0
vsize: 59232
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 446785 0 0 0 79412 1595 0 0 25 0 1 0 897611478 61067264 14191 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14909 14191 1111 63 0 14846 0
vsize: 59636
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 450741 0 0 0 80397 1611 0 0 25 0 1 0 897611478 61509632 14299 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15017 14299 1111 63 0 14954 0
vsize: 60068
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 454219 0 0 0 81382 1626 0 0 25 0 1 0 897611478 61923328 14400 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15118 14400 1111 63 0 15055 0
vsize: 60472
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 458015 0 0 0 82369 1639 0 0 25 0 1 0 897611478 62365696 14508 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15226 14508 1111 63 0 15163 0
vsize: 60904
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 461649 0 0 0 83356 1652 0 0 25 0 1 0 897611478 62824448 14620 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15338 14620 1111 63 0 15275 0
vsize: 61352
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 465529 0 0 0 84341 1667 0 0 25 0 1 0 897611478 63295488 14735 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15453 14735 1111 63 0 15390 0
vsize: 61812
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 469141 0 0 0 85328 1680 0 0 25 0 1 0 897611478 63737856 14843 4294967295 134512640 134716908 3221224576 3221223160 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15561 14843 1111 63 0 15498 0
vsize: 62244
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 472905 0 0 0 86315 1693 0 0 25 0 1 0 897611478 64135168 14940 4294967295 134512640 134716908 3221224576 3221223228 134552684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15658 14940 1111 63 0 15595 0
vsize: 62632
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 476389 0 0 0 87302 1707 0 0 25 0 1 0 897611478 64544768 15035 4294967295 134512640 134716908 3221224576 3221223248 134652561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15758 15035 1111 63 0 15695 0
vsize: 63032
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 479927 0 0 0 88290 1719 0 0 25 0 1 0 897611478 64933888 15135 4294967295 134512640 134716908 3221224576 3221223032 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15853 15135 1111 63 0 15790 0
vsize: 63412
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 483405 0 0 0 89277 1732 0 0 25 0 1 0 897611478 65384448 15245 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15963 15245 1111 63 0 15900 0
vsize: 63852
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 486877 0 0 0 90268 1742 0 0 25 0 1 0 897611478 65978368 15351 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16108 15352 1111 63 0 16045 0
vsize: 64432
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 490656 0 0 0 91253 1756 0 0 25 0 1 0 897611478 66277376 15463 4294967295 134512640 134716908 3221224576 3221222400 1075824360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16181 15463 1111 63 0 16118 0
vsize: 64724
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 494547 0 0 0 92239 1771 0 0 25 0 1 0 897611478 66719744 15571 4294967295 134512640 134716908 3221224576 3221223040 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16289 15571 1111 63 0 16226 0
vsize: 65156
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 497446 0 0 0 93227 1783 0 0 25 0 1 0 897611478 67190784 15686 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16404 15686 1111 63 0 16341 0
vsize: 65616
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 500637 0 0 0 94217 1794 0 0 25 0 1 0 897611478 67645440 15797 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16514 15796 1111 63 0 16451 0
vsize: 66060
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 504095 0 0 0 95207 1804 0 0 25 0 1 0 897611478 68063232 15899 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16617 15899 1111 63 0 16554 0
vsize: 66468
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 507530 0 0 0 96194 1817 0 0 25 0 1 0 897611478 68521984 16011 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16729 16011 1111 63 0 16666 0
vsize: 66916
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 511145 0 0 0 97182 1829 0 0 25 0 1 0 897611478 68902912 16104 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16822 16104 1111 63 0 16759 0
vsize: 67288
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 514491 0 0 0 98170 1841 0 0 25 0 1 0 897611478 69533696 16228 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16976 16228 1111 63 0 16913 0
vsize: 67904
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 518054 0 0 0 99158 1853 0 0 25 0 1 0 897611478 70381568 16438 4294967295 134512640 134716908 3221224576 3221222920 1074146097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17183 16438 1111 63 0 17120 0
vsize: 68732
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 521299 0 0 0 100148 1864 0 0 25 0 1 0 897611478 70733824 16524 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17269 16524 1111 63 0 17206 0
vsize: 69076
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 524767 0 0 0 101134 1877 0 0 25 0 1 0 897611478 71294976 16624 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17366 16621 1111 63 0 17303 0
vsize: 69624
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 527874 0 0 0 102123 1889 0 0 25 0 1 0 897611478 71503872 16712 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17457 16712 1111 63 0 17394 0
vsize: 69828
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 530821 0 0 0 103113 1899 0 0 25 0 1 0 897611478 71929856 16809 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17561 16809 1111 63 0 17498 0
vsize: 70244
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 534042 0 0 0 104102 1910 0 0 25 0 1 0 897611478 72298496 16906 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17651 16906 1111 63 0 17588 0
vsize: 70604
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 537248 0 0 0 105091 1922 0 0 25 0 1 0 897611478 72708096 17006 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17751 17006 1111 63 0 17688 0
vsize: 71004
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 540624 0 0 0 106081 1932 0 0 25 0 1 0 897611478 73375744 17111 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17914 17111 1111 63 0 17851 0
vsize: 71656
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 543870 0 0 0 107070 1943 0 0 25 0 1 0 897611478 73523200 17205 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17950 17205 1111 63 0 17887 0
vsize: 71800
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 547204 0 0 0 108058 1955 0 0 25 0 1 0 897611478 73891840 17292 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18040 17292 1111 63 0 17977 0
vsize: 72160
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 550651 0 0 0 109046 1967 0 0 25 0 1 0 897611478 74620928 17412 4294967295 134512640 134716908 3221224576 3221217780 1075336332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18159 17411 1111 63 0 18096 0
vsize: 72872
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 553610 0 0 0 110036 1977 0 0 25 0 1 0 897611478 74747904 17504 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18249 17504 1111 63 0 18186 0
vsize: 72996
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 556745 0 0 0 111025 1988 0 0 25 0 1 0 897611478 75096064 17589 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18334 17589 1111 63 0 18271 0
vsize: 73336
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 560022 0 0 0 112013 2001 0 0 25 0 1 0 897611478 75468800 17678 4294967295 134512640 134716908 3221224576 3221223136 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18425 17678 1111 63 0 18362 0
vsize: 73700
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 562947 0 0 0 113001 2013 0 0 25 0 1 0 897611478 75804672 17761 4294967295 134512640 134716908 3221224576 3221223136 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18507 17761 1111 63 0 18444 0
vsize: 74028
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 566345 0 0 0 113990 2025 0 0 25 0 1 0 897611478 76173312 17852 4294967295 134512640 134716908 3221224576 3221223196 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18597 17852 1111 63 0 18534 0
vsize: 74388
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 569415 0 0 0 114979 2036 0 0 25 0 1 0 897611478 76517376 17936 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18681 17936 1111 63 0 18618 0
vsize: 74724
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1405
Raw data (stat): 1405 (bsolo_lpr-v2) R 1404 31399 31398 0 -1 0 569415 0 0 0 114979 2036 0 0 25 0 1 0 897611478 76517376 17936 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18681 17936 1111 63 0 18618 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.07
CPU user time (s): 1154.62
CPU system time (s): 20.4549
CPU usage (%): 100.009
Max. virtual memory (Kb): 74724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####