PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.01884
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 25822

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 20:41:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17331 boxname=wulflinc31 idbench=1334 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 17331
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        874308 kB
Buffers:         24608 kB
Cached:         116080 kB
SwapCached:       1024 kB
Active:          75556 kB
Inactive:        67320 kB
HighTotal:      131008 kB
HighFree:        15932 kB
LowTotal:       903652 kB
LowFree:        858376 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            11840 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 21:00:56 (client local time) WITH STATUS 10 IN 1179.34 SECONDS
stats: 17331 0 1179.34 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.125 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.04
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.287
c NEW SOLUTION FOUND: 36 @ 0.292
c NEW SOLUTION FOUND: 35 @ 0.294
c NEW SOLUTION FOUND: 34 @ 0.296
c NEW SOLUTION FOUND: 33 @ 0.298
c NEW SOLUTION FOUND: 32 @ 0.303
c NEW SOLUTION FOUND: 31 @ 0.433
c NEW SOLUTION FOUND: 30 @ 441.295
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: 1179.3 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 28421
Raw data (stat): 28421 (runsolver) R 28420 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 815895247 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 16007 0 0 0 951 44 0 0 25 0 1 0 815895247 7475200 1141 4294967295 134512640 134714508 3221221776 3221220224 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1825 1141 1111 63 0 1762 0
vsize: 7300
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 32911 0 0 0 1907 88 0 0 25 0 1 0 815895247 8118272 1292 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1982 1292 1111 63 0 1919 0
vsize: 7928
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 49001 0 0 0 2866 130 0 0 25 0 1 0 815895247 9265152 1509 4294967295 134512640 134714508 3221221776 3221218004 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2262 1509 1111 63 0 2199 0
vsize: 9048
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 64831 0 0 0 3829 167 0 0 25 0 1 0 815895247 9105408 1541 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2223 1541 1111 63 0 2160 0
vsize: 8892
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 81230 0 0 0 4789 206 0 0 25 0 1 0 815895247 10604544 1832 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1832 1111 63 0 2526 0
vsize: 10356
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 96907 0 0 0 5750 246 0 0 25 0 1 0 815895247 9883648 1729 4294967295 134512640 134714508 3221221776 3221220236 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2413 1729 1111 63 0 2350 0
vsize: 9652
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 113358 0 0 0 6711 285 0 0 25 0 1 0 815895247 10309632 1835 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2517 1835 1111 63 0 2454 0
vsize: 10068
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 128311 0 0 0 7673 323 0 0 25 0 1 0 815895247 10936320 1975 4294967295 134512640 134714508 3221221776 3221218968 1074138300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1975 1111 63 0 2607 0
vsize: 10680
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 145517 0 0 0 8630 366 0 0 25 0 1 0 815895247 11751424 2122 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2869 2122 1111 63 0 2806 0
vsize: 11476
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 162293 0 0 0 9587 410 0 0 25 0 1 0 815895247 11419648 2101 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2788 2101 1111 63 0 2725 0
vsize: 11152
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 178415 0 0 0 10547 450 0 0 25 0 1 0 815895247 12660736 2270 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3091 2270 1111 63 0 3028 0
vsize: 12364
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 193773 0 0 0 11505 492 0 0 25 0 1 0 815895247 12128256 2272 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 2272 1111 63 0 2898 0
vsize: 11844
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 210563 0 0 0 12464 533 0 0 25 0 1 0 815895247 12779520 2325 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2325 1111 63 0 3057 0
vsize: 12480
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 227025 0 0 0 13422 575 0 0 25 0 1 0 815895247 12615680 2404 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3080 2404 1111 63 0 3017 0
vsize: 12320
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 243977 0 0 0 14382 615 0 0 25 0 1 0 815895247 12906496 2475 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2475 1111 63 0 3088 0
vsize: 12604
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 260522 0 0 0 15342 655 0 0 25 0 1 0 815895247 14159872 2710 4294967295 134512640 134714508 3221221776 3221217936 1075094205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2710 1111 63 0 3394 0
vsize: 13828
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 276741 0 0 0 16302 695 0 0 25 0 1 0 815895247 13594624 2628 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3319 2628 1111 63 0 3256 0
vsize: 13276
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 291911 0 0 0 17265 732 0 0 25 0 1 0 815895247 13791232 2674 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3367 2674 1111 63 0 3304 0
vsize: 13468
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 309067 0 0 0 18224 774 0 0 25 0 1 0 815895247 13922304 2723 4294967295 134512640 134714508 3221221776 3221220304 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3399 2723 1111 63 0 3336 0
vsize: 13596
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 326500 0 0 0 19181 816 0 0 25 0 1 0 815895247 14315520 2819 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2819 1111 63 0 3432 0
vsize: 13980
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 343596 0 0 0 20138 860 0 0 25 0 1 0 815895247 14852096 2948 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3626 2948 1111 63 0 3563 0
vsize: 14504
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 364026 0 0 0 21087 910 0 0 25 0 1 0 815895247 14585856 2885 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3561 2885 1111 63 0 3498 0
vsize: 14244
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 382555 0 0 0 22042 956 0 0 25 0 1 0 815895247 16039936 3039 4294967295 134512640 134714508 3221221776 3221219088 1076084244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3916 3039 1111 63 0 3853 0
vsize: 15664
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 402052 0 0 0 22992 1006 0 0 25 0 1 0 815895247 15306752 3061 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3737 3061 1111 63 0 3674 0
vsize: 14948
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 417628 0 0 0 23953 1045 0 0 25 0 1 0 815895247 15560704 3117 4294967295 134512640 134714508 3221221776 3221220128 1074115244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3117 1111 63 0 3736 0
vsize: 15196
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 434802 0 0 0 24910 1088 0 0 25 0 1 0 815895247 15646720 3144 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3820 3144 1111 63 0 3757 0
vsize: 15280
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 453738 0 0 0 25864 1134 0 0 25 0 1 0 815895247 15970304 3223 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3899 3223 1111 63 0 3836 0
vsize: 15596
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 471775 0 0 0 26821 1177 0 0 25 0 1 0 815895247 16261120 3294 4294967295 134512640 134714508 3221221776 3221219776 1074915852 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3970 3294 1111 63 0 3907 0
vsize: 15880
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 489175 0 0 0 27778 1220 0 0 25 0 1 0 815895247 16412672 3331 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3331 1111 63 0 3944 0
vsize: 16028
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 508289 0 0 0 28731 1268 0 0 25 0 1 0 815895247 18702336 3587 4294967295 134512640 134714508 3221221776 3221218432 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4566 3587 1111 63 0 4503 0
vsize: 18264
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 526302 0 0 0 29689 1310 0 0 25 0 1 0 815895247 17453056 3553 4294967295 134512640 134714508 3221221776 3221219772 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4261 3553 1111 63 0 4198 0
vsize: 17044
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 544660 0 0 0 30645 1354 0 0 25 0 1 0 815895247 18354176 3571 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4481 3571 1111 63 0 4418 0
vsize: 17924
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 563891 0 0 0 31599 1400 0 0 25 0 1 0 815895247 17518592 3601 4294967295 134512640 134714508 3221221776 3221218880 1074138639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3601 1111 63 0 4214 0
vsize: 17108
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 583807 0 0 0 32547 1452 0 0 25 0 1 0 815895247 17817600 3674 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4350 3674 1111 63 0 4287 0
vsize: 17400
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 602182 0 0 0 33503 1496 0 0 25 0 1 0 815895247 18141184 3753 4294967295 134512640 134714508 3221221776 3221220064 1074143913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4429 3753 1111 63 0 4366 0
vsize: 17716
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 619401 0 0 0 34460 1540 0 0 25 0 1 0 815895247 18743296 3888 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3888 1111 63 0 4513 0
vsize: 18304
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 630592 0 0 0 35430 1569 0 0 25 0 1 0 815895247 19009536 3961 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4641 3961 1111 63 0 4578 0
vsize: 18564
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 646636 0 0 0 36392 1608 0 0 25 0 1 0 815895247 20918272 4298 4294967295 134512640 134714508 3221221776 3221218432 1075968211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5107 4298 1111 63 0 5044 0
vsize: 20428
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 662597 0 0 0 37350 1649 0 0 25 0 1 0 815895247 21819392 4291 4294967295 134512640 134714508 3221221776 3221218048 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5327 4291 1111 63 0 5264 0
vsize: 21308
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 678818 0 0 0 38307 1693 0 0 25 0 1 0 815895247 20701184 4164 4294967295 134512640 134714508 3221221776 3221218608 1075115414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5054 4164 1111 63 0 4991 0
vsize: 20216
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 695364 0 0 0 39264 1736 0 0 25 0 1 0 815895247 21753856 4405 4294967295 134512640 134714508 3221221776 3221218044 1074960592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5311 4405 1111 63 0 5248 0
vsize: 21244
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 714393 0 0 0 40217 1783 0 0 25 0 1 0 815895247 22237184 4355 4294967295 134512640 134714508 3221221776 3221217740 1074787636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5429 4355 1111 63 0 5366 0
vsize: 21716
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 727924 0 0 0 41184 1816 0 0 25 0 1 0 815895247 20377600 4299 4294967295 134512640 134714508 3221221776 3221220240 1074121071 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4975 4299 1111 63 0 4912 0
vsize: 19900
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 743697 0 0 0 42146 1854 0 0 25 0 1 0 815895247 20676608 4344 4294967295 134512640 134714508 3221221776 3221219424 1075818300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5048 4344 1111 63 0 4985 0
vsize: 20192
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 757020 0 0 0 43116 1885 0 0 25 0 1 0 815895247 21221376 4502 4294967295 134512640 134714508 3221221776 3221218968 1074138303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4502 1111 63 0 5118 0
vsize: 20724
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 769366 0 0 0 44090 1910 0 0 25 0 1 0 815895247 21397504 4535 4294967295 134512640 134714508 3221221776 3221218968 1074138282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5224 4535 1111 63 0 5161 0
vsize: 20896
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 782684 0 0 0 45060 1940 0 0 25 0 1 0 815895247 21278720 4488 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4488 1111 63 0 5132 0
vsize: 20780
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 796808 0 0 0 46027 1974 0 0 25 0 1 0 815895247 21151744 4489 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4489 1111 63 0 5101 0
vsize: 20656
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 810041 0 0 0 46997 2004 0 0 25 0 1 0 815895247 21020672 4457 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5132 4457 1111 63 0 5069 0
vsize: 20528
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 818507 0 0 0 47979 2022 0 0 25 0 1 0 815895247 22294528 4757 4294967295 134512640 134714508 3221221776 3221218880 1074138880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4757 1111 63 0 5380 0
vsize: 21772
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 832704 0 0 0 48949 2053 0 0 25 0 1 0 815895247 21323776 4531 4294967295 134512640 134714508 3221221776 3221219884 1074152839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4531 1111 63 0 5143 0
vsize: 20824
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 844814 0 0 0 49921 2080 0 0 25 0 1 0 815895247 23732224 4732 4294967295 134512640 134714508 3221221776 3221218848 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5794 4732 1111 63 0 5731 0
vsize: 23176
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 857174 0 0 0 50893 2108 0 0 25 0 1 0 815895247 21975040 4658 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5365 4658 1111 63 0 5302 0
vsize: 21460
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 869298 0 0 0 51865 2137 0 0 25 0 1 0 815895247 21827584 4628 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5329 4628 1111 63 0 5266 0
vsize: 21316
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 883923 0 0 0 52830 2171 0 0 25 0 1 0 815895247 22073344 4682 4294967295 134512640 134714508 3221221776 3221219056 1074140688 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4682 1111 63 0 5326 0
vsize: 21556
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 898042 0 0 0 53797 2205 0 0 25 0 1 0 815895247 22495232 4817 4294967295 134512640 134714508 3221221776 3221219424 1075818272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5492 4817 1111 63 0 5429 0
vsize: 21968
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 910000 0 0 0 54769 2233 0 0 25 0 1 0 815895247 22806528 4887 4294967295 134512640 134714508 3221221776 3221219744 1074247419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4887 1111 63 0 5505 0
vsize: 22272
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 920945 0 0 0 55744 2258 0 0 25 0 1 0 815895247 22642688 4821 4294967295 134512640 134714508 3221221776 3221220056 1074138309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5528 4821 1111 63 0 5465 0
vsize: 22112
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 934843 0 0 0 56711 2291 0 0 25 0 1 0 815895247 22233088 4753 4294967295 134512640 134714508 3221221776 3221219944 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5428 4753 1111 63 0 5365 0
vsize: 21712
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 948911 0 0 0 57678 2324 0 0 25 0 1 0 815895247 22347776 4781 4294967295 134512640 134714508 3221221776 3221220288 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5456 4781 1111 63 0 5393 0
vsize: 21824
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 963623 0 0 0 58642 2360 0 0 25 0 1 0 815895247 24596480 5125 4294967295 134512640 134714508 3221221776 3221218848 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5125 1111 63 0 5942 0
vsize: 24020
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 975557 0 0 0 59613 2389 0 0 25 0 1 0 815895247 22867968 4881 4294967295 134512640 134714508 3221221776 3221219888 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5583 4881 1111 63 0 5520 0
vsize: 22332
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 991334 0 0 0 60577 2426 0 0 25 0 1 0 815895247 24936448 5010 4294967295 134512640 134714508 3221221776 3221218308 1075863651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6088 5010 1111 63 0 6025 0
vsize: 24352
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1005009 0 0 0 61544 2459 0 0 25 0 1 0 815895247 22872064 4909 4294967295 134512640 134714508 3221221776 3221220032 1074153680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4909 1111 63 0 5521 0
vsize: 22336
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1018334 0 0 0 62512 2491 0 0 25 0 1 0 815895247 25550848 5257 4294967295 134512640 134714508 3221221776 3221218432 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6238 5257 1111 63 0 6175 0
vsize: 24952
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1031781 0 0 0 63481 2522 0 0 25 0 1 0 815895247 23506944 5034 4294967295 134512640 134714508 3221221776 3221219504 1075828612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5739 5034 1111 63 0 5676 0
vsize: 22956
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1046657 0 0 0 64450 2553 0 0 25 0 1 0 815895247 25686016 5213 4294967295 134512640 134714508 3221221776 3221218608 1075115360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6271 5213 1111 63 0 6208 0
vsize: 25084
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1055167 0 0 0 65431 2573 0 0 25 0 1 0 815895247 23756800 5117 4294967295 134512640 134714508 3221221776 3221220060 1074153411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5800 5117 1111 63 0 5737 0
vsize: 23200
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1062778 0 0 0 66413 2591 0 0 25 0 1 0 815895247 23756800 5125 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5800 5125 1111 63 0 5737 0
vsize: 23200
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1075449 0 0 0 67382 2621 0 0 25 0 1 0 815895247 23756800 5125 4294967295 134512640 134714508 3221221776 3221220064 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5800 5125 1111 63 0 5737 0
vsize: 23200
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1086640 0 0 0 68358 2646 0 0 25 0 1 0 815895247 23756800 5125 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5800 5125 1111 63 0 5737 0
vsize: 23200
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1098189 0 0 0 69330 2674 0 0 25 0 1 0 815895247 26791936 5387 4294967295 134512640 134714508 3221221776 3221218004 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6541 5387 1111 63 0 6478 0
vsize: 26164
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1110642 0 0 0 70302 2702 0 0 25 0 1 0 815895247 24838144 5355 4294967295 134512640 134714508 3221221776 3221219424 1075818331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6064 5355 1111 63 0 6001 0
vsize: 24256
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1124654 0 0 0 71270 2734 0 0 25 0 1 0 815895247 24547328 5313 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5993 5313 1111 63 0 5930 0
vsize: 23972
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1132937 0 0 0 72249 2755 0 0 25 0 1 0 815895247 24121344 5214 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5889 5214 1111 63 0 5826 0
vsize: 23556
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1147915 0 0 0 73213 2791 0 0 25 0 1 0 815895247 24121344 5214 4294967295 134512640 134714508 3221221776 3221219812 1077378596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5889 5214 1111 63 0 5826 0
vsize: 23556
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1162356 0 0 0 74180 2824 0 0 25 0 1 0 815895247 24358912 5258 4294967295 134512640 134714508 3221221776 3221219604 1077374598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5947 5258 1111 63 0 5884 0
vsize: 23788
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1176075 0 0 0 75148 2856 0 0 25 0 1 0 815895247 27222016 5462 4294967295 134512640 134714508 3221221776 3221218544 1076084143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6646 5462 1111 63 0 6583 0
vsize: 26584
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1186986 0 0 0 76125 2880 0 0 25 0 1 0 815895247 24895488 5371 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6078 5371 1111 63 0 6015 0
vsize: 24312
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1198264 0 0 0 77099 2905 0 0 25 0 1 0 815895247 27811840 5737 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6790 5737 1111 63 0 6727 0
vsize: 27160
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1213106 0 0 0 78065 2940 0 0 25 0 1 0 815895247 24748032 5367 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6042 5367 1111 63 0 5979 0
vsize: 24168
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1226359 0 0 0 79034 2971 0 0 25 0 1 0 815895247 25174016 5440 4294967295 134512640 134714508 3221221776 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5440 1111 63 0 6083 0
vsize: 24584
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1235557 0 0 0 80013 2992 0 0 25 0 1 0 815895247 27418624 5503 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6694 5503 1111 63 0 6631 0
vsize: 26776
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1250719 0 0 0 80977 3028 0 0 25 0 1 0 815895247 25477120 5537 4294967295 134512640 134714508 3221221776 3221218880 1074139059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6220 5537 1111 63 0 6157 0
vsize: 24880
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1264018 0 0 0 81947 3058 0 0 25 0 1 0 815895247 25206784 5479 4294967295 134512640 134714508 3221221776 3221220416 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6154 5479 1111 63 0 6091 0
vsize: 24616
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1278693 0 0 0 82915 3091 0 0 25 0 1 0 815895247 25288704 5499 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6174 5499 1111 63 0 6111 0
vsize: 24696
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1293119 0 0 0 83880 3125 0 0 25 0 1 0 815895247 25432064 5534 4294967295 134512640 134714508 3221221776 3221220064 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6209 5534 1111 63 0 6146 0
vsize: 24836
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1306970 0 0 0 84848 3157 0 0 25 0 1 0 815895247 25513984 5554 4294967295 134512640 134714508 3221221776 3221219968 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6229 5554 1111 63 0 6166 0
vsize: 24916
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1321198 0 0 0 85816 3190 0 0 25 0 1 0 815895247 25763840 5615 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5615 1111 63 0 6227 0
vsize: 25160
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1333635 0 0 0 86786 3220 0 0 25 0 1 0 815895247 26210304 5724 4294967295 134512640 134714508 3221221776 3221220192 1074117074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6399 5724 1111 63 0 6336 0
vsize: 25596
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1348014 0 0 0 87751 3254 0 0 25 0 1 0 815895247 26099712 5697 4294967295 134512640 134714508 3221221776 3221219824 1075963433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6372 5697 1111 63 0 6309 0
vsize: 25488
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1365921 0 0 0 88708 3298 0 0 25 0 1 0 815895247 26058752 5687 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6362 5687 1111 63 0 6299 0
vsize: 25448
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1380016 0 0 0 89674 3332 0 0 25 0 1 0 815895247 26267648 5738 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6413 5738 1111 63 0 6350 0
vsize: 25652
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1394203 0 0 0 90642 3364 0 0 25 0 1 0 815895247 26501120 5795 4294967295 134512640 134714508 3221221776 3221220256 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6470 5795 1111 63 0 6407 0
vsize: 25880
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1406107 0 0 0 91613 3393 0 0 25 0 1 0 815895247 26841088 5878 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6553 5878 1111 63 0 6490 0
vsize: 26212
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1417120 0 0 0 92588 3419 0 0 25 0 1 0 815895247 26841088 5878 4294967295 134512640 134714508 3221221776 3221219868 1074206848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6553 5878 1111 63 0 6490 0
vsize: 26212
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1431255 0 0 0 93552 3455 0 0 25 0 1 0 815895247 29872128 6190 4294967295 134512640 134714508 3221221776 3221217920 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7293 6190 1111 63 0 7230 0
vsize: 29172
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1445882 0 0 0 94518 3488 0 0 25 0 1 0 815895247 29622272 6046 4294967295 134512640 134714508 3221221776 3221218004 1075115062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7232 6046 1111 63 0 7169 0
vsize: 28928
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1457302 0 0 0 95489 3518 0 0 25 0 1 0 815895247 27508736 6041 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6716 6041 1111 63 0 6653 0
vsize: 26864
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1470053 0 0 0 96461 3546 0 0 25 0 1 0 815895247 27750400 6068 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6775 6068 1111 63 0 6712 0
vsize: 27100
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1485966 0 0 0 97424 3583 0 0 25 0 1 0 815895247 27475968 6033 4294967295 134512640 134714508 3221221776 3221220128 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6708 6033 1111 63 0 6645 0
vsize: 26832
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1495935 0 0 0 98400 3608 0 0 25 0 1 0 815895247 27537408 6048 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6723 6048 1111 63 0 6660 0
vsize: 26892
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1509638 0 0 0 99368 3639 0 0 25 0 1 0 815895247 27660288 6078 4294967295 134512640 134714508 3221221776 3221220268 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6753 6078 1111 63 0 6690 0
vsize: 27012
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1522606 0 0 0 100338 3670 0 0 25 0 1 0 815895247 28782592 6308 4294967295 134512640 134714508 3221221776 3221219888 1074867314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7027 6308 1111 63 0 6964 0
vsize: 28108
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1536949 0 0 0 101306 3702 0 0 25 0 1 0 815895247 31277056 6614 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7636 6614 1111 63 0 7573 0
vsize: 30544
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1550580 0 0 0 102274 3734 0 0 25 0 1 0 815895247 28004352 6162 4294967295 134512640 134714508 3221221776 3221219936 1073978447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6837 6162 1111 63 0 6774 0
vsize: 27348
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1564485 0 0 0 103243 3765 0 0 25 0 1 0 815895247 28807168 6347 4294967295 134512640 134714508 3221221776 3221219776 1074918290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7033 6347 1111 63 0 6970 0
vsize: 28132
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1577537 0 0 0 104212 3797 0 0 25 0 1 0 815895247 28487680 6280 4294967295 134512640 134714508 3221221776 3221219800 1077378283 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6955 6280 1111 63 0 6892 0
vsize: 27820
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1580559 0 0 0 105204 3804 0 0 25 0 1 0 815895247 29147136 6413 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7116 6413 1111 63 0 7053 0
vsize: 28464
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1585737 0 0 0 106191 3817 0 0 25 0 1 0 815895247 28815360 6360 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6360 1111 63 0 6972 0
vsize: 28140
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1598482 0 0 0 107162 3847 0 0 25 0 1 0 815895247 28487680 6280 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6955 6280 1111 63 0 6892 0
vsize: 27820
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28421
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1609017 0 0 0 108138 3871 0 0 25 0 1 0 815895247 29126656 6404 4294967295 134512640 134714508 3221221776 3221218880 1074139041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7111 6404 1111 63 0 7048 0
vsize: 28444
[startup+1130.05 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 28474
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1621749 0 0 0 109103 3906 0 0 25 0 1 0 815895247 28819456 6358 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7036 6358 1111 63 0 6973 0
vsize: 28144
[startup+1140.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 28474
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1635154 0 0 0 110073 3936 0 0 25 0 1 0 815895247 29192192 6452 4294967295 134512640 134714508 3221221776 3221220016 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7127 6452 1111 63 0 7064 0
vsize: 28508
[startup+1150.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 28474
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1648024 0 0 0 111044 3965 0 0 25 0 1 0 815895247 28958720 6395 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7070 6395 1111 63 0 7007 0
vsize: 28280
[startup+1160.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 28474
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1659833 0 0 0 112015 3995 0 0 25 0 1 0 815895247 29188096 6434 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7126 6434 1111 63 0 7063 0
vsize: 28504
[startup+1170.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 28474
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1672957 0 0 0 112983 4026 0 0 25 0 1 0 815895247 29388800 6488 4294967295 134512640 134714508 3221221776 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7175 6488 1111 63 0 7112 0
vsize: 28700
[startup+1179.28 s]
Raw data (loadavg): 1.03 0.99 0.91 1/54 28474
Raw data (stat): 28421 (bsolo_lpr_cuts) R 28420 7876 7672 0 -1 0 1672957 0 0 0 112983 4026 0 0 25 0 1 0 815895247 29388800 6488 4294967295 134512640 134714508 3221221776 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7175 6488 1111 63 0 7112 0
vsize: 0

Child status: 10
Real time (s): 1179.28
CPU time (s): 1179.34
CPU user time (s): 1138.83
CPU system time (s): 40.5058
CPU usage (%): 100.005
Max. virtual memory (Kb): 30544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####