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/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
MD5SUM	7100a312d793a62875e04da08d79c5f4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	641
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2174
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.350946
Number of variables	2221
Total number of constraints	3050
Number of constraints which are clauses	2330
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	720
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 24458

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 16:43:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2369 boxname=wulflinc31 idbench=264 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7100a312d793a62875e04da08d79c5f4  /oldhome/oroussel/tmp/wulflinc31/normalized-blast-tlan2.ucl.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-blast-tlan2.ucl.opb
IDLAUNCH: 2369
/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:        289164 kB
Buffers:         47032 kB
Cached:         664556 kB
SwapCached:        644 kB
Active:         312984 kB
Inactive:       400936 kB
HighTotal:      131008 kB
HighFree:        25956 kB
LowTotal:       903652 kB
LowFree:        263208 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25916 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 17:02:53 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 2369 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2221 variables and 3050 constraints.
c After prepocess the problem consists of 1732 variables and 2164 constraints.
c preprocess terminated 129.641 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.92 0.98 0.95 2/54 11832
Raw data (stat): 11832 (runsolver) R 11831 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 710775227 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 3766 0 0 0 984 12 0 0 25 0 1 0 710775227 18628608 3687 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4548 3687 1111 63 0 4485 0
vsize: 18192
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 3788 0 0 0 1984 12 0 0 25 0 1 0 710775227 18743296 3709 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3709 1111 63 0 4513 0
vsize: 18304
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 3872 0 0 0 2984 12 0 0 25 0 1 0 710775227 19021824 3793 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3793 1111 63 0 4581 0
vsize: 18576
[startup+40.0034 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 3872 0 0 0 3983 13 0 0 25 0 1 0 710775227 19021824 3793 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3793 1111 63 0 4581 0
vsize: 18576
[startup+50.0047 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4011 0 0 0 4983 13 0 0 25 0 1 0 710775227 19660800 3932 4294967295 134512640 134714508 3221221776 3221220160 134542359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3932 1111 63 0 4737 0
vsize: 19200
[startup+60.0053 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4024 0 0 0 5983 14 0 0 25 0 1 0 710775227 19660800 3945 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4024 0 0 0 6982 15 0 0 25 0 1 0 710775227 19660800 3945 4294967295 134512640 134714508 3221221776 3221220192 1077379745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+80.0076 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4024 0 0 0 7982 15 0 0 25 0 1 0 710775227 19660800 3945 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+90.0081 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4024 0 0 0 8982 15 0 0 25 0 1 0 710775227 19660800 3945 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4024 0 0 0 9981 16 0 0 25 0 1 0 710775227 19660800 3945 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4024 0 0 0 10981 16 0 0 25 0 1 0 710775227 19660800 3945 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4031 0 0 0 11981 16 0 0 25 0 1 0 710775227 19660800 3952 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3952 1111 63 0 4737 0
vsize: 19200
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 4051 0 0 0 12980 17 0 0 25 0 1 0 710775227 19660800 3972 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3972 1111 63 0 4737 0
vsize: 19200
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 5362 0 0 0 13976 22 0 0 25 0 1 0 710775227 25067520 5283 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6120 5283 1111 63 0 6057 0
vsize: 24480
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 6291 0 0 0 14971 27 0 0 25 0 1 0 710775227 28852224 6212 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7044 6212 1111 63 0 6981 0
vsize: 28176
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 7159 0 0 0 15968 30 0 0 25 0 1 0 710775227 32505856 7080 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7936 7080 1111 63 0 7873 0
vsize: 31744
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 7973 0 0 0 16965 33 0 0 25 0 1 0 710775227 35753984 7894 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8729 7894 1111 63 0 8666 0
vsize: 34916
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 9021 0 0 0 17962 36 0 0 25 0 1 0 710775227 40079360 8942 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9785 8942 1111 63 0 9722 0
vsize: 39140
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 10076 0 0 0 18957 41 0 0 25 0 1 0 710775227 44429312 9997 4294967295 134512640 134714508 3221221776 3221220464 134542851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10847 9997 1111 63 0 10784 0
vsize: 43388
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 11028 0 0 0 19954 44 0 0 25 0 1 0 710775227 48369664 10948 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11809 10948 1111 63 0 11746 0
vsize: 47236
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 11949 0 0 0 20951 48 0 0 25 0 1 0 710775227 52154368 11868 4294967295 134512640 134714508 3221221776 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12733 11868 1111 63 0 12670 0
vsize: 50932
[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 13057 0 0 0 21947 51 0 0 25 0 1 0 710775227 56786944 12975 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13864 12975 1111 63 0 13801 0
vsize: 55456
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 13966 0 0 0 22943 55 0 0 25 0 1 0 710775227 60436480 13884 4294967295 134512640 134714508 3221221776 3221220316 134539298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14755 13884 1111 63 0 14692 0
vsize: 59020
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 14832 0 0 0 23939 59 0 0 25 0 1 0 710775227 63959040 14749 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15615 14749 1111 63 0 15552 0
vsize: 62460
[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 15904 0 0 0 24937 62 0 0 25 0 1 0 710775227 68468736 15820 4294967295 134512640 134714508 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16716 15820 1111 63 0 16653 0
vsize: 66864
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 16495 0 0 0 25934 65 0 0 25 0 1 0 710775227 70955008 16410 4294967295 134512640 134714508 3221221776 3221220324 134696704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17323 16410 1111 63 0 17260 0
vsize: 69292
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 16930 0 0 0 26932 67 0 0 25 0 1 0 710775227 72658944 16843 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17739 16843 1111 63 0 17676 0
vsize: 70956
[startup+280.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 17269 0 0 0 27930 69 0 0 25 0 1 0 710775227 74256384 17178 4294967295 134512640 134714508 3221221776 3221220316 134539287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18129 17178 1111 63 0 18066 0
vsize: 72516
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 17606 0 0 0 28927 72 0 0 25 0 1 0 710775227 75472896 17515 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18426 17515 1111 63 0 18363 0
vsize: 73704
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 17900 0 0 0 29926 74 0 0 25 0 1 0 710775227 76877824 17806 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18769 17806 1111 63 0 18706 0
vsize: 75076
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 18269 0 0 0 30924 75 0 0 25 0 1 0 710775227 78508032 18172 4294967295 134512640 134714508 3221221776 3221220400 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19167 18172 1111 63 0 19104 0
vsize: 76668
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 18635 0 0 0 31923 77 0 0 25 0 1 0 710775227 79994880 18538 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19530 18538 1111 63 0 19467 0
vsize: 78120
[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 18826 0 0 0 32921 79 0 0 25 0 1 0 710775227 80670720 18729 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19695 18729 1111 63 0 19632 0
vsize: 78780
[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 18979 0 0 0 33920 80 0 0 25 0 1 0 710775227 81346560 18882 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19860 18882 1111 63 0 19797 0
vsize: 79440
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19074 0 0 0 34919 81 0 0 25 0 1 0 710775227 81752064 18977 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19959 18977 1111 63 0 19896 0
vsize: 79836
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19243 0 0 0 35919 82 0 0 25 0 1 0 710775227 82427904 19146 4294967295 134512640 134714508 3221221776 3221220384 134549497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20124 19146 1111 63 0 20061 0
vsize: 80496
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19354 0 0 0 36918 83 0 0 25 0 1 0 710775227 82833408 19257 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20223 19257 1111 63 0 20160 0
vsize: 80892
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19436 0 0 0 37917 84 0 0 25 0 1 0 710775227 83238912 19339 4294967295 134512640 134714508 3221221776 3221220368 134549818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20322 19339 1111 63 0 20259 0
vsize: 81288
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19583 0 0 0 38916 85 0 0 25 0 1 0 710775227 83779584 19486 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20454 19486 1111 63 0 20391 0
vsize: 81816
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19731 0 0 0 39915 86 0 0 25 0 1 0 710775227 84455424 19634 4294967295 134512640 134714508 3221221776 3221220500 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20619 19634 1111 63 0 20556 0
vsize: 82476
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19823 0 0 0 40915 86 0 0 25 0 1 0 710775227 84860928 19726 4294967295 134512640 134714508 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20718 19726 1111 63 0 20655 0
vsize: 82872
[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 19965 0 0 0 41914 88 0 0 25 0 1 0 710775227 85401600 19868 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20850 19868 1111 63 0 20787 0
vsize: 83400
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 20077 0 0 0 42914 88 0 0 25 0 1 0 710775227 85807104 19980 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20949 19980 1111 63 0 20886 0
vsize: 83796
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 20202 0 0 0 43913 89 0 0 25 0 1 0 710775227 86347776 20105 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21081 20105 1111 63 0 21018 0
vsize: 84324
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 20369 0 0 0 44913 89 0 0 25 0 1 0 710775227 87023616 20272 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21246 20272 1111 63 0 21183 0
vsize: 84984
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 20501 0 0 0 45912 91 0 0 25 0 1 0 710775227 87564288 20404 4294967295 134512640 134714508 3221221776 3221220472 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21378 20404 1111 63 0 21315 0
vsize: 85512
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 20842 0 0 0 46910 92 0 0 25 0 1 0 710775227 88915968 20744 4294967295 134512640 134714508 3221221776 3221220336 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21708 20744 1111 63 0 21645 0
vsize: 86832
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21069 0 0 0 47910 93 0 0 25 0 1 0 710775227 89862144 20971 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21939 20971 1111 63 0 21876 0
vsize: 87756
[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21207 0 0 0 48909 93 0 0 25 0 1 0 710775227 90402816 21109 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22071 21109 1111 63 0 22008 0
vsize: 88284
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21304 0 0 0 49909 94 0 0 25 0 1 0 710775227 90808320 21206 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22170 21206 1111 63 0 22107 0
vsize: 88680
[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21441 0 0 0 50909 94 0 0 25 0 1 0 710775227 91348992 21343 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22302 21343 1111 63 0 22239 0
vsize: 89208
[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21563 0 0 0 51908 95 0 0 25 0 1 0 710775227 91889664 21465 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22434 21465 1111 63 0 22371 0
vsize: 89736
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21676 0 0 0 52908 96 0 0 25 0 1 0 710775227 92295168 21578 4294967295 134512640 134714508 3221221776 3221220464 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22533 21578 1111 63 0 22470 0
vsize: 90132
[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21807 0 0 0 53907 97 0 0 25 0 1 0 710775227 92835840 21709 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22665 21709 1111 63 0 22602 0
vsize: 90660
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 21911 0 0 0 54907 97 0 0 25 0 1 0 710775227 93376512 21813 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22797 21813 1111 63 0 22734 0
vsize: 91188
[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 22043 0 0 0 55907 98 0 0 25 0 1 0 710775227 93917184 21945 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22929 21945 1111 63 0 22866 0
vsize: 91716
[startup+570.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 22172 0 0 0 56906 98 0 0 25 0 1 0 710775227 94457856 22074 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23061 22074 1111 63 0 22998 0
vsize: 92244
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 22281 0 0 0 57906 99 0 0 25 0 1 0 710775227 94863360 22183 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23160 22183 1111 63 0 23097 0
vsize: 92640
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 22382 0 0 0 58906 99 0 0 25 0 1 0 710775227 95293440 22284 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23265 22284 1111 63 0 23202 0
vsize: 93060
[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 22472 0 0 0 59906 100 0 0 25 0 1 0 710775227 95698944 22374 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23364 22374 1111 63 0 23301 0
vsize: 93456
[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 22632 0 0 0 60905 100 0 0 25 0 1 0 710775227 96374784 22534 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23529 22534 1111 63 0 23466 0
vsize: 94116
[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23001 0 0 0 61904 102 0 0 25 0 1 0 710775227 97861632 22903 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23892 22903 1111 63 0 23829 0
vsize: 95568
[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23211 0 0 0 62904 102 0 0 25 0 1 0 710775227 98672640 23112 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24090 23112 1111 63 0 24027 0
vsize: 96360
[startup+640.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23318 0 0 0 63903 103 0 0 25 0 1 0 710775227 99078144 23219 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24189 23219 1111 63 0 24126 0
vsize: 96756
[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23425 0 0 0 64903 104 0 0 25 0 1 0 710775227 99618816 23326 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24321 23326 1111 63 0 24258 0
vsize: 97284
[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23538 0 0 0 65902 104 0 0 25 0 1 0 710775227 100024320 23439 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24420 23439 1111 63 0 24357 0
vsize: 97680
[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23653 0 0 0 66902 105 0 0 25 0 1 0 710775227 100429824 23554 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24519 23554 1111 63 0 24456 0
vsize: 98076
[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23771 0 0 0 67902 105 0 0 25 0 1 0 710775227 100970496 23672 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23672 1111 63 0 24588 0
vsize: 98604
[startup+690.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 23875 0 0 0 68901 106 0 0 25 0 1 0 710775227 101376000 23776 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24750 23776 1111 63 0 24687 0
vsize: 99000
[startup+700.037 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 24243 0 0 0 69899 108 0 0 25 0 1 0 710775227 102862848 24144 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25113 24144 1111 63 0 25050 0
vsize: 100452
[startup+710.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 24555 0 0 0 70898 109 0 0 25 0 1 0 710775227 104214528 24454 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25443 24454 1111 63 0 25380 0
vsize: 101772
[startup+720.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 24769 0 0 0 71898 110 0 0 25 0 1 0 710775227 105193472 24668 4294967295 134512640 134714508 3221221776 3221220480 134528614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25682 24668 1111 63 0 25619 0
vsize: 102728
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 24956 0 0 0 72897 111 0 0 25 0 1 0 710775227 105869312 24855 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25847 24855 1111 63 0 25784 0
vsize: 103388
[startup+740.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 25146 0 0 0 73896 112 0 0 25 0 1 0 710775227 106680320 25045 4294967295 134512640 134714508 3221221776 3221220560 134529240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26045 25045 1111 63 0 25982 0
vsize: 104180
[startup+750.038 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 25313 0 0 0 74896 112 0 0 25 0 1 0 710775227 107356160 25212 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26210 25212 1111 63 0 26147 0
vsize: 104840
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 25519 0 0 0 75895 113 0 0 25 0 1 0 710775227 108167168 25418 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26408 25418 1111 63 0 26345 0
vsize: 105632
[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 25770 0 0 0 76894 115 0 0 25 0 1 0 710775227 109248512 25669 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26672 25669 1111 63 0 26609 0
vsize: 106688
[startup+780.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 25990 0 0 0 77893 115 0 0 25 0 1 0 710775227 110059520 25889 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26870 25889 1111 63 0 26807 0
vsize: 107480
[startup+790.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 26185 0 0 0 78893 116 0 0 25 0 1 0 710775227 110870528 26084 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27068 26084 1111 63 0 27005 0
vsize: 108272
[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 26448 0 0 0 79892 117 0 0 25 0 1 0 710775227 111951872 26346 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27332 26346 1111 63 0 27269 0
vsize: 109328
[startup+810.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 26600 0 0 0 80891 118 0 0 25 0 1 0 710775227 112627712 26498 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27497 26498 1111 63 0 27434 0
vsize: 109988
[startup+820.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 26777 0 0 0 81890 119 0 0 25 0 1 0 710775227 113303552 26675 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27662 26675 1111 63 0 27599 0
vsize: 110648
[startup+830.042 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 26948 0 0 0 82889 120 0 0 25 0 1 0 710775227 114114560 26846 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27860 26846 1111 63 0 27797 0
vsize: 111440
[startup+840.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 27104 0 0 0 83889 121 0 0 25 0 1 0 710775227 114655232 27002 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27992 27002 1111 63 0 27929 0
vsize: 111968
[startup+850.043 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 27260 0 0 0 84888 122 0 0 25 0 1 0 710775227 115331072 27158 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28157 27158 1111 63 0 28094 0
vsize: 112628
[startup+860.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 27450 0 0 0 85888 123 0 0 25 0 1 0 710775227 116142080 27348 4294967295 134512640 134714508 3221221776 3221220332 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28355 27348 1111 63 0 28292 0
vsize: 113420
[startup+870.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 27647 0 0 0 86887 123 0 0 25 0 1 0 710775227 116953088 27545 4294967295 134512640 134714508 3221221776 3221220432 134543707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28553 27545 1111 63 0 28490 0
vsize: 114212
[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 27822 0 0 0 87886 125 0 0 25 0 1 0 710775227 117628928 27720 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28718 27720 1111 63 0 28655 0
vsize: 114872
[startup+890.045 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 28064 0 0 0 88885 125 0 0 25 0 1 0 710775227 118767616 27954 4294967295 134512640 134714508 3221221776 3221220428 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28996 27954 1111 63 0 28933 0
vsize: 115984
[startup+900.044 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 28410 0 0 0 89884 127 0 0 25 0 1 0 710775227 120119296 28300 4294967295 134512640 134714508 3221221776 3221220368 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29326 28300 1111 63 0 29263 0
vsize: 117304
[startup+910.046 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 28753 0 0 0 90884 128 0 0 25 0 1 0 710775227 121470976 28643 4294967295 134512640 134714508 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29656 28643 1111 63 0 29593 0
vsize: 118624
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 29133 0 0 0 91883 128 0 0 25 0 1 0 710775227 123125760 29019 4294967295 134512640 134714508 3221221776 3221220336 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30060 29019 1111 63 0 29997 0
vsize: 120240
[startup+930.046 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 29562 0 0 0 92881 130 0 0 25 0 1 0 710775227 124956672 29446 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30507 29446 1111 63 0 30444 0
vsize: 122028
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 29997 0 0 0 93879 133 0 0 25 0 1 0 710775227 126779392 29877 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30952 29877 1111 63 0 30889 0
vsize: 123808
[startup+950.047 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 30191 0 0 0 94878 134 0 0 25 0 1 0 710775227 127590400 30071 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31150 30071 1111 63 0 31087 0
vsize: 124600
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 30380 0 0 0 95878 135 0 0 25 0 1 0 710775227 128450560 30256 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31360 30256 1111 63 0 31297 0
vsize: 125440
[startup+970.048 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 30584 0 0 0 96877 136 0 0 25 0 1 0 710775227 129261568 30460 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31558 30460 1111 63 0 31495 0
vsize: 126232
[startup+980.048 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 30743 0 0 0 97876 136 0 0 25 0 1 0 710775227 129937408 30619 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31723 30619 1111 63 0 31660 0
vsize: 126892
[startup+990.049 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 30932 0 0 0 98876 137 0 0 25 0 1 0 710775227 130613248 30808 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31888 30808 1111 63 0 31825 0
vsize: 127552
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 31177 0 0 0 99875 138 0 0 25 0 1 0 710775227 131694592 31053 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32152 31053 1111 63 0 32089 0
vsize: 128608
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 31378 0 0 0 100874 139 0 0 25 0 1 0 710775227 132505600 31254 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32350 31254 1111 63 0 32287 0
vsize: 129400
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 31570 0 0 0 101874 140 0 0 25 0 1 0 710775227 133275648 31433 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32538 31433 1111 63 0 32475 0
vsize: 130152
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 31711 0 0 0 102873 141 0 0 25 0 1 0 710775227 133816320 31574 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32670 31574 1111 63 0 32607 0
vsize: 130680
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 31859 0 0 0 103873 141 0 0 25 0 1 0 710775227 134492160 31721 4294967295 134512640 134714508 3221221776 3221220316 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32835 31721 1111 63 0 32772 0
vsize: 131340
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32004 0 0 0 104872 142 0 0 25 0 1 0 710775227 135032832 31866 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32967 31866 1111 63 0 32904 0
vsize: 131868
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32152 0 0 0 105872 143 0 0 25 0 1 0 710775227 135716864 32013 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33134 32013 1111 63 0 33071 0
vsize: 132536
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32276 0 0 0 106871 143 0 0 25 0 1 0 710775227 136257536 32137 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33266 32137 1111 63 0 33203 0
vsize: 133064
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32431 0 0 0 107871 144 0 0 25 0 1 0 710775227 136798208 32292 4294967295 134512640 134714508 3221221776 3221220428 134536781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33398 32292 1111 63 0 33335 0
vsize: 133592
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32615 0 0 0 108870 145 0 0 25 0 1 0 710775227 137609216 32476 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33596 32476 1111 63 0 33533 0
vsize: 134384
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32766 0 0 0 109870 145 0 0 25 0 1 0 710775227 138149888 32627 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33728 32627 1111 63 0 33665 0
vsize: 134912
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 32914 0 0 0 110869 147 0 0 25 0 1 0 710775227 138825728 32775 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33893 32775 1111 63 0 33830 0
vsize: 135572
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33098 0 0 0 111867 148 0 0 25 0 1 0 710775227 139505664 32959 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34059 32959 1111 63 0 33996 0
vsize: 136236
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33240 0 0 0 112867 149 0 0 25 0 1 0 710775227 140181504 33101 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34224 33101 1111 63 0 34161 0
vsize: 136896
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33462 0 0 0 113866 150 0 0 25 0 1 0 710775227 140992512 33323 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34422 33323 1111 63 0 34359 0
vsize: 137688
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33727 0 0 0 114865 151 0 0 25 0 1 0 710775227 142147584 33587 4294967295 134512640 134714508 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34704 33587 1111 63 0 34641 0
vsize: 138816
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33881 0 0 0 115865 152 0 0 25 0 1 0 710775227 142823424 33741 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34869 33741 1111 63 0 34806 0
vsize: 139476
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33981 0 0 0 116865 152 0 0 25 0 1 0 710775227 143228928 33841 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34968 33841 1111 63 0 34905 0
vsize: 139872
[startup+1175 s]
Raw data (loadavg): 0.99 0.98 0.95 1/53 11832
Raw data (stat): 11832 (bsolo_lpr_cuts) R 11831 7876 7672 0 -1 0 33981 0 0 0 116865 152 0 0 25 0 1 0 710775227 143228928 33841 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34968 33841 1111 63 0 34905 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.12
CPU user time (s): 1173.53
CPU system time (s): 1.59176
CPU usage (%): 100.01
Max. virtual memory (Kb): 139872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####