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/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM	94f501465233508e2f652cf118ddaf2d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
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	760
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.06
Number of variables	760
Total number of constraints	41314
Number of constraints which are clauses	41314
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 40872

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 23:53:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28938 boxname=wulflinc5 idbench=324 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc5/normalized-frb40-19-1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb40-19-1.opb
IDLAUNCH: 28938
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        917152 kB
Buffers:          4928 kB
Cached:          91308 kB
SwapCached:        732 kB
Active:          24800 kB
Inactive:        73500 kB
HighTotal:      131008 kB
HighFree:        38388 kB
LowTotal:       903652 kB
LowFree:        878764 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13560 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:13:26 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28938 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41314 constraints.
c After prepocess the problem consists of 760 variables and 30250 constraints.
c preprocess terminated 271.682 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.91 0.95 0.90 2/54 24228
Raw data (stat): 24228 (runsolver) R 24227 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905745684 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 15765 0 0 0 953 44 0 0 25 0 1 0 905745684 67674112 15682 4294967295 134512640 134716908 3221224576 3221223088 134523184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16522 15682 1111 63 0 16459 0
vsize: 66088
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 16186 0 0 0 1952 44 0 0 25 0 1 0 905745684 69431296 16103 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16951 16103 1111 63 0 16888 0
vsize: 67804
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 2948 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223196 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 3948 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221222992 134542682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 4948 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 5948 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 6948 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 7949 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223104 134553625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 8949 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221222984 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 9949 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 10949 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 11950 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 12950 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 13950 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 14950 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 15950 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223152 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 16950 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 17951 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 18951 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 19951 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 20951 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 21951 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 22952 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 23952 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223248 134627233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18130 0 0 0 24952 49 0 0 25 0 1 0 905745684 77406208 18047 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18047 1111 63 0 18835 0
vsize: 75592
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18131 0 0 0 25952 50 0 0 25 0 1 0 905745684 77406208 18048 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18048 1111 63 0 18835 0
vsize: 75592
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18131 0 0 0 26952 50 0 0 25 0 1 0 905745684 77406208 18048 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18898 18048 1111 63 0 18835 0
vsize: 75592
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18160 0 0 0 27951 51 0 0 25 0 1 0 905745684 77750272 18077 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18982 18077 1111 63 0 18919 0
vsize: 75928
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18275 0 0 0 28949 52 0 0 25 0 1 0 905745684 78204928 18192 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19093 18192 1111 63 0 19030 0
vsize: 76372
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18299 0 0 0 29948 53 0 0 25 0 1 0 905745684 78295040 18216 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19115 18216 1111 63 0 19052 0
vsize: 76460
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18322 0 0 0 30948 54 0 0 25 0 1 0 905745684 78381056 18239 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19136 18239 1111 63 0 19073 0
vsize: 76544
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18429 0 0 0 31946 56 0 0 25 0 1 0 905745684 78815232 18346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19242 18346 1111 63 0 19179 0
vsize: 76968
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18453 0 0 0 32945 57 0 0 25 0 1 0 905745684 78905344 18370 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19264 18370 1111 63 0 19201 0
vsize: 77056
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18475 0 0 0 33944 58 0 0 25 0 1 0 905745684 78991360 18392 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18392 1111 63 0 19222 0
vsize: 77140
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18497 0 0 0 34943 59 0 0 25 0 1 0 905745684 79077376 18414 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19306 18414 1111 63 0 19243 0
vsize: 77224
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18518 0 0 0 35943 60 0 0 25 0 1 0 905745684 79159296 18435 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19326 18435 1111 63 0 19263 0
vsize: 77304
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18537 0 0 0 36942 61 0 0 25 0 1 0 905745684 79233024 18454 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19344 18454 1111 63 0 19281 0
vsize: 77376
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18556 0 0 0 37941 62 0 0 25 0 1 0 905745684 79306752 18473 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19362 18473 1111 63 0 19299 0
vsize: 77448
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24228
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18575 0 0 0 38941 62 0 0 25 0 1 0 905745684 79380480 18492 4294967295 134512640 134716908 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19380 18492 1111 63 0 19317 0
vsize: 77520
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 24237
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18594 0 0 0 39941 63 0 0 25 0 1 0 905745684 79454208 18511 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19398 18511 1111 63 0 19335 0
vsize: 77592
[startup+410.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18617 0 0 0 40940 63 0 0 25 0 1 0 905745684 79544320 18534 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19420 18534 1111 63 0 19357 0
vsize: 77680
[startup+420.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18638 0 0 0 41940 64 0 0 25 0 1 0 905745684 79626240 18555 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19440 18555 1111 63 0 19377 0
vsize: 77760
[startup+430.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18787 0 0 0 42939 65 0 0 25 0 1 0 905745684 80236544 18704 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18704 1111 63 0 19526 0
vsize: 78356
[startup+440.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18803 0 0 0 43939 65 0 0 25 0 1 0 905745684 80297984 18720 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18720 1111 63 0 19541 0
vsize: 78416
[startup+450.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18820 0 0 0 44938 66 0 0 25 0 1 0 905745684 80363520 18737 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19620 18737 1111 63 0 19557 0
vsize: 78480
[startup+460.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 18835 0 0 0 45938 66 0 0 25 0 1 0 905745684 80424960 18752 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19636 18753 1111 63 0 19573 0
vsize: 78540
[startup+470.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24281
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 21177 0 0 0 46933 71 0 0 25 0 1 0 905745684 90595328 19805 4294967295 134512640 134716908 3221224576 3221221760 1074140055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22118 19810 1111 63 0 22055 0
vsize: 88472
[startup+480.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 24304 0 0 0 47926 78 0 0 25 0 1 0 905745684 102334464 22217 4294967295 134512640 134716908 3221224576 3221220720 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24984 22217 1111 63 0 24921 0
vsize: 99936
[startup+490.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25376 0 0 0 48924 80 0 0 25 0 1 0 905745684 104562688 23289 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25528 23289 1111 63 0 25465 0
vsize: 102112
[startup+500.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25577 0 0 0 49924 81 0 0 25 0 1 0 905745684 100110336 22487 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24441 22487 1111 63 0 24378 0
vsize: 97764
[startup+510.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25597 0 0 0 50924 82 0 0 25 0 1 0 905745684 100110336 22507 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24441 22507 1111 63 0 24378 0
vsize: 97764
[startup+520.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25667 0 0 0 51924 82 0 0 25 0 1 0 905745684 100556800 22577 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24550 22577 1111 63 0 24487 0
vsize: 98200
[startup+530.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25683 0 0 0 52924 82 0 0 25 0 1 0 905745684 100556800 22593 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24550 22593 1111 63 0 24487 0
vsize: 98200
[startup+540.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25690 0 0 0 53924 82 0 0 25 0 1 0 905745684 100556800 22600 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24550 22600 1111 63 0 24487 0
vsize: 98200
[startup+550.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25748 0 0 0 54924 82 0 0 25 0 1 0 905745684 101027840 22658 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24665 22658 1111 63 0 24602 0
vsize: 98660
[startup+560.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25763 0 0 0 55925 82 0 0 25 0 1 0 905745684 101027840 22673 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24665 22673 1111 63 0 24602 0
vsize: 98660
[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25774 0 0 0 56925 82 0 0 25 0 1 0 905745684 101027840 22684 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24665 22684 1111 63 0 24602 0
vsize: 98660
[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25846 0 0 0 57925 82 0 0 25 0 1 0 905745684 101519360 22756 4294967295 134512640 134716908 3221224576 3221220704 1075895648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24785 22756 1111 63 0 24722 0
vsize: 99140
[startup+590.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25871 0 0 0 58925 82 0 0 25 0 1 0 905745684 101519360 22781 4294967295 134512640 134716908 3221224576 3221220688 1074815290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24785 22781 1111 63 0 24722 0
vsize: 99140
[startup+600.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25883 0 0 0 59925 82 0 0 25 0 1 0 905745684 101519360 22793 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24785 22793 1111 63 0 24722 0
vsize: 99140
[startup+610.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25950 0 0 0 60925 82 0 0 25 0 1 0 905745684 102031360 22860 4294967295 134512640 134716908 3221224576 3221220640 1074883539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24910 22860 1111 63 0 24847 0
vsize: 99640
[startup+620.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25980 0 0 0 61925 82 0 0 25 0 1 0 905745684 102031360 22890 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24910 22890 1111 63 0 24847 0
vsize: 99640
[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 25982 0 0 0 62925 82 0 0 25 0 1 0 905745684 102031360 22892 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24910 22892 1111 63 0 24847 0
vsize: 99640
[startup+640.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26050 0 0 0 63926 82 0 0 25 0 1 0 905745684 102572032 22960 4294967295 134512640 134716908 3221224576 3221220720 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25042 22960 1111 63 0 24979 0
vsize: 100168
[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26075 0 0 0 64926 82 0 0 25 0 1 0 905745684 102572032 22985 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25042 22985 1111 63 0 24979 0
vsize: 100168
[startup+660.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26081 0 0 0 65926 82 0 0 25 0 1 0 905745684 102572032 22991 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25042 22991 1111 63 0 24979 0
vsize: 100168
[startup+670.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26161 0 0 0 66926 82 0 0 25 0 1 0 905745684 103141376 23071 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23071 1111 63 0 25118 0
vsize: 100724
[startup+680.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26179 0 0 0 67926 83 0 0 25 0 1 0 905745684 103141376 23089 4294967295 134512640 134716908 3221224576 3221220440 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23089 1111 63 0 25118 0
vsize: 100724
[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26191 0 0 0 68926 83 0 0 25 0 1 0 905745684 103141376 23101 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23101 1111 63 0 25118 0
vsize: 100724
[startup+700.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26194 0 0 0 69926 83 0 0 25 0 1 0 905745684 103141376 23104 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23104 1111 63 0 25118 0
vsize: 100724
[startup+710.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26197 0 0 0 70927 83 0 0 25 0 1 0 905745684 103141376 23107 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23107 1111 63 0 25118 0
vsize: 100724
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26198 0 0 0 71927 83 0 0 25 0 1 0 905745684 103141376 23108 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23108 1111 63 0 25118 0
vsize: 100724
[startup+730.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26198 0 0 0 72927 83 0 0 25 0 1 0 905745684 103141376 23108 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23108 1111 63 0 25118 0
vsize: 100724
[startup+740.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24283
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26201 0 0 0 73927 83 0 0 25 0 1 0 905745684 103141376 23111 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23111 1111 63 0 25118 0
vsize: 100724
[startup+750.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26201 0 0 0 74928 83 0 0 25 0 1 0 905745684 103141376 23111 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23111 1111 63 0 25118 0
vsize: 100724
[startup+760.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26228 0 0 0 75928 83 0 0 25 0 1 0 905745684 103141376 23138 4294967295 134512640 134716908 3221224576 3221221552 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23138 1111 63 0 25118 0
vsize: 100724
[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26228 0 0 0 76928 83 0 0 25 0 1 0 905745684 103141376 23138 4294967295 134512640 134716908 3221224576 3221220848 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23138 1111 63 0 25118 0
vsize: 100724
[startup+780.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26230 0 0 0 77928 83 0 0 25 0 1 0 905745684 103141376 23140 4294967295 134512640 134716908 3221224576 3221221136 1075967771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23140 1111 63 0 25118 0
vsize: 100724
[startup+790.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26230 0 0 0 78928 83 0 0 25 0 1 0 905745684 103141376 23140 4294967295 134512640 134716908 3221224576 3221220688 1074815497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23140 1111 63 0 25118 0
vsize: 100724
[startup+800.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26238 0 0 0 79928 83 0 0 25 0 1 0 905745684 103141376 23148 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23148 1111 63 0 25118 0
vsize: 100724
[startup+810.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26238 0 0 0 80929 83 0 0 25 0 1 0 905745684 103141376 23148 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23148 1111 63 0 25118 0
vsize: 100724
[startup+820.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26238 0 0 0 81929 83 0 0 25 0 1 0 905745684 103141376 23148 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23148 1111 63 0 25118 0
vsize: 100724
[startup+830.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26238 0 0 0 82929 83 0 0 25 0 1 0 905745684 103141376 23148 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23148 1111 63 0 25118 0
vsize: 100724
[startup+840.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26238 0 0 0 83929 83 0 0 25 0 1 0 905745684 103141376 23148 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23148 1111 63 0 25118 0
vsize: 100724
[startup+850.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26238 0 0 0 84929 83 0 0 25 0 1 0 905745684 103141376 23148 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23148 1111 63 0 25118 0
vsize: 100724
[startup+860.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 85930 83 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220440 1075964742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+870.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 86930 83 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+880.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 87929 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221221312 1075115406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+890.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 88929 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+900.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 89930 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 90930 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+920.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 91930 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+930.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 92930 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+940.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 93930 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220472 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 94930 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+960.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26240 0 0 0 95931 84 0 0 25 0 1 0 905745684 103141376 23150 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25181 23150 1111 63 0 25118 0
vsize: 100724
[startup+970.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26423 0 0 0 96930 84 0 0 25 0 1 0 905745684 104357888 23331 4294967295 134512640 134716908 3221224576 3221220640 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25478 23331 1111 63 0 25415 0
vsize: 101912
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26457 0 0 0 97930 85 0 0 25 0 1 0 905745684 104357888 23365 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25478 23365 1111 63 0 25415 0
vsize: 101912
[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26555 0 0 0 98930 85 0 0 25 0 1 0 905745684 105025536 23463 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23463 1111 63 0 25578 0
vsize: 102564
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26575 0 0 0 99930 85 0 0 25 0 1 0 905745684 105025536 23483 4294967295 134512640 134716908 3221224576 3221220812 1076111473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23483 1111 63 0 25578 0
vsize: 102564
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26575 0 0 0 100930 85 0 0 25 0 1 0 905745684 105025536 23483 4294967295 134512640 134716908 3221224576 3221221072 1074887009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23483 1111 63 0 25578 0
vsize: 102564
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26576 0 0 0 101930 85 0 0 25 0 1 0 905745684 105025536 23484 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23484 1111 63 0 25578 0
vsize: 102564
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26578 0 0 0 102931 85 0 0 25 0 1 0 905745684 105025536 23486 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23486 1111 63 0 25578 0
vsize: 102564
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26582 0 0 0 103931 85 0 0 25 0 1 0 905745684 105025536 23490 4294967295 134512640 134716908 3221224576 3221220492 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23490 1111 63 0 25578 0
vsize: 102564
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26582 0 0 0 104931 85 0 0 25 0 1 0 905745684 105025536 23490 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23490 1111 63 0 25578 0
vsize: 102564
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26584 0 0 0 105931 85 0 0 25 0 1 0 905745684 105025536 23492 4294967295 134512640 134716908 3221224576 3221220448 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25641 23492 1111 63 0 25578 0
vsize: 102564
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26700 0 0 0 106931 86 0 0 25 0 1 0 905745684 105713664 23608 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25809 23608 1111 63 0 25746 0
vsize: 103236
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26706 0 0 0 107931 86 0 0 25 0 1 0 905745684 105713664 23614 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25809 23614 1111 63 0 25746 0
vsize: 103236
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26713 0 0 0 108931 86 0 0 25 0 1 0 905745684 105713664 23621 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25809 23621 1111 63 0 25746 0
vsize: 103236
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26718 0 0 0 109931 86 0 0 25 0 1 0 905745684 105713664 23626 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25809 23626 1111 63 0 25746 0
vsize: 103236
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26719 0 0 0 110931 86 0 0 25 0 1 0 905745684 105713664 23627 4294967295 134512640 134716908 3221224576 3221221008 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25809 23627 1111 63 0 25746 0
vsize: 103236
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26723 0 0 0 111932 86 0 0 25 0 1 0 905745684 105713664 23631 4294967295 134512640 134716908 3221224576 3221220848 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25809 23631 1111 63 0 25746 0
vsize: 103236
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26829 0 0 0 112932 86 0 0 25 0 1 0 905745684 106434560 23737 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23737 1111 63 0 25922 0
vsize: 103940
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26876 0 0 0 113932 86 0 0 25 0 1 0 905745684 106434560 23784 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23784 1111 63 0 25922 0
vsize: 103940
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26876 0 0 0 114932 86 0 0 25 0 1 0 905745684 106434560 23784 4294967295 134512640 134716908 3221224576 3221220812 1076111483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23784 1111 63 0 25922 0
vsize: 103940
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26881 0 0 0 115932 86 0 0 25 0 1 0 905745684 106434560 23789 4294967295 134512640 134716908 3221224576 3221220448 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23789 1111 63 0 25922 0
vsize: 103940
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26885 0 0 0 116932 86 0 0 25 0 1 0 905745684 106434560 23793 4294967295 134512640 134716908 3221224576 3221220356 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23793 1111 63 0 25922 0
vsize: 103940
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26893 0 0 0 117933 86 0 0 25 0 1 0 905745684 106434560 23801 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23801 1111 63 0 25922 0
vsize: 103940
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26899 0 0 0 118933 86 0 0 25 0 1 0 905745684 106434560 23807 4294967295 134512640 134716908 3221224576 3221221472 1075110405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23807 1111 63 0 25922 0
vsize: 103940
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) R 24227 7266 7265 0 -1 0 26904 0 0 0 119933 86 0 0 25 0 1 0 905745684 106434560 23812 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25985 23812 1111 63 0 25922 0
vsize: 103940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 24285
Raw data (stat): 24228 (bsolo_lpr_cuts-) Z 24227 7266 7265 0 -1 1036 26904 0 0 0 119933 91 0 0 25 0 1 0 905745684 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.09
CPU time (s): 1200.25
CPU user time (s): 1199.34
CPU system time (s): 0.912861
CPU usage (%): 100.013
Max. virtual memory (Kb): 103940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####