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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	839045346
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	839045346
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	41.1977
Number of variables	3024
Total number of constraints	168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26887

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-24 17:41:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19255 boxname=wulflinc25 idbench=1482 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 19255
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        883816 kB
Buffers:         35612 kB
Cached:          94204 kB
SwapCached:        812 kB
Active:          62364 kB
Inactive:        69968 kB
HighTotal:      131008 kB
HighFree:        36036 kB
LowTotal:       903652 kB
LowFree:        847780 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            12856 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:00:43 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 19255 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3024 variables and 192 constraints.
c After prepocess the problem consists of 1700 variables and 246 constraints.
c preprocess terminated 2.297 s
c Initial Lower Bound: 233801
c Lower Bound Elapsed time: 0.459125
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.97 2/54 2775
Raw data (stat): 2775 (runsolver) R 2774 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832130163 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 12821 0 0 0 966 32 0 0 25 0 1 0 832130163 25227264 5444 4294967295 134512640 134714508 3221224576 3221206328 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5444 1111 63 0 6096 0
vsize: 24636
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 20443 0 0 0 1948 49 0 0 25 0 1 0 832130163 25681920 5555 4294967295 134512640 134714508 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6270 5555 1111 63 0 6207 0
vsize: 25080
[startup+30.0096 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 28083 0 0 0 2932 67 0 0 25 0 1 0 832130163 25374720 5484 4294967295 134512640 134714508 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6195 5484 1111 63 0 6132 0
vsize: 24780
[startup+40.0092 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 35715 0 0 0 3912 87 0 0 25 0 1 0 832130163 25227264 5448 4294967295 134512640 134714508 3221224576 3221221392 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5448 1111 63 0 6096 0
vsize: 24636
[startup+50.0092 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 43946 0 0 0 4893 106 0 0 25 0 1 0 832130163 25513984 5518 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6229 5518 1111 63 0 6166 0
vsize: 24916
[startup+60.0099 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 52556 0 0 0 5873 126 0 0 25 0 1 0 832130163 25227264 5448 4294967295 134512640 134714508 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5448 1111 63 0 6096 0
vsize: 24636
[startup+70.01 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 60941 0 0 0 6852 146 0 0 25 0 1 0 832130163 25645056 5551 4294967295 134512640 134714508 3221224576 3221220752 1075561465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6261 5551 1111 63 0 6198 0
vsize: 25044
[startup+80.011 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 69619 0 0 0 7833 166 0 0 25 0 1 0 832130163 25632768 5548 4294967295 134512640 134714508 3221224576 3221222576 1074916737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6258 5548 1111 63 0 6195 0
vsize: 25032
[startup+90.0112 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 77625 0 0 0 8813 186 0 0 25 0 1 0 832130163 25493504 5513 4294967295 134512640 134714508 3221224576 3221221680 1074138827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6224 5513 1111 63 0 6161 0
vsize: 24896
[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 81280 0 0 0 9804 195 0 0 25 0 1 0 832130163 25227264 5449 4294967295 134512640 134714508 3221224576 3221211072 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5449 1111 63 0 6096 0
vsize: 24636
[startup+110.012 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 84728 0 0 0 10796 203 0 0 25 0 1 0 832130163 25227264 5449 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5449 1111 63 0 6096 0
vsize: 24636
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 88257 0 0 0 11787 212 0 0 25 0 1 0 832130163 25718784 5537 4294967295 134512640 134714508 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6279 5537 1111 63 0 6216 0
vsize: 25116
[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 91681 0 0 0 12779 221 0 0 25 0 1 0 832130163 25706496 5535 4294967295 134512640 134714508 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6276 5535 1111 63 0 6213 0
vsize: 25104
[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 94984 0 0 0 13770 230 0 0 25 0 1 0 832130163 25694208 5532 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6273 5532 1111 63 0 6210 0
vsize: 25092
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 98285 0 0 0 14762 238 0 0 25 0 1 0 832130163 25227264 5450 4294967295 134512640 134714508 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5450 1111 63 0 6096 0
vsize: 24636
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 101615 0 0 0 15753 247 0 0 25 0 1 0 832130163 25227264 5450 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5450 1111 63 0 6096 0
vsize: 24636
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 16746 255 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221222304 1075828939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 17745 255 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221222304 1075828612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 18745 256 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221222400 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 19744 256 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 20744 257 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221220524 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 21744 258 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221220540 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 22743 258 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104414 0 0 0 23743 259 0 0 25 0 1 0 832130163 25227264 5452 4294967295 134512640 134714508 3221224576 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5452 1111 63 0 6096 0
vsize: 24636
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104415 0 0 0 24743 259 0 0 25 0 1 0 832130163 25227264 5453 4294967295 134512640 134714508 3221224576 3221221064 1076116629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5453 1111 63 0 6096 0
vsize: 24636
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104416 0 0 0 25742 259 0 0 25 0 1 0 832130163 25227264 5454 4294967295 134512640 134714508 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5454 1111 63 0 6096 0
vsize: 24636
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 26741 261 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 27741 261 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 28741 262 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222320 1075646723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 29740 263 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 30739 264 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 31739 264 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 32738 265 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222400 1075824351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 33735 267 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 34735 267 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 35735 267 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 36735 268 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 37734 269 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222304 1075828246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 38734 270 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 39733 270 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222912 1075552832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 40733 271 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223216 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 41733 271 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 42733 272 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 43731 273 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 44731 273 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222496 1075799596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 45730 274 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 46730 275 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221221004 1075119393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 47730 275 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 48729 277 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 49728 277 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221220648 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 50728 278 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222552 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 51728 278 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 52727 279 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222380 1077378142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 53727 279 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222544 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 54727 280 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 55726 280 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221220640 1074790079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 56726 281 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 57726 281 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222304 1075828541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 58725 282 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 59725 282 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222576 1074919717 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 60725 283 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222560 1074051901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 61724 283 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 62724 284 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222496 1075799528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 63723 285 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 64723 285 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222744 1077378323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 65723 286 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 66722 286 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222552 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 67722 287 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 68722 287 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223040 1074121102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 69721 288 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222544 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 70721 288 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 71721 289 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 72720 290 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222928 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 73720 290 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221221640 1077377891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 74720 291 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222552 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 75720 291 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 76719 291 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222224 1075818338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 77719 291 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 78719 292 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222552 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 79718 293 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 80718 293 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 81718 293 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222828 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 82718 294 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222124 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 83717 295 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 84717 295 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222264 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 85716 296 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 86715 297 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 87715 297 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222320 1075640427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 88715 298 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 89714 298 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222536 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 90714 299 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 91714 299 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222600 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 92714 300 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222576 1074056599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 93713 301 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222320 1075640367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 94712 302 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 95712 302 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223200 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 96712 303 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221221232 1075966495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 97712 303 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222928 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 98711 303 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222928 1074115334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 99711 304 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223184 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 100711 304 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221218076 1075363843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 101711 305 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 102710 305 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 103710 305 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 104710 306 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221221816 1074209873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 105709 307 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 106709 307 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 107709 308 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 108708 309 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 109708 309 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222576 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 110707 310 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221223168 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 111707 310 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222152 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 2775
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 112706 311 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1140.02 s]
Raw data (loadavg): 1.07 0.99 0.98 3/58 2822
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 113705 312 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1150.02 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 2828
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 114704 313 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221220540 1074860759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1160.02 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 2828
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 115704 314 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221221920 1074839002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1170.02 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 2828
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 116703 314 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 24636
[startup+1174.93 s]
Raw data (loadavg): 1.04 0.99 0.98 1/53 2828
Raw data (stat): 2775 (bsolo_lpr_cuts) R 2774 1586 1585 0 -1 0 104418 0 0 0 116703 314 0 0 25 0 1 0 832130163 25227264 5456 4294967295 134512640 134714508 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 5456 1111 63 0 6096 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.09
CPU user time (s): 1171.93
CPU system time (s): 3.16052
CPU usage (%): 100.014
Max. virtual memory (Kb): 25116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####