PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb
MD5SUM	cc38717029ffa5880438a73ef1ac0ab0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.2693
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 27135

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 19:27:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18332 boxname=wulflinc4 idbench=1411 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  cc38717029ffa5880438a73ef1ac0ab0  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 18332
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        840888 kB
Buffers:         34272 kB
Cached:         139440 kB
SwapCached:        504 kB
Active:          58940 kB
Inactive:       117280 kB
HighTotal:      131008 kB
HighFree:         2744 kB
LowTotal:       903652 kB
LowFree:        838144 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12072 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:47:29 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 18332 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2134 variables and 711 constraints.
c After prepocess the problem consists of 1934 variables and 590 constraints.
c preprocess terminated 1.192 s
c Initial Lower Bound: 15612078
c Lower Bound Elapsed time: 0.2628
c Use computed LB before first solution.
#### 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/54 23020
Raw data (stat): 23020 (runsolver) R 23019 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774524148 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0016 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 13279 0 0 0 964 32 0 0 25 0 1 0 774524148 42676224 9720 4294967295 134512640 134714508 3221224592 3221222448 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10419 9720 1111 63 0 10356 0
vsize: 41676
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 17328 0 0 0 1955 42 0 0 25 0 1 0 774524148 43659264 9889 4294967295 134512640 134714508 3221224592 3221220460 1074787650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10659 9889 1111 63 0 10596 0
vsize: 42636
[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 21216 0 0 0 2943 53 0 0 25 0 1 0 774524148 43790336 9974 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10691 9974 1111 63 0 10628 0
vsize: 42764
[startup+40.0036 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 26234 0 0 0 3932 65 0 0 25 0 1 0 774524148 44769280 10181 4294967295 134512640 134714508 3221224592 3221222512 1075799735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 10181 1111 63 0 10867 0
vsize: 43720
[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 30969 0 0 0 4921 76 0 0 25 0 1 0 774524148 45215744 10354 4294967295 134512640 134714508 3221224592 3221222592 1074916785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11039 10354 1111 63 0 10976 0
vsize: 44156
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 34963 0 0 0 5911 86 0 0 25 0 1 0 774524148 46108672 10535 4294967295 134512640 134714508 3221224592 3221220436 1074786479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11257 10535 1111 63 0 11194 0
vsize: 45028
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 38827 0 0 0 6903 95 0 0 25 0 1 0 774524148 45158400 10339 4294967295 134512640 134714508 3221224592 3221222640 1074140688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11025 10339 1111 63 0 10962 0
vsize: 44100
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 42196 0 0 0 7895 103 0 0 25 0 1 0 774524148 46870528 10716 4294967295 134512640 134714508 3221224592 3221220648 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11443 10716 1111 63 0 11380 0
vsize: 45772
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 45173 0 0 0 8889 108 0 0 25 0 1 0 774524148 46919680 10736 4294967295 134512640 134714508 3221224592 3221220820 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11455 10736 1111 63 0 11392 0
vsize: 45820
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 47392 0 0 0 9884 114 0 0 25 0 1 0 774524148 45694976 10456 4294967295 134512640 134714508 3221224592 3221222744 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11156 10456 1111 63 0 11093 0
vsize: 44624
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 52597 0 0 0 10873 126 0 0 25 0 1 0 774524148 45961216 10484 4294967295 134512640 134714508 3221224592 3221223120 134648136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11221 10484 1111 63 0 11158 0
vsize: 44884
[startup+120.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 54912 0 0 0 11868 131 0 0 25 0 1 0 774524148 45932544 10477 4294967295 134512640 134714508 3221224592 3221223096 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11214 10477 1111 63 0 11151 0
vsize: 44856
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 58869 0 0 0 12859 140 0 0 25 0 1 0 774524148 47149056 10794 4294967295 134512640 134714508 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11511 10794 1111 63 0 11448 0
vsize: 46044
[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 63353 0 0 0 13849 150 0 0 25 0 1 0 774524148 47165440 10823 4294967295 134512640 134714508 3221224592 3221221360 1076084878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 10823 1111 63 0 11452 0
vsize: 46060
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 66348 0 0 0 14843 157 0 0 25 0 1 0 774524148 47247360 10836 4294967295 134512640 134714508 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11535 10836 1111 63 0 11472 0
vsize: 46140
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 70334 0 0 0 15834 165 0 0 25 0 1 0 774524148 46809088 10743 4294967295 134512640 134714508 3221224592 3221222592 1074918660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11428 10743 1111 63 0 11365 0
vsize: 45712
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 73000 0 0 0 16828 172 0 0 25 0 1 0 774524148 47419392 10881 4294967295 134512640 134714508 3221224592 3221220864 1074961169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11577 10881 1111 63 0 11514 0
vsize: 46308
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 74619 0 0 0 17824 176 0 0 25 0 1 0 774524148 46350336 10617 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11316 10617 1111 63 0 11253 0
vsize: 45264
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 78807 0 0 0 18816 184 0 0 25 0 1 0 774524148 47833088 10955 4294967295 134512640 134714508 3221224592 3221220732 1077410224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11678 10955 1111 63 0 11615 0
vsize: 46712
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 81194 0 0 0 19811 190 0 0 25 0 1 0 774524148 47951872 11015 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11707 11015 1111 63 0 11644 0
vsize: 46828
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 85471 0 0 0 20801 200 0 0 25 0 1 0 774524148 48226304 11088 4294967295 134512640 134714508 3221224592 3221220472 1074788468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11774 11088 1111 63 0 11711 0
vsize: 47096
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 85475 0 0 0 21801 200 0 0 25 0 1 0 774524148 48386048 11092 4294967295 134512640 134714508 3221224592 3221220768 1074882616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11813 11092 1111 63 0 11750 0
vsize: 47252
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 89933 0 0 0 22792 209 0 0 25 0 1 0 774524148 48480256 11137 4294967295 134512640 134714508 3221224592 3221220564 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11836 11137 1111 63 0 11773 0
vsize: 47344
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 93041 0 0 0 23786 216 0 0 25 0 1 0 774524148 48545792 11119 4294967295 134512640 134714508 3221224592 3221220636 1074873556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11852 11119 1111 63 0 11789 0
vsize: 47408
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 95470 0 0 0 24781 221 0 0 25 0 1 0 774524148 47300608 10795 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11548 10795 1111 63 0 11485 0
vsize: 46192
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 99816 0 0 0 25771 230 0 0 25 0 1 0 774524148 48840704 11229 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11924 11229 1111 63 0 11861 0
vsize: 47696
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 101484 0 0 0 26768 234 0 0 25 0 1 0 774524148 48750592 11157 4294967295 134512640 134714508 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11902 11157 1111 63 0 11839 0
vsize: 47608
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 102317 0 0 0 27766 236 0 0 25 0 1 0 774524148 47435776 10819 4294967295 134512640 134714508 3221224592 3221222912 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11581 10819 1111 63 0 11518 0
vsize: 46324
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 103217 0 0 0 28765 238 0 0 25 0 1 0 774524148 48939008 11218 4294967295 134512640 134714508 3221224592 3221220432 1075965308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11948 11218 1111 63 0 11885 0
vsize: 47792
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 104791 0 0 0 29761 241 0 0 25 0 1 0 774524148 48824320 11228 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11920 11228 1111 63 0 11857 0
vsize: 47680
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 108223 0 0 0 30754 249 0 0 25 0 1 0 774524148 48877568 11236 4294967295 134512640 134714508 3221224592 3221220396 1074787504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11933 11236 1111 63 0 11870 0
vsize: 47732
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 116618 0 0 0 31736 267 0 0 25 0 1 0 774524148 49111040 11289 4294967295 134512640 134714508 3221224592 3221221184 1074885997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11990 11289 1111 63 0 11927 0
vsize: 47960
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 116626 0 0 0 32736 267 0 0 25 0 1 0 774524148 49111040 11297 4294967295 134512640 134714508 3221224592 3221220796 1075564397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11990 11297 1111 63 0 11927 0
vsize: 47960
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 118396 0 0 0 33732 272 0 0 25 0 1 0 774524148 49106944 11293 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11989 11293 1111 63 0 11926 0
vsize: 47956
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 122417 0 0 0 34723 281 0 0 25 0 1 0 774524148 47325184 10869 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11554 10869 1111 63 0 11491 0
vsize: 46216
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 127180 0 0 0 35712 292 0 0 25 0 1 0 774524148 49553408 11404 4294967295 134512640 134714508 3221224592 3221220488 1074789534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12098 11404 1111 63 0 12035 0
vsize: 48392
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 134892 0 0 0 36694 310 0 0 25 0 1 0 774524148 49836032 11467 4294967295 134512640 134714508 3221224592 3221220472 1074788440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12167 11467 1111 63 0 12104 0
vsize: 48668
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 135006 0 0 0 37694 310 0 0 25 0 1 0 774524148 49852416 11478 4294967295 134512640 134714508 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12171 11478 1111 63 0 12108 0
vsize: 48684
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 136994 0 0 0 38689 315 0 0 25 0 1 0 774524148 50077696 11511 4294967295 134512640 134714508 3221224592 3221220740 1075964393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 11511 1111 63 0 12163 0
vsize: 48904
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 142983 0 0 0 39677 327 0 0 25 0 1 0 774524148 50171904 11524 4294967295 134512640 134714508 3221224592 3221221664 1074867206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12249 11524 1111 63 0 12186 0
vsize: 48996
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 150104 0 0 0 40662 343 0 0 25 0 1 0 774524148 49594368 11376 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12108 11376 1111 63 0 12045 0
vsize: 48432
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 154834 0 0 0 41652 353 0 0 25 0 1 0 774524148 50794496 11695 4294967295 134512640 134714508 3221224592 3221221360 1076084878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12401 11695 1111 63 0 12338 0
vsize: 49604
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 156900 0 0 0 42647 358 0 0 25 0 1 0 774524148 50708480 11670 4294967295 134512640 134714508 3221224592 3221220472 1074788427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12380 11670 1111 63 0 12317 0
vsize: 49520
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 156902 0 0 0 43648 358 0 0 25 0 1 0 774524148 50708480 11672 4294967295 134512640 134714508 3221224592 3221220492 1074787576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12380 11672 1111 63 0 12317 0
vsize: 49520
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 160954 0 0 0 44639 367 0 0 25 0 1 0 774524148 50905088 11723 4294967295 134512640 134714508 3221224592 3221220468 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12428 11723 1111 63 0 12365 0
vsize: 49712
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 165260 0 0 0 45629 376 0 0 25 0 1 0 774524148 51216384 11784 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12504 11784 1111 63 0 12441 0
vsize: 50016
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 169736 0 0 0 46619 387 0 0 25 0 1 0 774524148 51302400 11805 4294967295 134512640 134714508 3221224592 3221220752 1075091205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12525 11805 1111 63 0 12462 0
vsize: 50100
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 174280 0 0 0 47609 397 0 0 25 0 1 0 774524148 51494912 11851 4294967295 134512640 134714508 3221224592 3221221184 1074885830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12572 11851 1111 63 0 12509 0
vsize: 50288
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 174292 0 0 0 48609 397 0 0 25 0 1 0 774524148 51494912 11860 4294967295 134512640 134714508 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12572 11860 1111 63 0 12509 0
vsize: 50288
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 178960 0 0 0 49599 407 0 0 25 0 1 0 774524148 51564544 11868 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11868 1111 63 0 12526 0
vsize: 50356
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 178966 0 0 0 50599 407 0 0 25 0 1 0 774524148 51564544 11872 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11872 1111 63 0 12526 0
vsize: 50356
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 187163 0 0 0 51582 425 0 0 25 0 1 0 774524148 50704384 11700 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12379 11700 1111 63 0 12316 0
vsize: 49516
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 192431 0 0 0 52572 436 0 0 25 0 1 0 774524148 51937280 11984 4294967295 134512640 134714508 3221224592 3221220564 1074786571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 11984 1111 63 0 12617 0
vsize: 50720
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 192462 0 0 0 53572 436 0 0 25 0 1 0 774524148 51699712 11931 4294967295 134512640 134714508 3221224592 3221220704 1075895648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12622 11931 1111 63 0 12559 0
vsize: 50488
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 197127 0 0 0 54561 447 0 0 25 0 1 0 774524148 51900416 11965 4294967295 134512640 134714508 3221224592 3221220912 1075171668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12671 11965 1111 63 0 12608 0
vsize: 50684
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 197151 0 0 0 55561 447 0 0 25 0 1 0 774524148 51978240 11989 4294967295 134512640 134714508 3221224592 3221221184 1074886032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11989 1111 63 0 12627 0
vsize: 50760
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 200607 0 0 0 56553 455 0 0 25 0 1 0 774524148 49483776 11402 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 11402 1111 63 0 12018 0
vsize: 48324
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 201914 0 0 0 57550 458 0 0 25 0 1 0 774524148 52465664 12092 4294967295 134512640 134714508 3221224592 3221220636 1074873543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12809 12092 1111 63 0 12746 0
vsize: 51236
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 201916 0 0 0 58550 458 0 0 25 0 1 0 774524148 52043776 11991 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12706 11991 1111 63 0 12643 0
vsize: 50824
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 207721 0 0 0 59538 470 0 0 25 0 1 0 774524148 49987584 11493 4294967295 134512640 134714508 3221224592 3221222744 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12204 11493 1111 63 0 12141 0
vsize: 48816
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 211410 0 0 0 60531 478 0 0 25 0 1 0 774524148 52322304 12071 4294967295 134512640 134714508 3221224592 3221220556 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12774 12071 1111 63 0 12711 0
vsize: 51096
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 211545 0 0 0 61530 479 0 0 25 0 1 0 774524148 53145600 12206 4294967295 134512640 134714508 3221224592 3221220500 1074786547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12975 12206 1111 63 0 12912 0
vsize: 51900
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 216423 0 0 0 62520 489 0 0 25 0 1 0 774524148 54099968 12224 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13208 12224 1111 63 0 13145 0
vsize: 52832
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 216569 0 0 0 63520 490 0 0 25 0 1 0 774524148 53264384 12168 4294967295 134512640 134714508 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13004 12168 1111 63 0 12941 0
vsize: 52016
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 221720 0 0 0 64508 501 0 0 25 0 1 0 774524148 53465088 12265 4294967295 134512640 134714508 3221224592 3221220636 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13053 12265 1111 63 0 12990 0
vsize: 52212
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 221721 0 0 0 65508 501 0 0 25 0 1 0 774524148 53465088 12266 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13053 12266 1111 63 0 12990 0
vsize: 52212
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 225274 0 0 0 66501 509 0 0 25 0 1 0 774524148 49639424 11442 4294967295 134512640 134714508 3221224592 3221222272 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 11442 1111 63 0 12056 0
vsize: 48476
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 226744 0 0 0 67496 514 0 0 25 0 1 0 774524148 54341632 12265 4294967295 134512640 134714508 3221224592 3221220800 1076079343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13267 12265 1111 63 0 13204 0
vsize: 53068
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 231657 0 0 0 68486 524 0 0 25 0 1 0 774524148 54423552 12239 4294967295 134512640 134714508 3221224592 3221220636 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13287 12239 1111 63 0 13224 0
vsize: 53148
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 236603 0 0 0 69475 535 0 0 25 0 1 0 774524148 54489088 12270 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13303 12270 1111 63 0 13240 0
vsize: 53212
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 241841 0 0 0 70464 547 0 0 25 0 1 0 774524148 54652928 12373 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13343 12373 1111 63 0 13280 0
vsize: 53372
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 242007 0 0 0 71464 547 0 0 25 0 1 0 774524148 53817344 12336 4294967295 134512640 134714508 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13139 12336 1111 63 0 13076 0
vsize: 52556
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 242033 0 0 0 72464 547 0 0 25 0 1 0 774524148 53817344 12362 4294967295 134512640 134714508 3221224592 3221220448 1074871210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13139 12362 1111 63 0 13076 0
vsize: 52556
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 244878 0 0 0 73457 554 0 0 25 0 1 0 774524148 53821440 12353 4294967295 134512640 134714508 3221224592 3221220596 1074875766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13140 12353 1111 63 0 13077 0
vsize: 52560
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 244883 0 0 0 74458 554 0 0 25 0 1 0 774524148 53821440 12357 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13140 12357 1111 63 0 13077 0
vsize: 52560
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 250184 0 0 0 75447 565 0 0 25 0 1 0 774524148 54857728 12391 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13393 12391 1111 63 0 13330 0
vsize: 53572
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 251517 0 0 0 76443 569 0 0 25 0 1 0 774524148 50339840 11613 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12290 11613 1111 63 0 12227 0
vsize: 49160
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 253124 0 0 0 77439 573 0 0 25 0 1 0 774524148 53862400 12334 4294967295 134512640 134714508 3221224592 3221220560 1074872796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 12334 1111 63 0 13087 0
vsize: 52600
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 253124 0 0 0 78439 573 0 0 25 0 1 0 774524148 53862400 12334 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 12334 1111 63 0 13087 0
vsize: 52600
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 257729 0 0 0 79430 583 0 0 25 0 1 0 774524148 52199424 12052 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12744 12052 1111 63 0 12681 0
vsize: 50976
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 262679 0 0 0 80418 594 0 0 25 0 1 0 774524148 51023872 11737 4294967295 134512640 134714508 3221224592 3221222912 1075006835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12457 11737 1111 63 0 12394 0
vsize: 49828
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 269903 0 0 0 81404 609 0 0 25 0 1 0 774524148 54284288 12410 4294967295 134512640 134714508 3221224592 3221220468 1074786567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13253 12410 1111 63 0 13190 0
vsize: 53012
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 269969 0 0 0 82404 609 0 0 25 0 1 0 774524148 54284288 12474 4294967295 134512640 134714508 3221224592 3221220456 1074787081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13253 12474 1111 63 0 13190 0
vsize: 53012
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 269972 0 0 0 83404 609 0 0 25 0 1 0 774524148 54284288 12477 4294967295 134512640 134714508 3221224592 3221220448 1074871203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13253 12477 1111 63 0 13190 0
vsize: 53012
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 273013 0 0 0 84399 615 0 0 25 0 1 0 774524148 54300672 12439 4294967295 134512640 134714508 3221224592 3221220580 1074786562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13257 12439 1111 63 0 13194 0
vsize: 53028
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 273017 0 0 0 85399 615 0 0 25 0 1 0 774524148 54300672 12443 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13257 12443 1111 63 0 13194 0
vsize: 53028
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 278941 0 0 0 86385 629 0 0 25 0 1 0 774524148 54505472 12491 4294967295 134512640 134714508 3221224592 3221220448 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12491 1111 63 0 13244 0
vsize: 53228
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 278945 0 0 0 87385 629 0 0 25 0 1 0 774524148 54505472 12495 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12495 1111 63 0 13244 0
vsize: 53228
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 278945 0 0 0 88385 629 0 0 25 0 1 0 774524148 54505472 12495 4294967295 134512640 134714508 3221224592 3221220768 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12495 1111 63 0 13244 0
vsize: 53228
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 281894 0 0 0 89378 637 0 0 25 0 1 0 774524148 55341056 12483 4294967295 134512640 134714508 3221224592 3221220648 1074789572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13511 12484 1111 63 0 13448 0
vsize: 54044
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 282136 0 0 0 90377 638 0 0 25 0 1 0 774524148 54505472 12519 4294967295 134512640 134714508 3221224592 3221220864 1074800677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12519 1111 63 0 13244 0
vsize: 53228
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 282136 0 0 0 91377 638 0 0 25 0 1 0 774524148 54505472 12519 4294967295 134512640 134714508 3221224592 3221220528 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12519 1111 63 0 13244 0
vsize: 53228
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 288152 0 0 0 92363 652 0 0 25 0 1 0 774524148 54595584 12554 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13329 12554 1111 63 0 13266 0
vsize: 53316
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 288154 0 0 0 93363 652 0 0 25 0 1 0 774524148 54595584 12556 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13329 12556 1111 63 0 13266 0
vsize: 53316
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 293087 0 0 0 94352 663 0 0 25 0 1 0 774524148 52723712 12179 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12872 12179 1111 63 0 12809 0
vsize: 51488
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 294185 0 0 0 95350 665 0 0 25 0 1 0 774524148 54665216 12561 4294967295 134512640 134714508 3221224592 3221221184 1074885721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13346 12561 1111 63 0 13283 0
vsize: 53384
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 297056 0 0 0 96345 671 0 0 25 0 1 0 774524148 55533568 12486 4294967295 134512640 134714508 3221224592 3221221124 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13558 12486 1111 63 0 13495 0
vsize: 54232
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 302956 0 0 0 97331 685 0 0 25 0 1 0 774524148 54714368 12544 4294967295 134512640 134714508 3221224592 3221220560 1074872775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13358 12544 1111 63 0 13295 0
vsize: 53432
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 307113 0 0 0 98322 694 0 0 25 0 1 0 774524148 51515392 11857 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12577 11857 1111 63 0 12514 0
vsize: 50308
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 308863 0 0 0 99319 698 0 0 25 0 1 0 774524148 54804480 12558 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13380 12558 1111 63 0 13317 0
vsize: 53520
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 314724 0 0 0 100306 710 0 0 25 0 1 0 774524148 55726080 12618 4294967295 134512640 134714508 3221224592 3221220560 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13605 12618 1111 63 0 13542 0
vsize: 54420
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 320671 0 0 0 101294 723 0 0 25 0 1 0 774524148 55820288 12663 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13628 12663 1111 63 0 13565 0
vsize: 54512
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 322120 0 0 0 102290 727 0 0 25 0 1 0 774524148 51007488 11776 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11776 1111 63 0 12390 0
vsize: 49812
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 323767 0 0 0 103286 731 0 0 25 0 1 0 774524148 55820288 12669 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13628 12669 1111 63 0 13565 0
vsize: 54512
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 326934 0 0 0 104279 739 0 0 25 0 1 0 774524148 54992896 12601 4294967295 134512640 134714508 3221224592 3221220468 1074786577 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13426 12601 1111 63 0 13363 0
vsize: 53704
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 326998 0 0 0 105279 739 0 0 25 0 1 0 774524148 54992896 12662 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13426 12662 1111 63 0 13363 0
vsize: 53704
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 331250 0 0 0 106269 749 0 0 25 0 1 0 774524148 53035008 11892 4294967295 134512640 134714508 3221224592 3221222232 1075850414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12948 11892 1111 63 0 12885 0
vsize: 51792
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 336057 0 0 0 107259 759 0 0 25 0 1 0 774524148 55013376 12618 4294967295 134512640 134714508 3221224592 3221220636 1074873480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 12618 1111 63 0 13368 0
vsize: 53724
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 336065 0 0 0 108260 759 0 0 25 0 1 0 774524148 55013376 12623 4294967295 134512640 134714508 3221224592 3221220752 1075094874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 12623 1111 63 0 13368 0
vsize: 53724
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 340620 0 0 0 109250 769 0 0 25 0 1 0 774524148 51781632 11938 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12642 11938 1111 63 0 12579 0
vsize: 50568
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 342279 0 0 0 110246 772 0 0 25 0 1 0 774524148 55922688 12722 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13653 12722 1111 63 0 13590 0
vsize: 54612
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 343767 0 0 0 111243 775 0 0 25 0 1 0 774524148 51724288 11931 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12628 11931 1111 63 0 12565 0
vsize: 50512
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 345558 0 0 0 112240 779 0 0 25 0 1 0 774524148 55287808 12670 4294967295 134512640 134714508 3221224592 3221220636 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13498 12670 1111 63 0 13435 0
vsize: 53992
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 345565 0 0 0 113240 779 0 0 25 0 1 0 774524148 55287808 12674 4294967295 134512640 134714508 3221224592 3221220448 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13498 12674 1111 63 0 13435 0
vsize: 53992
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 347003 0 0 0 114236 783 0 0 25 0 1 0 774524148 51916800 11974 4294967295 134512640 134714508 3221224592 3221223112 134648543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12675 11974 1111 63 0 12612 0
vsize: 50700
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 351673 0 0 0 115226 793 0 0 25 0 1 0 774524148 56303616 12815 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13746 12815 1111 63 0 13683 0
vsize: 54984
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 358002 0 0 0 116212 807 0 0 25 0 1 0 774524148 56557568 12921 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13808 12921 1111 63 0 13745 0
vsize: 55232
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 358007 0 0 0 117212 807 0 0 25 0 1 0 774524148 56557568 12926 4294967295 134512640 134714508 3221224592 3221221120 1075397211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13808 12926 1111 63 0 13745 0
vsize: 55232
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 364408 0 0 0 118198 823 0 0 25 0 1 0 774524148 56852480 12979 4294967295 134512640 134714508 3221224592 3221220540 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13880 12979 1111 63 0 13817 0
vsize: 55520
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) R 23019 21152 21151 0 -1 0 366472 0 0 0 119193 827 0 0 25 0 1 0 774524148 54394880 12536 4294967295 134512640 134714508 3221224592 3221222320 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13280 12536 1111 63 0 13217 0
vsize: 53120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 23020
Raw data (stat): 23020 (bsolo_lpr_cuts) Z 23019 21152 21151 0 -1 1036 366472 0 0 0 119193 829 0 0 25 0 1 0 774524148 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.24
CPU user time (s): 1191.94
CPU system time (s): 8.29574
CPU usage (%): 100.013
Max. virtual memory (Kb): 55520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####