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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM	e6bff154156b54af3a9a38f7579209b6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	17324
Optimality of the best value was proved	NO
Number of terms in the objective function	163
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	74742
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	8192
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	74742
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06984
Number of variables	163
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	102
Trace number 41289

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        519120 kB
Buffers:         22996 kB
Cached:         471316 kB
SwapCached:        932 kB
Active:          29856 kB
Inactive:       466516 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        518840 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13480 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:59:50 (client local time) WITH STATUS 10 IN 1198.41 SECONDS
stats: 29348 0 1198.41 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 163 variables and 73 constraints.
c After prepocess the problem consists of 163 variables and 73 constraints.
c preprocess terminated 0.354 s
c Initial Lower Bound: 13312
c Lower Bound Elapsed time: 0.132
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 17954 @ 1.21
c NEW SOLUTION FOUND: 17949 @ 1.306
c NEW SOLUTION FOUND: 17933 @ 1.35
c NEW SOLUTION FOUND: 17925 @ 6.53

    c  Warning: NO Unit Constraints after backtrack??
	Continuing Execution....



    c  Warning: NO Unit Constraints after backtrack??
	Continuing Execution....



    c  Warning: NO Unit Constraints after backtrack??
	Continuing Execution....



    c  Warning: NO Unit Constraints after backtrack??
	Continuing Execution....


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_10 d54_bit_9 d54_bit_8 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_10 -d55_bit_9 -d55_bit_8 -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_10 -d56_bit_9 -d56_bit_8 -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_10 -d57_bit_9 -d57_bit_8 -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_10 -d58_bit_9 -d58_bit_8 -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_10 d59_bit_9 d59_bit_8 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_10 d60_bit_9 d60_bit_8 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_10 d61_bit_9 d61_bit_8 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_10 d62_bit_9 d62_bit_8 -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_10 -d63_bit_9 -d63_bit_8 -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: 1198.23 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.84 0.94 0.90 2/54 10137
Raw data (stat): 10137 (runsolver) R 10136 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909264090 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 11652 0 0 0 944 53 0 0 25 0 1 0 909264090 18825216 3910 4294967295 134512640 134716908 3221224560 3221222780 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3910 1111 63 0 4533 0
vsize: 18384
[startup+20.0024 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 23734 0 0 0 1897 100 0 0 25 0 1 0 909264090 30318592 6667 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7376 6666 1111 63 0 7313 0
vsize: 29608
[startup+30.0033 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 43611 0 0 0 2840 158 0 0 25 0 1 0 909264090 40910848 9065 4294967295 134512640 134716908 3221224560 3221222868 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9988 9065 1111 63 0 9925 0
vsize: 39952
[startup+40.0037 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 69185 0 0 0 3765 234 0 0 25 0 1 0 909264090 48570368 10987 4294967295 134512640 134716908 3221224560 3221222608 1074140675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11858 10987 1111 63 0 11795 0
vsize: 47432
[startup+50.0048 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 89677 0 0 0 4709 289 0 0 25 0 1 0 909264090 54996992 12529 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13427 12529 1111 63 0 13364 0
vsize: 53708
[startup+60.0046 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 114468 0 0 0 5645 354 0 0 25 0 1 0 909264090 63188992 14350 4294967295 134512640 134716908 3221224560 3221222520 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15461 14357 1111 63 0 15398 0
vsize: 61708
[startup+70.0051 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 130665 0 0 0 6605 394 0 0 25 0 1 0 909264090 67309568 15372 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16356 15366 1111 63 0 16293 0
vsize: 65732
[startup+80.0063 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 150359 0 0 0 7555 445 0 0 25 0 1 0 909264090 74629120 16828 4294967295 134512640 134716908 3221224560 3221222092 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18161 16827 1111 63 0 18098 0
vsize: 72880
[startup+90.0061 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 175015 0 0 0 8493 508 0 0 25 0 1 0 909264090 78876672 17909 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19257 17909 1111 63 0 19194 0
vsize: 77028
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 200071 0 0 0 9426 574 0 0 25 0 1 0 909264090 84189184 19306 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20554 19306 1111 63 0 20491 0
vsize: 82216
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 223220 0 0 0 10369 633 0 0 25 0 1 0 909264090 89710592 20594 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21902 20594 1111 63 0 21839 0
vsize: 87608
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 249527 0 0 0 11304 697 0 0 25 0 1 0 909264090 94990336 21975 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23191 21975 1111 63 0 23128 0
vsize: 92764
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 277442 0 0 0 12238 764 0 0 25 0 1 0 909264090 100319232 23292 4294967295 134512640 134716908 3221224560 3221223280 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24492 23292 1111 63 0 24429 0
vsize: 97968
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 289256 0 0 0 13211 792 0 0 25 0 1 0 909264090 103530496 24062 4294967295 134512640 134716908 3221224560 3221223364 134622645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25276 24062 1111 63 0 25213 0
vsize: 101104
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 315898 0 0 0 14149 854 0 0 25 0 1 0 909264090 106934272 24936 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26107 24936 1111 63 0 26044 0
vsize: 104428
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 349206 0 0 0 15074 929 0 0 25 0 1 0 909264090 115974144 26735 4294967295 134512640 134716908 3221224560 3221223168 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28314 26735 1111 63 0 28251 0
vsize: 113256
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 373742 0 0 0 16017 986 0 0 25 0 1 0 909264090 121335808 28024 4294967295 134512640 134716908 3221224560 3221222832 1074056262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29623 28024 1111 63 0 29560 0
vsize: 118492
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 399158 0 0 0 16958 1046 0 0 25 0 1 0 909264090 124899328 28924 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30607 28926 1111 63 0 30544 0
vsize: 121972
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 422307 0 0 0 17905 1100 0 0 25 0 1 0 909264090 136368128 30925 4294967295 134512640 134716908 3221224560 3221223136 134535439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33293 30925 1111 63 0 33230 0
vsize: 133172
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 453999 0 0 0 18825 1179 0 0 25 0 1 0 909264090 143060992 32572 4294967295 134512640 134716908 3221224560 3221223076 134535986 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34927 32572 1111 63 0 34864 0
vsize: 139708
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 491552 0 0 0 19741 1264 0 0 25 0 1 0 909264090 149671936 34255 4294967295 134512640 134716908 3221224560 3221222360 1077374661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36541 34255 1111 63 0 36478 0
vsize: 146164
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 524019 0 0 0 20667 1338 0 0 25 0 1 0 909264090 154619904 35491 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37749 35491 1111 63 0 37686 0
vsize: 150996
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 550276 0 0 0 21604 1401 0 0 25 0 1 0 909264090 159289344 36676 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39129 36682 1111 63 0 39066 0
vsize: 155556
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 567249 0 0 0 22566 1440 0 0 25 0 1 0 909264090 164392960 37951 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40135 37951 1111 63 0 40072 0
vsize: 160540
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 596358 0 0 0 23504 1502 0 0 25 0 1 0 909264090 167575552 38749 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40912 38749 1111 63 0 40849 0
vsize: 163648
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 621554 0 0 0 24443 1564 0 0 25 0 1 0 909264090 175583232 40533 4294967295 134512640 134716908 3221224560 3221221752 1074138303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42867 40543 1111 63 0 42804 0
vsize: 171468
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 631262 0 0 0 25421 1586 0 0 25 0 1 0 909264090 174485504 40265 4294967295 134512640 134716908 3221224560 3221220944 1076117480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42599 40266 1111 63 0 42536 0
vsize: 170396
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 640924 0 0 0 26396 1611 0 0 25 0 1 0 909264090 177807360 41135 4294967295 134512640 134716908 3221224560 3221220800 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43410 41135 1111 63 0 43347 0
vsize: 173640
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 664502 0 0 0 27343 1665 0 0 25 0 1 0 909264090 180760576 41851 4294967295 134512640 134716908 3221224560 3221220800 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44131 41851 1111 63 0 44068 0
vsize: 176524
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 686891 0 0 0 28292 1716 0 0 25 0 1 0 909264090 182149120 42179 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44470 42179 1111 63 0 44407 0
vsize: 177880
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 695382 0 0 0 29272 1736 0 0 25 0 1 0 909264090 181743616 42295 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44371 42295 1111 63 0 44308 0
vsize: 177484
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 715486 0 0 0 30223 1786 0 0 25 0 1 0 909264090 183128064 42652 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44709 42652 1111 63 0 44646 0
vsize: 178836
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 741899 0 0 0 31161 1848 0 0 25 0 1 0 909264090 187531264 43713 4294967295 134512640 134716908 3221224560 3221223024 1074121065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45784 43713 1111 63 0 45721 0
vsize: 183136
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 768065 0 0 0 32098 1911 0 0 25 0 1 0 909264090 192323584 44875 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46954 44875 1111 63 0 46891 0
vsize: 187816
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 785502 0 0 0 33059 1951 0 0 25 0 1 0 909264090 193617920 45221 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47270 45221 1111 63 0 47207 0
vsize: 189080
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 810934 0 0 0 34000 2011 0 0 25 0 1 0 909264090 198025216 46337 4294967295 134512640 134716908 3221224560 3221222468 1075126103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48346 46337 1111 63 0 48283 0
vsize: 193384
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 835640 0 0 0 34942 2070 0 0 25 0 1 0 909264090 202813440 47482 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49515 47482 1111 63 0 49452 0
vsize: 198060
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 865067 0 0 0 35869 2143 0 0 25 0 1 0 909264090 209944576 48835 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51256 48846 1111 63 0 51193 0
vsize: 205024
[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 866383 0 0 0 36865 2147 0 0 25 0 1 0 909264090 211746816 49534 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51696 49534 1111 63 0 51633 0
vsize: 206784
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 889899 0 0 0 37809 2203 0 0 25 0 1 0 909264090 212979712 49733 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52067 49735 1111 63 0 52004 0
vsize: 207988
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 930916 0 0 0 38724 2289 0 0 25 0 1 0 909264090 225697792 52023 4294967295 134512640 134716908 3221224560 3221221432 1077799011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55102 52023 1111 63 0 55039 0
vsize: 220408
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 967605 0 0 0 39638 2375 0 0 25 0 1 0 909264090 230965248 53373 4294967295 134512640 134716908 3221224560 3221222864 1074206916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56388 53373 1111 63 0 56325 0
vsize: 225552
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1007123 0 0 0 40547 2465 0 0 25 0 1 0 909264090 235565056 54551 4294967295 134512640 134716908 3221224560 3221221480 1077377488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57511 54551 1111 63 0 57448 0
vsize: 230044
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1030190 0 0 0 41497 2515 0 0 25 0 1 0 909264090 238878720 55379 4294967295 134512640 134716908 3221224560 3221222528 1074247419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58320 55379 1111 63 0 58257 0
vsize: 233280
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1062209 0 0 0 42425 2588 0 0 25 0 1 0 909264090 241664000 56095 4294967295 134512640 134716908 3221224560 3221222288 1075828432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59000 56095 1111 63 0 58937 0
vsize: 236000
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1097751 0 0 0 43346 2667 0 0 25 0 1 0 909264090 246734848 57142 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60238 57142 1111 63 0 60175 0
vsize: 240952
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1134807 0 0 0 44262 2752 0 0 25 0 1 0 909264090 250327040 58209 4294967295 134512640 134716908 3221224560 3221222824 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61045 58207 1111 63 0 60982 0
vsize: 244460
[startup+480.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1146862 0 0 0 45233 2781 0 0 25 0 1 0 909264090 253296640 58926 4294967295 134512640 134716908 3221224560 3221223352 134536915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61840 58926 1111 63 0 61777 0
vsize: 247360
[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1161511 0 0 0 46203 2811 0 0 25 0 1 0 909264090 265314304 59892 4294967295 134512640 134716908 3221224560 3221222560 1074917162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64774 59892 1111 63 0 64711 0
vsize: 259096
[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1176865 0 0 0 47169 2846 0 0 25 0 1 0 909264090 267681792 60493 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65352 60493 1111 63 0 65289 0
vsize: 261408
[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1197192 0 0 0 48123 2892 0 0 25 0 1 0 909264090 271192064 61080 4294967295 134512640 134716908 3221224560 3221221504 1074620322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65930 61056 1111 63 0 65867 0
vsize: 264836
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1235009 0 0 0 49040 2975 0 0 25 0 1 0 909264090 277286912 62892 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 62892 1111 63 0 67634 0
vsize: 270788
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1266398 0 0 0 49967 3048 0 0 25 0 1 0 909264090 280936448 63722 4294967295 134512640 134716908 3221224560 3221222824 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68448 63718 1111 63 0 68385 0
vsize: 274352
[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1295082 0 0 0 50901 3115 0 0 25 0 1 0 909264090 285638656 64824 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69736 64824 1111 63 0 69673 0
vsize: 278944
[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1303761 0 0 0 51880 3137 0 0 25 0 1 0 909264090 287014912 65403 4294967295 134512640 134716908 3221224560 3221222752 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70072 65403 1111 63 0 70009 0
vsize: 280288
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1308410 0 0 0 52870 3147 0 0 25 0 1 0 909264090 289484800 65996 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70675 65996 1111 63 0 70612 0
vsize: 282700
[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1309595 0 0 0 53868 3150 0 0 25 0 1 0 909264090 294924288 66614 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72003 66614 1111 63 0 71940 0
vsize: 288012
[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1335877 0 0 0 54800 3218 0 0 25 0 1 0 909264090 289902592 66059 4294967295 134512640 134716908 3221224560 3221223016 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70777 66059 1111 63 0 70714 0
vsize: 283108
[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1336201 0 0 0 55798 3220 0 0 25 0 1 0 909264090 291147776 66383 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71081 66383 1111 63 0 71018 0
vsize: 284324
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1358669 0 0 0 56744 3274 0 0 25 0 1 0 909264090 292319232 66696 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71367 66696 1111 63 0 71304 0
vsize: 285468
[startup+610.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1370819 0 0 0 57714 3305 0 0 25 0 1 0 909264090 295317504 67429 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72099 67429 1111 63 0 72036 0
vsize: 288396
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1375027 0 0 0 58704 3315 0 0 25 0 1 0 909264090 301858816 68470 4294967295 134512640 134716908 3221224560 3221221392 1075115375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73696 68470 1111 63 0 73633 0
vsize: 294784
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1400303 0 0 0 59641 3378 0 0 25 0 1 0 909264090 297017344 67866 4294967295 134512640 134716908 3221224560 3221222740 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72514 67866 1111 63 0 72451 0
vsize: 290056
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1447474 0 0 0 60518 3502 0 0 25 0 1 0 909264090 304381952 69754 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74312 69754 1111 63 0 74249 0
vsize: 297248
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1484504 0 0 0 61424 3596 0 0 25 0 1 0 909264090 309465088 71057 4294967295 134512640 134716908 3221224560 3221222716 1073950808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75553 71057 1111 63 0 75490 0
vsize: 302212
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1526954 0 0 0 62320 3700 0 0 25 0 1 0 909264090 316301312 72759 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77222 72759 1111 63 0 77159 0
vsize: 308888
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1566079 0 0 0 63223 3797 0 0 25 0 1 0 909264090 326021120 74183 4294967295 134512640 134716908 3221224560 3221221136 1076045841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79595 74183 1111 63 0 79532 0
vsize: 318380
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1590333 0 0 0 64166 3855 0 0 25 0 1 0 909264090 324947968 74979 4294967295 134512640 134716908 3221224560 3221222304 1075636575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79333 74979 1111 63 0 79270 0
vsize: 317332
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1612452 0 0 0 65110 3911 0 0 25 0 1 0 909264090 327041024 75498 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79844 75498 1111 63 0 79781 0
vsize: 319376
[startup+700.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1631849 0 0 0 66058 3963 0 0 25 0 1 0 909264090 327548928 75651 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79968 75651 1111 63 0 79905 0
vsize: 319872
[startup+710.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1665687 0 0 0 66977 4044 0 0 25 0 1 0 909264090 331509760 76680 4294967295 134512640 134716908 3221224560 3221222560 1074919330 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80935 76680 1111 63 0 80872 0
vsize: 323740
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1667634 0 0 0 67971 4051 0 0 25 0 1 0 909264090 333000704 77046 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81299 77046 1111 63 0 81236 0
vsize: 325196
[startup+730.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1670077 0 0 0 68966 4057 0 0 25 0 1 0 909264090 341237760 78579 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83310 78579 1111 63 0 83247 0
vsize: 333240
[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1672839 0 0 0 69958 4064 0 0 25 0 1 0 909264090 334573568 77410 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81683 77410 1111 63 0 81620 0
vsize: 326732
[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1673638 0 0 0 70957 4067 0 0 25 0 1 0 909264090 335949824 77757 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82019 77757 1111 63 0 81956 0
vsize: 328076
[startup+760.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1678105 0 0 0 71946 4078 0 0 25 0 1 0 909264090 335540224 77646 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81919 77646 1111 63 0 81856 0
vsize: 327676
[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1681630 0 0 0 72937 4087 0 0 25 0 1 0 909264090 335331328 77613 4294967295 134512640 134716908 3221224560 3221222712 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81868 77613 1111 63 0 81805 0
vsize: 327472
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1681760 0 0 0 73937 4088 0 0 25 0 1 0 909264090 335208448 77583 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81838 77583 1111 63 0 81775 0
vsize: 327352
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1685847 0 0 0 74928 4097 0 0 25 0 1 0 909264090 337698816 77710 4294967295 134512640 134716908 3221224560 3221222200 1075850414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82446 77710 1111 63 0 82383 0
vsize: 329784
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1694163 0 0 0 75909 4117 0 0 25 0 1 0 909264090 334143488 77345 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81578 77345 1111 63 0 81515 0
vsize: 326312
[startup+810.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1701126 0 0 0 76893 4133 0 0 25 0 1 0 909264090 333684736 77233 4294967295 134512640 134716908 3221224560 3221222848 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81466 77233 1111 63 0 81403 0
vsize: 325864
[startup+820.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1701399 0 0 0 77892 4135 0 0 25 0 1 0 909264090 335036416 77506 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81796 77510 1111 63 0 81733 0
vsize: 327184
[startup+830.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1704766 0 0 0 78884 4142 0 0 25 0 1 0 909264090 336166912 77820 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82072 77820 1111 63 0 82009 0
vsize: 328288
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1706710 0 0 0 79880 4147 0 0 25 0 1 0 909264090 333684736 77233 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81466 77233 1111 63 0 81403 0
vsize: 325864
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1732182 0 0 0 80819 4209 0 0 25 0 1 0 909264090 334004224 77309 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81544 77309 1111 63 0 81481 0
vsize: 326176
[startup+860.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1732898 0 0 0 81816 4212 0 0 25 0 1 0 909264090 336138240 77826 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82065 77826 1111 63 0 82002 0
vsize: 328260
[startup+870.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1741142 0 0 0 82798 4231 0 0 25 0 1 0 909264090 336744448 77893 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82213 77893 1111 63 0 82150 0
vsize: 328852
[startup+880.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1761811 0 0 0 83749 4280 0 0 25 0 1 0 909264090 335392768 77653 4294967295 134512640 134716908 3221224560 3221222896 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81883 77653 1111 63 0 81820 0
vsize: 327532
[startup+890.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1768367 0 0 0 84733 4296 0 0 25 0 1 0 909264090 336166912 77842 4294967295 134512640 134716908 3221224560 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82072 77842 1111 63 0 82009 0
vsize: 328288
[startup+900.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1780481 0 0 0 85707 4323 0 0 25 0 1 0 909264090 335757312 77773 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81972 77773 1111 63 0 81909 0
vsize: 327888
[startup+910.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1794807 0 0 0 86671 4359 0 0 25 0 1 0 909264090 336105472 77830 4294967295 134512640 134716908 3221224560 3221222912 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82057 77830 1111 63 0 81994 0
vsize: 328228
[startup+920.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1798721 0 0 0 87662 4369 0 0 25 0 1 0 909264090 337649664 78235 4294967295 134512640 134716908 3221224560 3221222896 1075552814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82434 78235 1111 63 0 82371 0
vsize: 329736
[startup+930.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1813030 0 0 0 88625 4406 0 0 25 0 1 0 909264090 337600512 78223 4294967295 134512640 134716908 3221224560 3221222480 1075799533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82422 78223 1111 63 0 82359 0
vsize: 329688
[startup+940.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1846487 0 0 0 89542 4489 0 0 25 0 1 0 909264090 340983808 78346 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83248 78354 1111 63 0 83185 0
vsize: 332992
[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1871513 0 0 0 90481 4550 0 0 25 0 1 0 909264090 340418560 78948 4294967295 134512640 134716908 3221224560 3221222560 1074916744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83110 78948 1111 63 0 83047 0
vsize: 332440
[startup+960.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1902512 0 0 0 91409 4623 0 0 25 0 1 0 909264090 343207936 79664 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83791 79664 1111 63 0 83728 0
vsize: 335164
[startup+970.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1925152 0 0 0 92357 4676 0 0 25 0 1 0 909264090 349843456 80157 4294967295 134512640 134716908 3221224560 3221221328 1076084148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85411 80157 1111 63 0 85348 0
vsize: 341644
[startup+980.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1954742 0 0 0 93283 4750 0 0 25 0 1 0 909264090 347389952 80624 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84812 80624 1111 63 0 84749 0
vsize: 339248
[startup+990.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 1970243 0 0 0 94248 4785 0 0 25 0 1 0 909264090 352591872 80843 4294967295 134512640 134716908 3221224560 3221220736 1075414316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86082 80843 1111 63 0 86019 0
vsize: 344328
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2004630 0 0 0 95163 4870 0 0 25 0 1 0 909264090 351592448 81721 4294967295 134512640 134716908 3221224560 3221222848 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85838 81721 1111 63 0 85775 0
vsize: 343352
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2033873 0 0 0 96088 4946 0 0 25 0 1 0 909264090 355430400 82331 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87145 82334 1111 63 0 87082 0
vsize: 347100
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2065617 0 0 0 97014 5021 0 0 25 0 1 0 909264090 357261312 83172 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87222 83172 1111 63 0 87159 0
vsize: 348888
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2089306 0 0 0 97959 5077 0 0 25 0 1 0 909264090 359899136 83844 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87866 83844 1111 63 0 87803 0
vsize: 351464
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2093565 0 0 0 98949 5086 0 0 25 0 1 0 909264090 362360832 84375 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88467 84375 1111 63 0 88404 0
vsize: 353868
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2101581 0 0 0 99930 5106 0 0 25 0 1 0 909264090 360378368 83989 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87983 83989 1111 63 0 87920 0
vsize: 351932
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2138722 0 0 0 100840 5197 0 0 25 0 1 0 909264090 367325184 84903 4294967295 134512640 134716908 3221224560 3221222128 1075972440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89679 84903 1111 63 0 89616 0
vsize: 358716
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2165586 0 0 0 101776 5262 0 0 25 0 1 0 909264090 367587328 85722 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89743 85722 1111 63 0 89680 0
vsize: 358972
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2197381 0 0 0 102701 5337 0 0 25 0 1 0 909264090 370319360 86403 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90410 86403 1111 63 0 90347 0
vsize: 361640
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2225683 0 0 0 103632 5407 0 0 25 0 1 0 909264090 372092928 86894 4294967295 134512640 134716908 3221224560 3221222512 1074056084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90843 86894 1111 63 0 90780 0
vsize: 363372
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2247032 0 0 0 104582 5457 0 0 25 0 1 0 909264090 373772288 87325 4294967295 134512640 134716908 3221224560 3221222824 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91253 87325 1111 63 0 91190 0
vsize: 365012
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2266563 0 0 0 105535 5504 0 0 25 0 1 0 909264090 375668736 87795 4294967295 134512640 134716908 3221224560 3221222896 1074153722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91716 87795 1111 63 0 91653 0
vsize: 366864
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2272078 0 0 0 106524 5516 0 0 25 0 1 0 909264090 376782848 88067 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91988 88067 1111 63 0 91925 0
vsize: 367952
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2293110 0 0 0 107477 5566 0 0 25 0 1 0 909264090 379236352 88650 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92587 88650 1111 63 0 92524 0
vsize: 370348
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2323301 0 0 0 108404 5639 0 0 25 0 1 0 909264090 387768320 89603 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94670 89603 1111 63 0 94607 0
vsize: 378680
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2349385 0 0 0 109340 5703 0 0 25 0 1 0 909264090 388521984 90201 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94854 90210 1111 63 0 94791 0
vsize: 379416
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2356717 0 0 0 110321 5723 0 0 25 0 1 0 909264090 387452928 90700 4294967295 134512640 134716908 3221224560 3221222400 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94593 90700 1111 63 0 94530 0
vsize: 378372
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2356806 0 0 0 111320 5724 0 0 25 0 1 0 909264090 387817472 90789 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94682 90789 1111 63 0 94619 0
vsize: 378728
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2357953 0 0 0 112317 5727 0 0 25 0 1 0 909264090 391118848 91582 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95488 91582 1111 63 0 95425 0
vsize: 381952
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2357953 0 0 0 113318 5727 0 0 25 0 1 0 909264090 391118848 91582 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95488 91582 1111 63 0 95425 0
vsize: 381952
[startup+1198.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10137
Raw data (stat): 10137 (bsolo_lpr_cuts-) R 10136 25568 25567 0 -1 0 2357953 0 0 0 113318 5727 0 0 25 0 1 0 909264090 391118848 91582 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95488 91582 1111 63 0 95425 0
vsize: 0

Child status: 10
Real time (s): 1198.07
CPU time (s): 1198.41
CPU user time (s): 1140.87
CPU system time (s): 57.5433
CPU usage (%): 100.028
Max. virtual memory (Kb): 381952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17925
#### END VERIFIER DATA ####