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/miplib3/normalized-mps-v2-13-7-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 25603

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 04:26:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18904 boxname=wulflinc31 idbench=1455 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /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: 18904
/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:        583576 kB
Buffers:         34940 kB
Cached:         395552 kB
SwapCached:       1172 kB
Active:         299872 kB
Inactive:       132960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        583324 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12580 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 04:45:56 (client local time) WITH STATUS 10 IN 1175.47 SECONDS
stats: 18904 0 1175.47 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.123 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.04075
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.288
c NEW SOLUTION FOUND: 36 @ 0.293
c NEW SOLUTION FOUND: 35 @ 0.295
c NEW SOLUTION FOUND: 34 @ 0.297
c NEW SOLUTION FOUND: 33 @ 0.299
c NEW SOLUTION FOUND: 32 @ 0.305
c NEW SOLUTION FOUND: 31 @ 0.437
c NEW SOLUTION FOUND: 30 @ 445.563
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.44 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 5333
Raw data (stat): 5333 (runsolver) R 5332 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 801403964 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99991 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 15857 0 0 0 953 41 0 0 25 0 1 0 801403964 7446528 1134 4294967295 134512640 134714508 3221221776 3221220000 1074057714 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1818 1134 1111 63 0 1755 0
vsize: 7272
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 32643 0 0 0 1911 84 0 0 25 0 1 0 801403964 8622080 1340 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2105 1340 1111 63 0 2042 0
vsize: 8420
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 48530 0 0 0 2872 122 0 0 25 0 1 0 801403964 8609792 1419 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2102 1419 1111 63 0 2039 0
vsize: 8408
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 64275 0 0 0 3834 161 0 0 25 0 1 0 801403964 9367552 1556 4294967295 134512640 134714508 3221221776 3221220256 1074031960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2287 1556 1111 63 0 2224 0
vsize: 9148
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 80593 0 0 0 4796 199 0 0 25 0 1 0 801403964 9912320 1668 4294967295 134512640 134714508 3221221776 3221218308 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2420 1668 1111 63 0 2357 0
vsize: 9680
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 95709 0 0 0 5762 233 0 0 25 0 1 0 801403964 10354688 1741 4294967295 134512640 134714508 3221221776 3221218928 1075969822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2528 1741 1111 63 0 2465 0
vsize: 10112
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 111985 0 0 0 6722 273 0 0 25 0 1 0 801403964 10682368 1874 4294967295 134512640 134714508 3221221776 3221219988 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2608 1874 1111 63 0 2545 0
vsize: 10432
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 127099 0 0 0 7686 309 0 0 25 0 1 0 801403964 11284480 2047 4294967295 134512640 134714508 3221221776 3221218528 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2755 2047 1111 63 0 2692 0
vsize: 11020
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 144160 0 0 0 8647 348 0 0 25 0 1 0 801403964 11079680 2016 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2705 2016 1111 63 0 2642 0
vsize: 10820
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 160508 0 0 0 9608 388 0 0 25 0 1 0 801403964 11509760 2130 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2810 2130 1111 63 0 2747 0
vsize: 11240
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 176861 0 0 0 10569 426 0 0 25 0 1 0 801403964 11636736 2165 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2841 2165 1111 63 0 2778 0
vsize: 11364
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 191830 0 0 0 11536 459 0 0 25 0 1 0 801403964 11948032 2241 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2917 2241 1111 63 0 2854 0
vsize: 11668
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 208353 0 0 0 12495 501 0 0 25 0 1 0 801403964 13217792 2486 4294967295 134512640 134714508 3221221776 3221217788 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2486 1111 63 0 3164 0
vsize: 12908
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 224788 0 0 0 13453 542 0 0 25 0 1 0 801403964 12742656 2428 4294967295 134512640 134714508 3221221776 3221219744 1074247416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3111 2428 1111 63 0 3048 0
vsize: 12444
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 241833 0 0 0 14410 585 0 0 25 0 1 0 801403964 13570048 2560 4294967295 134512640 134714508 3221221776 3221218004 1075115133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2560 1111 63 0 3250 0
vsize: 13252
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 257986 0 0 0 15372 624 0 0 25 0 1 0 801403964 14508032 2789 4294967295 134512640 134714508 3221221776 3221218016 1075115724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2789 1111 63 0 3479 0
vsize: 14168
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 274499 0 0 0 16334 661 0 0 25 0 1 0 801403964 13459456 2610 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3286 2610 1111 63 0 3223 0
vsize: 13144
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 288458 0 0 0 17301 695 0 0 25 0 1 0 801403964 13631488 2652 4294967295 134512640 134714508 3221221776 3221219984 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3328 2652 1111 63 0 3265 0
vsize: 13312
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 305487 0 0 0 18262 734 0 0 25 0 1 0 801403964 15216640 2832 4294967295 134512640 134714508 3221221776 3221219416 1075850450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3715 2832 1111 63 0 3652 0
vsize: 14860
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 322728 0 0 0 19219 777 0 0 25 0 1 0 801403964 14082048 2762 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2762 1111 63 0 3375 0
vsize: 13752
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 340288 0 0 0 20179 817 0 0 25 0 1 0 801403964 14454784 2838 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3529 2838 1111 63 0 3466 0
vsize: 14116
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 359617 0 0 0 21131 865 0 0 25 0 1 0 801403964 15523840 2957 4294967295 134512640 134714508 3221221776 3221218804 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2957 1111 63 0 3727 0
vsize: 15160
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 378539 0 0 0 22087 910 0 0 25 0 1 0 801403964 15032320 2979 4294967295 134512640 134714508 3221221776 3221219888 1074867334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2979 1111 63 0 3607 0
vsize: 14680
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 397769 0 0 0 23039 957 0 0 25 0 1 0 801403964 15155200 3024 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3700 3024 1111 63 0 3637 0
vsize: 14800
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 412852 0 0 0 24003 993 0 0 25 0 1 0 801403964 15781888 3177 4294967295 134512640 134714508 3221221776 3221220208 1074039232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3853 3177 1111 63 0 3790 0
vsize: 15412
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 430760 0 0 0 24963 1034 0 0 25 0 1 0 801403964 15654912 3146 4294967295 134512640 134714508 3221221776 3221219936 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3822 3146 1111 63 0 3759 0
vsize: 15288
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 449941 0 0 0 25917 1079 0 0 25 0 1 0 801403964 17031168 3310 4294967295 134512640 134714508 3221221776 3221218004 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3310 1111 63 0 4095 0
vsize: 16632
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 467136 0 0 0 26877 1120 0 0 25 0 1 0 801403964 16449536 3308 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4016 3308 1111 63 0 3953 0
vsize: 16064
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 486018 0 0 0 27831 1166 0 0 25 0 1 0 801403964 18169856 3483 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4436 3483 1111 63 0 4373 0
vsize: 17744
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 503834 0 0 0 28789 1208 0 0 25 0 1 0 801403964 18288640 3474 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4465 3474 1111 63 0 4402 0
vsize: 17860
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 521783 0 0 0 29746 1250 0 0 25 0 1 0 801403964 17018880 3479 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 3479 1111 63 0 4092 0
vsize: 16620
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 540465 0 0 0 30701 1296 0 0 25 0 1 0 801403964 18845696 3619 4294967295 134512640 134714508 3221221776 3221218848 1074867274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4601 3619 1111 63 0 4538 0
vsize: 18404
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 557945 0 0 0 31660 1337 0 0 25 0 1 0 801403964 17485824 3593 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4269 3593 1111 63 0 4206 0
vsize: 17076
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 577265 0 0 0 32615 1382 0 0 25 0 1 0 801403964 18870272 3745 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4607 3745 1111 63 0 4544 0
vsize: 18428
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 596431 0 0 0 33568 1429 0 0 25 0 1 0 801403964 18997248 3752 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4638 3752 1111 63 0 4575 0
vsize: 18552
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 614387 0 0 0 34524 1473 0 0 25 0 1 0 801403964 20111360 3914 4294967295 134512640 134714508 3221221776 3221218848 1074867347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4910 3914 1111 63 0 4847 0
vsize: 19640
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 624484 0 0 0 35500 1497 0 0 25 0 1 0 801403964 18698240 3860 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4565 3860 1111 63 0 4502 0
vsize: 18260
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 643234 0 0 0 36454 1543 0 0 25 0 1 0 801403964 18767872 3906 4294967295 134512640 134714508 3221221776 3221220080 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4582 3906 1111 63 0 4519 0
vsize: 18328
[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 657874 0 0 0 37420 1578 0 0 25 0 1 0 801403964 19308544 4038 4294967295 134512640 134714508 3221221776 3221219056 1074140060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4714 4038 1111 63 0 4651 0
vsize: 18856
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 672746 0 0 0 38383 1615 0 0 25 0 1 0 801403964 19492864 4083 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4759 4083 1111 63 0 4696 0
vsize: 19036
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 689291 0 0 0 39345 1653 0 0 25 0 1 0 801403964 19542016 4095 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4771 4095 1111 63 0 4708 0
vsize: 19084
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 708052 0 0 0 40299 1699 0 0 25 0 1 0 801403964 19832832 4166 4294967295 134512640 134714508 3221221776 3221220064 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4842 4166 1111 63 0 4779 0
vsize: 19368
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 719860 0 0 0 41271 1727 0 0 25 0 1 0 801403964 20758528 4390 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5068 4390 1111 63 0 5005 0
vsize: 20272
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 737704 0 0 0 42231 1768 0 0 25 0 1 0 801403964 20320256 4283 4294967295 134512640 134714508 3221221776 3221220056 1074138377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4961 4283 1111 63 0 4898 0
vsize: 19844
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 751147 0 0 0 43199 1800 0 0 25 0 1 0 801403964 20660224 4365 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5044 4365 1111 63 0 4981 0
vsize: 20176
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 763555 0 0 0 44169 1829 0 0 25 0 1 0 801403964 20996096 4420 4294967295 134512640 134714508 3221221776 3221219504 1075828447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5126 4420 1111 63 0 5063 0
vsize: 20504
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 777216 0 0 0 45139 1860 0 0 25 0 1 0 801403964 20684800 4375 4294967295 134512640 134714508 3221221776 3221219896 1077378266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5050 4375 1111 63 0 4987 0
vsize: 20200
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 789743 0 0 0 46108 1891 0 0 25 0 1 0 801403964 23318528 4706 4294967295 134512640 134714508 3221221776 3221218004 1075115062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5693 4706 1111 63 0 5630 0
vsize: 22772
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 802392 0 0 0 47079 1920 0 0 25 0 1 0 801403964 21823488 4627 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5328 4627 1111 63 0 5265 0
vsize: 21312
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 814988 0 0 0 48049 1950 0 0 25 0 1 0 801403964 22654976 4794 4294967295 134512640 134714508 3221221776 3221219888 1074867334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5531 4794 1111 63 0 5468 0
vsize: 22124
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 826193 0 0 0 49024 1975 0 0 25 0 1 0 801403964 21323776 4531 4294967295 134512640 134714508 3221221776 3221220192 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5206 4531 1111 63 0 5143 0
vsize: 20824
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 839778 0 0 0 49994 2006 0 0 25 0 1 0 801403964 21323776 4531 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5206 4531 1111 63 0 5143 0
vsize: 20824
[startup+530.037 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 849937 0 0 0 50972 2028 0 0 25 0 1 0 801403964 21610496 4601 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5276 4601 1111 63 0 5213 0
vsize: 21104
[startup+540.038 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 862877 0 0 0 51939 2061 0 0 25 0 1 0 801403964 22261760 4758 4294967295 134512640 134714508 3221221776 3221219688 1074138285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4758 1111 63 0 5372 0
vsize: 21740
[startup+550.039 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 876484 0 0 0 52910 2090 0 0 25 0 1 0 801403964 24199168 4882 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5908 4882 1111 63 0 5845 0
vsize: 23632
[startup+560.038 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 890173 0 0 0 53877 2123 0 0 25 0 1 0 801403964 24240128 4880 4294967295 134512640 134714508 3221221776 3221218432 1075967705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5918 4880 1111 63 0 5855 0
vsize: 23672
[startup+570.039 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 904189 0 0 0 54844 2157 0 0 25 0 1 0 801403964 22446080 4774 4294967295 134512640 134714508 3221221776 3221219504 1075828466 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5480 4774 1111 63 0 5417 0
vsize: 21920
[startup+580.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 914418 0 0 0 55821 2180 0 0 25 0 1 0 801403964 23515136 4794 4294967295 134512640 134714508 3221221776 3221219088 1076083389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5741 4794 1111 63 0 5678 0
vsize: 22964
[startup+590.041 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 927575 0 0 0 56790 2211 0 0 25 0 1 0 801403964 24326144 4783 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5939 4783 1111 63 0 5876 0
vsize: 23756
[startup+600.041 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 939314 0 0 0 57763 2238 0 0 25 0 1 0 801403964 22892544 4899 4294967295 134512640 134714508 3221221776 3221219928 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5589 4899 1111 63 0 5526 0
vsize: 22356
[startup+610.042 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 953797 0 0 0 58729 2272 0 0 25 0 1 0 801403964 22732800 4850 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4850 1111 63 0 5487 0
vsize: 22200
[startup+620.042 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 966163 0 0 0 59702 2299 0 0 25 0 1 0 801403964 22863872 4897 4294967295 134512640 134714508 3221221776 3221218880 1074138755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5582 4897 1111 63 0 5519 0
vsize: 22328
[startup+630.042 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 981175 0 0 0 60665 2336 0 0 25 0 1 0 801403964 23429120 5003 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5720 5003 1111 63 0 5657 0
vsize: 22880
[startup+640.042 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 993993 0 0 0 61640 2361 0 0 25 0 1 0 801403964 25554944 5285 4294967295 134512640 134714508 3221221776 3221218004 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6239 5285 1111 63 0 6176 0
vsize: 24956
[startup+650.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1008397 0 0 0 62605 2396 0 0 25 0 1 0 801403964 22929408 4923 4294967295 134512640 134714508 3221221776 3221220016 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5598 4923 1111 63 0 5535 0
vsize: 22392
[startup+660.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1022943 0 0 0 63570 2431 0 0 25 0 1 0 801403964 23396352 5006 4294967295 134512640 134714508 3221221776 3221219520 1075636575 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5712 5006 1111 63 0 5649 0
vsize: 22848
[startup+670.044 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1037180 0 0 0 64536 2465 0 0 25 0 1 0 801403964 25534464 5188 4294967295 134512640 134714508 3221221776 3221218544 1076084134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6234 5188 1111 63 0 6171 0
vsize: 24936
[startup+680.044 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1051680 0 0 0 65501 2500 0 0 25 0 1 0 801403964 23633920 5055 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5770 5055 1111 63 0 5707 0
vsize: 23080
[startup+690.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1057348 0 0 0 66488 2514 0 0 25 0 1 0 801403964 27230208 5598 4294967295 134512640 134714508 3221221776 3221218848 1074867328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6648 5598 1111 63 0 6585 0
vsize: 26592
[startup+700.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1066527 0 0 0 67466 2536 0 0 25 0 1 0 801403964 23756800 5125 4294967295 134512640 134714508 3221221776 3221220016 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5800 5125 1111 63 0 5737 0
vsize: 23200
[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1077268 0 0 0 68441 2561 0 0 25 0 1 0 801403964 23756800 5125 4294967295 134512640 134714508 3221221776 3221219976 1074206257 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5800 5125 1111 63 0 5737 0
vsize: 23200
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1089936 0 0 0 69411 2591 0 0 25 0 1 0 801403964 26779648 5416 4294967295 134512640 134714508 3221221776 3221218016 1075115734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6538 5416 1111 63 0 6475 0
vsize: 26152
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1102486 0 0 0 70381 2622 0 0 25 0 1 0 801403964 23756800 5125 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5800 5125 1111 63 0 5737 0
vsize: 23200
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1115076 0 0 0 71351 2651 0 0 25 0 1 0 801403964 23945216 5171 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5846 5171 1111 63 0 5783 0
vsize: 23384
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1128785 0 0 0 72320 2683 0 0 25 0 1 0 801403964 24121344 5214 4294967295 134512640 134714508 3221221776 3221219968 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5889 5214 1111 63 0 5826 0
vsize: 23556
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1136769 0 0 0 73302 2701 0 0 25 0 1 0 801403964 24305664 5259 4294967295 134512640 134714508 3221221776 3221220240 1074121052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5934 5259 1111 63 0 5871 0
vsize: 23736
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1151564 0 0 0 74266 2737 0 0 25 0 1 0 801403964 27287552 5470 4294967295 134512640 134714508 3221221776 3221218816 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6662 5470 1111 63 0 6599 0
vsize: 26648
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1165096 0 0 0 75234 2769 0 0 25 0 1 0 801403964 24604672 5332 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6007 5332 1111 63 0 5944 0
vsize: 24028
[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1176983 0 0 0 76205 2798 0 0 25 0 1 0 801403964 28389376 5849 4294967295 134512640 134714508 3221221776 3221218720 1074620107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6931 5849 1111 63 0 6868 0
vsize: 27724
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1190916 0 0 0 77175 2828 0 0 25 0 1 0 801403964 25034752 5410 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6112 5410 1111 63 0 6049 0
vsize: 24448
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1203893 0 0 0 78145 2858 0 0 25 0 1 0 801403964 24567808 5323 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5998 5323 1111 63 0 5935 0
vsize: 23992
[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1217212 0 0 0 79117 2887 0 0 25 0 1 0 801403964 25243648 5457 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6163 5457 1111 63 0 6100 0
vsize: 24652
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1228429 0 0 0 80093 2911 0 0 25 0 1 0 801403964 28512256 6003 4294967295 134512640 134714508 3221221776 3221218608 1075115385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6961 6003 1111 63 0 6898 0
vsize: 27844
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1240249 0 0 0 81067 2937 0 0 25 0 1 0 801403964 24969216 5421 4294967295 134512640 134714508 3221221776 3221219688 1074138300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6096 5421 1111 63 0 6033 0
vsize: 24384
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1256065 0 0 0 82028 2976 0 0 25 0 1 0 801403964 25313280 5460 4294967295 134512640 134714508 3221221776 3221219676 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6180 5460 1111 63 0 6117 0
vsize: 24720
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1268540 0 0 0 82999 3005 0 0 25 0 1 0 801403964 28364800 5803 4294967295 134512640 134714508 3221221776 3221218408 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6925 5803 1111 63 0 6862 0
vsize: 27700
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1283534 0 0 0 83966 3038 0 0 25 0 1 0 801403964 25767936 5587 4294967295 134512640 134714508 3221221776 3221219888 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6291 5587 1111 63 0 6228 0
vsize: 25164
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1297224 0 0 0 84933 3072 0 0 25 0 1 0 801403964 28741632 5968 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7017 5968 1111 63 0 6954 0
vsize: 28068
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1312147 0 0 0 85901 3104 0 0 25 0 1 0 801403964 25665536 5591 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6266 5591 1111 63 0 6203 0
vsize: 25064
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1324088 0 0 0 86875 3130 0 0 25 0 1 0 801403964 28938240 5998 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7065 5998 1111 63 0 7002 0
vsize: 28260
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1338901 0 0 0 87839 3166 0 0 25 0 1 0 801403964 28450816 5732 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6946 5732 1111 63 0 6883 0
vsize: 27784
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1354021 0 0 0 88803 3202 0 0 25 0 1 0 801403964 26030080 5680 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6355 5680 1111 63 0 6292 0
vsize: 25420
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1370555 0 0 0 89765 3240 0 0 25 0 1 0 801403964 27639808 5811 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6748 5811 1111 63 0 6685 0
vsize: 26992
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1384957 0 0 0 90735 3271 0 0 25 0 1 0 801403964 26333184 5754 4294967295 134512640 134714508 3221221776 3221219592 1077378713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6429 5754 1111 63 0 6366 0
vsize: 25716
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1398468 0 0 0 91703 3303 0 0 25 0 1 0 801403964 26488832 5792 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6467 5792 1111 63 0 6404 0
vsize: 25868
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1410521 0 0 0 92677 3329 0 0 25 0 1 0 801403964 26841088 5878 4294967295 134512640 134714508 3221221776 3221220016 1074153760 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.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1421836 0 0 0 93651 3355 0 0 25 0 1 0 801403964 26914816 5895 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6571 5895 1111 63 0 6508 0
vsize: 26284
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1437636 0 0 0 94613 3393 0 0 25 0 1 0 801403964 29491200 5998 4294967295 134512640 134714508 3221221776 3221217936 1075091857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7200 5998 1111 63 0 7137 0
vsize: 28800
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1452633 0 0 0 95579 3427 0 0 25 0 1 0 801403964 27295744 5989 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6664 5989 1111 63 0 6601 0
vsize: 26656
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1463706 0 0 0 96552 3455 0 0 25 0 1 0 801403964 27295744 5989 4294967295 134512640 134714508 3221221776 3221219776 1074140697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6664 5989 1111 63 0 6601 0
vsize: 26656
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1476804 0 0 0 97522 3484 0 0 25 0 1 0 801403964 27316224 5994 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6669 5994 1111 63 0 6606 0
vsize: 26676
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1489097 0 0 0 98493 3514 0 0 25 0 1 0 801403964 27557888 6053 4294967295 134512640 134714508 3221221776 3221220272 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6728 6053 1111 63 0 6665 0
vsize: 26912
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1502711 0 0 0 99463 3545 0 0 25 0 1 0 801403964 27938816 6128 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6821 6128 1111 63 0 6758 0
vsize: 27284
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1516500 0 0 0 100431 3577 0 0 25 0 1 0 801403964 27824128 6101 4294967295 134512640 134714508 3221221776 3221220128 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6793 6101 1111 63 0 6730 0
vsize: 27172
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1530124 0 0 0 101399 3609 0 0 25 0 1 0 801403964 28340224 6219 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6919 6219 1111 63 0 6856 0
vsize: 27676
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1542772 0 0 0 102371 3637 0 0 25 0 1 0 801403964 28577792 6297 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6977 6297 1111 63 0 6914 0
vsize: 27908
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1557841 0 0 0 103336 3672 0 0 25 0 1 0 801403964 28106752 6187 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6862 6187 1111 63 0 6799 0
vsize: 27448
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1571888 0 0 0 104304 3705 0 0 25 0 1 0 801403964 28364800 6250 4294967295 134512640 134714508 3221221776 3221219984 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6925 6250 1111 63 0 6862 0
vsize: 27700
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1578015 0 0 0 105288 3720 0 0 25 0 1 0 801403964 29429760 6478 4294967295 134512640 134714508 3221221776 3221219888 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7185 6478 1111 63 0 7122 0
vsize: 28740
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1583203 0 0 0 106276 3733 0 0 25 0 1 0 801403964 28622848 6313 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6988 6313 1111 63 0 6925 0
vsize: 27952
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1590095 0 0 0 107260 3748 0 0 25 0 1 0 801403964 28872704 6351 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7049 6357 1111 63 0 6986 0
vsize: 28196
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1603120 0 0 0 108230 3779 0 0 25 0 1 0 801403964 29675520 6568 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7245 6568 1111 63 0 7182 0
vsize: 28980
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1615594 0 0 0 109203 3806 0 0 25 0 1 0 801403964 28696576 6311 4294967295 134512640 134714508 3221221776 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7006 6311 1111 63 0 6943 0
vsize: 28024
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1628146 0 0 0 110174 3835 0 0 25 0 1 0 801403964 28934144 6389 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 6389 1111 63 0 7001 0
vsize: 28256
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1642240 0 0 0 111142 3868 0 0 25 0 1 0 801403964 29425664 6509 4294967295 134512640 134714508 3221221776 3221220156 1074208560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7184 6509 1111 63 0 7121 0
vsize: 28736
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1652871 0 0 0 112115 3895 0 0 25 0 1 0 801403964 29704192 6570 4294967295 134512640 134714508 3221221776 3221219776 1074918064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7252 6570 1111 63 0 7189 0
vsize: 29008
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1667029 0 0 0 113084 3926 0 0 25 0 1 0 801403964 29057024 6419 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7094 6419 1111 63 0 7031 0
vsize: 28376
[startup+1175.42 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 5333
Raw data (stat): 5333 (bsolo_lpr_cuts) R 5332 7876 7672 0 -1 0 1667029 0 0 0 113084 3926 0 0 25 0 1 0 801403964 29057024 6419 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7094 6419 1111 63 0 7031 0
vsize: 0

Child status: 10
Real time (s): 1175.42
CPU time (s): 1175.47
CPU user time (s): 1135.99
CPU system time (s): 39.477
CPU usage (%): 100.004
Max. virtual memory (Kb): 29008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####