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/milp/normalized-mps-v2-13-7-neos5.opb
MD5SUM	4f5f6e30a602f3968daa9ca41c7da043
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2058
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	9334
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1024
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	9334
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05284
Number of variables	133
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	81
Trace number 41670

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 19:27:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29733 boxname=wulflinc4 idbench=1517 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4f5f6e30a602f3968daa9ca41c7da043  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos5.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-neos5.opb
IDLAUNCH: 29733
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889272 kB
Buffers:          2364 kB
Cached:         122472 kB
SwapCached:        896 kB
Active:          25128 kB
Inactive:       101688 kB
HighTotal:      131008 kB
HighFree:         5572 kB
LowTotal:       903652 kB
LowFree:        883700 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12768 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:46:43 (client local time) WITH STATUS 10 IN 1182.04 SECONDS
stats: 29733 0 1182.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 133 variables and 73 constraints.
c After prepocess the problem consists of 133 variables and 73 constraints.
c preprocess terminated 0.288 s
c Initial Lower Bound: 1664
c Lower Bound Elapsed time: 0.0855
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2178 @ 1.005
s SATISFIABLE
v d1_bit0 -d2_bit0 -d3_bit0 d4_bit0 d5_bit0 -d6_bit0 -d7_bit0 -d8_bit0 -d9_bit0 d10_bit0 d11_bit0 -d12_bit0 -d13_bit0 -d14_bit0 -d15_bit0 -d16_bit0 -d17_bit0 -d18_bit0 d19_bit0 -d20_bit0 -d21_bit0 d22_bit0 d23_bit0 -d24_bit0 d25_bit0 -d26_bit0 -d27_bit0 -d28_bit0 -d29_bit0 -d30_bit0 -d31_bit0 -d32_bit0 -d33_bit0 d34_bit0 -d35_bit0 -d36_bit0 d37_bit0 -d38_bit0 -d39_bit0 -d40_bit0 d41_bit0 -d42_bit0 -d43_bit0 -d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 d49_bit0 d50_bit0 -d51_bit0 -d52_bit0 d53_bit0 d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 -d55_bit0 d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 -d57_bit0 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 d58_bit0 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 d60_bit0 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
c Exit Code: 10
c Total time: 1181.91 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.79 0.95 0.92 2/54 19894
Raw data (stat): 19894 (runsolver) R 19893 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912778717 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.83 0.95 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 12073 0 0 0 948 48 0 0 25 0 1 0 912778717 20664320 4351 4294967295 134512640 134716908 3221224560 3221223192 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4351 1111 63 0 4982 0
vsize: 20180
[startup+20.0018 s]
Raw data (loadavg): 0.85 0.95 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 27091 0 0 0 1898 99 0 0 25 0 1 0 912778717 29687808 6488 4294967295 134512640 134716908 3221224560 3221223008 134535146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7248 6488 1111 63 0 7185 0
vsize: 28992
[startup+30.0021 s]
Raw data (loadavg): 0.87 0.95 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 51026 0 0 0 2828 168 0 0 25 0 1 0 912778717 39632896 8782 4294967295 134512640 134716908 3221224560 3221222768 1074208114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9676 8782 1111 63 0 9613 0
vsize: 38704
[startup+40.0026 s]
Raw data (loadavg): 0.89 0.95 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 72487 0 0 0 3769 228 0 0 25 0 1 0 912778717 45916160 10344 4294967295 134512640 134716908 3221224560 3221222672 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10344 1111 63 0 11147 0
vsize: 44840
[startup+50.0035 s]
Raw data (loadavg): 0.91 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 93951 0 0 0 4713 284 0 0 25 0 1 0 912778717 51191808 11592 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12498 11592 1111 63 0 12435 0
vsize: 49992
[startup+60.0047 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 115197 0 0 0 5660 337 0 0 25 0 1 0 912778717 55459840 12703 4294967295 134512640 134716908 3221224560 3221223164 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13540 12703 1111 63 0 13477 0
vsize: 54160
[startup+70.0052 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 146587 0 0 0 6585 412 0 0 25 0 1 0 912778717 62423040 14298 4294967295 134512640 134716908 3221224560 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15240 14298 1111 63 0 15177 0
vsize: 60960
[startup+80.005 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 181134 0 0 0 7509 488 0 0 25 0 1 0 912778717 70807552 15858 4294967295 134512640 134716908 3221224560 3221221628 1074831203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17287 15858 1111 63 0 17224 0
vsize: 69148
[startup+90.0063 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 221943 0 0 0 8415 582 0 0 25 0 1 0 912778717 75706368 17273 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18483 17273 1111 63 0 18420 0
vsize: 73932
[startup+100.007 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 242228 0 0 0 9367 630 0 0 25 0 1 0 912778717 78602240 18014 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19190 18014 1111 63 0 19127 0
vsize: 76760
[startup+110.008 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 257981 0 0 0 10332 665 0 0 25 0 1 0 912778717 81666048 18778 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19938 18778 1111 63 0 19875 0
vsize: 79752
[startup+120.009 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 279207 0 0 0 11281 716 0 0 25 0 1 0 912778717 85082112 19374 4294967295 134512640 134716908 3221224560 3221221604 1074846216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20772 19374 1111 63 0 20709 0
vsize: 83088
[startup+130.008 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 322765 0 0 0 12179 819 0 0 25 0 1 0 912778717 90984448 21114 4294967295 134512640 134716908 3221224560 3221222840 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22213 21114 1111 63 0 22150 0
vsize: 88852
[startup+140.009 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 349822 0 0 0 13116 882 0 0 25 0 1 0 912778717 94670848 22012 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23113 22012 1111 63 0 23050 0
vsize: 92452
[startup+150.047 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 379909 0 0 0 14051 950 0 0 25 0 1 0 912778717 99450880 23153 4294967295 134512640 134716908 3221224560 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24280 23153 1111 63 0 24217 0
vsize: 97120
[startup+160.048 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 401943 0 0 0 15001 1001 0 0 25 0 1 0 912778717 104943616 23981 4294967295 134512640 134716908 3221224560 3221221392 1075115295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25621 23981 1111 63 0 25558 0
vsize: 102484
[startup+170.048 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 423176 0 0 0 15953 1049 0 0 25 0 1 0 912778717 107003904 24723 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26124 24723 1111 63 0 26061 0
vsize: 104496
[startup+180.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 449857 0 0 0 16890 1112 0 0 25 0 1 0 912778717 111321088 25747 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27178 25747 1111 63 0 27115 0
vsize: 108712
[startup+190.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 484217 0 0 0 17809 1194 0 0 25 0 1 0 912778717 115855360 26851 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28285 26851 1111 63 0 28222 0
vsize: 113140
[startup+200.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 515833 0 0 0 18732 1270 0 0 25 0 1 0 912778717 120410112 27988 4294967295 134512640 134716908 3221224560 3221222488 1074052669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29397 27988 1111 63 0 29334 0
vsize: 117588
[startup+210.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 534806 0 0 0 19684 1318 0 0 25 0 1 0 912778717 125370368 29146 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30608 29146 1111 63 0 30545 0
vsize: 122432
[startup+220.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 536919 0 0 0 20677 1325 0 0 25 0 1 0 912778717 124637184 29035 4294967295 134512640 134716908 3221224560 3221222208 1075818352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30429 29035 1111 63 0 30366 0
vsize: 121716
[startup+230.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 569722 0 0 0 21597 1406 0 0 25 0 1 0 912778717 133603328 30500 4294967295 134512640 134716908 3221224560 3221223128 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32618 30500 1111 63 0 32555 0
vsize: 130472
[startup+240.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 614652 0 0 0 22494 1508 0 0 25 0 1 0 912778717 138788864 31835 4294967295 134512640 134716908 3221224560 3221223068 1074942563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33884 31835 1111 63 0 33821 0
vsize: 135536
[startup+250.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 641598 0 0 0 23433 1570 0 0 25 0 1 0 912778717 143380480 32558 4294967295 134512640 134716908 3221224560 3221221656 1076121329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35005 32558 1111 63 0 34942 0
vsize: 140020
[startup+260.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 669165 0 0 0 24366 1637 0 0 25 0 1 0 912778717 145428480 33493 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35505 33493 1111 63 0 35442 0
vsize: 142020
[startup+270.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 698345 0 0 0 25301 1702 0 0 25 0 1 0 912778717 148922368 34366 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36358 34366 1111 63 0 36295 0
vsize: 145432
[startup+280.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 722360 0 0 0 26241 1762 0 0 25 0 1 0 912778717 150462464 34746 4294967295 134512640 134716908 3221224560 3221223152 134539425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36734 34746 1111 63 0 36671 0
vsize: 146936
[startup+290.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 750725 0 0 0 27174 1829 0 0 25 0 1 0 912778717 154554368 35712 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37733 35712 1111 63 0 37670 0
vsize: 150932
[startup+300.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 757279 0 0 0 28159 1845 0 0 25 0 1 0 912778717 155885568 35759 4294967295 134512640 134716908 3221224560 3221220768 1074815366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38058 35761 1111 63 0 37995 0
vsize: 152232
[startup+310.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 775616 0 0 0 29114 1890 0 0 25 0 1 0 912778717 156344320 36181 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38170 36181 1111 63 0 38107 0
vsize: 152680
[startup+320.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 777699 0 0 0 30108 1896 0 0 25 0 1 0 912778717 161345536 37245 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39391 37245 1111 63 0 39328 0
vsize: 157564
[startup+330.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 789179 0 0 0 31083 1921 0 0 25 0 1 0 912778717 156549120 36238 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38735 36244 1111 63 0 38672 0
vsize: 152880
[startup+340.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 831640 0 0 0 31979 2026 0 0 25 0 1 0 912778717 167211008 38545 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40823 38545 1111 63 0 40760 0
vsize: 163292
[startup+350.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 865380 0 0 0 32894 2111 0 0 25 0 1 0 912778717 166989824 38867 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40769 38867 1111 63 0 40706 0
vsize: 163076
[startup+360.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 908695 0 0 0 33789 2216 0 0 25 0 1 0 912778717 175636480 40236 4294967295 134512640 134716908 3221224560 3221221632 1074867317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42880 40236 1111 63 0 42817 0
vsize: 171520
[startup+370.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 942037 0 0 0 34711 2294 0 0 25 0 1 0 912778717 176283648 41106 4294967295 134512640 134716908 3221224560 3221223008 1073989984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43038 41106 1111 63 0 42975 0
vsize: 172152
[startup+380.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 979057 0 0 0 35624 2381 0 0 25 0 1 0 912778717 180641792 42181 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44231 42181 1111 63 0 44168 0
vsize: 176408
[startup+390.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 990219 0 0 0 36598 2407 0 0 25 0 1 0 912778717 184246272 43056 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44982 43056 1111 63 0 44919 0
vsize: 179928
[startup+400.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 999537 0 0 0 37578 2428 0 0 25 0 1 0 912778717 184860672 43214 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45132 43214 1111 63 0 45069 0
vsize: 180528
[startup+410.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1005387 0 0 0 38563 2443 0 0 25 0 1 0 912778717 183152640 42808 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44844 42809 1111 63 0 44781 0
vsize: 178860
[startup+420.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1020558 0 0 0 39528 2478 0 0 25 0 1 0 912778717 185516032 43373 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45292 43373 1111 63 0 45229 0
vsize: 181168
[startup+430.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1066908 0 0 0 40415 2591 0 0 25 0 1 0 912778717 192425984 44932 4294967295 134512640 134716908 3221224560 3221223284 134622849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46979 44932 1111 63 0 46916 0
vsize: 187916
[startup+440.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1103374 0 0 0 41332 2675 0 0 25 0 1 0 912778717 205082624 46749 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50069 46761 1111 63 0 50006 0
vsize: 200276
[startup+450.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1129278 0 0 0 42273 2734 0 0 25 0 1 0 912778717 205438976 47343 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50285 47343 1111 63 0 50222 0
vsize: 200624
[startup+460.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1162235 0 0 0 43194 2813 0 0 25 0 1 0 912778717 208400384 48054 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50879 48054 1111 63 0 50816 0
vsize: 203516
[startup+470.06 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1206468 0 0 0 44084 2923 0 0 25 0 1 0 912778717 212955136 49120 4294967295 134512640 134716908 3221224560 3221222400 1075798484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51991 49120 1111 63 0 51928 0
vsize: 207964
[startup+480.059 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1226396 0 0 0 45039 2968 0 0 25 0 1 0 912778717 215638016 49804 4294967295 134512640 134716908 3221224560 3221222800 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52646 49804 1111 63 0 52583 0
vsize: 210584
[startup+490.059 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1236222 0 0 0 46015 2992 0 0 25 0 1 0 912778717 216129536 49931 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52766 49931 1111 63 0 52703 0
vsize: 211064
[startup+500.06 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1262377 0 0 0 46951 3057 0 0 25 0 1 0 912778717 222228480 50667 4294967295 134512640 134716908 3221224560 3221221216 1075967942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54255 50667 1111 63 0 54192 0
vsize: 217020
[startup+510.06 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1304138 0 0 0 47857 3151 0 0 25 0 1 0 912778717 223113216 51691 4294967295 134512640 134716908 3221224560 3221222920 1074140959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54471 51691 1111 63 0 54408 0
vsize: 217884
[startup+520.06 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1308813 0 0 0 48847 3161 0 0 25 0 1 0 912778717 225550336 52274 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55066 52274 1111 63 0 55003 0
vsize: 220264
[startup+530.06 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1325931 0 0 0 49810 3198 0 0 25 0 1 0 912778717 225644544 52298 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55089 52298 1111 63 0 55026 0
vsize: 220356
[startup+540.061 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1352387 0 0 0 50749 3259 0 0 25 0 1 0 912778717 228978688 52673 4294967295 134512640 134716908 3221224560 3221221564 1074621081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55903 52673 1111 63 0 55840 0
vsize: 223612
[startup+550.06 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1379846 0 0 0 51686 3322 0 0 25 0 1 0 912778717 230969344 53622 4294967295 134512640 134716908 3221224560 3221222816 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56389 53622 1111 63 0 56326 0
vsize: 225556
[startup+560.062 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1392770 0 0 0 52655 3354 0 0 25 0 1 0 912778717 230920192 53629 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56506 53629 1111 63 0 56443 0
vsize: 225508
[startup+570.062 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1411820 0 0 0 53612 3397 0 0 25 0 1 0 912778717 233594880 54299 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57030 54299 1111 63 0 56967 0
vsize: 228120
[startup+580.062 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1430644 0 0 0 54569 3440 0 0 25 0 1 0 912778717 234360832 54494 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57217 54494 1111 63 0 57154 0
vsize: 228868
[startup+590.062 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1442639 0 0 0 55544 3466 0 0 25 0 1 0 912778717 236318720 54992 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57695 54992 1111 63 0 57632 0
vsize: 230780
[startup+600.062 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1450335 0 0 0 56526 3483 0 0 25 0 1 0 912778717 236793856 55053 4294967295 134512640 134716908 3221224560 3221222896 1074153893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57811 55053 1111 63 0 57748 0
vsize: 231244
[startup+610.062 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1460279 0 0 0 57501 3508 0 0 25 0 1 0 912778717 236208128 54977 4294967295 134512640 134716908 3221224560 3221223240 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57668 54977 1111 63 0 57605 0
vsize: 230672
[startup+620.063 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1474013 0 0 0 58467 3543 0 0 25 0 1 0 912778717 236462080 55031 4294967295 134512640 134716908 3221224560 3221223236 134524053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57730 55031 1111 63 0 57667 0
vsize: 230920
[startup+630.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1498510 0 0 0 59409 3600 0 0 25 0 1 0 912778717 239730688 55846 4294967295 134512640 134716908 3221224560 3221222560 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58528 55846 1111 63 0 58465 0
vsize: 234112
[startup+640.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1522801 0 0 0 60350 3661 0 0 25 0 1 0 912778717 243298304 56748 4294967295 134512640 134716908 3221224560 3221223456 134621546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59399 56748 1111 63 0 59336 0
vsize: 237596
[startup+650.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1551649 0 0 0 61276 3735 0 0 25 0 1 0 912778717 246927360 57629 4294967295 134512640 134716908 3221224560 3221222560 1074918257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60285 57629 1111 63 0 60222 0
vsize: 241140
[startup+660.064 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1566196 0 0 0 62240 3770 0 0 25 0 1 0 912778717 247734272 57862 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60482 57862 1111 63 0 60419 0
vsize: 241928
[startup+670.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1588915 0 0 0 63185 3826 0 0 25 0 1 0 912778717 255672320 58995 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62420 58995 1111 63 0 62357 0
vsize: 249680
[startup+680.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1589097 0 0 0 64183 3828 0 0 25 0 1 0 912778717 256364544 59152 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62589 59152 1111 63 0 62526 0
vsize: 250356
[startup+690.066 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1589183 0 0 0 65182 3829 0 0 25 0 1 0 912778717 256802816 59238 4294967295 134512640 134716908 3221224560 3221222752 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62696 59238 1111 63 0 62633 0
vsize: 250784
[startup+700.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1590477 0 0 0 66179 3832 0 0 25 0 1 0 912778717 260370432 60132 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63567 60132 1111 63 0 63504 0
vsize: 254268
[startup+710.065 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1590477 0 0 0 67180 3832 0 0 25 0 1 0 912778717 260370432 60132 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63567 60132 1111 63 0 63504 0
vsize: 254268
[startup+720.066 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1594531 0 0 0 68171 3841 0 0 25 0 1 0 912778717 257556480 59443 4294967295 134512640 134716908 3221224560 3221222400 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62880 59443 1111 63 0 62817 0
vsize: 251520
[startup+730.066 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1594600 0 0 0 69170 3842 0 0 25 0 1 0 912778717 257814528 59512 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62943 59512 1111 63 0 62880 0
vsize: 251772
[startup+740.067 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1597142 0 0 0 70163 3849 0 0 25 0 1 0 912778717 264663040 60654 4294967295 134512640 134716908 3221224560 3221221480 1074950108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64615 60654 1111 63 0 64552 0
vsize: 258460
[startup+750.068 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1610963 0 0 0 71131 3881 0 0 25 0 1 0 912778717 262651904 59894 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64124 59894 1111 63 0 64061 0
vsize: 256496
[startup+760.067 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1611066 0 0 0 72130 3882 0 0 25 0 1 0 912778717 263155712 59997 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64247 59997 1111 63 0 64184 0
vsize: 256988
[startup+770.068 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1611146 0 0 0 73129 3884 0 0 25 0 1 0 912778717 263421952 60077 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64312 60077 1111 63 0 64249 0
vsize: 257248
[startup+780.068 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1626588 0 0 0 74093 3920 0 0 25 0 1 0 912778717 263356416 60052 4294967295 134512640 134716908 3221224560 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64296 60052 1111 63 0 64233 0
vsize: 257184
[startup+790.069 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1626753 0 0 0 75091 3922 0 0 25 0 1 0 912778717 263622656 60132 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64361 60132 1111 63 0 64298 0
vsize: 257444
[startup+800.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1626838 0 0 0 76090 3923 0 0 25 0 1 0 912778717 264044544 60217 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64464 60217 1111 63 0 64401 0
vsize: 257856
[startup+810.069 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1634309 0 0 0 77073 3940 0 0 25 0 1 0 912778717 267173888 60994 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65228 60994 1111 63 0 65165 0
vsize: 260912
[startup+820.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1634309 0 0 0 78074 3940 0 0 25 0 1 0 912778717 267173888 60994 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65228 60994 1111 63 0 65165 0
vsize: 260912
[startup+830.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1636650 0 0 0 79069 3944 0 0 25 0 1 0 912778717 274755584 62567 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67079 62567 1111 63 0 67016 0
vsize: 268316
[startup+840.071 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1639161 0 0 0 80061 3952 0 0 25 0 1 0 912778717 263626752 60133 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64362 60133 1111 63 0 64299 0
vsize: 257448
[startup+850.071 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1639245 0 0 0 81060 3954 0 0 25 0 1 0 912778717 263970816 60217 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64446 60217 1111 63 0 64383 0
vsize: 257784
[startup+860.072 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1642092 0 0 0 82054 3960 0 0 25 0 1 0 912778717 274608128 61978 4294967295 134512640 134716908 3221224560 3221220800 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67043 61978 1111 63 0 66980 0
vsize: 268172
[startup+870.072 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1646172 0 0 0 83046 3969 0 0 25 0 1 0 912778717 267083776 60973 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65206 60973 1111 63 0 65143 0
vsize: 260824
[startup+880.072 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1646172 0 0 0 84046 3969 0 0 25 0 1 0 912778717 267083776 60973 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65206 60973 1111 63 0 65143 0
vsize: 260824
[startup+890.072 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1646230 0 0 0 85046 3969 0 0 25 0 1 0 912778717 268296192 60714 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65502 60721 1111 63 0 65439 0
vsize: 262008
[startup+900.072 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1656862 0 0 0 86022 3993 0 0 25 0 1 0 912778717 271249408 61394 4294967295 134512640 134716908 3221224560 3221220520 1075964775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66223 61394 1111 63 0 66160 0
vsize: 264892
[startup+910.071 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1695050 0 0 0 86926 4089 0 0 25 0 1 0 912778717 270225408 60763 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65973 60763 1111 63 0 65910 0
vsize: 263892
[startup+920.073 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1710514 0 0 0 87891 4125 0 0 25 0 1 0 912778717 268488704 61341 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65549 61341 1111 63 0 65486 0
vsize: 262196
[startup+930.072 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1721234 0 0 0 88863 4153 0 0 25 0 1 0 912778717 268328960 61257 4294967295 134512640 134716908 3221224560 3221222448 1074839094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65510 61257 1111 63 0 65447 0
vsize: 262040
[startup+940.073 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1751263 0 0 0 89790 4226 0 0 25 0 1 0 912778717 276402176 61811 4294967295 134512640 134716908 3221224560 3221221216 1075968404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67481 61811 1111 63 0 67418 0
vsize: 269924
[startup+950.073 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1775406 0 0 0 90730 4286 0 0 25 0 1 0 912778717 271122432 62048 4294967295 134512640 134716908 3221224560 3221221984 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66192 62048 1111 63 0 66129 0
vsize: 264768
[startup+960.073 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1809440 0 0 0 91646 4370 0 0 25 0 1 0 912778717 274112512 62788 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66922 62788 1111 63 0 66859 0
vsize: 267688
[startup+970.074 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1827596 0 0 0 92600 4416 0 0 25 0 1 0 912778717 276783104 63468 4294967295 134512640 134716908 3221224560 3221222752 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67574 63468 1111 63 0 67511 0
vsize: 270296
[startup+980.074 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1827682 0 0 0 93599 4418 0 0 25 0 1 0 912778717 277184512 63534 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67672 63534 1111 63 0 67609 0
vsize: 270688
[startup+990.075 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1832568 0 0 0 94588 4429 0 0 25 0 1 0 912778717 286240768 64525 4294967295 134512640 134716908 3221224560 3221221632 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69883 64525 1111 63 0 69820 0
vsize: 279532
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1841116 0 0 0 95568 4448 0 0 25 0 1 0 912778717 277479424 63639 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67744 63639 1111 63 0 67681 0
vsize: 270976
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1841200 0 0 0 96567 4450 0 0 25 0 1 0 912778717 277954560 63723 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67860 63723 1111 63 0 67797 0
vsize: 271440
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1846946 0 0 0 97555 4462 0 0 25 0 1 0 912778717 278880256 63908 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68086 63908 1111 63 0 68023 0
vsize: 272344
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1847137 0 0 0 98554 4463 0 0 25 0 1 0 912778717 279494656 64099 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68236 64099 1111 63 0 68173 0
vsize: 272944
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1856923 0 0 0 99532 4486 0 0 25 0 1 0 912778717 278036480 63775 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67880 63775 1111 63 0 67817 0
vsize: 271520
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1857072 0 0 0 100530 4488 0 0 25 0 1 0 912778717 278646784 63924 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68029 63924 1111 63 0 67966 0
vsize: 272116
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1861186 0 0 0 101520 4498 0 0 25 0 1 0 912778717 277794816 63716 4294967295 134512640 134716908 3221224560 3221223432 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67821 63716 1111 63 0 67758 0
vsize: 271284
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1863452 0 0 0 102513 4506 0 0 25 0 1 0 912778717 278687744 63934 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68039 63934 1111 63 0 67976 0
vsize: 272156
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1868784 0 0 0 103501 4517 0 0 25 0 1 0 912778717 280367104 64282 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68449 64282 1111 63 0 68386 0
vsize: 273796
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1896124 0 0 0 104434 4585 0 0 25 0 1 0 912778717 283373568 64220 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69183 64230 1111 63 0 69120 0
vsize: 276732
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1925022 0 0 0 105362 4657 0 0 25 0 1 0 912778717 281194496 64601 4294967295 134512640 134716908 3221224560 3221223144 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68651 64601 1111 63 0 68588 0
vsize: 274604
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1926633 0 0 0 106358 4661 0 0 25 0 1 0 912778717 282611712 64947 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68997 64947 1111 63 0 68934 0
vsize: 275988
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1935551 0 0 0 107338 4681 0 0 25 0 1 0 912778717 281976832 64772 4294967295 134512640 134716908 3221224560 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68842 64772 1111 63 0 68779 0
vsize: 275368
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1959484 0 0 0 108279 4740 0 0 25 0 1 0 912778717 284450816 64888 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69960 64891 1111 63 0 69897 0
vsize: 277784
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1982273 0 0 0 109224 4796 0 0 25 0 1 0 912778717 284147712 65304 4294967295 134512640 134716908 3221224560 3221221840 1074140368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69415 65306 1111 63 0 69352 0
vsize: 277488
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1984375 0 0 0 110217 4803 0 0 25 0 1 0 912778717 284659712 65449 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69497 65449 1111 63 0 69434 0
vsize: 277988
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1991546 0 0 0 111199 4821 0 0 25 0 1 0 912778717 284606464 65419 4294967295 134512640 134716908 3221224560 3221222496 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69484 65419 1111 63 0 69421 0
vsize: 277936
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1996063 0 0 0 112189 4831 0 0 25 0 1 0 912778717 284381184 65381 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69429 65381 1111 63 0 69366 0
vsize: 277716
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1996763 0 0 0 113186 4834 0 0 25 0 1 0 912778717 287105024 65922 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70094 65922 1111 63 0 70031 0
vsize: 280376
[startup+1181.91 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 19894
Raw data (stat): 19894 (bsolo_lpr_cuts-) R 19893 21152 21151 0 -1 0 1996763 0 0 0 113186 4834 0 0 25 0 1 0 912778717 287105024 65922 4294967295 134512640 134716908 3221224560 3221222672 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70094 65922 1111 63 0 70031 0
vsize: 0

Child status: 10
Real time (s): 1181.91
CPU time (s): 1182.04
CPU user time (s): 1133.5
CPU system time (s): 48.5456
CPU usage (%): 100.011
Max. virtual memory (Kb): 280376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2178
#### END VERIFIER DATA ####