PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 41102

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 05:50:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29166 boxname=wulflinc5 idbench=950 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 29166
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        900932 kB
Buffers:          9264 kB
Cached:         103604 kB
SwapCached:        692 kB
Active:          22064 kB
Inactive:        92824 kB
HighTotal:      131008 kB
HighFree:        49644 kB
LowTotal:       903652 kB
LowFree:        851288 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13188 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:09:55 (client local time) WITH STATUS 10 IN 1175.77 SECONDS
stats: 29166 0 1175.77 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.13 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.053
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 38 @ 0.186
c NEW SOLUTION FOUND: 37 @ 0.191
c NEW SOLUTION FOUND: 36 @ 0.193
c NEW SOLUTION FOUND: 35 @ 0.209
c NEW SOLUTION FOUND: 34 @ 0.223
c NEW SOLUTION FOUND: 33 @ 0.24
c NEW SOLUTION FOUND: 32 @ 0.332
c NEW SOLUTION FOUND: 31 @ 1.026
c NEW SOLUTION FOUND: 30 @ 177.029
s SATISFIABLE
v V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 V0006_bit0 V0007_bit0 -V0008_bit0 V0009_bit0 V0010_bit0 V0011_bit0 V0012_bit0 -V0013_bit0 -V0014_bit0 V0015_bit0 -V0016_bit0 V0017_bit0 -V0018_bit0 V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 V0024_bit0 -V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 V0033_bit0 -V0034_bit0 V0035_bit0 V0036_bit0 -V0037_bit0 V0038_bit0 -V0039_bit0 V0040_bit0 -V0041_bit0 V0042_bit0 V0043_bit0 V0044_bit0 -V0045_bit0 
c Exit Code: 10
c Total time: 1175.74 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.74 0.86 0.87 1/54 29864
Raw data (stat): 29864 (runsolver) R 29863 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907887496 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.0005 s]
Raw data (loadavg): 0.78 0.86 0.87 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 12860 0 0 0 960 37 0 0 25 0 1 0 907887496 7954432 1203 4294967295 134512640 134716908 3221224560 3221222864 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1942 1203 1111 63 0 1879 0
vsize: 7768
[startup+20.0018 s]
Raw data (loadavg): 0.81 0.86 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 27862 0 0 0 1919 78 0 0 25 0 1 0 907887496 8982528 1431 4294967295 134512640 134716908 3221224560 3221221712 1075969906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2193 1431 1111 63 0 2130 0
vsize: 8772
[startup+30.0032 s]
Raw data (loadavg): 0.84 0.87 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 43331 0 0 0 2878 119 0 0 25 0 1 0 907887496 9531392 1592 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2327 1592 1111 63 0 2264 0
vsize: 9308
[startup+40.0026 s]
Raw data (loadavg): 0.86 0.87 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 57480 0 0 0 3842 155 0 0 25 0 1 0 907887496 10129408 1709 4294967295 134512640 134716908 3221224560 3221221600 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2473 1713 1111 63 0 2410 0
vsize: 9892
[startup+50.0027 s]
Raw data (loadavg): 0.88 0.88 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 71528 0 0 0 4806 192 0 0 25 0 1 0 907887496 10518528 1857 4294967295 134512640 134716908 3221224560 3221222208 1075817784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1857 1111 63 0 2505 0
vsize: 10272
[startup+60.0034 s]
Raw data (loadavg): 0.90 0.88 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 86288 0 0 0 5766 232 0 0 25 0 1 0 907887496 11390976 2026 4294967295 134512640 134716908 3221224560 3221221680 1074837212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2781 2026 1111 63 0 2718 0
vsize: 11124
[startup+70.0038 s]
Raw data (loadavg): 0.92 0.88 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 99482 0 0 0 6731 266 0 0 25 0 1 0 907887496 11472896 2117 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2801 2117 1111 63 0 2738 0
vsize: 11204
[startup+80.005 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 112820 0 0 0 7697 301 0 0 25 0 1 0 907887496 12267520 2261 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2995 2261 1111 63 0 2932 0
vsize: 11980
[startup+90.0047 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 127176 0 0 0 8661 337 0 0 25 0 1 0 907887496 12533760 2378 4294967295 134512640 134716908 3221224560 3221223120 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2378 1111 63 0 2997 0
vsize: 12240
[startup+100.004 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 141199 0 0 0 9627 372 0 0 25 0 1 0 907887496 13533184 2529 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 2529 1111 63 0 3241 0
vsize: 13216
[startup+110.005 s]
Raw data (loadavg): 0.95 0.90 0.88 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 154898 0 0 0 10594 405 0 0 25 0 1 0 907887496 13508608 2604 4294967295 134512640 134716908 3221224560 3221221752 1074138290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 2605 1111 63 0 3280 0
vsize: 13192
[startup+120.006 s]
Raw data (loadavg): 0.96 0.90 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 168659 0 0 0 11560 439 0 0 25 0 1 0 907887496 13946880 2694 4294967295 134512640 134716908 3221224560 3221222208 1075817673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2694 1111 63 0 3342 0
vsize: 13620
[startup+130.006 s]
Raw data (loadavg): 0.97 0.90 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 182361 0 0 0 12525 474 0 0 25 0 1 0 907887496 14843904 2874 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3624 2874 1111 63 0 3561 0
vsize: 14496
[startup+140.006 s]
Raw data (loadavg): 0.97 0.90 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 196374 0 0 0 13490 509 0 0 25 0 1 0 907887496 15294464 2995 4294967295 134512640 134716908 3221224560 3221221128 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2995 1111 63 0 3671 0
vsize: 14936
[startup+150.007 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 210446 0 0 0 14455 544 0 0 25 0 1 0 907887496 15736832 3062 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3842 3062 1111 63 0 3779 0
vsize: 15368
[startup+160.007 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 224287 0 0 0 15423 577 0 0 25 0 1 0 907887496 16007168 3163 4294967295 134512640 134716908 3221224560 3221220720 1075091291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3163 1111 63 0 3845 0
vsize: 15632
[startup+170.008 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 237450 0 0 0 16391 609 0 0 25 0 1 0 907887496 16130048 3262 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3938 3262 1111 63 0 3875 0
vsize: 15752
[startup+180.009 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 252448 0 0 0 17355 645 0 0 25 0 1 0 907887496 17723392 3434 4294967295 134512640 134716908 3221224560 3221220992 1075119627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4327 3434 1111 63 0 4264 0
vsize: 17308
[startup+190.009 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 265314 0 0 0 18321 679 0 0 25 0 1 0 907887496 17940480 3492 4294967295 134512640 134716908 3221224560 3221220704 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3492 1111 63 0 4317 0
vsize: 17520
[startup+200.009 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 279068 0 0 0 19287 713 0 0 25 0 1 0 907887496 17735680 3554 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4330 3554 1111 63 0 4267 0
vsize: 17320
[startup+210.01 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 291557 0 0 0 20255 745 0 0 25 0 1 0 907887496 17256448 3538 4294967295 134512640 134716908 3221224560 3221223128 134543130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3538 1111 63 0 4150 0
vsize: 16852
[startup+220.01 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 306208 0 0 0 21220 780 0 0 25 0 1 0 907887496 17559552 3612 4294967295 134512640 134716908 3221224560 3221222848 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4287 3612 1111 63 0 4224 0
vsize: 17148
[startup+230.01 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 320142 0 0 0 22186 815 0 0 25 0 1 0 907887496 17911808 3670 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3670 1111 63 0 4310 0
vsize: 17492
[startup+240.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 334530 0 0 0 23148 853 0 0 25 0 1 0 907887496 18030592 3727 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4402 3727 1111 63 0 4339 0
vsize: 17608
[startup+250.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 348869 0 0 0 24111 890 0 0 25 0 1 0 907887496 18444288 3796 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3796 1111 63 0 4440 0
vsize: 18012
[startup+260.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 360402 0 0 0 25083 918 0 0 25 0 1 0 907887496 18776064 3878 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3878 1111 63 0 4521 0
vsize: 18336
[startup+270.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 373592 0 0 0 26051 950 0 0 25 0 1 0 907887496 18915328 3939 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4618 3939 1111 63 0 4555 0
vsize: 18472
[startup+280.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 388584 0 0 0 27010 991 0 0 25 0 1 0 907887496 19042304 3967 4294967295 134512640 134716908 3221224560 3221222560 1074915773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4649 3967 1111 63 0 4586 0
vsize: 18596
[startup+290.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 400822 0 0 0 27979 1023 0 0 25 0 1 0 907887496 21274624 4445 4294967295 134512640 134716908 3221224560 3221220800 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4445 1111 63 0 5131 0
vsize: 20776
[startup+300.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 413152 0 0 0 28946 1056 0 0 25 0 1 0 907887496 19423232 4067 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 4067 1111 63 0 4679 0
vsize: 18968
[startup+310.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 427752 0 0 0 29910 1092 0 0 25 0 1 0 907887496 19787776 4124 4294967295 134512640 134716908 3221224560 3221222648 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 4124 1111 63 0 4768 0
vsize: 19324
[startup+320.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 439763 0 0 0 30878 1124 0 0 25 0 1 0 907887496 20123648 4237 4294967295 134512640 134716908 3221224560 3221222560 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4237 1111 63 0 4850 0
vsize: 19652
[startup+330.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 454756 0 0 0 31842 1161 0 0 25 0 1 0 907887496 20299776 4262 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4262 1111 63 0 4893 0
vsize: 19824
[startup+340.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 469505 0 0 0 32807 1196 0 0 25 0 1 0 907887496 20418560 4284 4294967295 134512640 134716908 3221224560 3221222848 1074153469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4985 4284 1111 63 0 4922 0
vsize: 19940
[startup+350.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 482954 0 0 0 33771 1231 0 0 25 0 1 0 907887496 22323200 4680 4294967295 134512640 134716908 3221224560 3221220928 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4680 1111 63 0 5387 0
vsize: 21800
[startup+360.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 495237 0 0 0 34740 1263 0 0 25 0 1 0 907887496 21004288 4445 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 4445 1111 63 0 5065 0
vsize: 20512
[startup+370.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 508593 0 0 0 35707 1296 0 0 25 0 1 0 907887496 21032960 4460 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5135 4460 1111 63 0 5072 0
vsize: 20540
[startup+380.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 518662 0 0 0 36683 1320 0 0 25 0 1 0 907887496 23142400 4890 4294967295 134512640 134716908 3221224560 3221220704 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5650 4890 1111 63 0 5587 0
vsize: 22600
[startup+390.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 531511 0 0 0 37651 1352 0 0 25 0 1 0 907887496 21704704 4581 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5299 4581 1111 63 0 5236 0
vsize: 21196
[startup+400.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 543984 0 0 0 38619 1385 0 0 25 0 1 0 907887496 21872640 4617 4294967295 134512640 134716908 3221224560 3221222304 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 4619 1111 63 0 5262 0
vsize: 21360
[startup+410.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 556587 0 0 0 39587 1417 0 0 25 0 1 0 907887496 22081536 4684 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4684 1111 63 0 5328 0
vsize: 21564
[startup+420.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 569234 0 0 0 40556 1448 0 0 25 0 1 0 907887496 22249472 4757 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 4757 1111 63 0 5369 0
vsize: 21728
[startup+430.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 581590 0 0 0 41523 1481 0 0 25 0 1 0 907887496 22552576 4799 4294967295 134512640 134716908 3221224560 3221221664 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 4799 1111 63 0 5443 0
vsize: 22024
[startup+440.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 594490 0 0 0 42491 1513 0 0 25 0 1 0 907887496 22712320 4870 4294967295 134512640 134716908 3221224560 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5545 4870 1111 63 0 5482 0
vsize: 22180
[startup+450.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 604459 0 0 0 43465 1540 0 0 25 0 1 0 907887496 22945792 4895 4294967295 134512640 134716908 3221224560 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5602 4895 1111 63 0 5539 0
vsize: 22408
[startup+460.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 616927 0 0 0 44433 1572 0 0 25 0 1 0 907887496 22835200 4900 4294967295 134512640 134716908 3221224560 3221222672 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5575 4900 1111 63 0 5512 0
vsize: 22300
[startup+470.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 632236 0 0 0 45396 1609 0 0 25 0 1 0 907887496 23252992 4985 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5677 4985 1111 63 0 5614 0
vsize: 22708
[startup+480.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 646600 0 0 0 46361 1644 0 0 25 0 1 0 907887496 23494656 5037 4294967295 134512640 134716908 3221224560 3221223024 134535468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5736 5037 1111 63 0 5673 0
vsize: 22944
[startup+490.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 658110 0 0 0 47331 1674 0 0 25 0 1 0 907887496 24457216 5171 4294967295 134512640 134716908 3221224560 3221220688 1075112377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5971 5171 1111 63 0 5908 0
vsize: 23884
[startup+500.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 671682 0 0 0 48299 1707 0 0 25 0 1 0 907887496 23814144 5139 4294967295 134512640 134716908 3221224560 3221222596 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5814 5139 1111 63 0 5751 0
vsize: 23256
[startup+510.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 684772 0 0 0 49265 1741 0 0 25 0 1 0 907887496 24129536 5216 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5891 5216 1111 63 0 5828 0
vsize: 23564
[startup+520.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 699381 0 0 0 50229 1777 0 0 25 0 1 0 907887496 24428544 5257 4294967295 134512640 134716908 3221224560 3221222812 1074064918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5964 5257 1111 63 0 5901 0
vsize: 23856
[startup+530.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 710692 0 0 0 51202 1805 0 0 25 0 1 0 907887496 24506368 5308 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 5308 1111 63 0 5920 0
vsize: 23932
[startup+540.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 723601 0 0 0 52169 1837 0 0 25 0 1 0 907887496 24903680 5405 4294967295 134512640 134716908 3221224560 3221222672 1074867323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6080 5405 1111 63 0 6017 0
vsize: 24320
[startup+550.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 734551 0 0 0 53140 1866 0 0 25 0 1 0 907887496 24965120 5420 4294967295 134512640 134716908 3221224560 3221221752 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6242 5422 1111 63 0 6179 0
vsize: 24380
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 746700 0 0 0 54109 1898 0 0 25 0 1 0 907887496 24985600 5425 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6100 5425 1111 63 0 6037 0
vsize: 24400
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 759095 0 0 0 55079 1928 0 0 25 0 1 0 907887496 25325568 5508 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6183 5508 1111 63 0 6120 0
vsize: 24732
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29864
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 772503 0 0 0 56046 1961 0 0 25 0 1 0 907887496 25460736 5541 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 5541 1111 63 0 6153 0
vsize: 24864
[startup+590.016 s]
Raw data (loadavg): 1.07 0.98 0.91 3/57 29902
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 786103 0 0 0 57012 1995 0 0 25 0 1 0 907887496 26669056 5704 4294967295 134512640 134716908 3221224560 3221220832 1074960854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6511 5704 1111 63 0 6448 0
vsize: 26044
[startup+600.016 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 29917
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 794018 0 0 0 57991 2016 0 0 25 0 1 0 907887496 26140672 5703 4294967295 134512640 134716908 3221224560 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6382 5703 1111 63 0 6319 0
vsize: 25528
[startup+610.112 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 29917
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 806754 0 0 0 58969 2048 0 0 25 0 1 0 907887496 26152960 5710 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6385 5710 1111 63 0 6322 0
vsize: 25540
[startup+620.112 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 29917
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 819530 0 0 0 59937 2080 0 0 25 0 1 0 907887496 28651520 6166 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6995 6166 1111 63 0 6932 0
vsize: 27980
[startup+630.112 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 29917
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 833437 0 0 0 60901 2117 0 0 25 0 1 0 907887496 26570752 5800 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5800 1111 63 0 6424 0
vsize: 25948
[startup+640.113 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 29917
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 846218 0 0 0 61869 2148 0 0 25 0 1 0 907887496 26636288 5828 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6503 5828 1111 63 0 6440 0
vsize: 26012
[startup+650.113 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 29917
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 859089 0 0 0 62837 2181 0 0 25 0 1 0 907887496 26808320 5870 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6545 5870 1111 63 0 6482 0
vsize: 26180
[startup+660.114 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 873036 0 0 0 63801 2217 0 0 25 0 1 0 907887496 27185152 5962 4294967295 134512640 134716908 3221224560 3221222816 1074153893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6637 5962 1111 63 0 6574 0
vsize: 26548
[startup+670.114 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 887451 0 0 0 64764 2254 0 0 25 0 1 0 907887496 27230208 5973 4294967295 134512640 134716908 3221224560 3221222636 1074050752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6648 5973 1111 63 0 6585 0
vsize: 26592
[startup+680.115 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 901467 0 0 0 65727 2291 0 0 25 0 1 0 907887496 27664384 6079 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6754 6079 1111 63 0 6691 0
vsize: 27016
[startup+690.115 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 914204 0 0 0 66694 2325 0 0 25 0 1 0 907887496 27881472 6125 4294967295 134512640 134716908 3221224560 3221222560 1074916549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6807 6125 1111 63 0 6744 0
vsize: 27228
[startup+700.115 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 928236 0 0 0 67658 2361 0 0 25 0 1 0 907887496 30453760 6446 4294967295 134512640 134716908 3221224560 3221220768 1074815359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6446 1111 63 0 7372 0
vsize: 29740
[startup+710.116 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 940089 0 0 0 68626 2393 0 0 25 0 1 0 907887496 29949952 6263 4294967295 134512640 134716908 3221224560 3221221632 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7312 6263 1111 63 0 7249 0
vsize: 29248
[startup+720.115 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 950770 0 0 0 69600 2419 0 0 25 0 1 0 907887496 30801920 6758 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7520 6758 1111 63 0 7457 0
vsize: 30080
[startup+730.116 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 965034 0 0 0 70564 2455 0 0 25 0 1 0 907887496 30158848 6489 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7363 6489 1111 63 0 7300 0
vsize: 29452
[startup+740.117 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 978568 0 0 0 71530 2490 0 0 25 0 1 0 907887496 28622848 6313 4294967295 134512640 134716908 3221224560 3221222368 1074052193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6988 6313 1111 63 0 6925 0
vsize: 27952
[startup+750.116 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 991501 0 0 0 72499 2521 0 0 25 0 1 0 907887496 28811264 6359 4294967295 134512640 134716908 3221224560 3221223032 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7034 6359 1111 63 0 6971 0
vsize: 28136
[startup+760.116 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1005328 0 0 0 73466 2554 0 0 25 0 1 0 907887496 30756864 6631 4294967295 134512640 134716908 3221224560 3221220588 1074788195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7509 6631 1111 63 0 7446 0
vsize: 30036
[startup+770.116 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1018755 0 0 0 74433 2587 0 0 25 0 1 0 907887496 31047680 6551 4294967295 134512640 134716908 3221224560 3221221136 1076046888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7580 6551 1111 63 0 7517 0
vsize: 30320
[startup+780.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1032003 0 0 0 75400 2621 0 0 25 0 1 0 907887496 31252480 6621 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7630 6621 1111 63 0 7567 0
vsize: 30520
[startup+790.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1045397 0 0 0 76367 2653 0 0 25 0 1 0 907887496 29741056 6586 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7261 6586 1111 63 0 7198 0
vsize: 29044
[startup+800.116 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1059979 0 0 0 77330 2690 0 0 25 0 1 0 907887496 29888512 6622 4294967295 134512640 134716908 3221224560 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7297 6622 1111 63 0 7234 0
vsize: 29188
[startup+810.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1068246 0 0 0 78308 2712 0 0 25 0 1 0 907887496 30179328 6670 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6670 1111 63 0 7305 0
vsize: 29472
[startup+820.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1080030 0 0 0 79279 2743 0 0 25 0 1 0 907887496 30531584 6765 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7454 6765 1111 63 0 7391 0
vsize: 29816
[startup+830.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1092139 0 0 0 80248 2773 0 0 25 0 1 0 907887496 30699520 6820 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 6820 1111 63 0 7432 0
vsize: 29980
[startup+840.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1102385 0 0 0 81223 2799 0 0 25 0 1 0 907887496 30855168 6856 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7533 6856 1111 63 0 7470 0
vsize: 30132
[startup+850.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1113369 0 0 0 82196 2826 0 0 25 0 1 0 907887496 30957568 6883 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7558 6883 1111 63 0 7495 0
vsize: 30232
[startup+860.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1125738 0 0 0 83163 2859 0 0 25 0 1 0 907887496 31031296 6901 4294967295 134512640 134716908 3221224560 3221222912 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 6901 1111 63 0 7513 0
vsize: 30304
[startup+870.117 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1137139 0 0 0 84133 2889 0 0 25 0 1 0 907887496 31236096 6928 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7626 6930 1111 63 0 7563 0
vsize: 30504
[startup+880.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1150936 0 0 0 85100 2923 0 0 25 0 1 0 907887496 32497664 7034 4294967295 134512640 134716908 3221224560 3221221480 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7934 7034 1111 63 0 7871 0
vsize: 31736
[startup+890.119 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1163904 0 0 0 86066 2957 0 0 25 0 1 0 907887496 33714176 7237 4294967295 134512640 134716908 3221224560 3221220788 1075115057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8231 7237 1111 63 0 8168 0
vsize: 32924
[startup+900.118 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1177089 0 0 0 87033 2990 0 0 25 0 1 0 907887496 31834112 7097 4294967295 134512640 134716908 3221224560 3221222760 1077378061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7772 7097 1111 63 0 7709 0
vsize: 31088
[startup+910.119 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1190167 0 0 0 88001 3022 0 0 25 0 1 0 907887496 34045952 7285 4294967295 134512640 134716908 3221224560 3221221216 1075967942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8312 7285 1111 63 0 8249 0
vsize: 33248
[startup+920.119 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1204246 0 0 0 88968 3055 0 0 25 0 1 0 907887496 32169984 7179 4294967295 134512640 134716908 3221224560 3221222820 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7854 7179 1111 63 0 7791 0
vsize: 31416
[startup+930.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29919
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1219748 0 0 0 89929 3095 0 0 25 0 1 0 907887496 32382976 7231 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7906 7231 1111 63 0 7843 0
vsize: 31624
[startup+940.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1233676 0 0 0 90895 3128 0 0 25 0 1 0 907887496 34906112 7545 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 7545 1111 63 0 8459 0
vsize: 34088
[startup+950.119 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1249171 0 0 0 91858 3165 0 0 25 0 1 0 907887496 34787328 7519 4294967295 134512640 134716908 3221224560 3221220944 1074973205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8493 7519 1111 63 0 8430 0
vsize: 33972
[startup+960.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1265348 0 0 0 92817 3207 0 0 25 0 1 0 907887496 34856960 7634 4294967295 134512640 134716908 3221224560 3221220800 1075115752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8510 7634 1111 63 0 8447 0
vsize: 34040
[startup+970.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1277687 0 0 0 93784 3240 0 0 25 0 1 0 907887496 33280000 7450 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8125 7450 1111 63 0 8062 0
vsize: 32500
[startup+980.121 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1290698 0 0 0 94752 3272 0 0 25 0 1 0 907887496 33865728 7593 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7593 1111 63 0 8205 0
vsize: 33072
[startup+990.121 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1304303 0 0 0 95717 3307 0 0 25 0 1 0 907887496 34979840 7640 4294967295 134512640 134716908 3221224560 3221221092 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8540 7640 1111 63 0 8477 0
vsize: 34160
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1313050 0 0 0 96694 3330 0 0 25 0 1 0 907887496 34213888 7678 4294967295 134512640 134716908 3221224560 3221222840 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8353 7678 1111 63 0 8290 0
vsize: 33412
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1321523 0 0 0 97674 3350 0 0 25 0 1 0 907887496 36732928 7872 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 7872 1111 63 0 8905 0
vsize: 35872
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1334654 0 0 0 98640 3385 0 0 25 0 1 0 907887496 36696064 7868 4294967295 134512640 134716908 3221224560 3221220768 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8959 7868 1111 63 0 8896 0
vsize: 35836
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1346975 0 0 0 99610 3416 0 0 25 0 1 0 907887496 34512896 7751 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8426 7751 1111 63 0 8363 0
vsize: 33704
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1358837 0 0 0 100579 3446 0 0 25 0 1 0 907887496 34811904 7824 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8499 7824 1111 63 0 8436 0
vsize: 33996
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1371038 0 0 0 101548 3478 0 0 25 0 1 0 907887496 34914304 7848 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8524 7848 1111 63 0 8461 0
vsize: 34096
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1384766 0 0 0 102515 3511 0 0 25 0 1 0 907887496 37556224 8082 4294967295 134512640 134716908 3221224560 3221221372 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9169 8082 1111 63 0 9106 0
vsize: 36676
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1396011 0 0 0 103485 3541 0 0 25 0 1 0 907887496 35831808 8046 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8748 8046 1111 63 0 8685 0
vsize: 34992
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1410115 0 0 0 104447 3579 0 0 25 0 1 0 907887496 35459072 7982 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8657 7982 1111 63 0 8594 0
vsize: 34628
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1424396 0 0 0 105411 3616 0 0 25 0 1 0 907887496 35876864 8072 4294967295 134512640 134716908 3221224560 3221223232 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8759 8072 1111 63 0 8696 0
vsize: 35036
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1439381 0 0 0 106370 3656 0 0 25 0 1 0 907887496 35823616 8071 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 8071 1111 63 0 8683 0
vsize: 34984
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1454116 0 0 0 107333 3694 0 0 25 0 1 0 907887496 36503552 8237 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8912 8237 1111 63 0 8849 0
vsize: 35648
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1465057 0 0 0 108305 3722 0 0 25 0 1 0 907887496 36204544 8164 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8839 8164 1111 63 0 8776 0
vsize: 35356
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1480535 0 0 0 109267 3761 0 0 25 0 1 0 907887496 36569088 8230 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8928 8230 1111 63 0 8865 0
vsize: 35712
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1494323 0 0 0 110231 3797 0 0 25 0 1 0 907887496 36667392 8277 4294967295 134512640 134716908 3221224560 3221223296 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8952 8277 1111 63 0 8889 0
vsize: 35808
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1507150 0 0 0 111198 3830 0 0 25 0 1 0 907887496 38416384 8432 4294967295 134512640 134716908 3221224560 3221222496 1075552862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9379 8437 1111 63 0 9316 0
vsize: 37516
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1521214 0 0 0 112163 3865 0 0 25 0 1 0 907887496 37138432 8392 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9067 8392 1111 63 0 9004 0
vsize: 36268
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1534847 0 0 0 113127 3902 0 0 25 0 1 0 907887496 39505920 8565 4294967295 134512640 134716908 3221224560 3221221216 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9645 8565 1111 63 0 9582 0
vsize: 38580
[startup+1175.6 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 29921
Raw data (stat): 29864 (bsolo_lpr_cuts-) R 29863 7266 7265 0 -1 0 1534847 0 0 0 113127 3902 0 0 25 0 1 0 907887496 39505920 8565 4294967295 134512640 134716908 3221224560 3221221216 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9645 8565 1111 63 0 9582 0
vsize: 0

Child status: 10
Real time (s): 1175.6
CPU time (s): 1175.77
CPU user time (s): 1136.51
CPU system time (s): 39.254
CPU usage (%): 100.014
Max. virtual memory (Kb): 38580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####