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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 29043

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 04:32:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10818 boxname=wulflinc26 idbench=833 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 10818
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        376492 kB
Buffers:         34360 kB
Cached:         599696 kB
SwapCached:        656 kB
Active:         169356 kB
Inactive:       467336 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        376240 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            15800 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:52:58 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 10818 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.74 0.88 0.88 2/54 32375
Raw data (stat): 32375 (runsolver) R 32374 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836033629 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0017 s]
Raw data (loadavg): 0.78 0.88 0.88 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 1834 0 0 0 990 7 0 0 25 0 1 0 836033629 15360000 1758 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 1758 1111 63 0 3687 0
vsize: 15000
[startup+20.0018 s]
Raw data (loadavg): 0.81 0.89 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 1898 0 0 0 1990 7 0 0 25 0 1 0 836033629 15646720 1822 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3820 1822 1111 63 0 3757 0
vsize: 15280
[startup+30.0018 s]
Raw data (loadavg): 0.84 0.89 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 1971 0 0 0 2990 8 0 0 25 0 1 0 836033629 15941632 1895 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1895 1111 63 0 3829 0
vsize: 15568
[startup+40.0025 s]
Raw data (loadavg): 0.87 0.89 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2047 0 0 0 3989 8 0 0 25 0 1 0 836033629 16236544 1971 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1971 1111 63 0 3901 0
vsize: 15856
[startup+50.0028 s]
Raw data (loadavg): 0.89 0.89 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2112 0 0 0 4989 9 0 0 25 0 1 0 836033629 16523264 2036 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4034 2036 1111 63 0 3971 0
vsize: 16136
[startup+60.0039 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2183 0 0 0 5988 9 0 0 25 0 1 0 836033629 16818176 2107 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4106 2107 1111 63 0 4043 0
vsize: 16424
[startup+70.0049 s]
Raw data (loadavg): 0.92 0.90 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2261 0 0 0 6988 10 0 0 25 0 1 0 836033629 17108992 2185 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 2185 1111 63 0 4114 0
vsize: 16708
[startup+80.0127 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2326 0 0 0 7988 11 0 0 25 0 1 0 836033629 17399808 2250 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 2250 1111 63 0 4185 0
vsize: 16992
[startup+90.0126 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2400 0 0 0 8988 11 0 0 25 0 1 0 836033629 17674240 2324 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4315 2324 1111 63 0 4252 0
vsize: 17260
[startup+100.013 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2472 0 0 0 9988 11 0 0 25 0 1 0 836033629 17960960 2396 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4385 2396 1111 63 0 4322 0
vsize: 17540
[startup+110.013 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2543 0 0 0 10987 12 0 0 25 0 1 0 836033629 18259968 2467 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2467 1111 63 0 4395 0
vsize: 17832
[startup+120.014 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2614 0 0 0 11987 12 0 0 25 0 1 0 836033629 18550784 2538 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4529 2538 1111 63 0 4466 0
vsize: 18116
[startup+130.014 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2691 0 0 0 12986 13 0 0 25 0 1 0 836033629 18980864 2615 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 2615 1111 63 0 4571 0
vsize: 18536
[startup+140.014 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2757 0 0 0 13986 13 0 0 25 0 1 0 836033629 19136512 2681 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4672 2681 1111 63 0 4609 0
vsize: 18688
[startup+150.015 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2828 0 0 0 14985 14 0 0 25 0 1 0 836033629 19423232 2752 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4742 2752 1111 63 0 4679 0
vsize: 18968
[startup+160.016 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2904 0 0 0 15985 14 0 0 25 0 1 0 836033629 19857408 2828 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4848 2828 1111 63 0 4785 0
vsize: 19392
[startup+170.016 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2976 0 0 0 16985 15 0 0 25 0 1 0 836033629 20152320 2900 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2900 1111 63 0 4857 0
vsize: 19680
[startup+180.016 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3046 0 0 0 17985 15 0 0 25 0 1 0 836033629 20439040 2970 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4990 2970 1111 63 0 4927 0
vsize: 19960
[startup+190.017 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3123 0 0 0 18984 16 0 0 25 0 1 0 836033629 20733952 3047 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5062 3047 1111 63 0 4999 0
vsize: 20248
[startup+200.016 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3188 0 0 0 19984 16 0 0 25 0 1 0 836033629 21020672 3112 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5132 3112 1111 63 0 5069 0
vsize: 20528
[startup+210.017 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3260 0 0 0 20983 17 0 0 25 0 1 0 836033629 21315584 3184 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5204 3184 1111 63 0 5141 0
vsize: 20816
[startup+220.021 s]
Raw data (loadavg): 0.99 0.93 0.90 3/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3337 0 0 0 21984 17 0 0 25 0 1 0 836033629 21610496 3261 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 3261 1111 63 0 5213 0
vsize: 21104
[startup+230.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3403 0 0 0 22983 17 0 0 25 0 1 0 836033629 21897216 3327 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5346 3327 1111 63 0 5283 0
vsize: 21384
[startup+240.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3475 0 0 0 23984 17 0 0 25 0 1 0 836033629 22183936 3399 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5416 3399 1111 63 0 5353 0
vsize: 21664
[startup+250.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3552 0 0 0 24984 17 0 0 25 0 1 0 836033629 22482944 3476 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5489 3476 1111 63 0 5426 0
vsize: 21956
[startup+260.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3617 0 0 0 25984 17 0 0 25 0 1 0 836033629 22773760 3541 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 3541 1111 63 0 5497 0
vsize: 22240
[startup+270.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3687 0 0 0 26984 18 0 0 25 0 1 0 836033629 23060480 3611 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5630 3611 1111 63 0 5567 0
vsize: 22520
[startup+280.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3760 0 0 0 27984 18 0 0 25 0 1 0 836033629 23359488 3684 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 3684 1111 63 0 5640 0
vsize: 22812
[startup+290.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3830 0 0 0 28984 18 0 0 25 0 1 0 836033629 23650304 3754 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 3754 1111 63 0 5711 0
vsize: 23096
[startup+300.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3901 0 0 0 29983 18 0 0 25 0 1 0 836033629 23937024 3825 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5844 3825 1111 63 0 5781 0
vsize: 23376
[startup+310.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3972 0 0 0 30983 19 0 0 25 0 1 0 836033629 24231936 3896 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5916 3896 1111 63 0 5853 0
vsize: 23664
[startup+320.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4044 0 0 0 31983 19 0 0 25 0 1 0 836033629 24526848 3968 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3968 1111 63 0 5925 0
vsize: 23952
[startup+330.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4122 0 0 0 32983 19 0 0 25 0 1 0 836033629 24809472 4046 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6057 4046 1111 63 0 5994 0
vsize: 24228
[startup+340.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4186 0 0 0 33983 20 0 0 25 0 1 0 836033629 25096192 4110 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6127 4110 1111 63 0 6064 0
vsize: 24508
[startup+350.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4265 0 0 0 34983 20 0 0 25 0 1 0 836033629 25391104 4189 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 4189 1111 63 0 6136 0
vsize: 24796
[startup+360.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4335 0 0 0 35983 20 0 0 25 0 1 0 836033629 25681920 4259 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6270 4259 1111 63 0 6207 0
vsize: 25080
[startup+370.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4400 0 0 0 36983 20 0 0 25 0 1 0 836033629 25972736 4324 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6341 4324 1111 63 0 6278 0
vsize: 25364
[startup+380.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4477 0 0 0 37983 20 0 0 25 0 1 0 836033629 26259456 4401 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6411 4401 1111 63 0 6348 0
vsize: 25644
[startup+390.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4550 0 0 0 38983 21 0 0 25 0 1 0 836033629 26558464 4474 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6484 4474 1111 63 0 6421 0
vsize: 25936
[startup+400.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4615 0 0 0 39983 21 0 0 25 0 1 0 836033629 26849280 4539 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6555 4539 1111 63 0 6492 0
vsize: 26220
[startup+410.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4693 0 0 0 40983 21 0 0 25 0 1 0 836033629 27136000 4617 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6625 4617 1111 63 0 6562 0
vsize: 26500
[startup+420.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4765 0 0 0 41983 21 0 0 25 0 1 0 836033629 27435008 4689 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6698 4689 1111 63 0 6635 0
vsize: 26792
[startup+430.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4830 0 0 0 42983 21 0 0 25 0 1 0 836033629 27725824 4754 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6769 4754 1111 63 0 6706 0
vsize: 27076
[startup+440.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4907 0 0 0 43983 21 0 0 25 0 1 0 836033629 28012544 4831 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 4831 1111 63 0 6776 0
vsize: 27356
[startup+450.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4978 0 0 0 44983 22 0 0 25 0 1 0 836033629 28307456 4902 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 4902 1111 63 0 6848 0
vsize: 27644
[startup+460.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5044 0 0 0 45983 22 0 0 25 0 1 0 836033629 28602368 4968 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4968 1111 63 0 6920 0
vsize: 27932
[startup+470.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5121 0 0 0 46983 22 0 0 25 0 1 0 836033629 28889088 5045 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7053 5045 1111 63 0 6990 0
vsize: 28212
[startup+480.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5192 0 0 0 47983 22 0 0 25 0 1 0 836033629 29184000 5116 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 5116 1111 63 0 7062 0
vsize: 28500
[startup+490.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5260 0 0 0 48983 22 0 0 25 0 1 0 836033629 29474816 5184 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 5184 1111 63 0 7133 0
vsize: 28784
[startup+500.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5337 0 0 0 49983 22 0 0 25 0 1 0 836033629 29765632 5261 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5261 1111 63 0 7204 0
vsize: 29068
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5407 0 0 0 50983 23 0 0 25 0 1 0 836033629 30060544 5331 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 5331 1111 63 0 7276 0
vsize: 29356
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5472 0 0 0 51983 23 0 0 25 0 1 0 836033629 30347264 5396 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 5396 1111 63 0 7346 0
vsize: 29636
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5551 0 0 0 52983 23 0 0 25 0 1 0 836033629 30642176 5475 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 5475 1111 63 0 7418 0
vsize: 29924
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5621 0 0 0 53984 23 0 0 25 0 1 0 836033629 30932992 5545 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7552 5545 1111 63 0 7489 0
vsize: 30208
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5686 0 0 0 54984 23 0 0 25 0 1 0 836033629 31223808 5610 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7623 5610 1111 63 0 7560 0
vsize: 30492
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5766 0 0 0 55984 23 0 0 25 0 1 0 836033629 31510528 5690 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7693 5690 1111 63 0 7630 0
vsize: 30772
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5836 0 0 0 56984 23 0 0 25 0 1 0 836033629 31809536 5760 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7766 5760 1111 63 0 7703 0
vsize: 31064
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5901 0 0 0 57984 23 0 0 25 0 1 0 836033629 32100352 5825 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7837 5829 1111 63 0 7774 0
vsize: 31348
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5978 0 0 0 58984 24 0 0 25 0 1 0 836033629 32387072 5902 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7907 5902 1111 63 0 7844 0
vsize: 31628
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6051 0 0 0 59984 24 0 0 25 0 1 0 836033629 32686080 5975 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7980 5975 1111 63 0 7917 0
vsize: 31920
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6121 0 0 0 60984 24 0 0 25 0 1 0 836033629 32976896 6045 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8051 6045 1111 63 0 7988 0
vsize: 32204
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6192 0 0 0 61984 24 0 0 25 0 1 0 836033629 33263616 6116 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 6116 1111 63 0 8058 0
vsize: 32484
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6265 0 0 0 62984 24 0 0 25 0 1 0 836033629 33558528 6189 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 6189 1111 63 0 8130 0
vsize: 32772
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6354 0 0 0 63984 24 0 0 25 0 1 0 836033629 34041856 6278 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8311 6278 1111 63 0 8248 0
vsize: 33244
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6417 0 0 0 64984 24 0 0 25 0 1 0 836033629 34181120 6341 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8345 6341 1111 63 0 8282 0
vsize: 33380
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6488 0 0 0 65985 25 0 0 25 0 1 0 836033629 34467840 6412 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8415 6412 1111 63 0 8352 0
vsize: 33660
[startup+670.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6567 0 0 0 66996 25 0 0 25 0 1 0 836033629 34910208 6491 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8523 6491 1111 63 0 8460 0
vsize: 34092
[startup+680.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6632 0 0 0 67996 25 0 0 25 0 1 0 836033629 35057664 6556 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8559 6556 1111 63 0 8496 0
vsize: 34236
[startup+690.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6709 0 0 0 68996 25 0 0 25 0 1 0 836033629 35491840 6633 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8665 6633 1111 63 0 8602 0
vsize: 34660
[startup+700.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6781 0 0 0 69996 25 0 0 25 0 1 0 836033629 35786752 6705 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8737 6705 1111 63 0 8674 0
vsize: 34948
[startup+710.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6846 0 0 0 70996 25 0 0 25 0 1 0 836033629 35934208 6770 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 6770 1111 63 0 8710 0
vsize: 35092
[startup+720.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6924 0 0 0 71996 25 0 0 25 0 1 0 836033629 36368384 6848 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8879 6848 1111 63 0 8816 0
vsize: 35516
[startup+730.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7001 0 0 0 72996 25 0 0 25 0 1 0 836033629 36655104 6925 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8949 6925 1111 63 0 8886 0
vsize: 35796
[startup+740.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7067 0 0 0 73996 25 0 0 25 0 1 0 836033629 36954112 6991 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9022 6991 1111 63 0 8959 0
vsize: 36088
[startup+750.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7138 0 0 0 74996 26 0 0 25 0 1 0 836033629 37244928 7062 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9093 7062 1111 63 0 9030 0
vsize: 36372
[startup+760.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7216 0 0 0 75996 26 0 0 25 0 1 0 836033629 37531648 7140 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9163 7140 1111 63 0 9100 0
vsize: 36652
[startup+770.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7283 0 0 0 76997 26 0 0 25 0 1 0 836033629 37830656 7207 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9236 7207 1111 63 0 9173 0
vsize: 36944
[startup+780.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7360 0 0 0 77997 26 0 0 25 0 1 0 836033629 38121472 7284 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9307 7284 1111 63 0 9244 0
vsize: 37228
[startup+790.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7431 0 0 0 78997 26 0 0 25 0 1 0 836033629 38408192 7355 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9377 7355 1111 63 0 9314 0
vsize: 37508
[startup+800.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7502 0 0 0 79997 26 0 0 25 0 1 0 836033629 38703104 7426 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9449 7426 1111 63 0 9386 0
vsize: 37796
[startup+810.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7575 0 0 0 80997 26 0 0 25 0 1 0 836033629 38993920 7499 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9520 7499 1111 63 0 9457 0
vsize: 38080
[startup+820.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7646 0 0 0 81997 26 0 0 25 0 1 0 836033629 39284736 7570 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9591 7570 1111 63 0 9528 0
vsize: 38364
[startup+830.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7717 0 0 0 82997 26 0 0 25 0 1 0 836033629 39579648 7641 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9663 7641 1111 63 0 9600 0
vsize: 38652
[startup+840.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7790 0 0 0 83998 26 0 0 25 0 1 0 836033629 39870464 7714 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 7714 1111 63 0 9671 0
vsize: 38936
[startup+850.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7861 0 0 0 84997 26 0 0 25 0 1 0 836033629 40161280 7785 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9805 7785 1111 63 0 9742 0
vsize: 39220
[startup+860.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7938 0 0 0 85998 26 0 0 25 0 1 0 836033629 40452096 7862 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9876 7862 1111 63 0 9813 0
vsize: 39504
[startup+870.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8003 0 0 0 86998 27 0 0 25 0 1 0 836033629 40742912 7927 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9947 7927 1111 63 0 9884 0
vsize: 39788
[startup+880.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8083 0 0 0 87998 27 0 0 25 0 1 0 836033629 41037824 8007 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10019 8007 1111 63 0 9956 0
vsize: 40076
[startup+890.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8160 0 0 0 88998 27 0 0 25 0 1 0 836033629 41328640 8084 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10090 8084 1111 63 0 10027 0
vsize: 40360
[startup+900.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8225 0 0 0 89997 27 0 0 25 0 1 0 836033629 41619456 8149 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10161 8149 1111 63 0 10098 0
vsize: 40644
[startup+910.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8303 0 0 0 90997 28 0 0 25 0 1 0 836033629 41910272 8227 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 8227 1111 63 0 10169 0
vsize: 40928
[startup+920.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8375 0 0 0 91998 28 0 0 25 0 1 0 836033629 42205184 8299 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 8299 1111 63 0 10241 0
vsize: 41216
[startup+930.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8440 0 0 0 92998 28 0 0 25 0 1 0 836033629 42491904 8364 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 8364 1111 63 0 10311 0
vsize: 41496
[startup+940.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8517 0 0 0 93998 28 0 0 25 0 1 0 836033629 42782720 8441 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10445 8441 1111 63 0 10382 0
vsize: 41780
[startup+950.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8589 0 0 0 94998 28 0 0 25 0 1 0 836033629 43081728 8513 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 8513 1111 63 0 10455 0
vsize: 42072
[startup+960.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8667 0 0 0 95998 29 0 0 25 0 1 0 836033629 43368448 8591 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10588 8591 1111 63 0 10525 0
vsize: 42352
[startup+970.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8732 0 0 0 96998 29 0 0 25 0 1 0 836033629 43659264 8656 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10659 8656 1111 63 0 10596 0
vsize: 42636
[startup+980.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8811 0 0 0 97998 29 0 0 25 0 1 0 836033629 43958272 8735 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10732 8735 1111 63 0 10669 0
vsize: 42928
[startup+990.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8882 0 0 0 98998 29 0 0 25 0 1 0 836033629 44244992 8806 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10802 8806 1111 63 0 10739 0
vsize: 43208
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8948 0 0 0 99998 29 0 0 25 0 1 0 836033629 44535808 8872 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10873 8872 1111 63 0 10810 0
vsize: 43492
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9025 0 0 0 100998 29 0 0 25 0 1 0 836033629 44826624 8949 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10944 8949 1111 63 0 10881 0
vsize: 43776
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9103 0 0 0 101998 30 0 0 25 0 1 0 836033629 45264896 9027 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11051 9027 1111 63 0 10988 0
vsize: 44204
[startup+1030.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9168 0 0 0 102998 30 0 0 25 0 1 0 836033629 45412352 9092 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9092 1111 63 0 11024 0
vsize: 44348
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9246 0 0 0 103998 30 0 0 25 0 1 0 836033629 45846528 9170 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11193 9170 1111 63 0 11130 0
vsize: 44772
[startup+1050.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9319 0 0 0 104998 30 0 0 25 0 1 0 836033629 46141440 9243 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11265 9243 1111 63 0 11202 0
vsize: 45060
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9390 0 0 0 105998 30 0 0 25 0 1 0 836033629 46436352 9314 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11337 9314 1111 63 0 11274 0
vsize: 45348
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9461 0 0 0 106998 30 0 0 25 0 1 0 836033629 46723072 9385 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11407 9385 1111 63 0 11344 0
vsize: 45628
[startup+1080.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9533 0 0 0 107998 30 0 0 25 0 1 0 836033629 47009792 9457 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11477 9457 1111 63 0 11414 0
vsize: 45908
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9612 0 0 0 108998 31 0 0 25 0 1 0 836033629 47312896 9536 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11551 9536 1111 63 0 11488 0
vsize: 46204
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9683 0 0 0 109998 31 0 0 25 0 1 0 836033629 47599616 9607 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11621 9607 1111 63 0 11558 0
vsize: 46484
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9754 0 0 0 110998 31 0 0 25 0 1 0 836033629 47886336 9678 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11691 9678 1111 63 0 11628 0
vsize: 46764
[startup+1120.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9833 0 0 0 111998 31 0 0 25 0 1 0 836033629 48189440 9757 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11765 9757 1111 63 0 11702 0
vsize: 47060
[startup+1130.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9898 0 0 0 112998 32 0 0 25 0 1 0 836033629 48476160 9822 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9822 1111 63 0 11772 0
vsize: 47340
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9975 0 0 0 113998 32 0 0 25 0 1 0 836033629 48762880 9899 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 9899 1111 63 0 11842 0
vsize: 47620
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10048 0 0 0 114998 32 0 0 25 0 1 0 836033629 49057792 9972 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11977 9972 1111 63 0 11914 0
vsize: 47908
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10120 0 0 0 115998 32 0 0 25 0 1 0 836033629 49352704 10044 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12049 10044 1111 63 0 11986 0
vsize: 48196
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10191 0 0 0 116998 32 0 0 25 0 1 0 836033629 49639424 10115 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12119 10115 1111 63 0 12056 0
vsize: 48476
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10268 0 0 0 117998 33 0 0 25 0 1 0 836033629 49934336 10192 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12191 10192 1111 63 0 12128 0
vsize: 48764
[startup+1190.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10341 0 0 0 118998 33 0 0 25 0 1 0 836033629 50229248 10265 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 10265 1111 63 0 12200 0
vsize: 49052
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10412 0 0 0 119998 33 0 0 25 0 1 0 836033629 50515968 10336 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12333 10336 1111 63 0 12270 0
vsize: 49332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32375
Raw data (stat): 32375 (bsolo_lpr_cuts) Z 32374 20687 20686 0 -1 1036 10412 0 0 0 119998 35 0 0 25 0 1 0 836033629 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.17
CPU time (s): 1200.34
CPU user time (s): 1199.98
CPU system time (s): 0.353946
CPU usage (%): 100.014
Max. virtual memory (Kb): 49332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####