PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	10386fd19d9976c249ce2be861b38a70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 26576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 16:11:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12637 boxname=wulflinc15 idbench=973 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  10386fd19d9976c249ce2be861b38a70  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 12637
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        617160 kB
Buffers:           800 kB
Cached:         396368 kB
SwapCached:        564 kB
Active:          18660 kB
Inactive:       380936 kB
HighTotal:      131008 kB
HighFree:        16352 kB
LowTotal:       903652 kB
LowFree:        600808 kB
SwapTotal:     2097136 kB
SwapFree:      2096080 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            12136 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:31:07 (client local time) WITH STATUS 10 IN 1175.12 SECONDS
stats: 12637 0 1175.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 230 variables and 12 constraints.
c After prepocess the problem consists of 176 variables and 12 constraints.
c preprocess terminated 0.096 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.016
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2054144 @ 0.301
c NEW SOLUTION FOUND: 1867776 @ 0.309
c NEW SOLUTION FOUND: 1681408 @ 0.311
c NEW SOLUTION FOUND: 1679360 @ 0.417
c NEW SOLUTION FOUND: 1628160 @ 0.44
c NEW SOLUTION FOUND: 1533952 @ 0.501
c NEW SOLUTION FOUND: 1495040 @ 0.521
c NEW SOLUTION FOUND: 1441792 @ 0.607
c NEW SOLUTION FOUND: 1328128 @ 0.694
c NEW SOLUTION FOUND: 1139712 @ 1.51
s SATISFIABLE
v -x1_bit_10 -x1_bit_9 -x1_bit_8 -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 -x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 -x3_bit_10 -x3_bit_9 -x3_bit_8 -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 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 -x5_bit_10 -x5_bit_9 -x5_bit_8 -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 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 -x7_bit_10 -x7_bit_9 -x7_bit_8 -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 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 -x9_bit_10 -x9_bit_9 -x9_bit_8 -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 -x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -x11_bit_10 -x11_bit_9 -x11_bit_8 -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 -x11_bit13 -x11_bit14 -x11_bit15 -x11_bit16 -x11_bit17 -x11_bit18 -x11_bit19 x13_bit0 x14_bit0 x15_bit0 x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 -x20_bit0 x21_bit0 x22_bit0 -x23_bit0 x24_bit0 x25_bit0 x26_bit0 -x27_bit0 x28_bit0 x29_bit0 x30_bit0 -x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x40_bit0 -x41_bit0 x42_bit0 x43_bit0 -x44_bit0 x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 x52_bit0 -x53_bit0 x54_bit0 -x55_bit0 x56_bit0 -x57_bit0 x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 
c Exit Code: 10
c Total time: 1175.05 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.92 0.97 0.95 2/54 25923
Raw data (stat): 25923 (runsolver) R 25922 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773350649 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 5319 0 3 0 964 25 0 0 25 0 1 0 773350649 11091968 1996 4294967295 134512640 134714508 3221224592 3221221676 1075007216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2708 1996 1111 63 0 2645 0
vsize: 10832
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 9068 0 3 0 1946 43 0 0 25 0 1 0 773350649 13824000 2684 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2684 1111 63 0 3312 0
vsize: 13500
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 13795 0 3 0 2930 59 0 0 25 0 1 0 773350649 17018880 3424 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4155 3424 1111 63 0 4092 0
vsize: 16620
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 18661 0 3 0 3913 76 0 0 25 0 1 0 773350649 19271680 4012 4294967295 134512640 134714508 3221224592 3221222732 1074143072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4705 4012 1111 63 0 4642 0
vsize: 18820
[startup+50.001 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 23694 0 3 0 4898 92 0 0 25 0 1 0 773350649 21495808 4524 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5248 4524 1111 63 0 5185 0
vsize: 20992
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 27338 0 3 0 5881 109 0 0 25 0 1 0 773350649 24252416 5215 4294967295 134512640 134714508 3221224592 3221222496 1075460072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 5215 1111 63 0 5858 0
vsize: 23684
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 31073 0 3 0 6863 127 0 0 25 0 1 0 773350649 27934720 6069 4294967295 134512640 134714508 3221224592 3221221360 1076084152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 6069 1111 63 0 6757 0
vsize: 27280
[startup+80.0005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 34749 0 3 0 7844 146 0 0 25 0 1 0 773350649 31272960 6939 4294967295 134512640 134714508 3221224592 3221223168 134539542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7635 6939 1111 63 0 7572 0
vsize: 30540
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 38613 0 3 0 8823 167 0 0 25 0 1 0 773350649 35811328 7978 4294967295 134512640 134714508 3221224592 3221223040 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8743 7978 1111 63 0 8680 0
vsize: 34972
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 42399 0 3 0 9808 183 0 0 25 0 1 0 773350649 39276544 8830 4294967295 134512640 134714508 3221224592 3221222592 1074918212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9589 8830 1111 63 0 9526 0
vsize: 38356
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 45809 0 3 0 10795 196 0 0 25 0 1 0 773350649 44134400 9925 4294967295 134512640 134714508 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10775 9925 1111 63 0 10712 0
vsize: 43100
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 48826 0 3 0 11788 203 0 0 25 0 1 0 773350649 42696704 9556 4294967295 134512640 134714508 3221224592 3221221520 1075960291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10424 9556 1111 63 0 10361 0
vsize: 41696
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 55446 0 3 0 12774 217 0 0 25 0 1 0 773350649 41775104 9427 4294967295 134512640 134714508 3221224592 3221222592 1074918192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10199 9427 1111 63 0 10136 0
vsize: 40796
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 64180 0 3 0 13753 238 0 0 25 0 1 0 773350649 42196992 9543 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10302 9543 1111 63 0 10239 0
vsize: 41208
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 72558 0 3 0 14734 257 0 0 25 0 1 0 773350649 43098112 9577 4294967295 134512640 134714508 3221224592 3221221360 1076084156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10522 9577 1111 63 0 10459 0
vsize: 42088
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 80697 0 3 0 15712 280 0 0 25 0 1 0 773350649 43692032 9783 4294967295 134512640 134714508 3221224592 3221220960 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10667 9783 1111 63 0 10604 0
vsize: 42668
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 85754 0 3 0 16700 292 0 0 25 0 1 0 773350649 44007424 9833 4294967295 134512640 134714508 3221224592 3221220752 1075095106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10744 9833 1111 63 0 10681 0
vsize: 42976
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 96210 0 3 0 17676 316 0 0 25 0 1 0 773350649 43692032 9913 4294967295 134512640 134714508 3221224592 3221222336 1075645372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10667 9913 1111 63 0 10604 0
vsize: 42668
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 104405 0 3 0 18656 336 0 0 25 0 1 0 773350649 44097536 10002 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10766 10002 1111 63 0 10703 0
vsize: 43064
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 110028 0 3 0 19645 347 0 0 25 0 1 0 773350649 44445696 10097 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10851 10097 1111 63 0 10788 0
vsize: 43404
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 117404 0 3 0 20629 364 0 0 25 0 1 0 773350649 44613632 10138 4294967295 134512640 134714508 3221224592 3221223216 134649985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10892 10138 1111 63 0 10829 0
vsize: 43568
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 127281 0 3 0 21607 385 0 0 25 0 1 0 773350649 45346816 10315 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11071 10315 1111 63 0 11008 0
vsize: 44284
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 134380 0 3 0 22591 402 0 0 25 0 1 0 773350649 45457408 10338 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11098 10338 1111 63 0 11035 0
vsize: 44392
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 139506 0 3 0 23579 413 0 0 25 0 1 0 773350649 45637632 10364 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11142 10364 1111 63 0 11079 0
vsize: 44568
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 146739 0 3 0 24563 430 0 0 25 0 1 0 773350649 47136768 10625 4294967295 134512640 134714508 3221224592 3221220864 1074961273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11508 10625 1111 63 0 11445 0
vsize: 46032
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 152940 0 3 0 25546 447 0 0 25 0 1 0 773350649 46931968 10520 4294967295 134512640 134714508 3221224592 3221221536 1074620224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11458 10520 1111 63 0 11395 0
vsize: 45832
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 160377 0 3 0 26531 462 0 0 25 0 1 0 773350649 47800320 10772 4294967295 134512640 134714508 3221224592 3221220524 1074788159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11670 10772 1111 63 0 11607 0
vsize: 46680
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 165757 0 3 0 27518 476 0 0 25 0 1 0 773350649 47333376 10762 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11556 10762 1111 63 0 11493 0
vsize: 46224
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 170875 0 3 0 28506 488 0 0 25 0 1 0 773350649 47304704 10787 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11549 10787 1111 63 0 11486 0
vsize: 46196
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 175798 0 3 0 29493 501 0 0 25 0 1 0 773350649 47841280 10886 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11680 10886 1111 63 0 11617 0
vsize: 46720
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 186934 0 3 0 30468 526 0 0 25 0 1 0 773350649 48635904 10983 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11874 10986 1111 63 0 11811 0
vsize: 47496
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 195852 0 3 0 31448 547 0 0 25 0 1 0 773350649 48226304 11018 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11774 11018 1111 63 0 11711 0
vsize: 47096
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 207484 0 3 0 32425 572 0 0 25 0 1 0 773350649 49369088 11301 4294967295 134512640 134714508 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12053 11301 1111 63 0 11990 0
vsize: 48212
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 212811 0 3 0 33412 585 0 0 25 0 1 0 773350649 49508352 11320 4294967295 134512640 134714508 3221224592 3221222592 1074916540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12087 11320 1111 63 0 12024 0
vsize: 48348
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 219523 0 3 0 34394 603 0 0 25 0 1 0 773350649 49885184 11423 4294967295 134512640 134714508 3221224592 3221221872 1074140001 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12179 11423 1111 63 0 12116 0
vsize: 48716
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 228526 0 3 0 35373 625 0 0 25 0 1 0 773350649 51032064 11678 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12459 11678 1111 63 0 12396 0
vsize: 49836
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 235381 0 3 0 36355 643 0 0 25 0 1 0 773350649 50954240 11660 4294967295 134512640 134714508 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12440 11660 1111 63 0 12377 0
vsize: 49760
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 241725 0 3 0 37340 657 0 0 25 0 1 0 773350649 51097600 11726 4294967295 134512640 134714508 3221224592 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12475 11726 1111 63 0 12412 0
vsize: 49900
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 254659 0 3 0 38311 687 0 0 25 0 1 0 773350649 52105216 11972 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11972 1111 63 0 12658 0
vsize: 50884
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 263124 0 3 0 39291 708 0 0 25 0 1 0 773350649 52940800 12163 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12925 12163 1111 63 0 12862 0
vsize: 51700
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 270734 0 3 0 40272 726 0 0 25 0 1 0 773350649 53014528 12194 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12943 12194 1111 63 0 12880 0
vsize: 51772
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 282151 0 3 0 41246 753 0 0 25 0 1 0 773350649 54116352 12423 4294967295 134512640 134714508 3221224592 3221222944 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13212 12423 1111 63 0 13149 0
vsize: 52848
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 302208 0 3 0 42198 800 0 0 25 0 1 0 773350649 55914496 12870 4294967295 134512640 134714508 3221224592 3221223056 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12870 1111 63 0 13588 0
vsize: 54604
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 324479 0 3 0 43147 852 0 0 25 0 1 0 773350649 59039744 13590 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14414 13590 1111 63 0 14351 0
vsize: 57656
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 345219 0 3 0 44101 898 0 0 25 0 1 0 773350649 60047360 13868 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14660 13868 1111 63 0 14597 0
vsize: 58640
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 371307 0 3 0 45046 953 0 0 25 0 1 0 773350649 64004096 14593 4294967295 134512640 134714508 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15578 14591 1111 63 0 15515 0
vsize: 62504
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 386547 0 3 0 46012 988 0 0 25 0 1 0 773350649 65105920 14914 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15895 14914 1111 63 0 15832 0
vsize: 63580
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 395826 0 3 0 46991 1008 0 0 25 0 1 0 773350649 65511424 15034 4294967295 134512640 134714508 3221224592 3221222456 1077378785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15994 15034 1111 63 0 15931 0
vsize: 63976
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 416568 0 3 0 47945 1055 0 0 25 0 1 0 773350649 67211264 15440 4294967295 134512640 134714508 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16409 15440 1111 63 0 16346 0
vsize: 65636
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 434726 0 3 0 48906 1094 0 0 25 0 1 0 773350649 68620288 15744 4294967295 134512640 134714508 3221224592 3221222592 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16753 15744 1111 63 0 16690 0
vsize: 67012
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 456937 0 3 0 49858 1143 0 0 25 0 1 0 773350649 70811648 16255 4294967295 134512640 134714508 3221224592 3221221712 1074865668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17288 16255 1111 63 0 17225 0
vsize: 69152
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 475313 0 3 0 50815 1185 0 0 25 0 1 0 773350649 72273920 16613 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17645 16613 1111 63 0 17582 0
vsize: 70580
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 492744 0 3 0 51777 1224 0 0 25 0 1 0 773350649 74272768 16942 4294967295 134512640 134714508 3221224592 3221220556 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18133 16942 1111 63 0 18070 0
vsize: 72532
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 507472 0 3 0 52745 1256 0 0 25 0 1 0 773350649 74526720 17155 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18195 17155 1111 63 0 18132 0
vsize: 72780
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 522214 0 3 0 53710 1291 0 0 25 0 1 0 773350649 75423744 17371 4294967295 134512640 134714508 3221224592 3221222640 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18414 17371 1111 63 0 18351 0
vsize: 73656
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 539531 0 3 0 54670 1331 0 0 25 0 1 0 773350649 77598720 17869 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 17869 1111 63 0 18882 0
vsize: 75780
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 552920 0 3 0 55641 1360 0 0 25 0 1 0 773350649 77946880 17977 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19030 17977 1111 63 0 18967 0
vsize: 76120
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 564545 0 3 0 56613 1388 0 0 25 0 1 0 773350649 79421440 18150 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19390 18150 1111 63 0 19327 0
vsize: 77560
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 573949 0 3 0 57591 1410 0 0 25 0 1 0 773350649 80769024 18527 4294967295 134512640 134714508 3221224592 3221220636 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18527 1111 63 0 19656 0
vsize: 78876
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 581262 0 3 0 58575 1427 0 0 25 0 1 0 773350649 79921152 18427 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19512 18427 1111 63 0 19449 0
vsize: 78048
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 591486 0 3 0 59550 1452 0 0 25 0 1 0 773350649 81416192 18668 4294967295 134512640 134714508 3221224592 3221220556 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19877 18668 1111 63 0 19814 0
vsize: 79508
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 605204 0 3 0 60518 1484 0 0 25 0 1 0 773350649 82300928 18892 4294967295 134512640 134714508 3221224592 3221220948 1075522593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20093 18892 1111 63 0 20030 0
vsize: 80372
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 621327 0 3 0 61482 1520 0 0 25 0 1 0 773350649 82743296 19139 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20201 19139 1111 63 0 20138 0
vsize: 80804
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 638336 0 3 0 62448 1554 0 0 25 0 1 0 773350649 84127744 19458 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20539 19458 1111 63 0 20476 0
vsize: 82156
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 652478 0 3 0 63417 1585 0 0 25 0 1 0 773350649 85688320 19806 4294967295 134512640 134714508 3221224592 3221222704 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20920 19806 1111 63 0 20857 0
vsize: 83680
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 671496 0 3 0 64375 1628 0 0 25 0 1 0 773350649 88875008 20293 4294967295 134512640 134714508 3221224592 3221220812 1075111812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21698 20293 1111 63 0 21635 0
vsize: 86792
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 694229 0 3 0 65324 1679 0 0 25 0 1 0 773350649 90529792 20837 4294967295 134512640 134714508 3221224592 3221222592 1074918347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22102 20837 1111 63 0 22039 0
vsize: 88408
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 709143 0 3 0 66291 1712 0 0 25 0 1 0 773350649 91971584 21202 4294967295 134512640 134714508 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 21202 1111 63 0 22391 0
vsize: 89816
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 726863 0 3 0 67249 1754 0 0 25 0 1 0 773350649 93220864 21498 4294967295 134512640 134714508 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22759 21498 1111 63 0 22696 0
vsize: 91036
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 740217 0 3 0 68218 1786 0 0 25 0 1 0 773350649 93986816 21689 4294967295 134512640 134714508 3221224592 3221222320 1075828466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22946 21689 1111 63 0 22883 0
vsize: 91784
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 754055 0 3 0 69186 1818 0 0 25 0 1 0 773350649 94973952 21940 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23187 21940 1111 63 0 23124 0
vsize: 92748
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 775044 0 3 0 70137 1867 0 0 25 0 1 0 773350649 96657408 22348 4294967295 134512640 134714508 3221224592 3221222656 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23598 22348 1111 63 0 23535 0
vsize: 94392
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 792208 0 3 0 71099 1904 0 0 25 0 1 0 773350649 98213888 22724 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23978 22724 1111 63 0 23915 0
vsize: 95912
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 807689 0 3 0 72067 1937 0 0 25 0 1 0 773350649 99098624 22956 4294967295 134512640 134714508 3221224592 3221221872 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24242 22956 1111 63 0 24179 0
vsize: 96776
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 828870 0 3 0 73019 1985 0 0 25 0 1 0 773350649 101601280 23404 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24805 23404 1111 63 0 24742 0
vsize: 99220
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 847737 0 3 0 73977 2027 0 0 25 0 1 0 773350649 102567936 23807 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25041 23807 1111 63 0 24978 0
vsize: 100164
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 862773 0 3 0 74945 2060 0 0 25 0 1 0 773350649 103538688 24046 4294967295 134512640 134714508 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25278 24046 1111 63 0 25215 0
vsize: 101112
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 877522 0 3 0 75910 2095 0 0 25 0 1 0 773350649 104452096 24265 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25501 24265 1111 63 0 25438 0
vsize: 102004
[startup+790.032 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 886169 0 3 0 76889 2116 0 0 25 0 1 0 773350649 104890368 24354 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25608 24354 1111 63 0 25545 0
vsize: 102432
[startup+800.032 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 900565 0 3 0 77857 2148 0 0 25 0 1 0 773350649 106065920 24647 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25895 24647 1111 63 0 25832 0
vsize: 103580
[startup+810.032 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 915179 0 3 0 78822 2184 0 0 25 0 1 0 773350649 107253760 24950 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26185 24950 1111 63 0 26122 0
vsize: 104740
[startup+820.032 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 932327 0 3 0 79779 2226 0 0 25 0 1 0 773350649 108388352 25210 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26462 25210 1111 63 0 26399 0
vsize: 105848
[startup+830.032 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 949856 0 3 0 80741 2264 0 0 25 0 1 0 773350649 109957120 25584 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26845 25584 1111 63 0 26782 0
vsize: 107380
[startup+840.032 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 968383 0 3 0 81702 2303 0 0 25 0 1 0 773350649 111558656 26010 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27236 26010 1111 63 0 27173 0
vsize: 108944
[startup+850.031 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 984243 0 3 0 82665 2340 0 0 25 0 1 0 773350649 112693248 26273 4294967295 134512640 134714508 3221224592 3221222320 1075828221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27513 26273 1111 63 0 27450 0
vsize: 110052
[startup+860.032 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1000870 0 3 0 83628 2379 0 0 25 0 1 0 773350649 114806784 26670 4294967295 134512640 134714508 3221224592 3221220976 1074974017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28029 26670 1111 63 0 27966 0
vsize: 112116
[startup+870.032 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1015939 0 3 0 84594 2413 0 0 25 0 1 0 773350649 115122176 26887 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28106 26887 1111 63 0 28043 0
vsize: 112424
[startup+880.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1031923 0 3 0 85557 2450 0 0 25 0 1 0 773350649 116445184 27208 4294967295 134512640 134714508 3221224592 3221222512 1075799774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28429 27208 1111 63 0 28366 0
vsize: 113716
[startup+890.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1048029 0 3 0 86523 2484 0 0 25 0 1 0 773350649 118169600 27601 4294967295 134512640 134714508 3221224592 3221223056 1074121065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28850 27601 1111 63 0 28787 0
vsize: 115400
[startup+900.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1064583 0 3 0 87486 2521 0 0 25 0 1 0 773350649 121659392 28160 4294967295 134512640 134714508 3221224592 3221222464 1075125811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29702 28160 1111 63 0 29639 0
vsize: 118808
[startup+910.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1076468 0 3 0 88461 2546 0 0 25 0 1 0 773350649 122597376 28404 4294967295 134512640 134714508 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29931 28404 1111 63 0 29868 0
vsize: 119724
[startup+920.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1090488 0 3 0 89429 2579 0 0 25 0 1 0 773350649 123588608 28638 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30173 28638 1111 63 0 30110 0
vsize: 120692
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1100985 0 3 0 90404 2603 0 0 25 0 1 0 773350649 125001728 28870 4294967295 134512640 134714508 3221224592 3221221248 1075966566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30518 28870 1111 63 0 30455 0
vsize: 122072
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1115429 0 3 0 91374 2634 0 0 25 0 1 0 773350649 126160896 29152 4294967295 134512640 134714508 3221224592 3221220912 1075171383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30801 29152 1111 63 0 30738 0
vsize: 123204
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1124247 0 3 0 92355 2653 0 0 25 0 1 0 773350649 125493248 29128 4294967295 134512640 134714508 3221224592 3221222704 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30638 29128 1111 63 0 30575 0
vsize: 122552
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1134150 0 3 0 93333 2674 0 0 25 0 1 0 773350649 126107648 29280 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30788 29280 1111 63 0 30725 0
vsize: 123152
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1143923 0 3 0 94312 2696 0 0 25 0 1 0 773350649 126750720 29444 4294967295 134512640 134714508 3221224592 3221223216 134535471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30945 29444 1111 63 0 30882 0
vsize: 123780
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1156991 0 3 0 95283 2725 0 0 25 0 1 0 773350649 127692800 29675 4294967295 134512640 134714508 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31175 29675 1111 63 0 31112 0
vsize: 124700
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1169288 0 3 0 96256 2753 0 0 25 0 1 0 773350649 129638400 29982 4294967295 134512640 134714508 3221224592 3221220912 1075170370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31650 29982 1111 63 0 31587 0
vsize: 126600
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1180304 0 3 0 97231 2778 0 0 25 0 1 0 773350649 129466368 30102 4294967295 134512640 134714508 3221224592 3221222532 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31608 30102 1111 63 0 31545 0
vsize: 126432
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1194857 0 3 0 98198 2811 0 0 25 0 1 0 773350649 130641920 30396 4294967295 134512640 134714508 3221224592 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31895 30396 1111 63 0 31832 0
vsize: 127580
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1212754 0 3 0 99158 2851 0 0 25 0 1 0 773350649 132403200 30783 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32325 30783 1111 63 0 32262 0
vsize: 129300
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1241578 0 3 0 100097 2912 0 0 25 0 1 0 773350649 134676480 31306 4294967295 134512640 134714508 3221224592 3221222512 1075799826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32880 31306 1111 63 0 32817 0
vsize: 131520
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1260269 0 3 0 101057 2952 0 0 25 0 1 0 773350649 136896512 31708 4294967295 134512640 134714508 3221224592 3221220832 1075115762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33422 31708 1111 63 0 33359 0
vsize: 133688
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1277817 0 3 0 102021 2989 0 0 25 0 1 0 773350649 138006528 31991 4294967295 134512640 134714508 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33693 31991 1111 63 0 33630 0
vsize: 134772
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1295331 0 3 0 102983 3027 0 0 25 0 1 0 773350649 139317248 32365 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34013 32365 1111 63 0 33950 0
vsize: 136052
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1308654 0 3 0 103955 3054 0 0 25 0 1 0 773350649 140587008 32553 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34419 32556 1111 63 0 34356 0
vsize: 137292
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1323743 0 3 0 104923 3087 0 0 25 0 1 0 773350649 142323712 32860 4294967295 134512640 134714508 3221224592 3221220912 1075170242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34747 32860 1111 63 0 34684 0
vsize: 138988
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1337637 0 3 0 105892 3118 0 0 25 0 1 0 773350649 143532032 33112 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35042 33114 1111 63 0 34979 0
vsize: 140168
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1353748 0 3 0 106857 3154 0 0 25 0 1 0 773350649 143749120 33372 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35095 33372 1111 63 0 35032 0
vsize: 140380
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1368064 0 3 0 107825 3185 0 0 25 0 1 0 773350649 145567744 33580 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35539 33580 1111 63 0 35476 0
vsize: 142156
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1386000 0 3 0 108786 3225 0 0 25 0 1 0 773350649 146837504 34006 4294967295 134512640 134714508 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35849 34006 1111 63 0 35786 0
vsize: 143396
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1400633 0 3 0 109753 3258 0 0 25 0 1 0 773350649 148426752 34219 4294967295 134512640 134714508 3221224592 3221220912 1075116210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36237 34219 1111 63 0 36174 0
vsize: 144948
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1413328 0 3 0 110725 3287 0 0 25 0 1 0 773350649 150249472 34523 4294967295 134512640 134714508 3221224592 3221221732 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36682 34523 1111 63 0 36619 0
vsize: 146728
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1425274 0 3 0 111696 3316 0 0 25 0 1 0 773350649 150024192 34656 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36627 34656 1111 63 0 36564 0
vsize: 146508
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1440891 0 3 0 112658 3353 0 0 25 0 1 0 773350649 151195648 34913 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36913 34913 1111 63 0 36850 0
vsize: 147652
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1454650 0 3 0 113626 3386 0 0 25 0 1 0 773350649 152006656 35113 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37111 35113 1111 63 0 37048 0
vsize: 148444
[startup+1175.04 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 25923
Raw data (stat): 25923 (bsolo_lpr) R 25922 23514 23513 0 -1 0 1454650 0 3 0 113626 3386 0 0 25 0 1 0 773350649 152006656 35113 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37111 35113 1111 63 0 37048 0
vsize: 0

Child status: 10
Real time (s): 1175.04
CPU time (s): 1175.12
CPU user time (s): 1141.1
CPU system time (s): 34.0248
CPU usage (%): 100.007
Max. virtual memory (Kb): 148444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1139712
#### END VERIFIER DATA ####