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/submitted/een/normalized-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
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.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45
Trace number 25143

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 01:44:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5202 boxname=wulflinc31 idbench=401 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
IDLAUNCH: 5202
/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:        764956 kB
Buffers:         52040 kB
Cached:         188360 kB
SwapCached:       1952 kB
Active:         204428 kB
Inactive:        44924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764704 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14716 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 02:04:06 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 5202 0 1175.08 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.087 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.059
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 39 @ 0.149
c NEW SOLUTION FOUND: 38 @ 0.151
c NEW SOLUTION FOUND: 37 @ 0.154
c NEW SOLUTION FOUND: 36 @ 0.163
c NEW SOLUTION FOUND: 35 @ 0.166
c NEW SOLUTION FOUND: 34 @ 0.18
c NEW SOLUTION FOUND: 33 @ 0.239
c NEW SOLUTION FOUND: 32 @ 0.324
c NEW SOLUTION FOUND: 31 @ 2.007
c NEW SOLUTION FOUND: 30 @ 698.76
s SATISFIABLE
v x0 x1 x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 x12 x13 x14 -x15 x16 x17 x18 x19 x20 -x21 x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 x36 x37 -x38 x39 x40 -x41 -x42 x43 x44 
c Exit Code: 10
c Total time: 1175.06 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.96 2/55 20584
Raw data (stat): 20584 (runsolver) R 20583 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765868900 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 15482 0 0 0 955 39 0 0 25 0 1 0 765868900 6406144 880 4294967295 134512640 134714508 3221221776 3221219888 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1564 880 1111 63 0 1501 0
vsize: 6256
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 31646 0 0 0 1916 78 0 0 25 0 1 0 765868900 7245824 1047 4294967295 134512640 134714508 3221221776 3221220016 1073990411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1769 1047 1111 63 0 1706 0
vsize: 7076
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 46791 0 0 0 2883 112 0 0 25 0 1 0 765868900 7630848 1155 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1863 1155 1111 63 0 1800 0
vsize: 7452
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 62755 0 0 0 3845 150 0 0 25 0 1 0 765868900 7888896 1242 4294967295 134512640 134714508 3221221776 3221219936 1074153466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1926 1242 1111 63 0 1863 0
vsize: 7704
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 79365 0 0 0 4807 189 0 0 25 0 1 0 765868900 9080832 1491 4294967295 134512640 134714508 3221221776 3221217788 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2217 1491 1111 63 0 2154 0
vsize: 8868
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 95071 0 0 0 5769 227 0 0 25 0 1 0 765868900 8790016 1457 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2146 1457 1111 63 0 2083 0
vsize: 8584
[startup+70.007 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 110581 0 0 0 6731 265 0 0 25 0 1 0 765868900 9297920 1555 4294967295 134512640 134714508 3221221776 3221219696 1075799428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2270 1555 1111 63 0 2207 0
vsize: 9080
[startup+80.008 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 126265 0 0 0 7691 304 0 0 25 0 1 0 765868900 9973760 1670 4294967295 134512640 134714508 3221221776 3221218844 1077410128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2435 1670 1111 63 0 2372 0
vsize: 9740
[startup+90.0084 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 141943 0 0 0 8651 344 0 0 25 0 1 0 765868900 9740288 1694 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2378 1694 1111 63 0 2315 0
vsize: 9512
[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 157508 0 0 0 9615 381 0 0 25 0 1 0 765868900 10145792 1793 4294967295 134512640 134714508 3221221776 3221220256 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2477 1793 1111 63 0 2414 0
vsize: 9908
[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 173634 0 0 0 10577 419 0 0 25 0 1 0 765868900 10600448 1904 4294967295 134512640 134714508 3221221776 3221220332 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1904 1111 63 0 2525 0
vsize: 10352
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 189376 0 0 0 11538 458 0 0 25 0 1 0 765868900 10915840 1981 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2665 1981 1111 63 0 2602 0
vsize: 10660
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 205366 0 0 0 12501 495 0 0 25 0 1 0 765868900 11202560 2051 4294967295 134512640 134714508 3221221776 3221219688 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2735 2051 1111 63 0 2672 0
vsize: 10940
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 221605 0 0 0 13464 533 0 0 25 0 1 0 765868900 12128256 2200 4294967295 134512640 134714508 3221221776 3221218848 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 2200 1111 63 0 2898 0
vsize: 11844
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 238703 0 0 0 14423 574 0 0 25 0 1 0 765868900 12800000 2215 4294967295 134512640 134714508 3221221776 3221218816 1075971395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3125 2215 1111 63 0 3062 0
vsize: 12500
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 256444 0 0 0 15380 617 0 0 25 0 1 0 765868900 12148736 2275 4294967295 134512640 134714508 3221221776 3221219776 1074917202 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2966 2275 1111 63 0 2903 0
vsize: 11864
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 274412 0 0 0 16335 662 0 0 25 0 1 0 765868900 12365824 2341 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3019 2341 1111 63 0 2956 0
vsize: 12076
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 290393 0 0 0 17296 701 0 0 25 0 1 0 765868900 13619200 2469 4294967295 134512640 134714508 3221221776 3221219152 1075115790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2469 1111 63 0 3262 0
vsize: 13300
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 306494 0 0 0 18260 737 0 0 25 0 1 0 765868900 12800000 2447 4294967295 134512640 134714508 3221221776 3221219696 1074051586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3125 2447 1111 63 0 3062 0
vsize: 12500
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 323386 0 0 0 19217 779 0 0 25 0 1 0 765868900 13099008 2496 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3198 2496 1111 63 0 3135 0
vsize: 12792
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 340564 0 0 0 20179 818 0 0 25 0 1 0 765868900 14032896 2716 4294967295 134512640 134714508 3221221776 3221218968 1074138322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2716 1111 63 0 3363 0
vsize: 13704
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 358219 0 0 0 21137 860 0 0 25 0 1 0 765868900 13484032 2614 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3292 2614 1111 63 0 3229 0
vsize: 13168
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 374274 0 0 0 22099 899 0 0 25 0 1 0 765868900 13787136 2660 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3366 2660 1111 63 0 3303 0
vsize: 13464
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 391063 0 0 0 23062 936 0 0 25 0 1 0 765868900 14073856 2758 4294967295 134512640 134714508 3221221776 3221220048 1074055984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3436 2758 1111 63 0 3373 0
vsize: 13744
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 408662 0 0 0 24021 977 0 0 25 0 1 0 765868900 15286272 2899 4294967295 134512640 134714508 3221221776 3221219440 1074835532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3732 2899 1111 63 0 3669 0
vsize: 14928
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 426078 0 0 0 24981 1017 0 0 25 0 1 0 765868900 14360576 2828 4294967295 134512640 134714508 3221221776 3221218880 1074138642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3506 2828 1111 63 0 3443 0
vsize: 14024
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 443848 0 0 0 25941 1058 0 0 25 0 1 0 765868900 14548992 2874 4294967295 134512640 134714508 3221221776 3221220124 1074207488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3552 2874 1111 63 0 3489 0
vsize: 14208
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 461654 0 0 0 26895 1103 0 0 25 0 1 0 765868900 14860288 2934 4294967295 134512640 134714508 3221221776 3221220056 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3628 2934 1111 63 0 3565 0
vsize: 14512
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 480574 0 0 0 27849 1149 0 0 25 0 1 0 765868900 14987264 2981 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3659 2981 1111 63 0 3596 0
vsize: 14636
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 493600 0 0 0 28818 1181 0 0 25 0 1 0 765868900 17096704 3113 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4174 3113 1111 63 0 4111 0
vsize: 16696
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 511297 0 0 0 29776 1223 0 0 25 0 1 0 765868900 15618048 3111 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3813 3111 1111 63 0 3750 0
vsize: 15252
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 528791 0 0 0 30733 1266 0 0 25 0 1 0 765868900 15663104 3147 4294967295 134512640 134714508 3221221776 3221220032 1073986885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3824 3147 1111 63 0 3761 0
vsize: 15296
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 547929 0 0 0 31684 1315 0 0 25 0 1 0 765868900 16039936 3210 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3916 3210 1111 63 0 3853 0
vsize: 15664
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 563516 0 0 0 32647 1352 0 0 25 0 1 0 765868900 16179200 3273 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3950 3273 1111 63 0 3887 0
vsize: 15800
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 579810 0 0 0 33606 1393 0 0 25 0 1 0 765868900 16322560 3308 4294967295 134512640 134714508 3221221776 3221220016 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3308 1111 63 0 3922 0
vsize: 15940
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 596149 0 0 0 34568 1432 0 0 25 0 1 0 765868900 16711680 3391 4294967295 134512640 134714508 3221221776 3221219776 1074916673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4080 3391 1111 63 0 4017 0
vsize: 16320
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 612319 0 0 0 35527 1472 0 0 25 0 1 0 765868900 16842752 3435 4294967295 134512640 134714508 3221221776 3221220012 1074207648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3435 1111 63 0 4049 0
vsize: 16448
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 628009 0 0 0 36489 1511 0 0 25 0 1 0 765868900 18886656 3552 4294967295 134512640 134714508 3221221776 3221218432 1075966528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4611 3552 1111 63 0 4548 0
vsize: 18444
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 641150 0 0 0 37457 1543 0 0 25 0 1 0 765868900 17190912 3520 4294967295 134512640 134714508 3221221776 3221219896 1074206273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4197 3520 1111 63 0 4134 0
vsize: 16788
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 657107 0 0 0 38417 1583 0 0 25 0 1 0 765868900 18583552 3597 4294967295 134512640 134714508 3221221776 3221218432 1075969185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3597 1111 63 0 4474 0
vsize: 18148
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 672706 0 0 0 39379 1621 0 0 25 0 1 0 765868900 18046976 3714 4294967295 134512640 134714508 3221221776 3221218880 1074138838 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4406 3714 1111 63 0 4343 0
vsize: 17624
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 690314 0 0 0 40334 1666 0 0 25 0 1 0 765868900 18014208 3711 4294967295 134512640 134714508 3221221776 3221220112 1075552862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3711 1111 63 0 4335 0
vsize: 17592
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 706441 0 0 0 41296 1705 0 0 25 0 1 0 765868900 17920000 3698 4294967295 134512640 134714508 3221221776 3221220044 1077410224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4375 3698 1111 63 0 4312 0
vsize: 17500
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 722635 0 0 0 42256 1744 0 0 25 0 1 0 765868900 20443136 4065 4294967295 134512640 134714508 3221221776 3221218432 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4991 4065 1111 63 0 4928 0
vsize: 19964
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 738896 0 0 0 43215 1785 0 0 25 0 1 0 765868900 19312640 4025 4294967295 134512640 134714508 3221221776 3221218968 1074138322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4715 4025 1111 63 0 4652 0
vsize: 18860
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 756068 0 0 0 44174 1827 0 0 25 0 1 0 765868900 18624512 3870 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4547 3870 1111 63 0 4484 0
vsize: 18188
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 768967 0 0 0 45144 1857 0 0 25 0 1 0 765868900 18931712 3945 4294967295 134512640 134714508 3221221776 3221218880 1074138729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4622 3945 1111 63 0 4559 0
vsize: 18488
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 785087 0 0 0 46105 1896 0 0 25 0 1 0 765868900 19030016 3969 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4646 3969 1111 63 0 4583 0
vsize: 18584
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 800987 0 0 0 47067 1935 0 0 25 0 1 0 765868900 19402752 4041 4294967295 134512640 134714508 3221221776 3221218648 1077799011 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4737 4041 1111 63 0 4674 0
vsize: 18948
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 816723 0 0 0 48032 1970 0 0 25 0 1 0 765868900 19472384 4077 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 4077 1111 63 0 4691 0
vsize: 19016
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 833772 0 0 0 48989 2013 0 0 25 0 1 0 765868900 19566592 4100 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4777 4100 1111 63 0 4714 0
vsize: 19108
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 846423 0 0 0 49958 2044 0 0 25 0 1 0 765868900 20078592 4216 4294967295 134512640 134714508 3221221776 3221220112 1075552836 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4216 1111 63 0 4839 0
vsize: 19608
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 862518 0 0 0 50922 2080 0 0 25 0 1 0 765868900 20140032 4240 4294967295 134512640 134714508 3221221776 3221219712 1075552832 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4917 4240 1111 63 0 4854 0
vsize: 19668
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 878087 0 0 0 51886 2116 0 0 25 0 1 0 765868900 22048768 4334 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5383 4334 1111 63 0 5320 0
vsize: 21532
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 894121 0 0 0 52849 2153 0 0 25 0 1 0 765868900 20422656 4290 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4986 4290 1111 63 0 4923 0
vsize: 19944
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 907986 0 0 0 53816 2186 0 0 25 0 1 0 765868900 21069824 4435 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5144 4435 1111 63 0 5081 0
vsize: 20576
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 925386 0 0 0 54773 2229 0 0 25 0 1 0 765868900 20791296 4369 4294967295 134512640 134714508 3221221776 3221219860 1077374461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5076 4369 1111 63 0 5013 0
vsize: 20304
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 941798 0 0 0 55733 2269 0 0 25 0 1 0 765868900 21012480 4453 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5130 4453 1111 63 0 5067 0
vsize: 20520
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 959615 0 0 0 56689 2314 0 0 25 0 1 0 765868900 21319680 4499 4294967295 134512640 134714508 3221221776 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5205 4499 1111 63 0 5142 0
vsize: 20820
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 977412 0 0 0 57644 2359 0 0 25 0 1 0 765868900 21737472 4626 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5307 4626 1111 63 0 5244 0
vsize: 21228
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 993167 0 0 0 58604 2399 0 0 25 0 1 0 765868900 22290432 4747 4294967295 134512640 134714508 3221221776 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5442 4747 1111 63 0 5379 0
vsize: 21768
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 998222 0 0 0 59591 2412 0 0 25 0 1 0 765868900 22241280 4726 4294967295 134512640 134714508 3221221776 3221219920 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4726 1111 63 0 5367 0
vsize: 21720
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1013619 0 0 0 60556 2447 0 0 25 0 1 0 765868900 21757952 4635 4294967295 134512640 134714508 3221221776 3221220080 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5312 4635 1111 63 0 5249 0
vsize: 21248
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1028348 0 0 0 61523 2481 0 0 25 0 1 0 765868900 23076864 4911 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5634 4911 1111 63 0 5571 0
vsize: 22536
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1044614 0 0 0 62484 2519 0 0 25 0 1 0 765868900 22204416 4744 4294967295 134512640 134714508 3221221776 3221219504 1075635922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4744 1111 63 0 5358 0
vsize: 21684
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1056420 0 0 0 63457 2547 0 0 25 0 1 0 765868900 25600000 5213 4294967295 134512640 134714508 3221221776 3221218608 1075115388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6250 5213 1111 63 0 6187 0
vsize: 25000
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1072529 0 0 0 64421 2583 0 0 25 0 1 0 765868900 22908928 4885 4294967295 134512640 134714508 3221221776 3221219888 1074867317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5593 4885 1111 63 0 5530 0
vsize: 22372
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1087241 0 0 0 65386 2618 0 0 25 0 1 0 765868900 22581248 4836 4294967295 134512640 134714508 3221221776 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5513 4836 1111 63 0 5450 0
vsize: 22052
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1105543 0 0 0 66342 2661 0 0 25 0 1 0 765868900 25636864 5058 4294967295 134512640 134714508 3221221776 3221217936 1074794495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6259 5058 1111 63 0 6196 0
vsize: 25036
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1121294 0 0 0 67304 2700 0 0 25 0 1 0 765868900 24674304 4999 4294967295 134512640 134714508 3221221776 3221219344 1075972440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6024 4999 1111 63 0 5961 0
vsize: 24096
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1136421 0 0 0 68267 2737 0 0 25 0 1 0 765868900 26439680 5342 4294967295 134512640 134714508 3221221776 3221218608 1075115790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6455 5342 1111 63 0 6392 0
vsize: 25820
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1143971 0 0 0 69247 2757 0 0 25 0 1 0 765868900 23826432 5112 4294967295 134512640 134714508 3221221776 3221220436 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5817 5112 1111 63 0 5754 0
vsize: 23268
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1158612 0 0 0 70213 2792 0 0 25 0 1 0 765868900 23670784 5094 4294967295 134512640 134714508 3221221776 3221219888 1074867314 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5779 5094 1111 63 0 5716 0
vsize: 23116
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1169845 0 0 0 71186 2819 0 0 25 0 1 0 765868900 23543808 5072 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5748 5072 1111 63 0 5685 0
vsize: 22992
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1181172 0 0 0 72158 2847 0 0 25 0 1 0 765868900 23769088 5123 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5803 5123 1111 63 0 5740 0
vsize: 23212
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1192312 0 0 0 73132 2873 0 0 25 0 1 0 765868900 23896064 5158 4294967295 134512640 134714508 3221221776 3221219688 1074138277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5834 5158 1111 63 0 5771 0
vsize: 23336
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1204205 0 0 0 74103 2902 0 0 25 0 1 0 765868900 24047616 5195 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5871 5195 1111 63 0 5808 0
vsize: 23484
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1214139 0 0 0 75079 2926 0 0 25 0 1 0 765868900 27648000 5721 4294967295 134512640 134714508 3221221776 3221217984 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5721 1111 63 0 6687 0
vsize: 27000
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1227476 0 0 0 76049 2957 0 0 25 0 1 0 765868900 24489984 5276 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5979 5276 1111 63 0 5916 0
vsize: 23916
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1241867 0 0 0 77015 2991 0 0 25 0 1 0 765868900 24391680 5247 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5955 5247 1111 63 0 5892 0
vsize: 23820
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1253220 0 0 0 77988 3017 0 0 25 0 1 0 765868900 24219648 5236 4294967295 134512640 134714508 3221221776 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5913 5236 1111 63 0 5850 0
vsize: 23652
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1265816 0 0 0 78958 3048 0 0 25 0 1 0 765868900 24424448 5287 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5963 5287 1111 63 0 5900 0
vsize: 23852
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1279316 0 0 0 79927 3079 0 0 25 0 1 0 765868900 24473600 5274 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5975 5274 1111 63 0 5912 0
vsize: 23900
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1293653 0 0 0 80891 3115 0 0 25 0 1 0 765868900 27332608 5548 4294967295 134512640 134714508 3221221776 3221218720 1074620235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6673 5548 1111 63 0 6610 0
vsize: 26692
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1302383 0 0 0 81870 3136 0 0 25 0 1 0 765868900 28397568 5922 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6933 5922 1111 63 0 6870 0
vsize: 27732
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1318302 0 0 0 82831 3175 0 0 25 0 1 0 765868900 24444928 5292 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5292 1111 63 0 5905 0
vsize: 23872
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1333652 0 0 0 83795 3211 0 0 25 0 1 0 765868900 26329088 5400 4294967295 134512640 134714508 3221221776 3221218852 1075863651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6428 5400 1111 63 0 6365 0
vsize: 25712
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1346823 0 0 0 84763 3243 0 0 25 0 1 0 765868900 25284608 5465 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6173 5465 1111 63 0 6110 0
vsize: 24692
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1362058 0 0 0 85726 3280 0 0 25 0 1 0 765868900 24985600 5424 4294967295 134512640 134714508 3221221776 3221220000 1073986826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6100 5424 1111 63 0 6037 0
vsize: 24400
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1372344 0 0 0 86703 3304 0 0 25 0 1 0 765868900 25202688 5477 4294967295 134512640 134714508 3221221776 3221219688 1074138282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5477 1111 63 0 6090 0
vsize: 24612
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1386289 0 0 0 87670 3337 0 0 25 0 1 0 765868900 25141248 5462 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6138 5462 1111 63 0 6075 0
vsize: 24552
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1400107 0 0 0 88636 3371 0 0 25 0 1 0 765868900 28385280 5692 4294967295 134512640 134714508 3221221776 3221218816 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6930 5692 1111 63 0 6867 0
vsize: 27720
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20584
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1414071 0 0 0 89604 3402 0 0 25 0 1 0 765868900 25866240 5609 4294967295 134512640 134714508 3221221776 3221219424 1075817768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6315 5609 1111 63 0 6252 0
vsize: 25260
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.96 3/58 20621
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1425695 0 0 0 90569 3437 0 0 25 0 1 0 765868900 28360704 5699 4294967295 134512640 134714508 3221221776 3221218432 1075967702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6924 5701 1111 63 0 6861 0
vsize: 27696
[startup+950.185 s]
Raw data (loadavg): 1.07 0.99 0.96 3/58 20628
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1439902 0 0 0 91549 3471 0 0 25 0 1 0 765868900 28577792 5765 4294967295 134512640 134714508 3221221776 3221218144 1075894538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6977 5765 1111 63 0 6914 0
vsize: 27908
[startup+960.337 s]
Raw data (loadavg): 1.29 1.04 0.98 2/55 20637
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1451615 0 0 0 92537 3499 0 0 25 0 1 0 765868900 26030080 5679 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6355 5679 1111 63 0 6292 0
vsize: 25420
[startup+970.512 s]
Raw data (loadavg): 1.25 1.03 0.98 2/55 20637
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1466412 0 0 0 93522 3531 0 0 25 0 1 0 765868900 27717632 5735 4294967295 134512640 134714508 3221221776 3221219344 1075972440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6767 5742 1111 63 0 6704 0
vsize: 27068
[startup+980.513 s]
Raw data (loadavg): 1.21 1.03 0.98 2/55 20637
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1482526 0 0 0 94485 3568 0 0 25 0 1 0 765868900 26030080 5679 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6355 5679 1111 63 0 6292 0
vsize: 25420
[startup+990.513 s]
Raw data (loadavg): 1.17 1.03 0.98 2/55 20637
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1497429 0 0 0 95451 3603 0 0 25 0 1 0 765868900 26349568 5757 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6433 5757 1111 63 0 6370 0
vsize: 25732
[startup+1000.51 s]
Raw data (loadavg): 1.15 1.03 0.98 2/55 20637
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1511313 0 0 0 96418 3636 0 0 25 0 1 0 765868900 26771456 5860 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6536 5860 1111 63 0 6473 0
vsize: 26144
[startup+1010.51 s]
Raw data (loadavg): 1.12 1.03 0.98 2/55 20637
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1515295 0 0 0 97407 3647 0 0 25 0 1 0 765868900 31584256 6738 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7711 6738 1111 63 0 7648 0
vsize: 30844
[startup+1020.51 s]
Raw data (loadavg): 1.10 1.03 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1524776 0 0 0 98386 3669 0 0 25 0 1 0 765868900 29806592 6070 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7277 6070 1111 63 0 7214 0
vsize: 29108
[startup+1030.51 s]
Raw data (loadavg): 1.09 1.03 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1536707 0 0 0 99361 3694 0 0 25 0 1 0 765868900 26890240 5861 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6565 5861 1111 63 0 6502 0
vsize: 26260
[startup+1040.51 s]
Raw data (loadavg): 1.07 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1544738 0 0 0 100345 3710 0 0 25 0 1 0 765868900 27201536 5937 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5937 1111 63 0 6578 0
vsize: 26564
[startup+1050.51 s]
Raw data (loadavg): 1.06 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1557900 0 0 0 101313 3742 0 0 25 0 1 0 765868900 26943488 5902 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6578 5902 1111 63 0 6515 0
vsize: 26312
[startup+1060.51 s]
Raw data (loadavg): 1.05 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1567681 0 0 0 102290 3766 0 0 25 0 1 0 765868900 27930624 6143 4294967295 134512640 134714508 3221221776 3221219600 1075134029 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6799 6123 1111 63 0 6736 0
vsize: 27276
[startup+1070.51 s]
Raw data (loadavg): 1.04 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1580239 0 0 0 103264 3792 0 0 25 0 1 0 765868900 27099136 5940 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5940 1111 63 0 6553 0
vsize: 26464
[startup+1080.52 s]
Raw data (loadavg): 1.04 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1591575 0 0 0 104238 3817 0 0 25 0 1 0 765868900 27754496 6051 4294967295 134512640 134714508 3221221776 3221219676 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6776 6051 1111 63 0 6713 0
vsize: 27104
[startup+1090.52 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1605754 0 0 0 105207 3848 0 0 25 0 1 0 765868900 27537408 6016 4294967295 134512640 134714508 3221221776 3221219616 1075798484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6723 6016 1111 63 0 6660 0
vsize: 26892
[startup+1100.52 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1616559 0 0 0 106183 3873 0 0 25 0 1 0 765868900 27373568 6007 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6638 5962 1111 63 0 6575 0
vsize: 26732
[startup+1110.52 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1629944 0 0 0 107155 3902 0 0 25 0 1 0 765868900 28086272 6179 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6857 6179 1111 63 0 6794 0
vsize: 27428
[startup+1120.52 s]
Raw data (loadavg): 1.02 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1645035 0 0 0 108120 3936 0 0 25 0 1 0 765868900 30965760 6302 4294967295 134512640 134714508 3221221776 3221217656 1074788440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7560 6302 1111 63 0 7497 0
vsize: 30240
[startup+1130.52 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1660683 0 0 0 109085 3971 0 0 25 0 1 0 765868900 27508736 6040 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6716 6040 1111 63 0 6653 0
vsize: 26864
[startup+1140.52 s]
Raw data (loadavg): 1.01 1.02 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1674354 0 0 0 110055 4002 0 0 25 0 1 0 765868900 27684864 6083 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6759 6083 1111 63 0 6696 0
vsize: 27036
[startup+1150.52 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1688747 0 0 0 111021 4036 0 0 25 0 1 0 765868900 29790208 6196 4294967295 134512640 134714508 3221221776 3221219416 1075850422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6196 1111 63 0 7210 0
vsize: 29092
[startup+1160.52 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1704283 0 0 0 111985 4072 0 0 25 0 1 0 765868900 28577792 6280 4294967295 134512640 134714508 3221221776 3221219872 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6977 6280 1111 63 0 6914 0
vsize: 27908
[startup+1170.52 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1709263 0 0 0 112974 4084 0 0 25 0 1 0 765868900 28344320 6244 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6920 6244 1111 63 0 6857 0
vsize: 27680
[startup+1175.02 s]
Raw data (loadavg): 1.00 1.01 0.98 1/54 20639
Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1709263 0 0 0 112974 4084 0 0 25 0 1 0 765868900 28344320 6244 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6920 6244 1111 63 0 6857 0
vsize: 0

Child status: 10
Real time (s): 1175.02
CPU time (s): 1175.08
CPU user time (s): 1134.1
CPU system time (s): 40.9808
CPU usage (%): 100.005
Max. virtual memory (Kb): 30844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####