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/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
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.01384
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 41225

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        898956 kB
Buffers:         14948 kB
Cached:          97064 kB
SwapCached:       1140 kB
Active:          25968 kB
Inactive:        88280 kB
HighTotal:      131008 kB
HighFree:        31584 kB
LowTotal:       903652 kB
LowFree:        867372 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            15624 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:40:51 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 29287 0 1175.13 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.124 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.056
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 38 @ 0.182
c NEW SOLUTION FOUND: 37 @ 0.187
c NEW SOLUTION FOUND: 36 @ 0.189
c NEW SOLUTION FOUND: 35 @ 0.205
c NEW SOLUTION FOUND: 34 @ 0.22
c NEW SOLUTION FOUND: 33 @ 0.237
c NEW SOLUTION FOUND: 32 @ 0.331
c NEW SOLUTION FOUND: 31 @ 1.038
c NEW SOLUTION FOUND: 30 @ 174.931
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.11 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.87 0.94 0.90 2/55 1538
Raw data (stat): 1538 (runsolver) R 1537 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851936397 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99967 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 12796 0 0 0 958 39 0 0 25 0 1 0 851936397 7950336 1197 4294967295 134512640 134716908 3221224560 3221222128 1075972440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1941 1197 1111 63 0 1878 0
vsize: 7764
[startup+20.0004 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 27709 0 0 0 1916 81 0 0 25 0 1 0 851936397 8511488 1394 4294967295 134512640 134716908 3221224560 3221222560 1074916811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2078 1394 1111 63 0 2015 0
vsize: 8312
[startup+30.0002 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 43440 0 0 0 2872 126 0 0 25 0 1 0 851936397 9564160 1583 4294967295 134512640 134716908 3221224560 3221220592 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 1583 1111 63 0 2272 0
vsize: 9340
[startup+40 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 57892 0 0 0 3835 163 0 0 25 0 1 0 851936397 9961472 1728 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1728 1111 63 0 2369 0
vsize: 9728
[startup+50.0008 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 72198 0 0 0 4803 195 0 0 25 0 1 0 851936397 10846208 1878 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1878 1111 63 0 2585 0
vsize: 10592
[startup+60.0006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 87073 0 0 0 5766 232 0 0 25 0 1 0 851936397 11120640 2031 4294967295 134512640 134716908 3221224560 3221221312 1074247421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 2036 1111 63 0 2689 0
vsize: 10860
[startup+70.0014 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 100380 0 0 0 6732 267 0 0 25 0 1 0 851936397 11571200 2141 4294967295 134512640 134716908 3221224560 3221222472 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2825 2141 1111 63 0 2762 0
vsize: 11300
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 113940 0 0 0 7695 303 0 0 25 0 1 0 851936397 11935744 2232 4294967295 134512640 134716908 3221224560 3221223152 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2914 2232 1111 63 0 2851 0
vsize: 11656
[startup+90.0014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 128517 0 0 0 8657 341 0 0 25 0 1 0 851936397 13344768 2441 4294967295 134512640 134716908 3221224560 3221221504 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2441 1111 63 0 3195 0
vsize: 13032
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 3/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 142718 0 0 0 9621 378 0 0 25 0 1 0 851936397 13303808 2471 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2471 1111 63 0 3185 0
vsize: 12992
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 156308 0 0 0 10585 413 0 0 25 0 1 0 851936397 14503936 2791 4294967295 134512640 134716908 3221224560 3221220616 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2792 1111 63 0 3478 0
vsize: 14164
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 170970 0 0 0 11549 450 0 0 25 0 1 0 851936397 14270464 2716 4294967295 134512640 134716908 3221224560 3221221488 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3484 2716 1111 63 0 3421 0
vsize: 13936
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 184386 0 0 0 12515 484 0 0 25 0 1 0 851936397 14594048 2835 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2835 1111 63 0 3500 0
vsize: 14252
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 198752 0 0 0 13478 521 0 0 25 0 1 0 851936397 15245312 2967 4294967295 134512640 134716908 3221224560 3221221124 1076047612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3722 2967 1111 63 0 3659 0
vsize: 14888
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 212957 0 0 0 14442 558 0 0 25 0 1 0 851936397 15822848 3083 4294967295 134512640 134716908 3221224560 3221220768 1074815290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3863 3084 1111 63 0 3800 0
vsize: 15452
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 226815 0 0 0 15405 595 0 0 25 0 1 0 851936397 16396288 3227 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4003 3227 1111 63 0 3940 0
vsize: 16012
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 239490 0 0 0 16374 626 0 0 25 0 1 0 851936397 16338944 3297 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3989 3297 1111 63 0 3926 0
vsize: 15956
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 255076 0 0 0 17336 664 0 0 25 0 1 0 851936397 17092608 3466 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3466 1111 63 0 4110 0
vsize: 16692
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 268879 0 0 0 18300 700 0 0 25 0 1 0 851936397 16912384 3438 4294967295 134512640 134716908 3221224560 3221222720 1074050966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4129 3438 1111 63 0 4066 0
vsize: 16516
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 281895 0 0 0 19266 734 0 0 25 0 1 0 851936397 17154048 3512 4294967295 134512640 134716908 3221224560 3221223220 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4188 3512 1111 63 0 4125 0
vsize: 16752
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 295136 0 0 0 20234 767 0 0 25 0 1 0 851936397 17928192 3599 4294967295 134512640 134716908 3221224560 3221220652 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3599 1111 63 0 4314 0
vsize: 17508
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 309871 0 0 0 21199 801 0 0 25 0 1 0 851936397 17559552 3612 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3612 1111 63 0 4224 0
vsize: 17148
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 324351 0 0 0 22163 837 0 0 25 0 1 0 851936397 17817600 3675 4294967295 134512640 134716908 3221224560 3221221840 1074139993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4350 3675 1111 63 0 4287 0
vsize: 17400
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 339013 0 0 0 23125 875 0 0 25 0 1 0 851936397 19279872 3791 4294967295 134512640 134716908 3221224560 3221221216 1075969188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4707 3791 1111 63 0 4644 0
vsize: 18828
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 352580 0 0 0 24092 909 0 0 25 0 1 0 851936397 18616320 3846 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 3846 1111 63 0 4482 0
vsize: 18180
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 364969 0 0 0 25062 939 0 0 25 0 1 0 851936397 18935808 3916 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3916 1111 63 0 4560 0
vsize: 18492
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 379131 0 0 0 26027 974 0 0 25 0 1 0 851936397 18976768 3943 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4633 3943 1111 63 0 4570 0
vsize: 18532
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 394066 0 0 0 26990 1011 0 0 25 0 1 0 851936397 19025920 3970 4294967295 134512640 134716908 3221224560 3221223104 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3970 1111 63 0 4582 0
vsize: 18580
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 405039 0 0 0 27962 1040 0 0 25 0 1 0 851936397 19357696 4050 4294967295 134512640 134716908 3221224560 3221223220 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 4050 1111 63 0 4663 0
vsize: 18904
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 419525 0 0 0 28927 1075 0 0 25 0 1 0 851936397 19443712 4072 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4747 4072 1111 63 0 4684 0
vsize: 18988
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 433581 0 0 0 29893 1109 0 0 25 0 1 0 851936397 19755008 4134 4294967295 134512640 134716908 3221224560 3221222560 1074918206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 4134 1111 63 0 4760 0
vsize: 19292
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 447032 0 0 0 30861 1142 0 0 25 0 1 0 851936397 19910656 4186 4294967295 134512640 134716908 3221224560 3221222776 1074138237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4861 4186 1111 63 0 4798 0
vsize: 19444
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 461901 0 0 0 31823 1179 0 0 25 0 1 0 851936397 20348928 4261 4294967295 134512640 134716908 3221224560 3221222624 1075961756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4948 4261 1111 63 0 4885 0
vsize: 19872
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 475850 0 0 0 32789 1214 0 0 25 0 1 0 851936397 21872640 4478 4294967295 134512640 134716908 3221224560 3221221520 1074790208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 4478 1111 63 0 5277 0
vsize: 21360
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 489537 0 0 0 33754 1248 0 0 25 0 1 0 851936397 22024192 4480 4294967295 134512640 134716908 3221224560 3221220896 1075113508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4480 1111 63 0 5314 0
vsize: 21508
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 502069 0 0 0 34724 1279 0 0 25 0 1 0 851936397 21106688 4446 4294967295 134512640 134716908 3221224560 3221222864 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5153 4446 1111 63 0 5090 0
vsize: 20612
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 515326 0 0 0 35691 1312 0 0 25 0 1 0 851936397 21454848 4563 4294967295 134512640 134716908 3221224560 3221222864 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5238 4563 1111 63 0 5175 0
vsize: 20952
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 526714 0 0 0 36662 1341 0 0 25 0 1 0 851936397 23117824 4802 4294967295 134512640 134716908 3221224560 3221221504 1074620241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5644 4802 1111 63 0 5581 0
vsize: 22576
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 537980 0 0 0 37633 1370 0 0 25 0 1 0 851936397 21815296 4632 4294967295 134512640 134716908 3221224560 3221221664 1074138803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5326 4632 1111 63 0 5263 0
vsize: 21304
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 550957 0 0 0 38598 1405 0 0 25 0 1 0 851936397 23322624 4793 4294967295 134512640 134716908 3221224560 3221220832 1074960847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5694 4793 1111 63 0 5631 0
vsize: 22776
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 564713 0 0 0 39563 1440 0 0 25 0 1 0 851936397 22052864 4709 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5384 4709 1111 63 0 5321 0
vsize: 21536
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 577545 0 0 0 40531 1473 0 0 25 0 1 0 851936397 22339584 4750 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5454 4750 1111 63 0 5391 0
vsize: 21816
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 590435 0 0 0 41498 1506 0 0 25 0 1 0 851936397 22794240 4888 4294967295 134512640 134716908 3221224560 3221222560 1074917897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 4888 1111 63 0 5502 0
vsize: 22260
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 601271 0 0 0 42472 1532 0 0 25 0 1 0 851936397 22761472 4882 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5557 4882 1111 63 0 5494 0
vsize: 22228
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 612863 0 0 0 43447 1557 0 0 25 0 1 0 851936397 24875008 5167 4294967295 134512640 134716908 3221224560 3221220720 1075091857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6073 5168 1111 63 0 6010 0
vsize: 24292
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 627586 0 0 0 44412 1593 0 0 25 0 1 0 851936397 23826432 5015 4294967295 134512640 134716908 3221224560 3221220800 1075115739 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5817 5015 1111 63 0 5754 0
vsize: 23268
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 643153 0 0 0 45376 1629 0 0 25 0 1 0 851936397 23293952 5012 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5687 5012 1111 63 0 5624 0
vsize: 22748
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 654973 0 0 0 46346 1658 0 0 25 0 1 0 851936397 23834624 5101 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5819 5101 1111 63 0 5756 0
vsize: 23276
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 668672 0 0 0 47311 1694 0 0 25 0 1 0 851936397 23859200 5150 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5825 5150 1111 63 0 5762 0
vsize: 23300
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 682046 0 0 0 48278 1728 0 0 25 0 1 0 851936397 24129536 5216 4294967295 134512640 134716908 3221224560 3221222944 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5891 5216 1111 63 0 5828 0
vsize: 23564
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 696778 0 0 0 49239 1767 0 0 25 0 1 0 851936397 24375296 5244 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5244 1111 63 0 5888 0
vsize: 23804
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 708810 0 0 0 50209 1796 0 0 25 0 1 0 851936397 24506368 5308 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 5308 1111 63 0 5920 0
vsize: 23932
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 721945 0 0 0 51179 1827 0 0 25 0 1 0 851936397 24645632 5342 4294967295 134512640 134716908 3221224560 3221222724 1077378710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6017 5342 1111 63 0 5954 0
vsize: 24068
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 732570 0 0 0 52154 1852 0 0 25 0 1 0 851936397 25993216 5491 4294967295 134512640 134716908 3221224560 3221221872 1076083619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6346 5491 1111 63 0 6283 0
vsize: 25384
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 745099 0 0 0 53120 1886 0 0 25 0 1 0 851936397 25968640 5510 4294967295 134512640 134716908 3221224560 3221220996 1075132801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6340 5510 1111 63 0 6277 0
vsize: 25360
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 758148 0 0 0 54090 1916 0 0 25 0 1 0 851936397 25264128 5493 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6168 5493 1111 63 0 6105 0
vsize: 24672
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 770803 0 0 0 55059 1948 0 0 25 0 1 0 851936397 25657344 5557 4294967295 134512640 134716908 3221224560 3221221752 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6558 5564 1111 63 0 6495 0
vsize: 25056
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 785236 0 0 0 56021 1985 0 0 25 0 1 0 851936397 25911296 5643 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 5643 1111 63 0 6263 0
vsize: 25304
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 793466 0 0 0 57002 2005 0 0 25 0 1 0 851936397 28930048 6295 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7063 6295 1111 63 0 7000 0
vsize: 28252
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 806082 0 0 0 57970 2036 0 0 25 0 1 0 851936397 26710016 5814 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6521 5814 1111 63 0 6458 0
vsize: 26084
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 819100 0 0 0 58938 2069 0 0 25 0 1 0 851936397 26451968 5752 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6458 5752 1111 63 0 6395 0
vsize: 25832
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 833137 0 0 0 59907 2101 0 0 25 0 1 0 851936397 26566656 5782 4294967295 134512640 134716908 3221224560 3221222208 1075817784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5782 1111 63 0 6423 0
vsize: 25944
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 845971 0 0 0 60875 2132 0 0 25 0 1 0 851936397 28438528 5929 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 5929 1111 63 0 6880 0
vsize: 27772
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 859003 0 0 0 61843 2164 0 0 25 0 1 0 851936397 28680192 5985 4294967295 134512640 134716908 3221224560 3221221504 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7002 5985 1111 63 0 6939 0
vsize: 28008
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 873036 0 0 0 62810 2198 0 0 25 0 1 0 851936397 27185152 5962 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6637 5962 1111 63 0 6574 0
vsize: 26548
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 887698 0 0 0 63773 2235 0 0 25 0 1 0 851936397 29061120 6100 4294967295 134512640 134716908 3221224560 3221220788 1075115070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7095 6100 1111 63 0 7032 0
vsize: 28380
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 901970 0 0 0 64737 2271 0 0 25 0 1 0 851936397 27807744 6085 4294967295 134512640 134716908 3221224560 3221222288 1075828514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6789 6085 1111 63 0 6726 0
vsize: 27156
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 915052 0 0 0 65705 2304 0 0 25 0 1 0 851936397 27947008 6135 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 6135 1111 63 0 6760 0
vsize: 27292
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 928596 0 0 0 66671 2337 0 0 25 0 1 0 851936397 28028928 6140 4294967295 134512640 134716908 3221224560 3221222752 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6140 1111 63 0 6780 0
vsize: 27372
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 941282 0 0 0 67639 2370 0 0 25 0 1 0 851936397 28061696 6176 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6851 6176 1111 63 0 6788 0
vsize: 27404
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 951583 0 0 0 68613 2396 0 0 25 0 1 0 851936397 28594176 6306 4294967295 134512640 134716908 3221224560 3221222472 1074138277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6981 6306 1111 63 0 6918 0
vsize: 27924
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 966066 0 0 0 69578 2431 0 0 25 0 1 0 851936397 28688384 6317 4294967295 134512640 134716908 3221224560 3221222560 1074918968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6317 1111 63 0 6941 0
vsize: 28016
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 980435 0 0 0 70543 2466 0 0 25 0 1 0 851936397 28717056 6336 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7011 6336 1111 63 0 6948 0
vsize: 28044
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 993494 0 0 0 71513 2496 0 0 25 0 1 0 851936397 28884992 6377 4294967295 134512640 134716908 3221224560 3221222768 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 6377 1111 63 0 6989 0
vsize: 28208
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1007733 0 0 0 72480 2530 0 0 25 0 1 0 851936397 29118464 6422 4294967295 134512640 134716908 3221224560 3221222208 1075818181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 6422 1111 63 0 7046 0
vsize: 28436
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1020495 0 0 0 73448 2561 0 0 25 0 1 0 851936397 29413376 6498 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7181 6498 1111 63 0 7118 0
vsize: 28724
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1034093 0 0 0 74414 2595 0 0 25 0 1 0 851936397 29650944 6553 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7239 6553 1111 63 0 7176 0
vsize: 28956
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1048308 0 0 0 75381 2629 0 0 25 0 1 0 851936397 30089216 6645 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7346 6645 1111 63 0 7283 0
vsize: 29384
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1061258 0 0 0 76350 2661 0 0 25 0 1 0 851936397 32563200 7064 4294967295 134512640 134716908 3221224560 3221221504 1074620245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7950 7064 1111 63 0 7887 0
vsize: 31800
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1071092 0 0 0 77326 2684 0 0 25 0 1 0 851936397 30957568 6851 4294967295 134512640 134716908 3221224560 3221221664 1074138626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7558 6851 1111 63 0 7495 0
vsize: 30232
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1083306 0 0 0 78295 2715 0 0 25 0 1 0 851936397 30412800 6719 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7425 6719 1111 63 0 7362 0
vsize: 29700
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1094204 0 0 0 79268 2743 0 0 25 0 1 0 851936397 30887936 6836 4294967295 134512640 134716908 3221224560 3221223176 134543141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 6836 1111 63 0 7478 0
vsize: 30164
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1105459 0 0 0 80238 2773 0 0 25 0 1 0 851936397 30957568 6883 4294967295 134512640 134716908 3221224560 3221221664 1074138829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7558 6883 1111 63 0 7495 0
vsize: 30232
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1116537 0 0 0 81211 2800 0 0 25 0 1 0 851936397 30957568 6883 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7558 6883 1111 63 0 7495 0
vsize: 30232
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1129903 0 0 0 82178 2833 0 0 25 0 1 0 851936397 31186944 6923 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7614 6923 1111 63 0 7551 0
vsize: 30456
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1141269 0 0 0 83150 2861 0 0 25 0 1 0 851936397 31182848 6938 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7613 6938 1111 63 0 7550 0
vsize: 30452
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1155601 0 0 0 84115 2897 0 0 25 0 1 0 851936397 31518720 7020 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7695 7020 1111 63 0 7632 0
vsize: 30780
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1169478 0 0 0 85080 2932 0 0 25 0 1 0 851936397 33456128 7136 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8168 7136 1111 63 0 8105 0
vsize: 32672
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1181632 0 0 0 86050 2963 0 0 25 0 1 0 851936397 31961088 7128 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7803 7128 1111 63 0 7740 0
vsize: 31212
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1195701 0 0 0 87014 2998 0 0 25 0 1 0 851936397 32292864 7209 4294967295 134512640 134716908 3221224560 3221223132 134542984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7884 7209 1111 63 0 7821 0
vsize: 31536
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1210453 0 0 0 87977 3036 0 0 25 0 1 0 851936397 33415168 7289 4294967295 134512640 134716908 3221224560 3221220788 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8158 7289 1111 63 0 8095 0
vsize: 32632
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1226177 0 0 0 88940 3073 0 0 25 0 1 0 851936397 32550912 7272 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7947 7272 1111 63 0 7884 0
vsize: 31788
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1240534 0 0 0 89906 3107 0 0 25 0 1 0 851936397 32669696 7301 4294967295 134512640 134716908 3221224560 3221222912 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7976 7301 1111 63 0 7913 0
vsize: 31904
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1256993 0 0 0 90865 3148 0 0 25 0 1 0 851936397 33095680 7389 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8080 7392 1111 63 0 8017 0
vsize: 32320
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1270811 0 0 0 91830 3183 0 0 25 0 1 0 851936397 35033088 7558 4294967295 134512640 134716908 3221224560 3221221504 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8553 7558 1111 63 0 8490 0
vsize: 34212
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1284518 0 0 0 92796 3217 0 0 25 0 1 0 851936397 33435648 7488 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8163 7488 1111 63 0 8100 0
vsize: 32652
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1297320 0 0 0 93764 3250 0 0 25 0 1 0 851936397 35405824 7797 4294967295 134512640 134716908 3221224560 3221220800 1075115758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8644 7797 1111 63 0 8581 0
vsize: 34576
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1311218 0 0 0 94729 3285 0 0 25 0 1 0 851936397 34373632 7706 4294967295 134512640 134716908 3221224560 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8392 7706 1111 63 0 8329 0
vsize: 33568
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1315448 0 0 0 95718 3296 0 0 25 0 1 0 851936397 37617664 8384 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9184 8384 1111 63 0 9121 0
vsize: 36736
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1329553 0 0 0 96684 3330 0 0 25 0 1 0 851936397 34598912 7740 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8447 7740 1111 63 0 8384 0
vsize: 33788
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1341085 0 0 0 97653 3361 0 0 25 0 1 0 851936397 34476032 7742 4294967295 134512640 134716908 3221224560 3221222796 1074206848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8417 7742 1111 63 0 8354 0
vsize: 33668
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1354363 0 0 0 98620 3395 0 0 25 0 1 0 851936397 37208064 7995 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 7995 1111 63 0 9021 0
vsize: 36336
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1365403 0 0 0 99595 3420 0 0 25 0 1 0 851936397 35889152 7940 4294967295 134512640 134716908 3221224560 3221222824 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8602 7916 1111 63 0 8539 0
vsize: 35048
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1379345 0 0 0 100562 3453 0 0 25 0 1 0 851936397 35024896 7876 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 7876 1111 63 0 8488 0
vsize: 34204
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1391100 0 0 0 101532 3483 0 0 25 0 1 0 851936397 37396480 8017 4294967295 134512640 134716908 3221224560 3221220832 1074961355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 8017 1111 63 0 9067 0
vsize: 36520
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1404073 0 0 0 102503 3513 0 0 25 0 1 0 851936397 35880960 8053 4294967295 134512640 134716908 3221224560 3221223068 1074152784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8760 8053 1111 63 0 8697 0
vsize: 35040
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1418623 0 0 0 103469 3547 0 0 25 0 1 0 851936397 35921920 8090 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8770 8090 1111 63 0 8707 0
vsize: 35080
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1433525 0 0 0 104430 3586 0 0 25 0 1 0 851936397 38379520 8315 4294967295 134512640 134716908 3221224560 3221220832 1074960800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 8315 1111 63 0 9307 0
vsize: 37480
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1449801 0 0 0 105389 3627 0 0 25 0 1 0 851936397 35962880 8105 4294967295 134512640 134716908 3221224560 3221222764 1074208080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8780 8105 1111 63 0 8717 0
vsize: 35120
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1460245 0 0 0 106365 3651 0 0 25 0 1 0 851936397 36155392 8152 4294967295 134512640 134716908 3221224560 3221222756 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8827 8152 1111 63 0 8764 0
vsize: 35308
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1475298 0 0 0 107327 3689 0 0 25 0 1 0 851936397 37732352 8260 4294967295 134512640 134716908 3221224560 3221221760 1075967926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9212 8260 1111 63 0 9149 0
vsize: 36848
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1490149 0 0 0 108293 3724 0 0 25 0 1 0 851936397 37380096 8435 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9126 8435 1111 63 0 9063 0
vsize: 36504
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1503051 0 0 0 109263 3754 0 0 25 0 1 0 851936397 37199872 8375 4294967295 134512640 134716908 3221224560 3221222840 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8375 1111 63 0 9019 0
vsize: 36328
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1517389 0 0 0 110230 3787 0 0 25 0 1 0 851936397 37138432 8392 4294967295 134512640 134716908 3221224560 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9067 8392 1111 63 0 9004 0
vsize: 36268
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1530929 0 0 0 111199 3819 0 0 25 0 1 0 851936397 37322752 8437 4294967295 134512640 134716908 3221224560 3221223008 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9112 8437 1111 63 0 9049 0
vsize: 36448
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1546641 0 0 0 112161 3856 0 0 25 0 1 0 851936397 37486592 8477 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9152 8477 1111 63 0 9089 0
vsize: 36608
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1560087 0 0 0 113129 3889 0 0 25 0 1 0 851936397 37900288 8578 4294967295 134512640 134716908 3221224560 3221222672 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9253 8578 1111 63 0 9190 0
vsize: 37012
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1538
Raw data (stat): 1538 (bsolo_lpr_cuts-) R 1537 8378 8377 0 -1 0 1560087 0 0 0 113129 3889 0 0 25 0 1 0 851936397 37900288 8578 4294967295 134512640 134716908 3221224560 3221222672 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9253 8578 1111 63 0 9190 0
vsize: 0

Child status: 10
Real time (s): 1174.96
CPU time (s): 1175.13
CPU user time (s): 1136.06
CPU system time (s): 39.0721
CPU usage (%): 100.015
Max. virtual memory (Kb): 37480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####