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-markshare1.opb
MD5SUM	c8b965306fec2c21edee64824d12f378
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 40029

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        881544 kB
Buffers:          4444 kB
Cached:         127208 kB
SwapCached:        948 kB
Active:          22140 kB
Inactive:       111640 kB
HighTotal:      131008 kB
HighFree:         6692 kB
LowTotal:       903652 kB
LowFree:        874852 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4884 kB
Slab:            13668 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:06:40 (client local time) WITH STATUS 10 IN 1175.3 SECONDS
stats: 28084 0 1175.3 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 230 variables and 12 constraints.
c After prepocess the problem consists of 176 variables and 12 constraints.
c preprocess terminated 0.093 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.008
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2054144 @ 0.314
c NEW SOLUTION FOUND: 1867776 @ 0.322
c NEW SOLUTION FOUND: 1681408 @ 0.324
c NEW SOLUTION FOUND: 1679360 @ 0.431
c NEW SOLUTION FOUND: 1628160 @ 0.455
c NEW SOLUTION FOUND: 1533952 @ 0.515
c NEW SOLUTION FOUND: 1495040 @ 0.535
c NEW SOLUTION FOUND: 1441792 @ 0.621
c NEW SOLUTION FOUND: 1328128 @ 0.708
c NEW SOLUTION FOUND: 1139712 @ 1.486
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 s01_bit0 s01_bit1 s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 s11_bit0 s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 s11_bit6 s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 s31_bit0 s31_bit1 s31_bit2 -s31_bit3 -s31_bit4 s31_bit5 s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 s41_bit2 s41_bit3 s41_bit4 -s41_bit5 s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 -s51_bit1 s51_bit2 s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 x0_bit0 x1_bit0 x2_bit0 x3_bit0 -x4_bit0 -x5_bit0 x6_bit0 -x7_bit0 x8_bit0 x9_bit0 -x10_bit0 x11_bit0 x12_bit0 x13_bit0 -x14_bit0 x15_bit0 x16_bit0 x17_bit0 -x18_bit0 x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x30_bit0 -x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 x43_bit0 -x44_bit0 x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 
c Exit Code: 10
c Total time: 1175.28 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.92 0.98 0.93 2/54 24157
Raw data (stat): 24157 (runsolver) R 24156 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897417223 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0007 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 4717 0 0 0 973 24 0 0 25 0 1 0 897417223 9027584 1506 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2204 1506 1111 63 0 2141 0
vsize: 8816
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 7881 0 0 0 1956 41 0 0 25 0 1 0 897417223 10166272 1793 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2482 1793 1111 63 0 2419 0
vsize: 9928
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 11868 0 0 0 2937 60 0 0 25 0 1 0 897417223 11198464 2045 4294967295 134512640 134716908 3221224560 3221222896 1075552862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2734 2045 1111 63 0 2671 0
vsize: 10936
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 16077 0 0 0 3920 77 0 0 25 0 1 0 897417223 12087296 2262 4294967295 134512640 134716908 3221224560 3221222672 1074867328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 2262 1111 63 0 2888 0
vsize: 11804
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 21081 0 0 0 4906 91 0 0 25 0 1 0 897417223 12435456 2347 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3036 2347 1111 63 0 2973 0
vsize: 12144
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 25047 0 0 0 5888 109 0 0 25 0 1 0 897417223 13717504 2613 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3349 2614 1111 63 0 3286 0
vsize: 13396
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 27884 0 0 0 6874 124 0 0 25 0 1 0 897417223 15048704 2985 4294967295 134512640 134716908 3221224560 3221218492 1075363996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2985 1111 63 0 3611 0
vsize: 14696
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 30642 0 0 0 7855 144 0 0 25 0 1 0 897417223 16199680 3238 4294967295 134512640 134716908 3221224560 3221221080 1075132885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 3238 1111 63 0 3892 0
vsize: 15820
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 37521 0 0 0 8830 168 0 0 25 0 1 0 897417223 17346560 3515 4294967295 134512640 134716908 3221224560 3221221912 1074832305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4204 3514 1111 63 0 4141 0
vsize: 16940
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 44710 0 0 0 9809 190 0 0 25 0 1 0 897417223 18251776 3767 4294967295 134512640 134716908 3221224560 3221222560 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3767 1111 63 0 4393 0
vsize: 17824
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 51253 0 0 0 10790 209 0 0 25 0 1 0 897417223 19734528 4116 4294967295 134512640 134716908 3221224560 3221223272 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4818 4116 1111 63 0 4755 0
vsize: 19272
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 58279 0 0 0 11769 230 0 0 25 0 1 0 897417223 21430272 4475 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5203 4475 1111 63 0 5140 0
vsize: 20928
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 64368 0 0 0 12749 251 0 0 25 0 1 0 897417223 22704128 4776 4294967295 134512640 134716908 3221224560 3221220788 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4776 1111 63 0 5480 0
vsize: 22172
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 70876 0 0 0 13730 270 0 0 25 0 1 0 897417223 25317376 5459 4294967295 134512640 134716908 3221224560 3221222560 1074915773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6181 5459 1111 63 0 6118 0
vsize: 24724
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 72525 0 0 0 14727 273 0 0 25 0 1 0 897417223 24047616 5174 4294967295 134512640 134716908 3221224560 3221223352 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5871 5174 1111 63 0 5808 0
vsize: 23484
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 74479 0 0 0 15722 278 0 0 25 0 1 0 897417223 25497600 5431 4294967295 134512640 134716908 3221224560 3221220768 1074815211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6225 5431 1111 63 0 6162 0
vsize: 24900
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 77768 0 0 0 16714 286 0 0 25 0 1 0 897417223 25395200 5422 4294967295 134512640 134716908 3221224560 3221221216 1075968406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6200 5422 1111 63 0 6137 0
vsize: 24800
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 83717 0 0 0 17702 298 0 0 25 0 1 0 897417223 23429120 5026 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5720 5026 1111 63 0 5657 0
vsize: 22880
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 88427 0 0 0 18692 308 0 0 25 0 1 0 897417223 25509888 5439 4294967295 134512640 134716908 3221224560 3221220832 1074961253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6228 5439 1111 63 0 6165 0
vsize: 24912
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 93958 0 0 0 19680 321 0 0 25 0 1 0 897417223 24244224 5212 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5919 5212 1111 63 0 5856 0
vsize: 23676
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 98758 0 0 0 20670 331 0 0 25 0 1 0 897417223 23654400 5081 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 5081 1111 63 0 5712 0
vsize: 23100
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 104965 0 0 0 21656 346 0 0 25 0 1 0 897417223 24068096 5182 4294967295 134512640 134716908 3221224560 3221222200 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5838 5144 1111 63 0 5775 0
vsize: 23504
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 111338 0 0 0 22642 360 0 0 25 0 1 0 897417223 23887872 5128 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 5128 1111 63 0 5769 0
vsize: 23328
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 118321 0 0 0 23627 375 0 0 25 0 1 0 897417223 24489984 5279 4294967295 134512640 134716908 3221224560 3221221752 1074138259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 5279 1111 63 0 5916 0
vsize: 23916
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 124784 0 0 0 24612 390 0 0 25 0 1 0 897417223 23953408 5154 4294967295 134512640 134716908 3221224560 3221223156 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 5154 1111 63 0 5785 0
vsize: 23392
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 130835 0 0 0 25598 405 0 0 25 0 1 0 897417223 25473024 5266 4294967295 134512640 134716908 3221224560 3221221372 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5986 5229 1111 63 0 5923 0
vsize: 24876
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 135480 0 0 0 26587 415 0 0 25 0 1 0 897417223 24793088 5344 4294967295 134512640 134716908 3221224560 3221221752 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6053 5344 1111 63 0 5990 0
vsize: 24212
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 140798 0 0 0 27576 427 0 0 25 0 1 0 897417223 24555520 5301 4294967295 134512640 134716908 3221224560 3221222472 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5995 5301 1111 63 0 5932 0
vsize: 23980
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 149891 0 0 0 28555 448 0 0 25 0 1 0 897417223 26972160 5659 4294967295 134512640 134716908 3221224560 3221220704 1074970398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6585 5659 1111 63 0 6522 0
vsize: 26340
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 155735 0 0 0 29541 462 0 0 25 0 1 0 897417223 24612864 5315 4294967295 134512640 134716908 3221224560 3221222712 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6009 5315 1111 63 0 5946 0
vsize: 24036
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 161174 0 0 0 30529 474 0 0 25 0 1 0 897417223 25092096 5400 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6126 5400 1111 63 0 6063 0
vsize: 24504
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 166934 0 0 0 31516 488 0 0 25 0 1 0 897417223 24825856 5367 4294967295 134512640 134716908 3221224560 3221223400 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6061 5367 1111 63 0 5998 0
vsize: 24244
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 172532 0 0 0 32503 501 0 0 25 0 1 0 897417223 25104384 5424 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6129 5424 1111 63 0 6066 0
vsize: 24516
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 178792 0 0 0 33490 514 0 0 25 0 1 0 897417223 25051136 5425 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5425 1111 63 0 6053 0
vsize: 24464
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 184441 0 0 0 34477 527 0 0 25 0 1 0 897417223 25169920 5456 4294967295 134512640 134716908 3221224560 3221222560 1074915844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6145 5456 1111 63 0 6082 0
vsize: 24580
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 190706 0 0 0 35463 541 0 0 25 0 1 0 897417223 25477120 5520 4294967295 134512640 134716908 3221224560 3221222560 1074916725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6220 5520 1111 63 0 6157 0
vsize: 24880
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 197308 0 0 0 36447 558 0 0 25 0 1 0 897417223 25579520 5547 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6245 5547 1111 63 0 6182 0
vsize: 24980
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 202657 0 0 0 37434 570 0 0 25 0 1 0 897417223 25841664 5620 4294967295 134512640 134716908 3221224560 3221221904 1074839041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 5625 1111 63 0 6327 0
vsize: 25236
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 209142 0 0 0 38420 585 0 0 25 0 1 0 897417223 27963392 5957 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6827 5957 1111 63 0 6764 0
vsize: 27308
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 214255 0 0 0 39409 596 0 0 25 0 1 0 897417223 25980928 5642 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6343 5642 1111 63 0 6280 0
vsize: 25372
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 219994 0 0 0 40397 609 0 0 25 0 1 0 897417223 27013120 5900 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6595 5900 1111 63 0 6532 0
vsize: 26380
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 224381 0 0 0 41387 618 0 0 25 0 1 0 897417223 27545600 5872 4294967295 134512640 134716908 3221224560 3221220716 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6725 5872 1111 63 0 6662 0
vsize: 26900
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 232347 0 0 0 42369 637 0 0 25 0 1 0 897417223 27201536 5760 4294967295 134512640 134716908 3221224560 3221220880 1075170597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6641 5760 1111 63 0 6578 0
vsize: 26564
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 240331 0 0 0 43350 657 0 0 25 0 1 0 897417223 27136000 5927 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6625 5927 1111 63 0 6562 0
vsize: 26500
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 248377 0 0 0 44331 676 0 0 25 0 1 0 897417223 27623424 5838 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6744 5838 1111 63 0 6681 0
vsize: 26976
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 255368 0 0 0 45314 693 0 0 25 0 1 0 897417223 26566656 5797 4294967295 134512640 134716908 3221224560 3221222560 1074916702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5797 1111 63 0 6423 0
vsize: 25944
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 264338 0 0 0 46293 713 0 0 25 0 1 0 897417223 26853376 5867 4294967295 134512640 134716908 3221224560 3221223288 134622873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6556 5867 1111 63 0 6493 0
vsize: 26224
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 269675 0 0 0 47280 727 0 0 25 0 1 0 897417223 27992064 5946 4294967295 134512640 134716908 3221224560 3221220524 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6834 5946 1111 63 0 6771 0
vsize: 27336
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 275846 0 0 0 48265 742 0 0 25 0 1 0 897417223 27443200 5979 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6700 5979 1111 63 0 6637 0
vsize: 26800
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 280769 0 0 0 49253 754 0 0 25 0 1 0 897417223 27271168 5956 4294967295 134512640 134716908 3221224560 3221222560 1074916856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6658 5956 1111 63 0 6595 0
vsize: 26632
[startup+510.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 285831 0 0 0 50241 767 0 0 25 0 1 0 897417223 28557312 6082 4294967295 134512640 134716908 3221224560 3221220928 1075894480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6972 6082 1111 63 0 6909 0
vsize: 27888
[startup+520.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 291916 0 0 0 51228 781 0 0 25 0 1 0 897417223 27303936 5977 4294967295 134512640 134716908 3221224560 3221222672 1074153722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6666 5977 1111 63 0 6603 0
vsize: 26664
[startup+530.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 297925 0 0 0 52213 796 0 0 25 0 1 0 897417223 28897280 6181 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7055 6181 1111 63 0 6992 0
vsize: 28220
[startup+540.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 308202 0 0 0 53187 823 0 0 25 0 1 0 897417223 28119040 6132 4294967295 134512640 134716908 3221224560 3221222464 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6865 6132 1111 63 0 6802 0
vsize: 27460
[startup+550.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 316051 0 0 0 54167 843 0 0 25 0 1 0 897417223 28241920 6185 4294967295 134512640 134716908 3221224560 3221222560 1074918536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6895 6185 1111 63 0 6832 0
vsize: 27580
[startup+560.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 327796 0 0 0 55139 870 0 0 25 0 1 0 897417223 28438528 6242 4294967295 134512640 134716908 3221224560 3221223272 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6242 1111 63 0 6880 0
vsize: 27772
[startup+570.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 334982 0 0 0 56124 886 0 0 25 0 1 0 897417223 29138944 6399 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7114 6399 1111 63 0 7051 0
vsize: 28456
[startup+580.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 341498 0 0 0 57108 902 0 0 25 0 1 0 897417223 29356032 6460 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7167 6460 1111 63 0 7104 0
vsize: 28668
[startup+590.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 349409 0 0 0 58091 919 0 0 25 0 1 0 897417223 30744576 6635 4294967295 134512640 134716908 3221224560 3221221504 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6635 1111 63 0 7443 0
vsize: 30024
[startup+600.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 356870 0 0 0 59073 937 0 0 25 0 1 0 897417223 29696000 6520 4294967295 134512640 134716908 3221224560 3221222656 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7250 6520 1111 63 0 7187 0
vsize: 29000
[startup+610.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 361588 0 0 0 60063 948 0 0 25 0 1 0 897417223 29126656 6411 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7111 6411 1111 63 0 7048 0
vsize: 28444
[startup+620.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 365949 0 0 0 61054 957 0 0 25 0 1 0 897417223 29880320 6563 4294967295 134512640 134716908 3221224560 3221222560 1074918577 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7295 6563 1111 63 0 7232 0
vsize: 29180
[startup+630.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 371157 0 0 0 62043 968 0 0 25 0 1 0 897417223 30121984 6644 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7354 6644 1111 63 0 7291 0
vsize: 29416
[startup+640.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 375783 0 0 0 63034 978 0 0 25 0 1 0 897417223 30052352 6605 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 6605 1111 63 0 7274 0
vsize: 29348
[startup+650.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 380668 0 0 0 64024 988 0 0 25 0 1 0 897417223 29782016 6543 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 6543 1111 63 0 7208 0
vsize: 29084
[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 385860 0 0 0 65012 1000 0 0 25 0 1 0 897417223 29499392 6502 4294967295 134512640 134716908 3221224560 3221222704 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7202 6502 1111 63 0 7139 0
vsize: 28808
[startup+670.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 390623 0 0 0 66000 1012 0 0 25 0 1 0 897417223 29675520 6545 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7245 6545 1111 63 0 7182 0
vsize: 28980
[startup+680.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 397266 0 0 0 66985 1028 0 0 25 0 1 0 897417223 29941760 6596 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7310 6596 1111 63 0 7247 0
vsize: 29240
[startup+690.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 403070 0 0 0 67971 1042 0 0 25 0 1 0 897417223 31494144 6818 4294967295 134512640 134716908 3221224560 3221221632 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7689 6818 1111 63 0 7626 0
vsize: 30756
[startup+700.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 408328 0 0 0 68959 1054 0 0 25 0 1 0 897417223 31633408 6831 4294967295 134512640 134716908 3221224560 3221220896 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6831 1111 63 0 7660 0
vsize: 30892
[startup+710.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 414182 0 0 0 69944 1069 0 0 25 0 1 0 897417223 30507008 6747 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6747 1111 63 0 7385 0
vsize: 29792
[startup+720.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 416845 0 0 0 70938 1075 0 0 25 0 1 0 897417223 31076352 6875 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7587 6875 1111 63 0 7524 0
vsize: 30348
[startup+730.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 424569 0 0 0 71920 1093 0 0 25 0 1 0 897417223 30478336 6741 4294967295 134512640 134716908 3221224560 3221223248 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6741 1111 63 0 7378 0
vsize: 29764
[startup+740.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 428941 0 0 0 72911 1102 0 0 25 0 1 0 897417223 31727616 6827 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 6829 1111 63 0 7683 0
vsize: 30984
[startup+750.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 434614 0 0 0 73898 1116 0 0 25 0 1 0 897417223 32391168 6998 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7908 6998 1111 63 0 7845 0
vsize: 31632
[startup+760.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 439876 0 0 0 74885 1129 0 0 25 0 1 0 897417223 31019008 6864 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7573 6864 1111 63 0 7510 0
vsize: 30292
[startup+770.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24157
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 450480 0 0 0 75861 1153 0 0 25 0 1 0 897417223 30941184 6854 4294967295 134512640 134716908 3221224560 3221223280 134622876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7554 6854 1111 63 0 7491 0
vsize: 30216
[startup+780.055 s]
Raw data (loadavg): 0.99 0.98 0.93 3/57 24193
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 456103 0 0 0 76846 1169 0 0 25 0 1 0 897417223 33239040 7295 4294967295 134512640 134716908 3221224560 3221220788 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8115 7295 1111 63 0 8052 0
vsize: 32460
[startup+790.055 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24210
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 461440 0 0 0 77834 1180 0 0 25 0 1 0 897417223 31199232 6917 4294967295 134512640 134716908 3221224560 3221222352 1074052283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7617 6917 1111 63 0 7554 0
vsize: 30468
[startup+800.055 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24210
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 466914 0 0 0 78822 1193 0 0 25 0 1 0 897417223 32595968 7046 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7958 7046 1111 63 0 7895 0
vsize: 31832
[startup+810.055 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24210
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 471286 0 0 0 79811 1204 0 0 25 0 1 0 897417223 33652736 7316 4294967295 134512640 134716908 3221224560 3221220660 1075964296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8216 7316 1111 63 0 8153 0
vsize: 32864
[startup+820.057 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24210
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 478985 0 0 0 80792 1223 0 0 25 0 1 0 897417223 32702464 7071 4294967295 134512640 134716908 3221224560 3221221852 1074818744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7984 7071 1111 63 0 7921 0
vsize: 31936
[startup+830.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24210
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 484552 0 0 0 81780 1236 0 0 25 0 1 0 897417223 31842304 7074 4294967295 134512640 134716908 3221224560 3221223312 1077377147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7774 7074 1111 63 0 7711 0
vsize: 31096
[startup+840.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24210
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 489460 0 0 0 82768 1248 0 0 25 0 1 0 897417223 31604736 7016 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7716 7016 1111 63 0 7653 0
vsize: 30864
[startup+850.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 500490 0 0 0 83743 1273 0 0 25 0 1 0 897417223 33263616 7216 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 7216 1111 63 0 8058 0
vsize: 32484
[startup+860.062 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 510112 0 0 0 84718 1298 0 0 25 0 1 0 897417223 33513472 7308 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8182 7308 1111 63 0 8119 0
vsize: 32728
[startup+870.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 515924 0 0 0 85704 1312 0 0 25 0 1 0 897417223 32153600 7153 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7850 7153 1111 63 0 7787 0
vsize: 31400
[startup+880.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 525367 0 0 0 86683 1334 0 0 25 0 1 0 897417223 32333824 7197 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7894 7197 1111 63 0 7831 0
vsize: 31576
[startup+890.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 532746 0 0 0 87665 1352 0 0 25 0 1 0 897417223 32419840 7218 4294967295 134512640 134716908 3221224560 3221221664 1074138755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7915 7218 1111 63 0 7852 0
vsize: 31660
[startup+900.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 543188 0 0 0 88641 1376 0 0 25 0 1 0 897417223 33624064 7247 4294967295 134512640 134716908 3221224560 3221221328 1076083763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 7247 1111 63 0 8146 0
vsize: 32836
[startup+910.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 550176 0 0 0 89624 1393 0 0 25 0 1 0 897417223 33714176 7342 4294967295 134512640 134716908 3221224560 3221220528 1074872824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8231 7342 1111 63 0 8168 0
vsize: 32924
[startup+920.065 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 558709 0 0 0 90603 1414 0 0 25 0 1 0 897417223 33083392 7366 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7366 1111 63 0 8014 0
vsize: 32308
[startup+930.065 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 566263 0 0 0 91584 1434 0 0 25 0 1 0 897417223 33140736 7394 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8091 7394 1111 63 0 8028 0
vsize: 32364
[startup+940.066 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 574659 0 0 0 92565 1453 0 0 25 0 1 0 897417223 35799040 7667 4294967295 134512640 134716908 3221224560 3221220652 1075663457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8740 7667 1111 63 0 8677 0
vsize: 34960
[startup+950.066 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 580449 0 0 0 93551 1467 0 0 25 0 1 0 897417223 33382400 7453 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8150 7453 1111 63 0 8087 0
vsize: 32600
[startup+960.067 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 591693 0 0 0 94525 1494 0 0 25 0 1 0 897417223 33554432 7495 4294967295 134512640 134716908 3221224560 3221223104 1073989488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 7495 1111 63 0 8129 0
vsize: 32768
[startup+970.067 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 603510 0 0 0 95498 1521 0 0 25 0 1 0 897417223 34758656 7569 4294967295 134512640 134716908 3221224560 3221220788 1075115073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 7569 1111 63 0 8423 0
vsize: 33944
[startup+980.068 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 613348 0 0 0 96473 1546 0 0 25 0 1 0 897417223 33742848 7541 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8238 7541 1111 63 0 8175 0
vsize: 32952
[startup+990.069 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 623235 0 0 0 97448 1571 0 0 25 0 1 0 897417223 33820672 7560 4294967295 134512640 134716908 3221224560 3221222840 1074208561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8257 7560 1111 63 0 8194 0
vsize: 33028
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 634302 0 0 0 98423 1596 0 0 25 0 1 0 897417223 33959936 7594 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8291 7594 1111 63 0 8228 0
vsize: 33164
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 644876 0 0 0 99397 1622 0 0 25 0 1 0 897417223 35393536 7762 4294967295 134512640 134716908 3221224560 3221221160 1075850708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8641 7762 1111 63 0 8578 0
vsize: 34564
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 654421 0 0 0 100374 1646 0 0 25 0 1 0 897417223 35528704 7756 4294967295 134512640 134716908 3221224560 3221221096 1075132865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8674 7756 1111 63 0 8611 0
vsize: 34696
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 664224 0 0 0 101351 1669 0 0 25 0 1 0 897417223 35872768 7867 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8758 7867 1111 63 0 8695 0
vsize: 35032
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 673495 0 0 0 102329 1691 0 0 25 0 1 0 897417223 35676160 7819 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8710 7819 1111 63 0 8647 0
vsize: 34840
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 686859 0 0 0 103297 1724 0 0 25 0 1 0 897417223 34779136 7794 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8491 7794 1111 63 0 8428 0
vsize: 33964
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 697190 0 0 0 104273 1747 0 0 25 0 1 0 897417223 34902016 7824 4294967295 134512640 134716908 3221224560 3221222696 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8521 7824 1111 63 0 8458 0
vsize: 34084
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 704724 0 0 0 105256 1765 0 0 25 0 1 0 897417223 35000320 7848 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8545 7848 1111 63 0 8482 0
vsize: 34180
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 714160 0 0 0 106235 1786 0 0 25 0 1 0 897417223 36151296 7929 4294967295 134512640 134716908 3221224560 3221220788 1075114921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8826 7929 1111 63 0 8763 0
vsize: 35304
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 725772 0 0 0 107208 1813 0 0 25 0 1 0 897417223 36544512 8029 4294967295 134512640 134716908 3221224560 3221221160 1075850777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8922 8029 1111 63 0 8859 0
vsize: 35688
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 739205 0 0 0 108178 1843 0 0 25 0 1 0 897417223 35921920 8026 4294967295 134512640 134716908 3221224560 3221223116 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8770 8026 1111 63 0 8707 0
vsize: 35080
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24212
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 751749 0 0 0 109149 1873 0 0 25 0 1 0 897417223 36102144 8070 4294967295 134512640 134716908 3221224560 3221222800 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8814 8070 1111 63 0 8751 0
vsize: 35256
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 764714 0 0 0 110119 1903 0 0 25 0 1 0 897417223 37515264 8230 4294967295 134512640 134716908 3221224560 3221220768 1074815366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 8230 1111 63 0 9096 0
vsize: 36636
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 778240 0 0 0 111088 1933 0 0 25 0 1 0 897417223 36745216 8234 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8971 8234 1111 63 0 8908 0
vsize: 35884
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 786619 0 0 0 112067 1955 0 0 25 0 1 0 897417223 36749312 8233 4294967295 134512640 134716908 3221224560 3221222528 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8972 8233 1111 63 0 8909 0
vsize: 35888
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 791740 0 0 0 113054 1968 0 0 25 0 1 0 897417223 36995072 8295 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9032 8295 1111 63 0 8969 0
vsize: 36128
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 798385 0 0 0 114037 1985 0 0 25 0 1 0 897417223 38223872 8392 4294967295 134512640 134716908 3221224560 3221221632 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9332 8392 1111 63 0 9269 0
vsize: 37328
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 811103 0 0 0 115006 2016 0 0 25 0 1 0 897417223 38060032 8365 4294967295 134512640 134716908 3221224560 3221220944 1074972319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9292 8365 1111 63 0 9229 0
vsize: 37168
[startup+1175.15 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 24214
Raw data (stat): 24157 (bsolo_lpr-v2) R 24156 21152 21151 0 -1 0 811103 0 0 0 115006 2016 0 0 25 0 1 0 897417223 38060032 8365 4294967295 134512640 134716908 3221224560 3221220944 1074972319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9292 8365 1111 63 0 9229 0
vsize: 0

Child status: 10
Real time (s): 1175.15
CPU time (s): 1175.3
CPU user time (s): 1154.97
CPU system time (s): 20.3359
CPU usage (%): 100.013
Max. virtual memory (Kb): 37328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1139712
#### END VERIFIER DATA ####