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/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 39929

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 22:41:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27988 boxname=wulflinc1 idbench=944 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 27988
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        751080 kB
Buffers:         32632 kB
Cached:         225800 kB
SwapCached:       1192 kB
Active:          30896 kB
Inactive:       229852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        750828 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            17108 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:01:22 (client local time) WITH STATUS 10 IN 1175.37 SECONDS
stats: 27988 0 1175.37 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 60 variables and 30 constraints.
c After prepocess the problem consists of 60 variables and 30 constraints.
c preprocess terminated 0.131 s
c Initial Lower Bound: -9228
c Lower Bound Elapsed time: 0.014
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -6334 @ 0.993
c NEW SOLUTION FOUND: -6410 @ 1.007
c NEW SOLUTION FOUND: -6541 @ 1.015
c NEW SOLUTION FOUND: -6552 @ 1.02
c NEW SOLUTION FOUND: -6580 @ 22.484
c NEW SOLUTION FOUND: -6613 @ 27.708
c NEW SOLUTION FOUND: -6631 @ 28.549
c NEW SOLUTION FOUND: -6646 @ 28.846
c NEW SOLUTION FOUND: -6666 @ 122.937
c NEW SOLUTION FOUND: -6996 @ 168.587
c NEW SOLUTION FOUND: -7003 @ 169.317
c NEW SOLUTION FOUND: -7062 @ 169.857
c NEW SOLUTION FOUND: -7073 @ 173.577
c NEW SOLUTION FOUND: -7086 @ 174.078
c NEW SOLUTION FOUND: -7109 @ 180.152
c NEW SOLUTION FOUND: -7147 @ 180.176
c NEW SOLUTION FOUND: -7149 @ 186.8
c NEW SOLUTION FOUND: -7210 @ 192.446
c NEW SOLUTION FOUND: -7223 @ 201.996
c NEW SOLUTION FOUND: -7295 @ 227.937
c NEW SOLUTION FOUND: -7299 @ 1094.22
s SATISFIABLE
v -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 -Y27_bit0 Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 Y47_bit0 Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_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.67 0.88 0.89 2/55 12961
Raw data (stat): 12961 (runsolver) R 12960 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 839817915 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99978 s]
Raw data (loadavg): 0.72 0.88 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 7236 0 0 0 962 35 0 0 25 0 1 0 839817915 15499264 3071 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 3071 1111 63 0 3721 0
vsize: 15136
[startup+20.0005 s]
Raw data (loadavg): 0.76 0.88 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 13657 0 0 0 1928 69 0 0 25 0 1 0 839817915 24666112 5278 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6022 5278 1111 63 0 5959 0
vsize: 24088
[startup+30.0004 s]
Raw data (loadavg): 0.80 0.89 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 20585 0 0 0 2890 107 0 0 25 0 1 0 839817915 35340288 7746 4294967295 134512640 134716908 3221224576 3221220832 1074807705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8628 7746 1111 63 0 8565 0
vsize: 34512
[startup+40.0011 s]
Raw data (loadavg): 0.83 0.89 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 26711 0 0 0 3858 140 0 0 25 0 1 0 839817915 43483136 9799 4294967295 134512640 134716908 3221224576 3221220704 1075112371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10574 9797 1111 63 0 10511 0
vsize: 42464
[startup+50.0019 s]
Raw data (loadavg): 0.85 0.89 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 32985 0 0 0 4822 176 0 0 25 0 1 0 839817915 54370304 12099 4294967295 134512640 134716908 3221224576 3221220540 1074860591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13274 12099 1111 63 0 13211 0
vsize: 53096
[startup+60.0017 s]
Raw data (loadavg): 0.88 0.90 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 38324 0 0 0 5794 204 0 0 25 0 1 0 839817915 61161472 13812 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14977 13813 1111 63 0 14914 0
vsize: 59728
[startup+70.0025 s]
Raw data (loadavg): 0.89 0.90 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 43274 0 0 0 6768 230 0 0 25 0 1 0 839817915 67305472 15330 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16432 15330 1111 63 0 16369 0
vsize: 65728
[startup+80.0023 s]
Raw data (loadavg): 0.91 0.90 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 48478 0 0 0 7741 257 0 0 25 0 1 0 839817915 74055680 16970 4294967295 134512640 134716908 3221224576 3221220720 1074968932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18080 16970 1111 63 0 18017 0
vsize: 72320
[startup+90.0034 s]
Raw data (loadavg): 0.92 0.90 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 53392 0 0 0 8715 284 0 0 25 0 1 0 839817915 80654336 18620 4294967295 134512640 134716908 3221224576 3221220784 1074815044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19691 18620 1111 63 0 19628 0
vsize: 78764
[startup+100.003 s]
Raw data (loadavg): 0.93 0.91 0.89 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 58227 0 0 0 9688 311 0 0 25 0 1 0 839817915 86302720 20075 4294967295 134512640 134716908 3221224576 3221222620 1077379966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21070 20075 1111 63 0 21007 0
vsize: 84280
[startup+110.003 s]
Raw data (loadavg): 0.94 0.91 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 64360 0 0 0 10659 340 0 0 25 0 1 0 839817915 100667392 22715 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24577 22715 1111 63 0 24514 0
vsize: 98308
[startup+120.003 s]
Raw data (loadavg): 0.95 0.91 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 69772 0 0 0 11630 369 0 0 25 0 1 0 839817915 108281856 24494 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26436 24494 1111 63 0 26373 0
vsize: 105744
[startup+130.003 s]
Raw data (loadavg): 0.96 0.91 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 75125 0 0 0 12601 398 0 0 25 0 1 0 839817915 115486720 26205 4294967295 134512640 134716908 3221224576 3221220804 1075115073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28195 26205 1111 63 0 28132 0
vsize: 112780
[startup+140.004 s]
Raw data (loadavg): 0.96 0.92 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 80343 0 0 0 13571 428 0 0 25 0 1 0 839817915 122454016 27912 4294967295 134512640 134716908 3221224576 3221220740 1075964165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29896 27912 1111 63 0 29833 0
vsize: 119584
[startup+150.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 85079 0 0 0 14546 453 0 0 25 0 1 0 839817915 127733760 29293 4294967295 134512640 134716908 3221224576 3221222856 1077402401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31185 29293 1111 63 0 31122 0
vsize: 124740
[startup+160.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 90312 0 0 0 15519 480 0 0 25 0 1 0 839817915 133877760 30868 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32685 30868 1111 63 0 32622 0
vsize: 130740
[startup+170.004 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 94792 0 0 0 16495 504 0 0 25 0 1 0 839817915 139575296 32276 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34076 32276 1111 63 0 34013 0
vsize: 136304
[startup+180.004 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 101039 0 0 0 17465 534 0 0 25 0 1 0 839817915 148545536 34454 4294967295 134512640 134716908 3221224576 3221220720 1074968830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36266 34454 1111 63 0 36203 0
vsize: 145064
[startup+190.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 106803 0 0 0 18437 563 0 0 25 0 1 0 839817915 156184576 36374 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38131 36374 1111 63 0 38068 0
vsize: 152524
[startup+200.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 112406 0 0 0 19405 595 0 0 25 0 1 0 839817915 163115008 38173 4294967295 134512640 134716908 3221224576 3221220544 1075965284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39823 38173 1111 63 0 39760 0
vsize: 159292
[startup+210.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 120119 0 0 0 20375 626 0 0 25 0 1 0 839817915 181952512 40847 4294967295 134512640 134716908 3221224576 3221220848 1074806019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44422 40847 1111 63 0 44359 0
vsize: 177688
[startup+220.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 125778 0 0 0 21343 658 0 0 25 0 1 0 839817915 189755392 42670 4294967295 134512640 134716908 3221224576 3221222424 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46327 42670 1111 63 0 46264 0
vsize: 185308
[startup+230.005 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 131597 0 0 0 22314 687 0 0 25 0 1 0 839817915 197935104 44472 4294967295 134512640 134716908 3221224576 3221220848 1074961366 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48324 44472 1111 63 0 48261 0
vsize: 193296
[startup+240.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 137270 0 0 0 23286 715 0 0 25 0 1 0 839817915 205012992 46288 4294967295 134512640 134716908 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50052 46288 1111 63 0 49989 0
vsize: 200208
[startup+250.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 142740 0 0 0 24257 744 0 0 25 0 1 0 839817915 211750912 47916 4294967295 134512640 134716908 3221224576 3221221152 1076048670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51697 47916 1111 63 0 51634 0
vsize: 206788
[startup+260.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 149544 0 0 0 25229 773 0 0 25 0 1 0 839817915 218497024 49580 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53344 49580 1111 63 0 53281 0
vsize: 213376
[startup+270.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 156052 0 0 0 26200 802 0 0 25 0 1 0 839817915 224514048 51103 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54809 51101 1111 63 0 54746 0
vsize: 219252
[startup+280.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 163294 0 0 0 27167 835 0 0 25 0 1 0 839817915 232329216 52981 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56721 52981 1111 63 0 56658 0
vsize: 226884
[startup+290.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 170692 0 0 0 28132 870 0 0 25 0 1 0 839817915 239263744 54819 4294967295 134512640 134716908 3221224576 3221223112 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58414 54819 1111 63 0 58351 0
vsize: 233656
[startup+300.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 176992 0 0 0 29104 898 0 0 25 0 1 0 839817915 245284864 56347 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59884 56347 1111 63 0 59821 0
vsize: 239536
[startup+310.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 183937 0 0 0 30073 929 0 0 25 0 1 0 839817915 251609088 57879 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61428 57879 1111 63 0 61365 0
vsize: 245712
[startup+320.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 190734 0 0 0 31043 959 0 0 25 0 1 0 839817915 257392640 59316 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62840 59316 1111 63 0 62777 0
vsize: 251360
[startup+330.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 197494 0 0 0 32014 989 0 0 25 0 1 0 839817915 263000064 60764 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64209 60764 1111 63 0 64146 0
vsize: 256836
[startup+340.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 204690 0 0 0 32982 1021 0 0 25 0 1 0 839817915 269811712 62481 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65930 62482 1111 63 0 65867 0
vsize: 263488
[startup+350.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 211595 0 0 0 33951 1052 0 0 25 0 1 0 839817915 275554304 63927 4294967295 134512640 134716908 3221224576 3221222848 1074056195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67274 63927 1111 63 0 67211 0
vsize: 269096
[startup+360.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 218728 0 0 0 34919 1084 0 0 25 0 1 0 839817915 282771456 65718 4294967295 134512640 134716908 3221224576 3221221152 1076044535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69036 65718 1111 63 0 68973 0
vsize: 276144
[startup+370.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 225563 0 0 0 35886 1118 0 0 25 0 1 0 839817915 289116160 67382 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70585 67382 1111 63 0 70522 0
vsize: 282340
[startup+380.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 232732 0 0 0 36855 1148 0 0 25 0 1 0 839817915 295510016 68966 4294967295 134512640 134716908 3221224576 3221220896 1075170070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72119 68966 1111 63 0 72056 0
vsize: 288584
[startup+390.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 239330 0 0 0 37828 1176 0 0 25 0 1 0 839817915 300548096 70278 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73376 70278 1111 63 0 73313 0
vsize: 293504
[startup+400.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 245749 0 0 0 38800 1204 0 0 25 0 1 0 839817915 305795072 71590 4294967295 134512640 134716908 3221224576 3221220672 1074879331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74657 71590 1111 63 0 74594 0
vsize: 298628
[startup+410.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 252513 0 0 0 39771 1233 0 0 25 0 1 0 839817915 311537664 73063 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76115 73064 1111 63 0 76052 0
vsize: 304236
[startup+420.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 256735 0 0 0 40754 1250 0 0 25 0 1 0 839817915 315006976 73956 4294967295 134512640 134716908 3221224576 3221222320 1075636611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76897 73951 1111 63 0 76834 0
vsize: 307624
[startup+430.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 263567 0 0 0 41726 1279 0 0 25 0 1 0 839817915 320430080 75306 4294967295 134512640 134716908 3221224576 3221222528 1075657282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78230 75306 1111 63 0 78167 0
vsize: 312920
[startup+440.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 270335 0 0 0 42699 1306 0 0 25 0 1 0 839817915 325341184 76558 4294967295 134512640 134716908 3221224576 3221223216 134535186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79429 76558 1111 63 0 79366 0
vsize: 317716
[startup+450.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 282226 0 0 0 43663 1342 0 0 25 0 1 0 839817915 351993856 79178 4294967295 134512640 134716908 3221224576 3221220892 1074960596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85936 79178 1111 63 0 85873 0
vsize: 343744
[startup+460.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 289413 0 0 0 44632 1373 0 0 25 0 1 0 839817915 358858752 80759 4294967295 134512640 134716908 3221224576 3221222668 1077404751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87612 80759 1111 63 0 87549 0
vsize: 350448
[startup+470.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 296251 0 0 0 45603 1402 0 0 25 0 1 0 839817915 365178880 82234 4294967295 134512640 134716908 3221224576 3221223008 1073990251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89155 82234 1111 63 0 89092 0
vsize: 356620
[startup+480.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 303119 0 0 0 46577 1429 0 0 25 0 1 0 839817915 371802112 83667 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90772 83667 1111 63 0 90709 0
vsize: 363088
[startup+490.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 310221 0 0 0 47549 1457 0 0 25 0 1 0 839817915 378429440 85160 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92448 85161 1111 63 0 92385 0
vsize: 369560
[startup+500.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 317295 0 0 0 48519 1486 0 0 25 0 1 0 839817915 385196032 86624 4294967295 134512640 134716908 3221224576 3221223172 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94038 86624 1111 63 0 93975 0
vsize: 376168
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 324036 0 0 0 49488 1518 0 0 25 0 1 0 839817915 390590464 87993 4294967295 134512640 134716908 3221224576 3221221124 1076045731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95359 87993 1111 63 0 95296 0
vsize: 381436
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 330805 0 0 0 50461 1545 0 0 25 0 1 0 839817915 396410880 89477 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96780 89477 1111 63 0 96717 0
vsize: 387120
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 336995 0 0 0 51437 1570 0 0 25 0 1 0 839817915 401584128 90700 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98015 90700 1111 63 0 97952 0
vsize: 392172
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 343548 0 0 0 52406 1600 0 0 25 0 1 0 839817915 406736896 92010 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99301 92010 1111 63 0 99238 0
vsize: 397204
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 350678 0 0 0 53377 1629 0 0 25 0 1 0 839817915 413093888 93430 4294967295 134512640 134716908 3221224576 3221221696 1074866164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100825 93429 1111 63 0 100762 0
vsize: 403412
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 357678 0 0 0 54352 1655 0 0 25 0 1 0 839817915 419270656 94878 4294967295 134512640 134716908 3221224576 3221220960 1074972801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102361 94878 1111 63 0 102298 0
vsize: 409444
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 367195 0 0 0 55319 1687 0 0 25 0 1 0 839817915 425205760 96410 4294967295 134512640 134716908 3221224576 3221221096 1074845845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103810 96410 1111 63 0 103747 0
vsize: 415240
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 378193 0 0 0 56281 1726 0 0 25 0 1 0 839817915 431529984 97954 4294967295 134512640 134716908 3221224576 3221223448 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105354 97954 1111 63 0 105291 0
vsize: 421416
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 392968 0 0 0 57235 1772 0 0 25 0 1 0 839817915 437198848 99323 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106738 99324 1111 63 0 106675 0
vsize: 426952
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 407826 0 0 0 58190 1818 0 0 25 0 1 0 839817915 442523648 100780 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108038 100780 1111 63 0 107975 0
vsize: 432152
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 422977 0 0 0 59142 1866 0 0 25 0 1 0 839817915 448274432 102204 4294967295 134512640 134716908 3221224576 3221220784 1074815186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109442 102204 1111 63 0 109379 0
vsize: 437768
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 438266 0 0 0 60096 1912 0 0 25 0 1 0 839817915 453672960 103644 4294967295 134512640 134716908 3221224576 3221222576 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110760 103644 1111 63 0 110697 0
vsize: 443040
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 453067 0 0 0 61047 1961 0 0 25 0 1 0 839817915 459386880 105059 4294967295 134512640 134716908 3221224576 3221220944 1075894546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112155 105059 1111 63 0 112092 0
vsize: 448620
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 468348 0 0 0 61998 2010 0 0 25 0 1 0 839817915 465788928 106571 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113718 106571 1111 63 0 113655 0
vsize: 454872
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 484315 0 0 0 62948 2060 0 0 25 0 1 0 839817915 471990272 108099 4294967295 134512640 134716908 3221224576 3221220720 1074970933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115232 108099 1111 63 0 115169 0
vsize: 460928
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 498673 0 0 0 63908 2101 0 0 25 0 1 0 839817915 476520448 109352 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116338 109352 1111 63 0 116275 0
vsize: 465352
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 513095 0 0 0 64864 2145 0 0 25 0 1 0 839817915 482525184 110690 4294967295 134512640 134716908 3221224576 3221221064 1075169397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117738 110687 1111 63 0 117675 0
vsize: 471216
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 520358 0 0 0 65840 2169 0 0 25 0 1 0 839817915 484978688 111384 4294967295 134512640 134716908 3221224576 3221221152 1076047782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118403 111384 1111 63 0 118340 0
vsize: 473612
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 535041 0 0 0 66795 2214 0 0 25 0 1 0 839817915 489730048 112639 4294967295 134512640 134716908 3221224576 3221223220 134523378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119563 112639 1111 63 0 119500 0
vsize: 478252
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 549906 0 0 0 67750 2259 0 0 25 0 1 0 839817915 495042560 113928 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120860 113928 1111 63 0 120797 0
vsize: 483440
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 564084 0 0 0 68711 2298 0 0 25 0 1 0 839817915 499851264 115125 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122034 115125 1111 63 0 121971 0
vsize: 488136
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 579020 0 0 0 69666 2344 0 0 25 0 1 0 839817915 505380864 116493 4294967295 134512640 134716908 3221224576 3221220920 1075895169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123384 116493 1111 63 0 123321 0
vsize: 493536
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 593784 0 0 0 70621 2389 0 0 25 0 1 0 839817915 510930944 117905 4294967295 134512640 134716908 3221224576 3221220896 1074972782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124706 117903 1111 63 0 124643 0
vsize: 498956
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 608601 0 0 0 71576 2434 0 0 25 0 1 0 839817915 516501504 119354 4294967295 134512640 134716908 3221224576 3221220736 1075094193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126099 119354 1111 63 0 126036 0
vsize: 504396
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 623593 0 0 0 72532 2479 0 0 25 0 1 0 839817915 521637888 120711 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127386 120713 1111 63 0 127323 0
vsize: 509412
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 638542 0 0 0 73488 2523 0 0 25 0 1 0 839817915 527114240 122085 4294967295 134512640 134716908 3221224576 3221220800 1074806936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128690 122085 1111 63 0 128627 0
vsize: 514760
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 653054 0 0 0 74445 2566 0 0 25 0 1 0 839817915 531984384 123395 4294967295 134512640 134716908 3221224576 3221222976 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129879 123395 1111 63 0 129816 0
vsize: 519516
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 667716 0 0 0 75402 2609 0 0 25 0 1 0 839817915 537063424 124712 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 3225643616 0 0 17 1 0 0
Raw data (statm): 131119 124712 1111 63 0 131056 0
vsize: 524476
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 682702 0 0 0 76357 2654 0 0 25 0 1 0 839817915 543019008 126092 4294967295 134512640 134716908 3221224576 3221220604 1074788156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132573 126092 1111 63 0 132510 0
vsize: 530292
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 697361 0 0 0 77314 2697 0 0 25 0 1 0 839817915 549801984 127829 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134229 127830 1111 63 0 134166 0
vsize: 536916
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 712173 0 0 0 78270 2742 0 0 25 0 1 0 839817915 554852352 129125 4294967295 134512640 134716908 3221224576 3221222928 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135530 129127 1111 63 0 135467 0
vsize: 541848
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 726831 0 0 0 79228 2784 0 0 25 0 1 0 839817915 560603136 130580 4294967295 134512640 134716908 3221224576 3221222872 1077378256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136866 130580 1111 63 0 136803 0
vsize: 547464
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 741643 0 0 0 80180 2832 0 0 25 0 1 0 839817915 566329344 131943 4294967295 134512640 134716908 3221224576 3221222848 1074056063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138264 131943 1111 63 0 138201 0
vsize: 553056
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 756435 0 0 0 81133 2879 0 0 25 0 1 0 839817915 572403712 133477 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139747 133477 1111 63 0 139684 0
vsize: 558988
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 771350 0 0 0 82085 2928 0 0 25 0 1 0 839817915 577302528 134760 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140943 134760 1111 63 0 140880 0
vsize: 563772
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 786325 0 0 0 83037 2976 0 0 25 0 1 0 839817915 582754304 136079 4294967295 134512640 134716908 3221224576 3221220848 1074806561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142274 136079 1111 63 0 142211 0
vsize: 569096
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 801070 0 0 0 83992 3021 0 0 25 0 1 0 839817915 587792384 137461 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143504 137461 1111 63 0 143441 0
vsize: 574016
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 816317 0 0 0 84944 3069 0 0 25 0 1 0 839817915 593657856 138884 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144870 138881 1111 63 0 144807 0
vsize: 579744
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 830037 0 0 0 85907 3107 0 0 25 0 1 0 839817915 598298624 140101 4294967295 134512640 134716908 3221224576 3221220820 1074806519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146069 140101 1111 63 0 146006 0
vsize: 584276
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 844032 0 0 0 86866 3147 0 0 25 0 1 0 839817915 602931200 141222 4294967295 134512640 134716908 3221224576 3221223284 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147199 141221 1111 63 0 147136 0
vsize: 588800
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 858688 0 0 0 87823 3190 0 0 25 0 1 0 839817915 607752192 142453 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148377 142453 1111 63 0 148314 0
vsize: 593508
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 873467 0 0 0 88784 3230 0 0 25 0 1 0 839817915 613072896 143776 4294967295 134512640 134716908 3221224576 3221220804 1075115041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149676 143776 1111 63 0 149613 0
vsize: 598704
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 887856 0 0 0 89742 3272 0 0 25 0 1 0 839817915 618348544 145058 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150964 145058 1111 63 0 150901 0
vsize: 603856
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 902490 0 0 0 90701 3313 0 0 25 0 1 0 839817915 623603712 146362 4294967295 134512640 134716908 3221224576 3221223168 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152247 146362 1111 63 0 152184 0
vsize: 608988
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 917224 0 0 0 91658 3356 0 0 25 0 1 0 839817915 628912128 147650 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153543 147654 1111 63 0 153480 0
vsize: 614172
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 931544 0 0 0 92613 3401 0 0 25 0 1 0 839817915 633614336 148944 4294967295 134512640 134716908 3221224576 3221222224 1075817675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154691 148944 1111 63 0 154628 0
vsize: 618764
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 947653 0 0 0 93569 3446 0 0 25 0 1 0 839817915 638967808 150244 4294967295 134512640 134716908 3221224576 3221221684 1074818466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155924 150238 1111 63 0 155861 0
vsize: 623992
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 974714 0 0 0 94509 3506 0 0 25 0 1 0 839817915 680267776 153948 4294967295 134512640 134716908 3221224576 3221223168 134535146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166081 153953 1111 63 0 166018 0
vsize: 664324
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 986978 0 0 0 95476 3539 0 0 25 0 1 0 839817915 689803264 155154 4294967295 134512640 134716908 3221224576 3221221012 1075132805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168409 155154 1111 63 0 168346 0
vsize: 673636
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1006942 0 0 0 96424 3591 0 0 25 0 1 0 839817915 695853056 156501 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169886 156501 1111 63 0 169823 0
vsize: 679544
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1026760 0 0 0 97368 3647 0 0 25 0 1 0 839817915 701513728 157985 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171268 157985 1111 63 0 171205 0
vsize: 685072
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1046522 0 0 0 98317 3699 0 0 25 0 1 0 839817915 707981312 159386 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172847 159386 1111 63 0 172784 0
vsize: 691388
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1065873 0 0 0 99262 3754 0 0 25 0 1 0 839817915 713494528 160696 4294967295 134512640 134716908 3221224576 3221220960 1076117299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174193 160696 1111 63 0 174130 0
vsize: 696772
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1085724 0 0 0 100209 3807 0 0 25 0 1 0 839817915 719503360 162027 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175640 162024 1111 63 0 175577 0
vsize: 702640
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1105885 0 0 0 101155 3862 0 0 25 0 1 0 839817915 727502848 163505 4294967295 134512640 134716908 3221224576 3221221232 1075966065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177558 163503 1111 63 0 177495 0
vsize: 710452
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1124983 0 0 0 102105 3912 0 0 25 0 1 0 839817915 733757440 164820 4294967295 134512640 134716908 3221224576 3221220636 1075965152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179140 164820 1111 63 0 179077 0
vsize: 716560
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1145403 0 0 0 103049 3968 0 0 25 0 1 0 839817915 740380672 166330 4294967295 134512640 134716908 3221224576 3221221936 1075082370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180828 166333 1111 63 0 180765 0
vsize: 723028
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1165507 0 0 0 103994 4023 0 0 25 0 1 0 839817915 747368448 167812 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182463 167812 1111 63 0 182400 0
vsize: 729852
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12961
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1184907 0 0 0 104943 4074 0 0 25 0 1 0 839817915 752439296 169115 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183701 169115 1111 63 0 183638 0
vsize: 734804
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13014
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1203551 0 0 0 105891 4125 0 0 25 0 1 0 839817915 759111680 170592 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185330 170592 1111 63 0 185267 0
vsize: 741320
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13014
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1211547 0 0 0 106871 4146 0 0 25 0 1 0 839817915 762253312 171199 4294967295 134512640 134716908 3221224576 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186097 171199 1111 63 0 186034 0
vsize: 744388
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13014
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1226963 0 0 0 107830 4187 0 0 25 0 1 0 839817915 766287872 172181 4294967295 134512640 134716908 3221224576 3221220848 1074799390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187082 172181 1111 63 0 187019 0
vsize: 748328
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13014
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1246894 0 0 0 108775 4243 0 0 25 0 1 0 839817915 771858432 173633 4294967295 134512640 134716908 3221224576 3221220720 1074969669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188368 173627 1111 63 0 188305 0
vsize: 753768
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13014
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1266189 0 0 0 109719 4298 0 0 25 0 1 0 839817915 776835072 174904 4294967295 134512640 134716908 3221224576 3221220720 1074970650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189657 174904 1111 63 0 189594 0
vsize: 758628
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13014
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1285513 0 0 0 110664 4353 0 0 25 0 1 0 839817915 781840384 176286 4294967295 134512640 134716908 3221224576 3221223060 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190879 176286 1111 63 0 190816 0
vsize: 763516
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13016
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1304314 0 0 0 111610 4408 0 0 25 0 1 0 839817915 787869696 177783 4294967295 134512640 134716908 3221224576 3221220804 1075115127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192351 177783 1111 63 0 192288 0
vsize: 769404
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13016
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1323977 0 0 0 112553 4465 0 0 25 0 1 0 839817915 792645632 179071 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193517 179071 1111 63 0 193454 0
vsize: 774068
[startup+1175.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13018
Raw data (stat): 12961 (bsolo_lpr-v2) R 12960 8378 8377 0 -1 0 1323977 0 0 0 112553 4465 0 0 25 0 1 0 839817915 792645632 179071 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193517 179071 1111 63 0 193454 0
vsize: 0

Child status: 10
Real time (s): 1175.21
CPU time (s): 1175.37
CPU user time (s): 1130.11
CPU system time (s): 45.2611
CPU usage (%): 100.014
Max. virtual memory (Kb): 774068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7299
#### END VERIFIER DATA ####