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 26987

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 18:29:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18968 boxname=wulflinc1 idbench=1460 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c2339539ffa69702e62053614fe34ce1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bk4x3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bk4x3.opb
IDLAUNCH: 18968
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        380776 kB
Buffers:         38556 kB
Cached:         584868 kB
SwapCached:          0 kB
Active:          83752 kB
Inactive:       542756 kB
HighTotal:      131008 kB
HighFree:        16324 kB
LowTotal:       903652 kB
LowFree:        364452 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            21620 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:49:29 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 18968 0 1175.03 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.106 s
c Initial Lower Bound: 41174
c Lower Bound Elapsed time: 0.01725
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 62592 @ 1.311
c NEW SOLUTION FOUND: 62336 @ 1.349
c NEW SOLUTION FOUND: 62208 @ 2.362
c NEW SOLUTION FOUND: 62144 @ 17.006
c NEW SOLUTION FOUND: 62080 @ 17.29
c NEW SOLUTION FOUND: 62016 @ 17.33
c NEW SOLUTION FOUND: 61952 @ 19.612
c NEW SOLUTION FOUND: 61568 @ 22.351
c NEW SOLUTION FOUND: 61504 @ 23.213
c NEW SOLUTION FOUND: 61440 @ 49.203
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.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.94 0.95 2/55 10543
Raw data (stat): 10543 (runsolver) R 10542 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 717330692 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.94 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 4313 0 0 0 969 28 0 0 25 0 1 0 717330692 6955008 1014 4294967295 134512640 134714508 3221224592 3221221772 1074206278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1745 1015 1111 63 0 1682 0
vsize: 6792
[startup+20.0008 s]
Raw data (loadavg): 0.90 0.94 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 7256 0 0 0 1943 54 0 0 25 0 1 0 717330692 7614464 1171 4294967295 134512640 134714508 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 1171 1111 63 0 1796 0
vsize: 7436
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.94 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 10075 0 0 0 2923 74 0 0 25 0 1 0 717330692 8220672 1324 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2007 1324 1111 63 0 1944 0
vsize: 8028
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.94 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 13593 0 0 0 3903 94 0 0 25 0 1 0 717330692 8835072 1472 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2154 1472 1111 63 0 2091 0
vsize: 8628
[startup+50.0011 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 23028 0 0 0 4873 125 0 0 25 0 1 0 717330692 9105408 1541 4294967295 134512640 134714508 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2223 1541 1111 63 0 2160 0
vsize: 8892
[startup+60.0008 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 31575 0 0 0 5843 154 0 0 25 0 1 0 717330692 9474048 1631 4294967295 134512640 134714508 3221224592 3221221696 1074138755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2313 1631 1111 63 0 2250 0
vsize: 9252
[startup+70.0006 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 39420 0 0 0 6819 178 0 0 25 0 1 0 717330692 9768960 1703 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2385 1703 1111 63 0 2322 0
vsize: 9540
[startup+80.0014 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 50635 0 0 0 7786 211 0 0 25 0 1 0 717330692 10416128 1801 4294967295 134512640 134714508 3221224592 3221220560 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1801 1111 63 0 2480 0
vsize: 10172
[startup+90.0012 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 59281 0 0 0 8758 239 0 0 25 0 1 0 717330692 10473472 1825 4294967295 134512640 134714508 3221224592 3221220752 1075091291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1825 1111 63 0 2494 0
vsize: 10228
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 68913 0 0 0 9732 266 0 0 25 0 1 0 717330692 10375168 1837 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1837 1111 63 0 2470 0
vsize: 10132
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 82033 0 0 0 10693 305 0 0 25 0 1 0 717330692 10813440 1961 4294967295 134512640 134714508 3221224592 3221222376 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2640 1961 1111 63 0 2577 0
vsize: 10560
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 92788 0 0 0 11663 335 0 0 25 0 1 0 717330692 11186176 2052 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 2052 1111 63 0 2668 0
vsize: 10924
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 104301 0 0 0 12628 371 0 0 25 0 1 0 717330692 11710464 2133 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 2133 1111 63 0 2796 0
vsize: 11436
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 114114 0 0 0 13597 402 0 0 25 0 1 0 717330692 11739136 2187 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2866 2187 1111 63 0 2803 0
vsize: 11464
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 124667 0 0 0 14566 433 0 0 25 0 1 0 717330692 12058624 2265 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2265 1111 63 0 2881 0
vsize: 11776
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 134822 0 0 0 15536 463 0 0 25 0 1 0 717330692 12705792 2359 4294967295 134512640 134714508 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2359 1111 63 0 3039 0
vsize: 12408
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 144869 0 0 0 16506 493 0 0 25 0 1 0 717330692 12996608 2427 4294967295 134512640 134714508 3221224592 3221220864 1074799107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 2427 1111 63 0 3110 0
vsize: 12692
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 154599 0 0 0 17478 522 0 0 25 0 1 0 717330692 12886016 2467 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2470 1111 63 0 3160 0
vsize: 12584
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 165077 0 0 0 18445 554 0 0 25 0 1 0 717330692 13340672 2516 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2527 1111 63 0 3194 0
vsize: 13028
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 176477 0 0 0 19415 584 0 0 25 0 1 0 717330692 13299712 2560 4294967295 134512640 134714508 3221224592 3221222508 1073972552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3247 2560 1111 63 0 3184 0
vsize: 12988
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 189098 0 0 0 20382 618 0 0 25 0 1 0 717330692 13844480 2624 4294967295 134512640 134714508 3221224592 3221221112 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3300 2621 1111 63 0 3237 0
vsize: 13520
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 197948 0 0 0 21359 642 0 0 25 0 1 0 717330692 13934592 2656 4294967295 134512640 134714508 3221224592 3221220928 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3402 2656 1111 63 0 3339 0
vsize: 13608
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 205723 0 0 0 22337 664 0 0 25 0 1 0 717330692 13647872 2653 4294967295 134512640 134714508 3221224592 3221222544 1074052221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3332 2653 1111 63 0 3269 0
vsize: 13328
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 217932 0 0 0 23306 695 0 0 25 0 1 0 717330692 13946880 2726 4294967295 134512640 134714508 3221224592 3221222880 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2726 1111 63 0 3342 0
vsize: 13620
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 227710 0 0 0 24282 718 0 0 25 0 1 0 717330692 14364672 2777 4294967295 134512640 134714508 3221224592 3221220864 1074961081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3507 2777 1111 63 0 3444 0
vsize: 14028
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 238457 0 0 0 25254 747 0 0 25 0 1 0 717330692 16625664 3304 4294967295 134512640 134714508 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3304 1111 63 0 3996 0
vsize: 16236
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 246516 0 0 0 26235 766 0 0 25 0 1 0 717330692 14471168 2859 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2859 1111 63 0 3470 0
vsize: 14132
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 250708 0 0 0 27224 777 0 0 25 0 1 0 717330692 16572416 3220 4294967295 134512640 134714508 3221224592 3221220636 1074873379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4046 3220 1111 63 0 3983 0
vsize: 16184
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 257785 0 0 0 28208 794 0 0 25 0 1 0 717330692 14540800 2877 4294967295 134512640 134714508 3221224592 3221222592 1074918619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3550 2877 1111 63 0 3487 0
vsize: 14200
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 294649 0 0 0 29121 881 0 0 25 0 1 0 717330692 14614528 2885 4294967295 134512640 134714508 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2885 1111 63 0 3505 0
vsize: 14272
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 328511 0 0 0 30044 957 0 0 25 0 1 0 717330692 15093760 3007 4294967295 134512640 134714508 3221224592 3221221936 1074838946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3807 3010 1111 63 0 3744 0
vsize: 14740
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 364855 0 0 0 30963 1039 0 0 25 0 1 0 717330692 15908864 3088 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3090 1111 63 0 3943 0
vsize: 15536
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 396518 0 0 0 31889 1113 0 0 25 0 1 0 717330692 15753216 3173 4294967295 134512640 134714508 3221224592 3221222496 1074052300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 3173 1111 63 0 3783 0
vsize: 15384
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 426913 0 0 0 32819 1183 0 0 25 0 1 0 717330692 15822848 3189 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3863 3189 1111 63 0 3800 0
vsize: 15452
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 458138 0 0 0 33751 1251 0 0 25 0 1 0 717330692 16158720 3272 4294967295 134512640 134714508 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3272 1111 63 0 3882 0
vsize: 15780
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 491475 0 0 0 34679 1324 0 0 25 0 1 0 717330692 16453632 3343 4294967295 134512640 134714508 3221224592 3221222852 1077374528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4017 3343 1111 63 0 3954 0
vsize: 16068
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 498302 0 0 0 35662 1341 0 0 25 0 1 0 717330692 16912384 3439 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4129 3439 1111 63 0 4066 0
vsize: 16516
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 513820 0 0 0 36627 1376 0 0 25 0 1 0 717330692 16732160 3412 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 3412 1111 63 0 4022 0
vsize: 16340
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 554472 0 0 0 37535 1468 0 0 25 0 1 0 717330692 18518016 3658 4294967295 134512640 134714508 3221224592 3221220752 1075090467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3658 1111 63 0 4458 0
vsize: 18084
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 593235 0 0 0 38445 1559 0 0 25 0 1 0 717330692 18059264 3735 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3735 1111 63 0 4346 0
vsize: 17636
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 629560 0 0 0 39365 1639 0 0 25 0 1 0 717330692 18649088 3873 4294967295 134512640 134714508 3221224592 3221223008 1074117074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3873 1111 63 0 4490 0
vsize: 18212
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 670987 0 0 0 40268 1736 0 0 25 0 1 0 717330692 19324928 4034 4294967295 134512640 134714508 3221224592 3221222948 134697343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4718 4034 1111 63 0 4655 0
vsize: 18872
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 708287 0 0 0 41186 1818 0 0 25 0 1 0 717330692 20885504 4241 4294967295 134512640 134714508 3221224592 3221220584 1075965153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5099 4241 1111 63 0 5036 0
vsize: 20396
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 740493 0 0 0 42111 1894 0 0 25 0 1 0 717330692 21086208 4288 4294967295 134512640 134714508 3221224592 3221220752 1075091320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5148 4288 1111 63 0 5085 0
vsize: 20592
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 777775 0 0 0 43027 1978 0 0 25 0 1 0 717330692 21250048 4313 4294967295 134512640 134714508 3221224592 3221221168 1076050296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4313 1111 63 0 5125 0
vsize: 20752
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 812624 0 0 0 43950 2055 0 0 25 0 1 0 717330692 21626880 4401 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5280 4401 1111 63 0 5217 0
vsize: 21120
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 847911 0 0 0 44869 2136 0 0 25 0 1 0 717330692 20946944 4431 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5178 4431 1111 63 0 5115 0
vsize: 20456
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 884932 0 0 0 45785 2220 0 0 25 0 1 0 717330692 21450752 4560 4294967295 134512640 134714508 3221224592 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4560 1111 63 0 5174 0
vsize: 20948
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 918030 0 0 0 46710 2295 0 0 25 0 1 0 717330692 21745664 4636 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5309 4636 1111 63 0 5246 0
vsize: 21236
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 951308 0 0 0 47635 2370 0 0 25 0 1 0 717330692 22331392 4715 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5644 4722 1111 63 0 5581 0
vsize: 21808
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 987124 0 0 0 48559 2447 0 0 25 0 1 0 717330692 23257088 4807 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5678 4816 1111 63 0 5615 0
vsize: 22712
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1016631 0 0 0 49491 2515 0 0 25 0 1 0 717330692 23605248 4881 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5763 4893 1111 63 0 5700 0
vsize: 23052
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1042579 0 0 0 50433 2574 0 0 25 0 1 0 717330692 23871488 4926 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5828 4931 1111 63 0 5765 0
vsize: 23312
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1083547 0 0 0 51342 2665 0 0 25 0 1 0 717330692 23478272 5056 4294967295 134512640 134714508 3221224592 3221223280 134558501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5732 5056 1111 63 0 5669 0
vsize: 22928
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1117057 0 0 0 52264 2743 0 0 25 0 1 0 717330692 24137728 5206 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5893 5206 1111 63 0 5830 0
vsize: 23572
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1139032 0 0 0 53216 2791 0 0 25 0 1 0 717330692 25231360 5289 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6160 5291 1111 63 0 6097 0
vsize: 24640
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1176060 0 0 0 54133 2874 0 0 25 0 1 0 717330692 24576000 5324 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6000 5324 1111 63 0 5937 0
vsize: 24000
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1209467 0 0 0 55061 2946 0 0 25 0 1 0 717330692 24924160 5403 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6085 5403 1111 63 0 6022 0
vsize: 24340
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1243109 0 0 0 55989 3018 0 0 25 0 1 0 717330692 25231360 5483 4294967295 134512640 134714508 3221224592 3221222944 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6160 5483 1111 63 0 6097 0
vsize: 24640
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1266610 0 0 0 56938 3070 0 0 25 0 1 0 717330692 25473024 5542 4294967295 134512640 134714508 3221224592 3221223400 134622567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6219 5542 1111 63 0 6156 0
vsize: 24876
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1291840 0 0 0 57884 3124 0 0 25 0 1 0 717330692 25698304 5594 4294967295 134512640 134714508 3221224592 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5594 1111 63 0 6211 0
vsize: 25096
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.95 4/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1319113 0 0 0 58823 3185 0 0 25 0 1 0 717330692 26144768 5703 4294967295 134512640 134714508 3221224592 3221222920 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6383 5703 1111 63 0 6320 0
vsize: 25532
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1335890 0 0 0 59787 3222 0 0 25 0 1 0 717330692 27332608 5811 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6673 5811 1111 63 0 6610 0
vsize: 26692
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1355350 0 0 0 60741 3268 0 0 25 0 1 0 717330692 27500544 5854 4294967295 134512640 134714508 3221224592 3221220752 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5854 1111 63 0 6651 0
vsize: 26856
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1374729 0 0 0 61698 3311 0 0 25 0 1 0 717330692 27566080 5868 4294967295 134512640 134714508 3221224592 3221220864 1074801447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6730 5868 1111 63 0 6667 0
vsize: 26920
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1388599 0 0 0 62665 3344 0 0 25 0 1 0 717330692 26796032 5859 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6542 5859 1111 63 0 6479 0
vsize: 26168
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1417964 0 0 0 63600 3410 0 0 25 0 1 0 717330692 27803648 5924 4294967295 134512640 134714508 3221224592 3221221092 1074974022 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 5924 1111 63 0 6725 0
vsize: 27152
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1443895 0 0 0 64545 3465 0 0 25 0 1 0 717330692 26939392 5900 4294967295 134512640 134714508 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6577 5900 1111 63 0 6514 0
vsize: 26308
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1467391 0 0 0 65493 3516 0 0 25 0 1 0 717330692 27107328 5941 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6618 5941 1111 63 0 6555 0
vsize: 26472
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1478111 0 0 0 66467 3543 0 0 25 0 1 0 717330692 27267072 5980 4294967295 134512640 134714508 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6657 5980 1111 63 0 6594 0
vsize: 26628
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1486017 0 0 0 67447 3563 0 0 25 0 1 0 717330692 27586560 6055 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6735 6055 1111 63 0 6672 0
vsize: 26940
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1487579 0 0 0 68443 3567 0 0 25 0 1 0 717330692 31981568 6988 4294967295 134512640 134714508 3221224592 3221220820 1075115057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7808 6988 1111 63 0 7745 0
vsize: 31232
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1489950 0 0 0 69438 3572 0 0 25 0 1 0 717330692 31305728 6788 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7643 6788 1111 63 0 7580 0
vsize: 30572
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1492361 0 0 0 70433 3577 0 0 25 0 1 0 717330692 27525120 6023 4294967295 134512640 134714508 3221224592 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6720 6023 1111 63 0 6657 0
vsize: 26880
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1514366 0 0 0 71382 3629 0 0 25 0 1 0 717330692 27295744 5974 4294967295 134512640 134714508 3221224592 3221222636 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6664 5974 1111 63 0 6601 0
vsize: 26656
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1551887 0 0 0 72300 3710 0 0 25 0 1 0 717330692 29179904 6157 4294967295 134512640 134714508 3221224592 3221221024 1075119627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7124 6157 1111 63 0 7061 0
vsize: 28496
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1560762 0 0 0 73282 3729 0 0 25 0 1 0 717330692 30412800 6737 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7425 6737 1111 63 0 7362 0
vsize: 29700
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1562941 0 0 0 74278 3733 0 0 25 0 1 0 717330692 28028928 6166 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 6166 1111 63 0 6780 0
vsize: 27372
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1564581 0 0 0 75274 3737 0 0 25 0 1 0 717330692 32161792 7070 4294967295 134512640 134714508 3221224592 3221220864 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7852 7070 1111 63 0 7789 0
vsize: 31408
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1567071 0 0 0 76268 3744 0 0 25 0 1 0 717330692 31887360 6945 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7785 6945 1111 63 0 7722 0
vsize: 31140
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1567997 0 0 0 77266 3746 0 0 25 0 1 0 717330692 28409856 6259 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6936 6259 1111 63 0 6873 0
vsize: 27744
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1571295 0 0 0 78259 3753 0 0 25 0 1 0 717330692 31399936 6447 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7666 6447 1111 63 0 7603 0
vsize: 30664
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1580343 0 0 0 79238 3774 0 0 25 0 1 0 717330692 27717632 6090 4294967295 134512640 134714508 3221224592 3221223168 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6767 6090 1111 63 0 6704 0
vsize: 27068
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1581320 0 0 0 80235 3777 0 0 25 0 1 0 717330692 30593024 6783 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7469 6783 1111 63 0 7406 0
vsize: 29876
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1582601 0 0 0 81232 3780 0 0 25 0 1 0 717330692 33406976 7373 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8156 7373 1111 63 0 8093 0
vsize: 32624
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1584137 0 0 0 82227 3785 0 0 25 0 1 0 717330692 28962816 6371 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7071 6371 1111 63 0 7008 0
vsize: 28284
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1587038 0 0 0 83222 3791 0 0 25 0 1 0 717330692 28192768 6206 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6883 6206 1111 63 0 6820 0
vsize: 27532
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1589274 0 0 0 84216 3797 0 0 25 0 1 0 717330692 28602368 6306 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6306 1111 63 0 6920 0
vsize: 27932
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1592504 0 0 0 85208 3805 0 0 25 0 1 0 717330692 28545024 6288 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6969 6288 1111 63 0 6906 0
vsize: 27876
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1626218 0 0 0 86131 3882 0 0 25 0 1 0 717330692 28192768 6206 4294967295 134512640 134714508 3221224592 3221223312 134622860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6883 6206 1111 63 0 6820 0
vsize: 27532
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1651248 0 0 0 87074 3939 0 0 25 0 1 0 717330692 28098560 6183 4294967295 134512640 134714508 3221224592 3221222816 1074206374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6860 6183 1111 63 0 6797 0
vsize: 27440
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1668077 0 0 0 88033 3981 0 0 25 0 1 0 717330692 28098560 6183 4294967295 134512640 134714508 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6860 6183 1111 63 0 6797 0
vsize: 27440
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1688645 0 0 0 88986 4027 0 0 25 0 1 0 717330692 28147712 6195 4294967295 134512640 134714508 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 6195 1111 63 0 6809 0
vsize: 27488
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1699960 0 0 0 89959 4055 0 0 25 0 1 0 717330692 28467200 6273 4294967295 134512640 134714508 3221224592 3221222760 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6950 6273 1111 63 0 6887 0
vsize: 27800
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1708592 0 0 0 90939 4075 0 0 25 0 1 0 717330692 28483584 6277 4294967295 134512640 134714508 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6954 6277 1111 63 0 6891 0
vsize: 27816
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1736427 0 0 0 91872 4142 0 0 25 0 1 0 717330692 28590080 6303 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6980 6303 1111 63 0 6917 0
vsize: 27920
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1768576 0 0 0 92794 4220 0 0 25 0 1 0 717330692 31072256 6510 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7586 6520 1111 63 0 7523 0
vsize: 30344
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1798709 0 0 0 93725 4289 0 0 25 0 1 0 717330692 29433856 6509 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7186 6509 1111 63 0 7123 0
vsize: 28744
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1832684 0 0 0 94645 4369 0 0 25 0 1 0 717330692 29843456 6609 4294967295 134512640 134714508 3221224592 3221222848 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7286 6609 1111 63 0 7223 0
vsize: 29144
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1853595 0 0 0 95597 4418 0 0 25 0 1 0 717330692 29773824 6577 4294967295 134512640 134714508 3221224592 3221222864 1074146243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7269 6577 1111 63 0 7206 0
vsize: 29076
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1888720 0 0 0 96516 4499 0 0 25 0 1 0 717330692 30027776 6654 4294967295 134512640 134714508 3221224592 3221222580 1074138453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6654 1111 63 0 7268 0
vsize: 29324
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1910131 0 0 0 97465 4550 0 0 25 0 1 0 717330692 30195712 6695 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6695 1111 63 0 7309 0
vsize: 29488
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1935099 0 0 0 98407 4608 0 0 25 0 1 0 717330692 30339072 6730 4294967295 134512640 134714508 3221224592 3221223328 134622774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7407 6730 1111 63 0 7344 0
vsize: 29628
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1957233 0 0 0 99357 4658 0 0 25 0 1 0 717330692 30535680 6778 4294967295 134512640 134714508 3221224592 3221222424 1074207169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6778 1111 63 0 7392 0
vsize: 29820
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 1977831 0 0 0 100307 4709 0 0 25 0 1 0 717330692 30703616 6819 4294967295 134512640 134714508 3221224592 3221223072 1074039440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6819 1111 63 0 7433 0
vsize: 29984
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2002688 0 0 0 101250 4767 0 0 25 0 1 0 717330692 30830592 6850 4294967295 134512640 134714508 3221224592 3221223216 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7527 6850 1111 63 0 7464 0
vsize: 30108
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2035524 0 0 0 102176 4842 0 0 25 0 1 0 717330692 31072256 6909 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7586 6909 1111 63 0 7523 0
vsize: 30344
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2054305 0 0 0 103134 4883 0 0 25 0 1 0 717330692 31240192 6950 4294967295 134512640 134714508 3221224592 3221222496 1075460113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7627 6950 1111 63 0 7564 0
vsize: 30508
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2092869 0 0 0 104043 4975 0 0 25 0 1 0 717330692 31760384 7056 4294967295 134512640 134714508 3221224592 3221223136 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 7056 1111 63 0 7691 0
vsize: 31016
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2130324 0 0 0 104957 5061 0 0 25 0 1 0 717330692 32309248 7209 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7888 7209 1111 63 0 7825 0
vsize: 31552
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2166866 0 0 0 105875 5143 0 0 25 0 1 0 717330692 34803712 7444 4294967295 134512640 134714508 3221224592 3221220556 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7444 1111 63 0 8434 0
vsize: 33988
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2201836 0 0 0 106796 5222 0 0 25 0 1 0 717330692 33234944 7437 4294967295 134512640 134714508 3221224592 3221222744 1075549925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8114 7437 1111 63 0 8051 0
vsize: 32456
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2237192 0 0 0 107714 5305 0 0 25 0 1 0 717330692 33693696 7541 4294967295 134512640 134714508 3221224592 3221222704 1074867278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8226 7541 1111 63 0 8163 0
vsize: 32904
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2270400 0 0 0 108639 5380 0 0 25 0 1 0 717330692 36270080 7812 4294967295 134512640 134714508 3221224592 3221220928 1075114305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 7812 1111 63 0 8792 0
vsize: 35420
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2303904 0 0 0 109566 5453 0 0 25 0 1 0 717330692 36880384 7955 4294967295 134512640 134714508 3221224592 3221220736 1074970387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9004 7955 1111 63 0 8941 0
vsize: 36016
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2328965 0 0 0 110506 5513 0 0 25 0 1 0 717330692 35299328 7923 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8618 7923 1111 63 0 8555 0
vsize: 34472
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2357433 0 0 0 111441 5578 0 0 25 0 1 0 717330692 35598336 8010 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 8010 1111 63 0 8628 0
vsize: 34764
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 10543
Raw data (stat): 10543 (bsolo_lpr) R 10542 8378 8377 0 -1 0 2357433 0 0 0 111441 5578 0 0 25 0 1 0 717330692 35598336 8010 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 8010 1111 63 0 8628 0
vsize: 0

Child status: 10
Real time (s): 1174.87
CPU time (s): 1175.03
CPU user time (s): 1118.9
CPU system time (s): 56.1295
CPU usage (%): 100.014
Max. virtual memory (Kb): 36016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	61440
#### END VERIFIER DATA ####