PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bk4x3.opb
MD5SUM	c2339539ffa69702e62053614fe34ce1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	44800
Optimality of the best value was proved	NO
Number of terms in the objective function	252
Biggest coefficient in the objective function	2621440
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	35682270
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	2621440
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	35682270
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	24.1133
Number of variables	252
Total number of constraints	19
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	19
Minimum length of a constraint	21
Maximum length of a constraint	80
Trace number 40439

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 10:16:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28504 boxname=wulflinc3 idbench=1460 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c2339539ffa69702e62053614fe34ce1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bk4x3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-bk4x3.opb
IDLAUNCH: 28504
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        899176 kB
Buffers:          1848 kB
Cached:         113964 kB
SwapCached:        808 kB
Active:          29628 kB
Inactive:        88264 kB
HighTotal:      131008 kB
HighFree:        17164 kB
LowTotal:       903652 kB
LowFree:        882012 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            11992 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:36:10 (client local time) WITH STATUS 10 IN 1175.21 SECONDS
stats: 28504 0 1175.21 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 252 variables and 26 constraints.
c After prepocess the problem consists of 154 variables and 32 constraints.
c preprocess terminated 0.101 s
c Initial Lower Bound: 41174
c Lower Bound Elapsed time: 0.00825
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 60160 @ 0.929
c NEW SOLUTION FOUND: 59904 @ 0.938
c NEW SOLUTION FOUND: 58624 @ 1.286
c NEW SOLUTION FOUND: 57472 @ 3.376
c NEW SOLUTION FOUND: 57344 @ 3.385
c NEW SOLUTION FOUND: 57216 @ 3.443
c NEW SOLUTION FOUND: 57088 @ 3.512
c NEW SOLUTION FOUND: 57024 @ 15.564
c NEW SOLUTION FOUND: 56960 @ 137.297
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 X0_bit_2 X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 X1_bit_2 X1_bit_1 X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 X2_bit_1 X2_bit0 X2_bit1 X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 X4_bit1 X4_bit2 X4_bit3 X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 X6_bit_2 -X6_bit_1 X6_bit0 X6_bit1 -X6_bit2 -X6_bit3 X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 X7_bit1 X7_bit2 X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 X8_bit_2 X8_bit_1 -X8_bit0 X8_bit1 X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 X11_bit_2 X11_bit_1 X11_bit0 X11_bit1 X11_bit2 X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 Y6_bit0 Y7_bit0 Y8_bit0 -Y9_bit0 Y10_bit0 Y11_bit0 
c Exit Code: 10
c Total time: 1175.19 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.85 0.97 0.92 1/54 24738
Raw data (stat): 24738 (runsolver) R 24737 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900835627 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.99986 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 4026 0 0 0 975 22 0 0 25 0 1 0 900835627 7323648 1098 4294967295 134512640 134716908 3221224576 3221223248 134524436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1788 1098 1111 63 0 1725 0
vsize: 7152
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 7369 0 0 0 1959 38 0 0 25 0 1 0 900835627 7827456 1222 4294967295 134512640 134716908 3221224576 3221222976 1074209057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 1222 1111 63 0 1848 0
vsize: 7644
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 12077 0 0 0 2939 58 0 0 25 0 1 0 900835627 8323072 1313 4294967295 134512640 134716908 3221224576 3221220732 1075093097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2032 1313 1111 63 0 1969 0
vsize: 8128
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 18914 0 0 0 3914 83 0 0 25 0 1 0 900835627 8671232 1430 4294967295 134512640 134716908 3221224576 3221223408 134590278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2117 1430 1111 63 0 2054 0
vsize: 8468
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 26706 0 0 0 4887 110 0 0 25 0 1 0 900835627 9232384 1567 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2254 1567 1111 63 0 2191 0
vsize: 9016
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 35672 0 0 0 5858 139 0 0 25 0 1 0 900835627 9564160 1649 4294967295 134512640 134716908 3221224576 3221222152 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2335 1649 1111 63 0 2272 0
vsize: 9340
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 47271 0 0 0 6826 172 0 0 25 0 1 0 900835627 9936896 1740 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2426 1740 1111 63 0 2363 0
vsize: 9704
[startup+80.003 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 60550 0 0 0 7792 205 0 0 25 0 1 0 900835627 10129408 1787 4294967295 134512640 134716908 3221224576 3221222928 1074142706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2473 1787 1111 63 0 2410 0
vsize: 9892
[startup+90.0035 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 72103 0 0 0 8762 236 0 0 25 0 1 0 900835627 10321920 1834 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2520 1834 1111 63 0 2457 0
vsize: 10080
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 83452 0 0 0 9729 269 0 0 25 0 1 0 900835627 10600448 1902 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2671 1905 1111 63 0 2608 0
vsize: 10352
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 93648 0 0 0 10702 297 0 0 25 0 1 0 900835627 10780672 1946 4294967295 134512640 134716908 3221224576 3221222348 1077404777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1946 1111 63 0 2569 0
vsize: 10528
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 103757 0 0 0 11675 324 0 0 25 0 1 0 900835627 10981376 1995 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2681 1995 1111 63 0 2618 0
vsize: 10724
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 114069 0 0 0 12645 353 0 0 25 0 1 0 900835627 11382784 2043 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2779 2043 1111 63 0 2716 0
vsize: 11116
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 123340 0 0 0 13616 383 0 0 25 0 1 0 900835627 11669504 2098 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2849 2098 1111 63 0 2786 0
vsize: 11396
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 132616 0 0 0 14587 412 0 0 25 0 1 0 900835627 11370496 2090 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2776 2090 1111 63 0 2713 0
vsize: 11104
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 141860 0 0 0 15560 438 0 0 25 0 1 0 900835627 11534336 2130 4294967295 134512640 134716908 3221224576 3221223296 134622905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2816 2130 1111 63 0 2753 0
vsize: 11264
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 152476 0 0 0 16530 469 0 0 25 0 1 0 900835627 12357632 2267 4294967295 134512640 134716908 3221224576 3221220736 1075091287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2267 1111 63 0 2954 0
vsize: 12068
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 160258 0 0 0 17508 491 0 0 25 0 1 0 900835627 12087296 2213 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2213 1111 63 0 2888 0
vsize: 11804
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 169076 0 0 0 18483 516 0 0 25 0 1 0 900835627 12267520 2239 4294967295 134512640 134716908 3221224576 3221220720 1074971715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2995 2239 1111 63 0 2932 0
vsize: 11980
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 176860 0 0 0 19462 537 0 0 25 0 1 0 900835627 11997184 2243 4294967295 134512640 134716908 3221224576 3221223132 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2929 2243 1111 63 0 2866 0
vsize: 11716
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 189915 0 0 0 20428 572 0 0 25 0 1 0 900835627 12320768 2322 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2322 1111 63 0 2945 0
vsize: 12032
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 203660 0 0 0 21392 607 0 0 25 0 1 0 900835627 12369920 2333 4294967295 134512640 134716908 3221224576 3221221696 1074865100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3122 2337 1111 63 0 3059 0
vsize: 12080
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 218240 0 0 0 22356 644 0 0 25 0 1 0 900835627 12980224 2406 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 2418 1111 63 0 3106 0
vsize: 12676
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 233259 0 0 0 23317 683 0 0 25 0 1 0 900835627 13160448 2468 4294967295 134512640 134716908 3221224576 3221220676 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2468 1111 63 0 3150 0
vsize: 12852
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 245697 0 0 0 24286 714 0 0 25 0 1 0 900835627 12877824 2458 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3144 2458 1111 63 0 3081 0
vsize: 12576
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 257543 0 0 0 25255 746 0 0 25 0 1 0 900835627 13008896 2484 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3175 2483 1111 63 0 3112 0
vsize: 12704
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 268093 0 0 0 26226 774 0 0 25 0 1 0 900835627 13537280 2557 4294967295 134512640 134716908 3221224576 3221221120 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3305 2557 1111 63 0 3242 0
vsize: 13220
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 279898 0 0 0 27195 805 0 0 25 0 1 0 900835627 13365248 2577 4294967295 134512640 134716908 3221224576 3221222796 1073972552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 2577 1111 63 0 3200 0
vsize: 13052
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 291792 0 0 0 28166 835 0 0 25 0 1 0 900835627 13815808 2637 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3373 2637 1111 63 0 3310 0
vsize: 13492
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 304321 0 0 0 29133 868 0 0 25 0 1 0 900835627 13549568 2622 4294967295 134512640 134716908 3221224576 3221223276 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3308 2622 1111 63 0 3245 0
vsize: 13232
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 316015 0 0 0 30102 900 0 0 25 0 1 0 900835627 13680640 2654 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2654 1111 63 0 3277 0
vsize: 13360
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 328422 0 0 0 31071 930 0 0 25 0 1 0 900835627 14282752 2723 4294967295 134512640 134716908 3221224576 3221220672 1074790177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2724 1111 63 0 3424 0
vsize: 13948
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 341485 0 0 0 32037 965 0 0 25 0 1 0 900835627 14024704 2741 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3424 2741 1111 63 0 3361 0
vsize: 13696
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 353304 0 0 0 33005 996 0 0 25 0 1 0 900835627 14118912 2764 4294967295 134512640 134716908 3221224576 3221222304 1075828991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2764 1111 63 0 3384 0
vsize: 13788
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 365142 0 0 0 33977 1025 0 0 25 0 1 0 900835627 14258176 2798 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3481 2798 1111 63 0 3418 0
vsize: 13924
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 374561 0 0 0 34950 1052 0 0 25 0 1 0 900835627 14356480 2822 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3505 2822 1111 63 0 3442 0
vsize: 14020
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 385654 0 0 0 35921 1081 0 0 25 0 1 0 900835627 14409728 2835 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3518 2835 1111 63 0 3455 0
vsize: 14072
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 395353 0 0 0 36898 1105 0 0 25 0 1 0 900835627 15020032 2928 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3667 2928 1111 63 0 3604 0
vsize: 14668
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 405693 0 0 0 37871 1131 0 0 25 0 1 0 900835627 15187968 2949 4294967295 134512640 134716908 3221224576 3221220848 1074961166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3708 2949 1111 63 0 3645 0
vsize: 14832
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 416777 0 0 0 38843 1160 0 0 25 0 1 0 900835627 14848000 2942 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3625 2942 1111 63 0 3562 0
vsize: 14500
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 424687 0 0 0 39826 1178 0 0 25 0 1 0 900835627 14913536 2964 4294967295 134512640 134716908 3221224576 3221222576 1074916951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3641 2964 1111 63 0 3578 0
vsize: 14564
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 435809 0 0 0 40799 1205 0 0 25 0 1 0 900835627 14995456 2984 4294967295 134512640 134716908 3221224576 3221223176 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2984 1111 63 0 3598 0
vsize: 14644
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 445199 0 0 0 41775 1228 0 0 25 0 1 0 900835627 15044608 2996 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2996 1111 63 0 3610 0
vsize: 14692
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 455671 0 0 0 42749 1255 0 0 25 0 1 0 900835627 15536128 3046 4294967295 134512640 134716908 3221224576 3221220784 1074815500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3793 3046 1111 63 0 3730 0
vsize: 15172
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 467108 0 0 0 43720 1284 0 0 25 0 1 0 900835627 15814656 3111 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3111 1111 63 0 3798 0
vsize: 15444
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 477318 0 0 0 44692 1312 0 0 25 0 1 0 900835627 15978496 3122 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3901 3122 1111 63 0 3838 0
vsize: 15604
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 488600 0 0 0 45663 1341 0 0 25 0 1 0 900835627 15785984 3109 4294967295 134512640 134716908 3221224576 3221221168 1074886136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3854 3109 1111 63 0 3791 0
vsize: 15416
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 499374 0 0 0 46636 1368 0 0 25 0 1 0 900835627 15462400 3098 4294967295 134512640 134716908 3221224576 3221223240 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3775 3098 1111 63 0 3712 0
vsize: 15100
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 510884 0 0 0 47608 1396 0 0 25 0 1 0 900835627 16097280 3183 4294967295 134512640 134716908 3221224576 3221220648 1075964775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3183 1111 63 0 3867 0
vsize: 15720
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 520319 0 0 0 48582 1422 0 0 25 0 1 0 900835627 15556608 3121 4294967295 134512640 134716908 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3798 3121 1111 63 0 3735 0
vsize: 15192
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 529748 0 0 0 49558 1446 0 0 25 0 1 0 900835627 16109568 3144 4294967295 134512640 134716908 3221224576 3221221604 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3140 1111 63 0 3811 0
vsize: 15732
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 539925 0 0 0 50534 1471 0 0 25 0 1 0 900835627 16183296 3216 4294967295 134512640 134716908 3221224576 3221220960 1074972291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3951 3216 1111 63 0 3888 0
vsize: 15804
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 548330 0 0 0 51514 1491 0 0 25 0 1 0 900835627 16338944 3225 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3989 3225 1111 63 0 3926 0
vsize: 15956
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 558626 0 0 0 52489 1516 0 0 25 0 1 0 900835627 15925248 3211 4294967295 134512640 134716908 3221224576 3221223300 134622899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3888 3211 1111 63 0 3825 0
vsize: 15552
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 568362 0 0 0 53465 1540 0 0 25 0 1 0 900835627 15966208 3221 4294967295 134512640 134716908 3221224576 3221222304 1075829025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3898 3221 1111 63 0 3835 0
vsize: 15592
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 578167 0 0 0 54443 1562 0 0 25 0 1 0 900835627 16027648 3236 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3913 3236 1111 63 0 3850 0
vsize: 15652
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 590086 0 0 0 55416 1590 0 0 25 0 1 0 900835627 16044032 3240 4294967295 134512640 134716908 3221224576 3221221680 1074138608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4009 3244 1111 63 0 3946 0
vsize: 15668
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 601593 0 0 0 56385 1621 0 0 25 0 1 0 900835627 16134144 3255 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3939 3255 1111 63 0 3876 0
vsize: 15756
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 611579 0 0 0 57362 1644 0 0 25 0 1 0 900835627 16138240 3263 4294967295 134512640 134716908 3221224576 3221222688 1074867328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3263 1111 63 0 3877 0
vsize: 15760
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 626548 0 0 0 58325 1681 0 0 25 0 1 0 900835627 16646144 3324 4294967295 134512640 134716908 3221224576 3221220544 1075965284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 3324 1111 63 0 4001 0
vsize: 16256
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 639468 0 0 0 59293 1713 0 0 25 0 1 0 900835627 16408576 3329 4294967295 134512640 134716908 3221224576 3221222780 1073960008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3329 1111 63 0 3943 0
vsize: 16024
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 647108 0 0 0 60275 1732 0 0 25 0 1 0 900835627 16556032 3365 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3365 1111 63 0 3979 0
vsize: 16168
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 653061 0 0 0 61260 1747 0 0 25 0 1 0 900835627 17252352 3449 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4212 3449 1111 63 0 4149 0
vsize: 16848
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 660833 0 0 0 62241 1766 0 0 25 0 1 0 900835627 17494016 3514 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4271 3514 1111 63 0 4208 0
vsize: 17084
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 670236 0 0 0 63216 1791 0 0 25 0 1 0 900835627 16707584 3402 4294967295 134512640 134716908 3221224576 3221223304 134543279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4079 3402 1111 63 0 4016 0
vsize: 16316
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 679586 0 0 0 64192 1815 0 0 25 0 1 0 900835627 16924672 3453 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4132 3453 1111 63 0 4069 0
vsize: 16528
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 689320 0 0 0 65169 1839 0 0 25 0 1 0 900835627 17182720 3459 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4195 3459 1111 63 0 4132 0
vsize: 16780
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 700716 0 0 0 66142 1866 0 0 25 0 1 0 900835627 16916480 3453 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4130 3453 1111 63 0 4067 0
vsize: 16520
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 711504 0 0 0 67115 1893 0 0 25 0 1 0 900835627 16986112 3467 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4147 3467 1111 63 0 4084 0
vsize: 16588
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 721415 0 0 0 68090 1918 0 0 25 0 1 0 900835627 17661952 3548 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4312 3548 1111 63 0 4249 0
vsize: 17248
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 732270 0 0 0 69061 1947 0 0 25 0 1 0 900835627 17264640 3538 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 3538 1111 63 0 4152 0
vsize: 16860
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 739934 0 0 0 70043 1965 0 0 25 0 1 0 900835627 17666048 3580 4294967295 134512640 134716908 3221224576 3221220896 1075170249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4313 3580 1111 63 0 4250 0
vsize: 17252
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 747128 0 0 0 71026 1983 0 0 25 0 1 0 900835627 17276928 3541 4294967295 134512640 134716908 3221224576 3221222576 1074916951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3541 1111 63 0 4155 0
vsize: 16872
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 755634 0 0 0 72002 2007 0 0 25 0 1 0 900835627 17281024 3542 4294967295 134512640 134716908 3221224576 3221223236 134591892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4219 3542 1111 63 0 4156 0
vsize: 16876
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 766188 0 0 0 72976 2033 0 0 25 0 1 0 900835627 17752064 3590 4294967295 134512640 134716908 3221224576 3221220784 1074815188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3590 1111 63 0 4271 0
vsize: 17336
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 777088 0 0 0 73951 2058 0 0 25 0 1 0 900835627 17416192 3575 4294967295 134512640 134716908 3221224576 3221222824 1077374049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3575 1111 63 0 4189 0
vsize: 17008
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 787623 0 0 0 74925 2084 0 0 25 0 1 0 900835627 17473536 3589 4294967295 134512640 134716908 3221224576 3221222744 1077377382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 3589 1111 63 0 4203 0
vsize: 17064
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 795911 0 0 0 75904 2105 0 0 25 0 1 0 900835627 18358272 3690 4294967295 134512640 134716908 3221224576 3221220720 1075093592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4482 3690 1111 63 0 4419 0
vsize: 17928
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 806746 0 0 0 76878 2131 0 0 25 0 1 0 900835627 17530880 3603 4294967295 134512640 134716908 3221224576 3221222576 1074917901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4280 3603 1111 63 0 4217 0
vsize: 17120
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 817987 0 0 0 77850 2160 0 0 25 0 1 0 900835627 17596416 3619 4294967295 134512640 134716908 3221224576 3221221856 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 3619 1111 63 0 4233 0
vsize: 17184
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 831100 0 0 0 78821 2189 0 0 25 0 1 0 900835627 17637376 3629 4294967295 134512640 134716908 3221224576 3221222716 1074050755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4306 3629 1111 63 0 4243 0
vsize: 17224
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 845369 0 0 0 79790 2220 0 0 25 0 1 0 900835627 17649664 3632 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 3632 1111 63 0 4246 0
vsize: 17236
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 860771 0 0 0 80755 2255 0 0 25 0 1 0 900835627 17747968 3656 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4333 3656 1111 63 0 4270 0
vsize: 17332
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 875876 0 0 0 81722 2288 0 0 25 0 1 0 900835627 17838080 3678 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4355 3678 1111 63 0 4292 0
vsize: 17420
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 888699 0 0 0 82693 2318 0 0 25 0 1 0 900835627 18448384 3724 4294967295 134512640 134716908 3221224576 3221220576 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4504 3724 1111 63 0 4441 0
vsize: 18016
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 901057 0 0 0 83664 2347 0 0 25 0 1 0 900835627 17993728 3708 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3708 1111 63 0 4330 0
vsize: 17572
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 912167 0 0 0 84639 2373 0 0 25 0 1 0 900835627 17969152 3710 4294967295 134512640 134716908 3221224576 3221222800 1074146261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3710 1111 63 0 4324 0
vsize: 17548
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 923188 0 0 0 85616 2395 0 0 25 0 1 0 900835627 18321408 3796 4294967295 134512640 134716908 3221224576 3221223292 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3796 1111 63 0 4410 0
vsize: 17892
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 932819 0 0 0 86594 2418 0 0 25 0 1 0 900835627 18673664 3779 4294967295 134512640 134716908 3221224576 3221220608 1074787214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 3779 1111 63 0 4496 0
vsize: 18236
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 942230 0 0 0 87572 2440 0 0 25 0 1 0 900835627 18259968 3771 4294967295 134512640 134716908 3221224576 3221222576 1074917148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3771 1111 63 0 4395 0
vsize: 17832
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 958109 0 0 0 88536 2476 0 0 25 0 1 0 900835627 18743296 3764 4294967295 134512640 134716908 3221224576 3221221520 1074620260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4576 3764 1111 63 0 4513 0
vsize: 18304
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 969944 0 0 0 89510 2503 0 0 25 0 1 0 900835627 18825216 3817 4294967295 134512640 134716908 3221224576 3221220672 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3817 1111 63 0 4533 0
vsize: 18384
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 979163 0 0 0 90487 2526 0 0 25 0 1 0 900835627 18321408 3796 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3796 1111 63 0 4410 0
vsize: 17892
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 991050 0 0 0 91458 2555 0 0 25 0 1 0 900835627 18407424 3817 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3823 1111 63 0 4574 0
vsize: 17976
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1002779 0 0 0 92433 2580 0 0 25 0 1 0 900835627 18993152 3867 4294967295 134512640 134716908 3221224576 3221220608 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4637 3867 1111 63 0 4574 0
vsize: 18548
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1014560 0 0 0 93407 2606 0 0 25 0 1 0 900835627 18440192 3825 4294967295 134512640 134716908 3221224576 3221223368 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 3825 1111 63 0 4439 0
vsize: 18008
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1027445 0 0 0 94377 2636 0 0 25 0 1 0 900835627 18518016 3844 4294967295 134512640 134716908 3221224576 3221223304 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3844 1111 63 0 4458 0
vsize: 18084
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1038670 0 0 0 95350 2664 0 0 25 0 1 0 900835627 18587648 3861 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3861 1111 63 0 4475 0
vsize: 18152
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1050113 0 0 0 96326 2688 0 0 25 0 1 0 900835627 19238912 3921 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3921 1111 63 0 4634 0
vsize: 18788
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1061122 0 0 0 97300 2714 0 0 25 0 1 0 900835627 19296256 3941 4294967295 134512640 134716908 3221224576 3221221616 1075971398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4711 3941 1111 63 0 4648 0
vsize: 18844
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1070644 0 0 0 98276 2738 0 0 25 0 1 0 900835627 18694144 3887 4294967295 134512640 134716908 3221224576 3221222976 1074118870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3887 1111 63 0 4501 0
vsize: 18256
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1088613 0 0 0 99235 2779 0 0 25 0 1 0 900835627 19333120 3941 4294967295 134512640 134716908 3221224576 3221220720 1074969600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3941 1111 63 0 4657 0
vsize: 18880
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1099631 0 0 0 100207 2808 0 0 25 0 1 0 900835627 18964480 3953 4294967295 134512640 134716908 3221224576 3221223192 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3953 1111 63 0 4567 0
vsize: 18520
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1111438 0 0 0 101179 2835 0 0 25 0 1 0 900835627 18931712 3945 4294967295 134512640 134716908 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3945 1111 63 0 4559 0
vsize: 18488
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1122041 0 0 0 102153 2861 0 0 25 0 1 0 900835627 19054592 3975 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4652 3975 1111 63 0 4589 0
vsize: 18608
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1129705 0 0 0 103137 2878 0 0 25 0 1 0 900835627 19021824 3967 4294967295 134512640 134716908 3221224576 3221222692 1075963254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4644 3967 1111 63 0 4581 0
vsize: 18576
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1139980 0 0 0 104112 2903 0 0 25 0 1 0 900835627 19152896 3999 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3999 1111 63 0 4613 0
vsize: 18704
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1145550 0 0 0 105100 2915 0 0 25 0 1 0 900835627 19357696 4049 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4726 4049 1111 63 0 4663 0
vsize: 18904
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1151198 0 0 0 106088 2928 0 0 25 0 1 0 900835627 19341312 4045 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 4045 1111 63 0 4659 0
vsize: 18888
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1165953 0 0 0 107054 2962 0 0 25 0 1 0 900835627 19357696 4032 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4726 4032 1111 63 0 4663 0
vsize: 18904
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1181909 0 0 0 108016 2999 0 0 25 0 1 0 900835627 20299776 4107 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4107 1111 63 0 4893 0
vsize: 19824
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1202246 0 0 0 108970 3046 0 0 25 0 1 0 900835627 20299776 4038 4294967295 134512640 134716908 3221224576 3221221632 1075084433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4708 4031 1111 63 0 4645 0
vsize: 19824
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1221565 0 0 0 109925 3091 0 0 25 0 1 0 900835627 21442560 4417 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4417 1111 63 0 5172 0
vsize: 20940
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1235609 0 0 0 110891 3125 0 0 25 0 1 0 900835627 21266432 4346 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5192 4346 1111 63 0 5129 0
vsize: 20768
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1253365 0 0 0 111849 3168 0 0 25 0 1 0 900835627 20463616 4086 4294967295 134512640 134716908 3221224576 3221221408 1075115397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4086 1111 63 0 4933 0
vsize: 19984
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1265775 0 0 0 112818 3199 0 0 25 0 1 0 900835627 22466560 4682 4294967295 134512640 134716908 3221224576 3221220704 1075112097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 4682 1111 63 0 5422 0
vsize: 21940
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1276554 0 0 0 113794 3223 0 0 25 0 1 0 900835627 19869696 4174 4294967295 134512640 134716908 3221224576 3221222736 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4851 4174 1111 63 0 4788 0
vsize: 19404
[startup+1175.06 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 24738
Raw data (stat): 24738 (bsolo_lpr-v2) R 24737 20224 20223 0 -1 0 1276554 0 0 0 113794 3223 0 0 25 0 1 0 900835627 19869696 4174 4294967295 134512640 134716908 3221224576 3221222736 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4851 4174 1111 63 0 4788 0
vsize: 0

Child status: 10
Real time (s): 1175.06
CPU time (s): 1175.21
CPU user time (s): 1142.86
CPU system time (s): 32.3571
CPU usage (%): 100.013
Max. virtual memory (Kb): 21940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	56960
#### END VERIFIER DATA ####