PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	945
Total number of constraints	58245
Number of constraints which are clauses	58245
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 40879

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 00:13:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28945 boxname=wulflinc4 idbench=331 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-3.opb
IDLAUNCH: 28945
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921448 kB
Buffers:         24812 kB
Cached:          66684 kB
SwapCached:       1188 kB
Active:          26044 kB
Inactive:        67800 kB
HighTotal:      131008 kB
HighFree:        63308 kB
LowTotal:       903652 kB
LowFree:        858140 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13632 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:33:39 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 28945 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58245 constraints.
c After prepocess the problem consists of 945 variables and 38487 constraints.
c preprocess terminated 372.04 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 1/54 6740
Raw data (stat): 6740 (runsolver) R 6739 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905857478 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 17666 0 0 0 948 49 0 0 25 0 1 0 905857478 75493376 17583 4294967295 134512640 134716908 3221224576 3221223100 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18431 17583 1111 63 0 18368 0
vsize: 73724
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 20777 0 0 0 1942 55 0 0 25 0 1 0 905857478 83685376 19585 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20431 19585 1111 63 0 20368 0
vsize: 81724
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 2942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 3942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+50.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 4942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 5942 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 6943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 7943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 8943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223068 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 9943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223064 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 10943 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 11944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 12944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 13944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 14944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 15944 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 16945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 17945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 18945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222976 134542694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 19945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 20945 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 21946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223064 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 22946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21283 0 0 0 23946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 24946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 25946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 26946 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 27947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 28947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 29947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 30947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 31947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 32947 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 33948 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21411 0 0 0 34948 56 0 0 25 0 1 0 905857478 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21528 0 0 0 35948 56 0 0 25 0 1 0 905857478 85143552 19954 4294967295 134512640 134716908 3221224576 3221223420 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20787 19954 1111 63 0 20724 0
vsize: 83148
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21528 0 0 0 36948 56 0 0 25 0 1 0 905857478 85143552 19954 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20787 19954 1111 63 0 20724 0
vsize: 83148
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 21981 0 0 0 37946 58 0 0 25 0 1 0 905857478 87486464 20407 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21359 20407 1111 63 0 21296 0
vsize: 85436
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22030 0 0 0 38945 60 0 0 25 0 1 0 905857478 87658496 20456 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21401 20456 1111 63 0 21338 0
vsize: 85604
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22071 0 0 0 39944 61 0 0 25 0 1 0 905857478 87801856 20497 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21436 20497 1111 63 0 21373 0
vsize: 85744
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22170 0 0 0 40943 62 0 0 25 0 1 0 905857478 88182784 20596 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21529 20596 1111 63 0 21466 0
vsize: 86116
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22216 0 0 0 41941 64 0 0 25 0 1 0 905857478 88338432 20642 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21567 20642 1111 63 0 21504 0
vsize: 86268
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22242 0 0 0 42940 65 0 0 25 0 1 0 905857478 88440832 20668 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21592 20668 1111 63 0 21529 0
vsize: 86368
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22267 0 0 0 43940 66 0 0 25 0 1 0 905857478 88535040 20693 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21615 20693 1111 63 0 21552 0
vsize: 86460
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22358 0 0 0 44939 66 0 0 25 0 1 0 905857478 88870912 20784 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21697 20784 1111 63 0 21634 0
vsize: 86788
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22378 0 0 0 45939 67 0 0 25 0 1 0 905857478 88948736 20804 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21716 20804 1111 63 0 21653 0
vsize: 86864
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22399 0 0 0 46939 67 0 0 25 0 1 0 905857478 89030656 20825 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21736 20825 1111 63 0 21673 0
vsize: 86944
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22445 0 0 0 47938 68 0 0 25 0 1 0 905857478 89030656 20831 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21736 20831 1111 63 0 21673 0
vsize: 86944
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22462 0 0 0 48938 68 0 0 25 0 1 0 905857478 89096192 20848 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21752 20848 1111 63 0 21689 0
vsize: 87008
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22477 0 0 0 49938 69 0 0 25 0 1 0 905857478 89157632 20863 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21767 20863 1111 63 0 21704 0
vsize: 87068
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22493 0 0 0 50937 69 0 0 25 0 1 0 905857478 89219072 20879 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21782 20879 1111 63 0 21719 0
vsize: 87128
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22508 0 0 0 51937 70 0 0 25 0 1 0 905857478 89276416 20894 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21796 20894 1111 63 0 21733 0
vsize: 87184
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22524 0 0 0 52936 71 0 0 25 0 1 0 905857478 89337856 20910 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21811 20910 1111 63 0 21748 0
vsize: 87244
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22640 0 0 0 53935 72 0 0 25 0 1 0 905857478 89808896 21026 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21926 21026 1111 63 0 21863 0
vsize: 87704
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22652 0 0 0 54935 72 0 0 25 0 1 0 905857478 89858048 21038 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21938 21038 1111 63 0 21875 0
vsize: 87752
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22666 0 0 0 55935 73 0 0 25 0 1 0 905857478 89911296 21052 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21951 21052 1111 63 0 21888 0
vsize: 87804
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22681 0 0 0 56935 73 0 0 25 0 1 0 905857478 89968640 21067 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21965 21067 1111 63 0 21902 0
vsize: 87860
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22694 0 0 0 57934 74 0 0 25 0 1 0 905857478 90017792 21080 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21977 21080 1111 63 0 21914 0
vsize: 87908
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22707 0 0 0 58934 74 0 0 25 0 1 0 905857478 90071040 21093 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21990 21093 1111 63 0 21927 0
vsize: 87960
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22722 0 0 0 59933 75 0 0 25 0 1 0 905857478 90128384 21108 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22004 21108 1111 63 0 21941 0
vsize: 88016
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22735 0 0 0 60933 75 0 0 25 0 1 0 905857478 90177536 21121 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22016 21121 1111 63 0 21953 0
vsize: 88064
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22879 0 0 0 61933 76 0 0 25 0 1 0 905857478 90767360 21265 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22160 21265 1111 63 0 22097 0
vsize: 88640
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22892 0 0 0 62933 76 0 0 25 0 1 0 905857478 90816512 21278 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22172 21278 1111 63 0 22109 0
vsize: 88688
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22904 0 0 0 63933 76 0 0 25 0 1 0 905857478 90865664 21290 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22184 21290 1111 63 0 22121 0
vsize: 88736
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22917 0 0 0 64933 77 0 0 25 0 1 0 905857478 90914816 21303 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22196 21303 1111 63 0 22133 0
vsize: 88784
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22930 0 0 0 65932 77 0 0 25 0 1 0 905857478 90963968 21316 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22208 21316 1111 63 0 22145 0
vsize: 88832
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22942 0 0 0 66932 78 0 0 25 0 1 0 905857478 91013120 21328 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22220 21328 1111 63 0 22157 0
vsize: 88880
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22955 0 0 0 67932 78 0 0 25 0 1 0 905857478 91062272 21341 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22232 21341 1111 63 0 22169 0
vsize: 88928
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22967 0 0 0 68931 79 0 0 25 0 1 0 905857478 91111424 21353 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22244 21353 1111 63 0 22181 0
vsize: 88976
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 22980 0 0 0 69931 80 0 0 25 0 1 0 905857478 91160576 21366 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22256 21366 1111 63 0 22193 0
vsize: 89024
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 30243 0 0 0 70916 95 0 0 25 0 1 0 905857478 119513088 25723 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29178 25723 1111 63 0 29115 0
vsize: 116712
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 30351 0 0 0 71915 95 0 0 25 0 1 0 905857478 119513088 25831 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29178 25831 1111 63 0 29115 0
vsize: 116712
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 31752 0 0 0 72913 99 0 0 25 0 1 0 905857478 122331136 27230 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29866 27230 1111 63 0 29803 0
vsize: 119464
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32030 0 0 0 73912 99 0 0 25 0 1 0 905857478 117252096 26246 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26246 1111 63 0 28563 0
vsize: 114504
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32059 0 0 0 74913 99 0 0 25 0 1 0 905857478 117252096 26273 4294967295 134512640 134716908 3221224576 3221220524 1074873537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26273 1111 63 0 28563 0
vsize: 114504
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32079 0 0 0 75913 99 0 0 25 0 1 0 905857478 117252096 26291 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26291 1111 63 0 28563 0
vsize: 114504
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32092 0 0 0 76913 99 0 0 25 0 1 0 905857478 117252096 26304 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26304 1111 63 0 28563 0
vsize: 114504
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32114 0 0 0 77913 99 0 0 25 0 1 0 905857478 117252096 26324 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26324 1111 63 0 28563 0
vsize: 114504
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32139 0 0 0 78913 99 0 0 25 0 1 0 905857478 117252096 26347 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26347 1111 63 0 28563 0
vsize: 114504
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32148 0 0 0 79913 99 0 0 25 0 1 0 905857478 117252096 26354 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26354 1111 63 0 28563 0
vsize: 114504
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32159 0 0 0 80914 99 0 0 25 0 1 0 905857478 117563392 26365 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28702 26365 1111 63 0 28639 0
vsize: 114808
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32171 0 0 0 81914 99 0 0 25 0 1 0 905857478 117252096 26375 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26375 1111 63 0 28563 0
vsize: 114504
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32192 0 0 0 82914 99 0 0 25 0 1 0 905857478 117252096 26394 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26394 1111 63 0 28563 0
vsize: 114504
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32198 0 0 0 83914 99 0 0 25 0 1 0 905857478 117252096 26398 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26398 1111 63 0 28563 0
vsize: 114504
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32206 0 0 0 84914 99 0 0 25 0 1 0 905857478 117252096 26404 4294967295 134512640 134716908 3221224576 3221220608 1075112100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26404 1111 63 0 28563 0
vsize: 114504
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32211 0 0 0 85915 99 0 0 25 0 1 0 905857478 117252096 26407 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26407 1111 63 0 28563 0
vsize: 114504
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32215 0 0 0 86915 99 0 0 25 0 1 0 905857478 117252096 26411 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26411 1111 63 0 28563 0
vsize: 114504
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32230 0 0 0 87915 99 0 0 25 0 1 0 905857478 117252096 26424 4294967295 134512640 134716908 3221224576 3221220704 1075895855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26424 1111 63 0 28563 0
vsize: 114504
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32238 0 0 0 88915 99 0 0 25 0 1 0 905857478 117252096 26428 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26428 1111 63 0 28563 0
vsize: 114504
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32241 0 0 0 89915 99 0 0 25 0 1 0 905857478 117252096 26429 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26429 1111 63 0 28563 0
vsize: 114504
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32247 0 0 0 90915 99 0 0 25 0 1 0 905857478 117252096 26435 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26435 1111 63 0 28563 0
vsize: 114504
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32270 0 0 0 91916 99 0 0 25 0 1 0 905857478 117252096 26456 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26456 1111 63 0 28563 0
vsize: 114504
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32317 0 0 0 92916 100 0 0 25 0 1 0 905857478 117841920 26501 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26501 1111 63 0 28707 0
vsize: 115080
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32345 0 0 0 93916 100 0 0 25 0 1 0 905857478 117841920 26529 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26529 1111 63 0 28707 0
vsize: 115080
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32360 0 0 0 94916 100 0 0 25 0 1 0 905857478 117841920 26542 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26542 1111 63 0 28707 0
vsize: 115080
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32376 0 0 0 95916 100 0 0 25 0 1 0 905857478 117841920 26556 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26556 1111 63 0 28707 0
vsize: 115080
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32412 0 0 0 96916 100 0 0 25 0 1 0 905857478 117841920 26590 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26590 1111 63 0 28707 0
vsize: 115080
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32420 0 0 0 97917 100 0 0 25 0 1 0 905857478 117841920 26596 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26596 1111 63 0 28707 0
vsize: 115080
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32422 0 0 0 98917 100 0 0 25 0 1 0 905857478 117841920 26596 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26596 1111 63 0 28707 0
vsize: 115080
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32424 0 0 0 99917 100 0 0 25 0 1 0 905857478 117841920 26596 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26596 1111 63 0 28707 0
vsize: 115080
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32433 0 0 0 100917 100 0 0 25 0 1 0 905857478 117841920 26605 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28770 26605 1111 63 0 28707 0
vsize: 115080
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32561 0 0 0 101917 100 0 0 25 0 1 0 905857478 118464512 26731 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28922 26731 1111 63 0 28859 0
vsize: 115688
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32584 0 0 0 102918 100 0 0 25 0 1 0 905857478 118464512 26752 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28922 26752 1111 63 0 28859 0
vsize: 115688
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32587 0 0 0 103918 100 0 0 25 0 1 0 905857478 118464512 26753 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28922 26753 1111 63 0 28859 0
vsize: 115688
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32593 0 0 0 104918 100 0 0 25 0 1 0 905857478 118464512 26757 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28922 26757 1111 63 0 28859 0
vsize: 115688
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32599 0 0 0 105918 100 0 0 25 0 1 0 905857478 118464512 26763 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28922 26763 1111 63 0 28859 0
vsize: 115688
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32695 0 0 0 106918 100 0 0 25 0 1 0 905857478 119119872 26857 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26857 1111 63 0 29019 0
vsize: 116328
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32716 0 0 0 107918 100 0 0 25 0 1 0 905857478 119119872 26876 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26876 1111 63 0 29019 0
vsize: 116328
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32722 0 0 0 108919 100 0 0 25 0 1 0 905857478 119119872 26880 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26880 1111 63 0 29019 0
vsize: 116328
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32737 0 0 0 109919 100 0 0 25 0 1 0 905857478 119119872 26893 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26893 1111 63 0 29019 0
vsize: 116328
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32752 0 0 0 110919 100 0 0 25 0 1 0 905857478 119119872 26906 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26906 1111 63 0 29019 0
vsize: 116328
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32754 0 0 0 111919 100 0 0 25 0 1 0 905857478 119119872 26906 4294967295 134512640 134716908 3221224576 3221220480 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26906 1111 63 0 29019 0
vsize: 116328
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32756 0 0 0 112919 100 0 0 25 0 1 0 905857478 119119872 26906 4294967295 134512640 134716908 3221224576 3221220752 1074961120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26906 1111 63 0 29019 0
vsize: 116328
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32767 0 0 0 113919 100 0 0 25 0 1 0 905857478 119119872 26915 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26915 1111 63 0 29019 0
vsize: 116328
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32781 0 0 0 114920 100 0 0 25 0 1 0 905857478 119119872 26927 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26927 1111 63 0 29019 0
vsize: 116328
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32783 0 0 0 115920 100 0 0 25 0 1 0 905857478 119119872 26927 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26927 1111 63 0 29019 0
vsize: 116328
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32785 0 0 0 116920 100 0 0 25 0 1 0 905857478 119119872 26927 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26927 1111 63 0 29019 0
vsize: 116328
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32790 0 0 0 117920 100 0 0 25 0 1 0 905857478 119119872 26930 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26930 1111 63 0 29019 0
vsize: 116328
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32793 0 0 0 118920 100 0 0 25 0 1 0 905857478 119119872 26931 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26931 1111 63 0 29019 0
vsize: 116328
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) R 6739 21152 21151 0 -1 0 32796 0 0 0 119921 100 0 0 25 0 1 0 905857478 119119872 26932 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29082 26932 1111 63 0 29019 0
vsize: 116328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6740
Raw data (stat): 6740 (bsolo_lpr_cuts-) Z 6739 21152 21151 0 -1 1036 32796 0 0 0 119921 105 0 0 25 0 1 0 905857478 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.27
CPU user time (s): 1199.21
CPU system time (s): 1.05884
CPU usage (%): 100.014
Max. virtual memory (Kb): 119464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####